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.     

Effective field and the Bloch-Siegert shift at bichromatic excitation of multiphoton EPR

The dynamics of multiphoton transitions in a two-level spin system excited by transverse microwave and longitudinal RF fields with the frequencies ω_mw and ω_rf, respectively, is analyzed. The effective time-independent Hamiltonian describing the “dressed” spin states of the “spin + bichromatic field” system is obtained by using the Krylov-Bogoliubov-Mitropolsky averaging method. The direct detection of the time behavior of the spin system by the method of nonstationary nutations makes it possible to identify the multiphoton transitions for resonances ω₀ = ω_mw + rω_rf (ω₀ is the central frequency of the EPR line, r = 1, 2), to measure the amplitudes of the effective fields of these transitions, and to determine the features generated by the inhomogeneous broadening of the EPR line. It is shown that the Bloch-Siegert shifts for multiphoton resonances at the inhomogeneous broadening of spectral lines reduce only the nutation amplitude but do not change their frequencies.     

Energy losses of dipoles traveling relative to a moving medium

We consider the radiation from nonoscillating dipoles traveling with constant velocity directed parallel or antiparallel to the velocity of a homogeneous transparent moving medium. It is assumed that the medium in its rest frame is isotropic and has no spatial dispersion. We obtain expressions for the radiative energy losses and estimate the polarization energy losses of electric and magnetic dipoles of different orientations. In particular, it is shown that the energy loss of a source is negative if it moves in the direction of the medium motion and the source velocity is less than the medium velocity. Estimates for the energy losses of dipoles in the cases of an electron beam and a flow of a weakly dispersive medium are given. __________ Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, Radiofizika, Vol. 49, No. 6, pp. 502–512, June 2006.     

Dependence of the H2-H2 Interaction on the Monomer Bond Lengths: Steps Toward an Accurate ab initio Estimate

We compute the vibrational coupling between two H₂ molecules from ab initio quantum chemical calculations of the H₂-H₂ potential carried out at the full configuration interaction level of theory using the atom-centered aug-cc-pVTZ basis set for hydrogen. We compare the full configuration interaction results with those obtained using two variants of coupled cluster theory and find that a fully iterative treatment of connected triples may be required to estimate the H₂-H₂ vibrational coupling accurately using coupled cluster theory.     

Influence of Azimuthal Structure of Surface Waves on Efficiency of their Excitation by Tubular Electron Beams

The excitation of eigen surface waves by tubular electron beams in cylindrical discharge devices is studied. The influence of the wave‐field azimuthal structure on the excitation efficiency and nonlinear stage of the plasmabeam instability is investigated both numerically and analytically. Analytical expressions for the saturation amplitude and excitation efficiency of the wave under study are derived. They are found to agree well with results obtained by numerical modelling of the plasma‐beam interaction presented in this paper. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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.     

Sequential Importance Sampling Algorithms for Dynamic Stochastic Programming

This paper gives a comprehensive treatment of EVPI-based sequential importance sampling algorithms for dynamic (multistage) stochastic programming problems. Both theory and computational algorithms are discussed. Under general assumptions it is shown that both an expected value of perfect information (EVPI) process and the corresponding marginal EVPI process (the supremum norm of the conditional expectation of its generalized derivative) are nonanticipative nonnegative supermartingales. These processes are used as importance criteria in the class of sampling algorithms treated in the paper. When their values are negligible at a node of the current sample problem scenario tree, scenarios descending from the node are replaced by a single scenario at the next iteration. On the other hand, high values lead to increasing the number of scenarios descending from the node. Both the small sample and asymptotic properties of the sample problem estimates arising from the algorithms are established, and the former are evaluated numerically in the context of a financial planning problem. Finally, current and future research is described. Bibliography: 49 titles. __________ Published in Zapiski Nauchnykh Seminarov POMI, Vol. 312, 2004, pp. 94–129.