Proof schemata in Hilbert-type axiomatic theories

A derivation schema in an axiomatic theory is defined as a finite sequence of analysis of applications of rules and axioms. A derivation by a schema U is any derivation whose list of analyses of applications of rules and axioms is precisely U. A derivation schema is admissible if a corresponding derivation can be constructed. Let G be a Hilbert-type axiomatic theory. The following problems are considered: a) to decide whether a given derivation scheme is admissible in G; b) to decide whether a formula is derivable by a given derivation schema in G. In the usual formulations of the predicate calculus without equality, the first problem is shown to be decidable, the second undecidable.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 174, pp. 132–146, 1988.     

Angular eikonal of a conicoid

Exact formulas for the angular eikonal of decentered and oblique conicoids are obtained based on the analysis of the properties of conicoids and angular eikonals. The case of a paraboloid is considered separately. Exact formulas for the angular eikonal open the possibility of construction of an exact theory of aberrations.     

Quantification of stable minor species in confined flames by cavity ring-down spectroscopy: application to NO

Cavity ring-down spectroscopy (CRDS) is used to measure the NO mole fraction formed in the burnt gases of low-pressure premixed flames. It is shown that the line-of-sight absorption is greatly increased by the contribution of the NO molecules surrounding the burner. This contribution has been quantified by developing a mathematical procedure taking into account the spatial and spectral features of the CRDS measurement. Calculations have been undertaken in the general case of a stable species not consumed in the flame. The most sensitive parameter is the temperature both in the flame and outside the flame. Simulations allow the selection of the best spectroscopic transitions for a given flame (i.e. a given temperature profile), ensuring the weakest influence of the inaccuracy affecting the temperature determination. High quantum states belonging to the A–X (0–1) band of NO have been found to be the most valuable and have led to a NO mole fraction determination with an accuracy of ±13%. NO absorption in the flame was completely masked using the A–X (0–0) band. Finally, the prompt-NO mole fraction formed in a methane/air flame stabilized at 33 Torr is obtained by combining CRDS and laser induced fluorescence techniques. Received: 12 October / Revised version: 1 February 2002 / Published online: 14 March 2002     

Necessary and sufficient conditions for existence of exponential dichotomy of impulsive equations

Necessary and sufficient conditions for the existence of an exponential dichotomy of impulsive differential equations in a Hilbert space are found.     

Deuterium NMR studies of inositol liquid crystals [1]

Deuterium NMR investigations are presented on members of two new mesogenic series derived from the naturally occurring stereoisomers myo- and scW/o-inositol. Tetraethers of these two series exhibit thermotropic columnar phases in which the columns are apparently formed by stacked hydrogen bonded dimers of these molecules which chemically are vicinal diols. Deuterium NMR measurements were performed on the tetraoctyl homologues 2e (a cis diol) and 3e (a trans diol) of these series. We have investigated mixtures of these diols with small amounts of benzene-d₆ as probe molecules as well as samples of the neat diol compounds deuteriated at their hydroxyl groups. The results obtained show that the mesophases of both compounds are uniaxial and align partially in a magnetic field upon slow cooling from their isotropic liquids. The alignment is with the director parallel to the field direction indicating that the anisotropic magnetic susceptibility of this mesophase is positive. The deuterium quadrupole splitting of the benzene-d₆ probe in both systems is temperature dependent and in the trans diol 3e it even changes sign. This is interpreted in terms of a model in which the benzene-d₆ probe equilibrates rapidly between two (or more) solvation sites with quadrupole splittings of opposite signs The deuterium spectra of the neat deuterium labelled cis diol 2e exhibit two different signals due to the two deuterons which are located at the axial and equatorial hydroxyl groups. This indicates that there is no fast intra- or intermolecular exchange of the hydroxyl hydrogens. The overall quadrupole splittings of the hydroxyl deuterons in this compound are highly reduced compared to their static values and this is interpreted in terms of motional modes involving both reorientation of the hydroxyl deuterons about their C-O axis and overall reorientation of the molecules (or pairs of molecules) around the columnar axes. The corresponding spectra of the neat deuteriated trans diol 3e exhibit a single spectrum indicating that both hydroxyl deuterons in this compound are equivalent, or very nearly so. Within the mesophase region the spectrum undergoes gradual changes due to the increase in the molecular mobility, but the overall motional narrowing is less than in the cis isomer 2e. Apparently due to stronger hydrogen bonding in the trans isomer 3e the precession of the hydroxyl groups is hindered and a fast molecular reorientation is only possible at high temperatures.     

Oscillatory kinetics and mechanism of the chromate catalyzed decomposition of hydrogen peroxide

Oscillatory change of pH occurs during the chromate-catalyzed decomposition of hydrogen peroxide in a weakly acidic medium at elevated temperature and at high initial concentration of hydrogen peroxide. In a closed system, there are only two or three periods, but sustained oscillation occurs in a CSTR. In a CSTR bistability is also found. In closed systems the temperature exhibits a great maximum (up to 15°C increase), in a CSTR sustained oscillation occurs at a constant stationary temperature.