Transfer theorems and the algebra of modal operators

A set theory ZFI′ which does not employ the Law of the Excluded Middle φ ∀ ⊥ φ, for all φ, retians the stock of expressive capacities of the classical set theory ZF, on the one hand, and has many of the features of an effective theory on the other. In the article, a broad class of formulas σ is constructed for which ZF ⊥ σ implies ZFI′ ⊥ σ. This result provides a generalization of Friedman's theorem on AE-arithmetic formulas. Besides, we prove transfer theorems of classical logic for the case of rings; in particular, Hilbert's theorem on zeros and Artin's theorem on ordered fields are extended to the case of regular f-rings, and we bring in appropriate upper bounds for them. Supported by RFFR grant No. 93-012-1027. Translated fromAlgebra i Logika, Vol. 36, No. 3, pp. 282–303, May–June, 1997.     

Time-resolved synchrotron X-ray study of crystalline phase transition in poly(aryl ether ketone ketone) containing alternated terephthalic/isophthalic moieties

Unique crystallization and melting behavior in poly(aryl ether ketone ketone) containing alternated terephthalic and isophthalic moieties were studied by time-resolved synchrotron x-ray methods. Recently, this material has been shown to exhibit three polymorphs (forms I, II, and III). In this work, we further investigated their distinctive thermal properties and found that form I is the dominating and the most thermally stable phase while form II is favored by fast nucleation conditions and is the least stable phase. On the other hand, form III represents a minor intermediate phase that usually coexists with form I and can be transferred from form II and to form I. Structural and morphological changes in form I have been followed by simultaneous wide-angle x-ray diffraction (WAXD)/small-angle x-ray scattering (SAXS) measurements during cold- or melt-crystallization and subsequent melting. In all cases, a larger dimensional change was found in the crystallographic a-axis than the b-axis during heating and cooling. This may be due to the greater lateral stress variation with respect to temperature along the a direction of the primary lamellae which is induced by either the formation of secondary lamellae or the preferential chain-folding direction in poly(aryl ether ketone ketone)s. During the phase transitions of form II ← III in the cold-crystallized specimen and form III ← I in the melt-crystallized samples, lamellar variables (long period, lamellar thickness, and invariant) obtained from SAXS remain almost constant. This indicates that the density distribution in the long spacing is independent of the melting in form II or III. For melt-crystallization, the corresponding changes in unit-cell dimensions and lamellar morphology during the annealing-induced low endotherm are most consistent with the argument that these changes are due to the melting of thin lamellar population. © 1995 John Wiley & Sons, Inc.     

Application of synthetic reference materials in the medical radiological research centre

The contents of 21 chemical elements (Ag, Br, Ca, Cl, Co, Cr, Cs, Fe, Hg, K, Mg, Mn, Na, P, Rb, Sb, Sc, Se, Sr, Zn, Zr) in synthetic reference materials (SRMs) were compared with those in natural reference materials (NRMs) using short- and long-lived radionuclides. SRMs called synthetic standards (SSs) and synthetic standards, biological (SSBs) were prepared on the basis of phenol-formaldehyde resol resins in the Institute of Physics, Georgian Academy of Science. The NRMs included such IAEA reference materials as H-4 (animal muscle), A-13 (animal blood), H-5 (animal bone), SL-1 (lake sediment), SOIL-7 (soil), A-9 (mixed human diet), and IAEA-153 (milk powder). It was shown that SSB-SRMs possessed good representativity of the 30–50 mg tablets, high precision, operational convenience, and could be recommended for the INAA of a wide range of medico-biological and bioecological objects.     

Thickness and temperature dependence of subsidiary absorption thresholds in yttrium-iron-garnet thin films

The microwave subsidiary absorption threshold in tangentially magnetized yttrium-iron-garnet (YIG) films was measured as a function of the static magnetic field, film thickness and decrease in the 0.3–3 μm range is observed. The effect is explained quantitatively by using modified Damon-Eshbach dispersion relations which take into account exchange interactions.

The effect of temperature on h_crit, the smallest threshold field amplitude, in the 250<T< 450 K temperature range can be expressed by an empirical relationship h_crit M_s(T)^-1.6 where M_s is the saturation magnetization. This h_crit vs M_s relationship is similar to that obtained for the magnetization dependence of parallel pump thresholds in Li-Ti ferrite compounds.     

Vibrational control of crystal growth from liquid phase

Modeling and numerical simulations of the convective flows induced by the vibration of the monocrystal during crystal growth have been performed for two configurations simulating the Cz and FZ methods. This permitted to emphasize the role of different vibrational mechanisms in the formation of the average flows. It is shown that an appropriate combination of these mechanisms can be used to counteract the usual convective flows (buoyancy- and/or thermocapillary-driven) inherent to crystal growth processes from the liquid phase. While vibrational convection is rather complex due to these identified mechanisms, the new modeling used in the present paper opens up very promising perspectives to efficiently control heat and mass transfer during real industrial applications of crystal growth from the liquid phase.     

Database reverse engineering: From requirements to CARE tools

This paper analyzes the requirements that CASE tools should meet for effective database reverse engineering (DBRE), and proposes a general architecture for data-centered applications reverse engineering CASE environments. First, the paper describes a generic DBMS-independent DBRE methodology, then it analyzes the main characteristics of DBRE activities in order to collect a set of desirable requirements. Finally, it describes DB-MAIN, an operational CASE tool developed according to these requirements. The main features of this tool that are described in this paper are its unique generic specification model, its repository, its transformation toolkit, its user interface, the text processors, the assistants, the methodological control and its functional extensibility. Finally, the paper describes five real-world projects in which the methodology and the CASE tool were applied. This is a heavily revised and extended version of “Requirements for Information System Reverse Engineering Support” by J.-L. Hainaut, V. Englebert, J. Henrard, J.-M. Hick, D. Roland, which first appeared in the Proceedings of the Second Working Conference on Reverse Engineering, IEEE Computer Society Press, pp. 136–145, July 1995. This paper presents some results of the DB-MAIN project. This project is partially supported by the Région Wallonne, the European Union, and by a consortium comprising ACEC-OSI (Be), ARIANE-II (Be), Banque UCL (Lux), BBL (Be), Centre de recherche public H. Tudor (Lux), CGER (Be), Cockerill-Sambre (Be), CONCIS (Fr), D'Ieteren (Be), DIGITAL, EDF (Fr), EPFL (CH), Groupe S (Be), IBM, OBLOG Software (Port), ORIGIN (Be), Ville de Namur (Be), Winterthur (Be), 3 Suisses (Be). The DB-Process subproject is supported by the Communauté Fran?aise de Belgique.     

Kinetics of benzonitrile nitration with mixed acid under homogeneous conditions

Chemical kinetics of benzonitrile nitration with mixed acid is investigated in the temperature range 283–299 K. Pseudo-first-order rate constants are evaluated by means of rate experiments on homogeneous reacting mixtures having large stoichiometric excesses of nitric acid. The second-order kinetic constants for nitronium ion attack to the aromatic substrate are derived on the basis of the assessed nitration mechanism. An activation energy of 604 ± 37 kJ mol^?1 is calculated for this reaction step. © 1993 John Wiley & Sons, Inc.     

Hybrid free radical/cationic frontal photopolymerizations

The irradiation of hybrid photopolymer systems consisting of a free radically polymerizable multifunctional acrylate monomer and a cationically polymerizable epoxide or oxetane monomer was conducted under conditions where only the free radical polymerization takes place. This results in the formation of a free‐standing polyacrylate network film containing quiescent oxonium ions along with the unreacted cyclic ether monomer. The subsequent application of a point source of heat to the film ignites a cationic ring‐opening frontal polymerization that emanates from that site and propagates to all portions of the irradiated sample. This article examines the impact of various molecular structural and experimental parameters on these novel hybrid frontal polymerizations that produce interpenetrating network polymers. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 4331–4340, 2007