972 resultados para first order condition


Relevância:

100.00% 100.00%

Publicador:

Resumo:

A systematic investigation of structure and intrinsic magnetic properties of the compounds Sm3Fe29-xTx (T = V and Cr) and their nitrides has been performed. Nitrogenation resulted in remarkable improvements in the saturation magnetization and anisotropy fields at 4.2 K and room temperature. First order magnetization processes are observed at around 5.7 T for Sm3Fe26.7V2.3 and around 2.8 T for Sm3Fe24.0Cr5.0 and Sm3Fe24.0Cr5.0N4, respectively. The spin reorientation of the easy magnetization direction of Sm3Fe26.7V2.3 is observed at around 230 K. As a preliminary result, the maximum remanence B-r of 0.94 T, the coercivity mu(0)H(C) of 0.75 T, and the maximum energy product (BH) of 108.5 kJ/m(3) for the nitride magnet Sm3Fe26.7V2.3N4 are achieved by ball-milling at 293 K.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Often it is assumed that absorbance decays in photochromic materials with the time dependence of the photochemical kinetics, i.e. exponentially for first order kinetics. Although this may hold in the limiting case of vanishing absorbance, deviations are to be expected for realistic samples, because the local photochemical kinetics slows down with increasing initial absorption and penetration depth of the radiation. We discuss the theory of the kinetics of initially homogeneous photochromic samples and derive analytical solutions. In extension of Tomlinson's theory we find an analytical solution that holds with good approximation even for samples that exhibit a small residual absorption in the saturation limit. The theoretical time dependence of the absorbance originating from photochemical first order kinetics of dye-doped systems is compared with experimental data published by Lafond et al. for fulgides doped in different polymer matrices. (c) 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The novel poly(aryl ether ketone)s were synthesized by nucleophilic substitution reactions of 4,4'-difluorobenzophenone with 4,4'-biphenyldiol and chlorohydroquinone. As expected, the copolymers have lower melting transitions than the biphenyldiol-based homopoly(aryl ether ketone) because of the copolymerization effect of the crystal-disrupting monomer chlorohydroquinone. Copolymers containing 50 and 70% biphenyldiol show two first-order transitions which are associated with the crystal-to-liquid crystal transition and the liquid crystal-to-isotropic transition.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A new type of macro-micro-macro triple electrode has been fabricated, the steady-state currents of solution redox species have been observed at an ultramicroband electrode by linear potential scan voltammetry, and generation/collection experiments have al

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Most knowledge representation languages are based on classes and taxonomic relationships between classes. Taxonomic hierarchies without defaults or exceptions are semantically equivalent to a collection of formulas in first order predicate calculus. Although designers of knowledge representation languages often express an intuitive feeling that there must be some advantage to representing facts as taxonomic relationships rather than first order formulas, there are few, if any, technical results supporting this intuition. We attempt to remedy this situation by presenting a taxonomic syntax for first order predicate calculus and a series of theorems that support the claim that taxonomic syntax is superior to classical syntax.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We have argued elsewhere that first order inference can be made more efficient by using non-standard syntax for first order logic. In this paper we show how a fragment of English syntax under Montague semantics provides the foundation of a new inference procedure. This procedure seems more effective than corresponding procedures based on either classical syntax of our previously proposed taxonomic syntax. This observation may provide a functional explanation for some of the syntactic structure of English.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We prove that first order logic is strictly weaker than fixed point logic over every infinite classes of finite ordered structures with unary relations: Over these classes there is always an inductive unary relation which cannot be defined by a first-order formula, even when every inductive sentence (i.e., closed formula) can be expressed in first-order over this particular class. Our proof first establishes a property valid for every unary relation definable by first-order logic over these classes which is peculiar to classes of ordered structures with unary relations. In a second step we show that this property itself can be expressed in fixed point logic and can be used to construct a non-elementary unary relation.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We give an explicit and easy-to-verify characterization for subsets in finite total orders (infinitely many of them in general) to be uniformly definable by a first-order formula. From this characterization we derive immediately that Beth's definability theorem does not hold in any class of finite total orders, as well as that McColm's first conjecture is true for all classes of finite total orders. Another consequence is a natural 0-1 law for definable subsets on finite total orders expressed as a statement about the possible densities of first-order definable subsets.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A method to solve the stationary state probability is presented for the first-order bang-bang phase-locked loop (BBPLL) with nonzero loop delay. This is based on a delayed Markov chain model and a state How diagram for tracing the state history due to the loop delay. As a result, an eigenequation is obtained, and its closed form solutions are derived for some cases. After obtaining the state probability, statistical characteristics such as mean gain of the binary phase detector and timing error variance are calculated and demonstrated.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Spatially resolved polarization switching In ferroelectric nanocapacitors was studied on the sub-25 nm scale using the first-order reversal curve (FORC) method. The chosen capacitor geometry allows both high-veracity observation of the domain structure and mapping of polarization switching in a uniform field, synergistically combining microstructural observations and probing of uniform-field polarization responses as relevant to device operation. A classical Kolmogorov-Avrami-Ishibashi model has been adapted to the voltage domain, and the individual switching dynamics of the FORC response curves are well approximated by the adapted model. The comparison with microstructures suggests a strong spatial variability of the switching dynamics inside the nanocapacitors.