The Chang-Łoś-Suszko theorem in a topological setting

The Chang-Łoś-Suszko theorem of first-order model theory characterizes universal-existential classes of models as just those elementary classes that are closed under unions of chains. This theorem can then be used to equate two model-theoretic closure conditions for elementary classes; namely unions of chains and existential substructures. In the present paper we prove a topological analogue and indicate some applications.     

Method of lines with boundary elements for 1‐D transient diffusion‐reaction problems

Time‐dependent differential equations can be solved using the concept of method of lines (MOL) together with the boundary element (BE) representation for the spatial linear part of the equation. The BE method alleviates the need for spatial discretization and casts the problem in an integral format. Hence errors associated with the numerical approximation of the spatial derivatives are totally eliminated. An element level local cubic approximation is used for the variable at each time step to facilitate the time marching and the nonlinear terms are represented in a semi‐implicit manner by a local linearization at each time step. The accuracy of the method has been illustrated on a number of test problems of engineering significance. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2006     

Roles of SiH4 and SiF4 in growth and structural changes of poly-Si films

The structural properties of polycrystalline silicon films, prepared by plasma enhanced chemical vapor deposition system, with different flow rates of SiH₄/SiF₄ mixtures at 300 °C were investigated. This study indicates that the low hydrogen coverage on the growing surface, under optimum fluorine radicals, will be leaded to an improvement of crystallized area as compared with case of high hydrogen coverage surface. Moreover, the studies of the role of SiH₄ and SiF₄ radicals show that the SiH₄ radicals are important in the nucleation and growth of grains. However, SiF₄ radicals are effective in the structural change of grain boundaries regions and by this way, in the present system, establish the growth of grains under the dominant 〈1 1 0〉 direction. The stress investigation indicates that addition of high flow rate of SiF₄ in amorphous film, results in the nearly stress free films. Finally, we found that the changes in g-value reflect the changes in the intrinsic compressive and tensile stress in the both polycrystalline and amorphous silicon films.     

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.     

Necessary Conditions for Differentiability of Distance Functions

Necessary conditions for the Gâteaux differentiability of the distance function to a set are considered. A series of characterizing results is obtained.     

凸域内单叶函数的导数

设函数f（w）为凸区域D内的单叶解析函数,对于2≤n≤8和所有w∈D,本文得到估计式|f（n）（w）/f＇（w）|的精确上界.这个结果推广了一些已知的结论.     

On the duration of the total eclipse of a satellite of a body

This paper solves the problem of the duration of the total eclipseof a satellite of a body, provided that (a) the body is sphericalin shape and the mass distribution inside the body is sphericallysymmetrical; (b) the satellite is a very small object; (c) thesatellite's orbit around a body is circular and the satellitecan pass through the centre of its shadow; (d) a source of lightis the source of the conical body's shadow (umbra) and it doesnot change its apparent position in the sky; (e) there are noperturbations on the satellite's orbit. The solution presentedrepresents the general discussion of the problem based on utilizationof some parts of the theory of contraction mappings.     

Remote stereocontrol by the sulfinyl group: Mukaiyama aldol reactions of (S)-2-[2-(p-tolylsulfinyl)phenyl]acetaldehyde in the asymmetric synthesis of β-hydroxyacids and 1,3-diols

(S)-2-[2-(p-Tolylsulfinyl)phenyl]acetaldehyde reacts with different O-silylated ketenethioacetals in the presence of Yb(OTf)₃ yielding β-hydroxythioesters in high yields and diastereoselectivities. The obtained compounds were readily transformed into β-hydroxyacids and their corresponding diols. These Mukaiyama aldol reactions are a direct evidence of the ability of the sulfinyl group to control 1,5- and 1,6-asymmetric induction processes.     

浅析二阶齐次线性变系数微分方程的一个可积类型

本文讨论了二阶齐次线性变系数微分方程的特殊形式，给出了这种微分方程的一个可积类型．     

Maximizing a Linear Fractional Function on a Pareto Efficient Frontier

We consider the problem of maximizing a linear fractional function on the Pareto efficient frontier of two other linear fractional functions. We present a finite pivoting-type algorithm that solves the maximization problem while computing simultaneously the efficient frontier. Application to multistage efficiency analysis is discussed. An example demonstrating the computational procedure is included.