Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method

Some geometric theorems can be stated in coordinate-free form as polynomials in Grassman algebra and can be proven by the anticommutative Gröbner basis method. In this article, we analyze some properties of both sets of hypotheses and conclusions of the theorem.     

Molecular mobility in hydrogels based on poly(acrylic acid) and macrodiisocyanates

Partially water-swellable polymer networks were synthesized on the basis of poly(acrylic acid) and various macrodiisocyanates. Hydrophilic and hydrophobic local regions were revealed in swollen networks (hydrogels) by means of the spin probe technique. The local mobility in hydrophobic regions depends on the macrodiisocyanate structure; however, it is substantially lower than that in hydrophilic regions for all gels. It was assumed that the presence of hydrophobic and hydrophilic regions and the difference in their local dynamics must have a substantial effect on the pharmacokinetics of release of drugs immobilized in these hydrogels.     

Sampling with a String

Kramer's sampling theorem forms a bridge between the Whittaker-Shannon-Kotel'nikov sampling theorem and boundary-value problems. It has been shown that sampling expansions associated with Sturm-Liouville boundary-value problems are Lagrange-type sampling series, i.e., Lagrange series with infinitely many terms converging to entire functions. String theory as developed by Feller, Kac, and Krein, is a generalization of the Sturm-Liouville theory. We investigate sampling series associated with strings and compare them with those associated with Sturm-Liouville problems. We show that unlike sampling series associated with Sturm-Liouville problems, those associated with strings include not only Lagrange-type sampling series, but also Lagrange polynomial interpolation.     

Effect of the Parameters of Three-Mirror Resonators on the Spectral Characteristics of Single-Pulse Laser Generation with Self-Injection of Priming Radiation

Based on a semiclassical theory, investigations were made of the dynamics and spectral composition of pulsed generation with self-injection of priming radiation from the active part of a three-mirror linear resonator, the passive part of which contains an active loss modulator and serves as the output reflector of the laser. It is shown that there exists a range of resonator parameters at which pulsed lasing has virtually a single frequency irrespective of the detuning of the frequencies of the priming radiation and of the nearest eigenmode of the composite resonator. Considering graphically the phase conditions of generation, it is established that among pulsed lasers with self-injection of priming radiation which are constructed on the basis of three-mirror linear and branched resonators, the most efficient for creating single-frequency generation are those in which the length of the main resonator, where generation of the pulse occurs, is larger than the length of the additional one intended for forming the priming radiation. With an inverse ratio of the lengths of the resonators, the conditions of single-frequency pulsed generation becomes dependent on the priming radiation frequency.     

Interlaboratory comparisons and improvements of methods for acid number determination in used motor oils

The results of two interlaboratory comparisons of acid number determinations in used motor oils are discussed. It is shown that the comparability of the measurement results is not as good as that required by known standards for petroleum products. The problem is motor oil contaminants which accumulated during use, and which are the source of a matrix effect in the acid number determination. The standard methods’ drawbacks are analyzed and some improvements are proposed. Repeatability and accuracy of the improved methods are evaluated. Received: 11 December 2001 Accepted: 15 February 2002     

Application of rainbow schlieren deflectometry to measure temperature and oxygen concentration in a laminar gas-jet diffusion flame

The quantitative rainbow schlieren deflectometry (RSD) technique was applied to measure temperature and oxygen concentration in an axisymmetric hydrogen gas-jet diffusion flame burning in quiescent air at fuel jet exit Reynolds number of 70. Schlieren measurements were compared with conventional measurements using a thermocouple and a gas-sampling probe. Good agreement between the two measurement techniques was achieved on the fuel-lean side of the flame.     

Flow regime identification in a two-phase flow using wavelet transform

This study addresses the problem of the automatic flow regime identification in two-phase flows in pipes. A novel wavelet transform-based approach is proposed and validated using time series of differential pressure fluctuations. The experimental data on the differential pressure measured in a vertically installed Venturi meter for air-water flow were analyzed and found to be appropriate for flow regime identification. The wavelet spectrum of the measured signal is shown to characterize the flow patterns completely, and the vector of the wavelet variances is proposed as the characteristic vector for use in an on-line flow regime identification system.     

Unconditional Bases, the Matrix Muckenhoupt Condition, and Carleson Series in a Spectrum

Two families of functions constructed by a system of n scalar Muckenhoupt weights are studied. Criteria are given under which these families are unconditional bases. From the point of view of the spectral operator theory, the problem is reduced to the study of the structure of n-dimensional perturbations of the integration operator. Weighted estimates for the Hilbert transform in the spaces of vector-functions are applied to construct an operator mapping functions of the studied families to vector-valued rational functions. The concept of the Carleson series is used in the study of the following problem: when do vector-valued rational functions form an unconditional basis? Bibliography: 8 titles.