Binary quantum logic and generating semigroups

A refined definition of basic concepts for logic describing physical systems is proposed. Within the suggested formalism of generating semigroups the active logic of questions and passive logic of answers are introduced. The objects for which both logics are isomorphic are called self-adequate. It is shown that the assumption of self-adequacy implies that the object is either quantum or classical. The possibility of application of the theory to non-self-adequate objects is discussed.     

Vibrations of a magnet levitated over a flat superconductor

Based on a dipole-dipole interaction model, we discuss the levitation force and related vibration problems to understand the effects of flux pinning in type-II superconductors, and the applications of levitation in superconducting systems.     

The effect of oxygen ordering through controlled exposure to oxygen on the superconductive properties of LaBa2Cu3Oy

In an effort to clarify the role of controlled oxygen exposure in the synthesis of LaBa₂Cu₃O_y samples which achieve zero resistivity above 90 K, we have prepared samples of La(_1+x)Ba(_2–x)Cu₃O_y with x approximately equal to 0 and with y varying between 6.22 and 7.00. We find that for large values of y, 6.88相似文献   

Nonlinear effects of electrical transport in crystals with orbital degeneration

The influence of an electrical field on the charge transfer in crystals with orbital degeneration is investigated. An expression is obtained for the current density in crystals with narrow d-conduction bands in transition metal compounds. As the electrical field intensity increases, a current density maximum is observed with a subsequent section of negative differential conductivity. The results of the investigation agree qualitatively with experimental data.Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, Fizika, No. 2, pp. 14–18, February, 1989.     

Thermal expansion of a rig

Summary We have estimated and measured the daily thermal expansion of an oceanographic platform. This has been found negligible as far as the calibration of a satellite altimeter is concerned.     

Acyl derivatives of N,N′-diaminodibenzo-18-crown-6 ether,their complexing and catalytic properties

Conclusions Complex compounds of bisacyl derivatives of diaminodibenzo-18-crown-6 ether are active catalysts of the two stages of the synthesis of poly(ethylene terephthalate).Translated from Izvestiya Akademii Nauk SSSR, Seriya Khimicheskaya, No. 11, pp. 2544–2547, November. 1987.     

Determinant formulas for class numbers in function fields

In this paper, by extending Kucera's idea to the function field case, we obtain several determinant formulas involving the real class number and the relative class number of any subfield of cyclotomic function fields. We also provide several examples using these determinant formulas.

     

Atom-atomic potentials and the correlation distribution functions for modeling liquid benzene by the molecular dynamics methods

A brief review of the potential functions used in the molecular dynamics modeling of liquid benzene is presented. The structural characteristics of liquid benzene obtained from the correlation distribution functions are discussed. It is demonstrated that, within the framework of this approach, the predicted structure of liquid benzene is virtually independent of the form of the potential used.     

Direct numerical simulation of settling of a large solid particle during bioconvection

Settling of a large solid particle in bioconvection flow caused by gyrotactic microorganisms is investigated. The particle is released from the top of the bioconvection chamber; its settling pattern depends on whether it is released in the centre of the bioconvection plume or at its periphery. The Chimera method is utilized; a subgrid is generated around a moving particle. The method suggested by Liu and Wang (Comput. Fluid 2004; 33 :223–255) is further developed to account for the presence of a moving boundary in the streamfunction‐vorticity formulation using the finite‐difference method. A number of cases for different release positions of the particle are computed. It is demonstrated that bioconvection can either accelerate or decelerate settling of the particle depending on the initial position of the particle relative to the plume centre. It is also shown that the particle impacts bioconvection plume by changing its shape and location in the chamber. Copyright © 2005 John Wiley & Sons, Ltd.