Abstract
We prove that the speed of convergence of two Markov families determines the smoothness of the conjugacy between them. One of the applications of this result that we give is that the attractors of any two quadratic foldings at the Feigenbaum accumulation point of period doubling are C2+0.11 conjugate. Our main result provides the basis for a complete unification of renormalization and smooth conjugacy results which includes both the classical theorems and more recent results about critical systems.

Abstract
We describe and demonstrate a new hybrid current sensor system which uses a novel time division multiplexed fiber network for the measurement of three-phase currents at high potential. The sensor arrangement combines a conventional current transformer with a fiber-optic interferometer such that the signal is transmitted optically to ground. Sensitivities of ~0.5 A/vHz are obtained in each phase at the line frequency of 50 Hz. The sensitivity and dynamic range of each sensor can be tailored for a specific level of current or according to an individual application.

Abstract

Abstract

Abstract
The purpose of this paper is to present a first step in a formal study of inheritance systems. The kind of systems considered are those that support overriding (all definitions being taken as defaults) and multiple inheritance. The overriding is based on the explicit statement of negative information. The basic entities are classes and properties. The system is hierarchic because it is made out of classes which are structured as a hierarchy. We consider both the basic case of properties restricted to atomic propositional formulas and their negations, and the extension to properties defined by rules in the Logic Programming style. A formal definition of hierarchic systems is given for which a model-theoretic 3-valued semantics is introduced. This semantics is explicitly stated in terms of sets of individuals. It defines the notion of interpretation, the characterization of models, and what is meant by validity of formulas in such structures. The inheritance mechanism is able to choose from a set of inherited default properties which ones mechanism be overriden in order to guarantee that the local program has a model. The notion of characteristic individuals of classes, introduced in our semantics, turns out to play a clarifying role of the relationship between semantic and syntactic aspects of inheritance systems.

Abstract
The purpose of this paper is to present a first step in a formal study of inheritance systems. The kind of systems considered are those that support overriding (all definitions being taken as defaults) and multiple inheritance. The overriding is based on the explicit statement of negative information. The basic entities are classes and properties. The system is hierarchic because it is made out of classes which are structured as a hierarchy. We consider both the basic case of properties restricted to atomic propositional formulas and their negations, and the extension to properties defined by rules in the Logic Programming style. A formal definition of hierarchic systems is given for which a model-theoretic 3-valued semantics is in roduced. This semantics is explicitly stated in terms of sets of individuals. It defines the notion of interpretation, the characterization of models, and what is meant by validity of formulas in such structures. The inheritance mechanism is able to choose from a set of inherited default properties which ones must be overriden in order to guarantee that the local program has a model. The notion of characteristic individuals of classes, introduced in our semantics, turns out to play a clarifying role of the relationship between semantic and syntactic aspects of inheritance systems. © Springer-Verlag Berlin Heidelberg 1991.