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.     

Conservation de la charge dans les codes PIC

This Note introduces a new integral form of the charge and current deposition scheme given in 1992 by Villasenor and Buneman, which permits the conservation of charge in PIC codes. This integral form extends directly to higher order spline shape factors, whose use produces less numerical noise. We thus get a discrete charge conserving method for high order shape factors. This method extends easily to nonuniform Cartesian grids for first order shape factors. To cite this article: R. Barthelmé, C. R. Acad. Sci. Paris, Ser. I 341 (2005).     

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.