Experimental Study of the Effect of External Signal on Microwave Oscillations in a Nonrelativistic Electron Beam with Virtual Cathode

The effect of an external harmonic signal on the characteristics of microwave generation in a nonrelativistic electron beam with virtual cathode (VC) formed in a static retarding electric field (low-voltage vircator system) has been experimentally studied. A significant increase in the vircator generation power is observed when the frequency of the external signal is close to the frequency of VC oscillations. At large detunings, a broadband chaotic generation is observed.Comment: 3 pages, 2 figure

A Survey of Satisfiability Modulo Theory

Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and decision procedures for conjunctions known as DPLL(T), and the alternative "natural domain" approaches. We also cover quantifiers, Craig interpolants, polynomial arithmetic, and how SMT solvers are used in automated software analysis.Comment: Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. 201

Investigation of the Chaotic Dynamics of an Electron Beam with a Virtual Cathode in an External Magnetic Field

The effect of the strength of the focusing magnetic field on chaotic dynamic processes occurring inan electron beam with a virtual cathode, as well as on the processes whereby the structures form in the beamand interact with each other, is studied by means of two-dimensional numerical simulations based on solving a self-consistent set of Vlasov-Maxwell equations. It is shown that, as the focusing magnetic field is decreased,the dynamics of an electron beam with a virtual cathode becomes more complicated due to the formation andinteraction of spatio-temporal longitudinal and transverse structures in the interaction region of a vircator. The optimum efficiency of the interaction of an electron beam with the electromagnetic field of the vircator isachieved at a comparatively weak external magnetic field and is determined by the fundamentally two-dimensional nature of the motion of the beam electrons near the virtual cathode.Comment: 12 pages, 8 figure

Self-similar solution of a nonsteady problem of nonisothermal vapour condensation on a droplet growing in diffusion regime

This paper presents a mathematically exact self-similar solution to the joint nonsteady problems of vapour diffusion towards a droplet growing in a vapour-gas medium and of removal of heat released by a droplet into a vapour-gas medium during vapour condensation. An equation for the temperature of the droplet is obtained; and it is only at that temperature that the self-similar solution exists. This equation requires the constancy of the droplet temperature and even defines it unambiguously throughout the whole period of the droplet growth. In the case of strong display of heat effects, when the droplet growth rate decreases significantly, the equation for the temperature of the droplet is solved analytically. It is shown that the obtained temperature fully coincides with the one that settles in the droplet simultaneously with the settlement of its diffusion regime of growth. At the obtained temperature of the droplet the interrelated nonsteady vapour concentration and temperature profiles of the vapour-gas medium around the droplet are expressed in terms of initial (prior to the nucleation of the droplet) parameters of the vapour-gas medium. The same parameters are used to formulate the law in accordance with which the droplet is growing in diffusion regime, and also to define the time that passes after the nucleation of the droplet till the settlement of diffusion regime of droplet growth, when the squared radius of the droplet becomes proportionate to time. For the sake of completeness the case of weak display of heat effects is been studied.Comment: 12 pages, 4 figure

Local modes, phonons, and mass transport in solid 4^4He

We propose a model to treat the local motion of atoms in solid $^{4}$He as a local mode. In this model, the solid is assumed to be described by the Self Consistent Harmonic approximation, combined with an array of local modes. We show that in the bcc phase the atomic local motion is highly directional and correlated, while in the hcp phase there is no such correlation. The correlated motion in the bcc phase leads to a strong hybridization of the local modes with the T$_{1}(110)$ phonon branch, which becomes much softer than that obtained through a Self Consistent Harmonic calculation, in agreement with experiment. In addition we predict a high energy excitation branch which is important for self-diffusion. Both the hybridization and the presence of a high energy branch are a consequence of the correlation, and appear only in the bcc phase. We suggest that the local modes can play the role in mass transport usually attributed to point defects (vacancies). Our approach offers a more overall consistent picture than obtained using vacancies as the predominant point defect. In particular, we show that our approach resolves the long standing controversy regarding the contribution of point defects to the specific heat of solid $^{4}$He.Comment: 10 pages, 10 figure

Test of exotic scalar and tensor interactions in K_e3 decay using stopped positive kaons

The form factors of the decay K+ --> pi0 e+ nu (K_e3) have been determined from the comparison of the experimental and Monte Carlo Dalitz distributions containing about 10^5 K_e3 events. The following values of the parameters were obtained: lambda_+ = 0.0278 +- 0.0017(stat) +- 0.0015(syst), f_S/f_+(0) = 0.0040 +- 0.0160(stat) +- 0.0067(syst) and f_T/f_+(0) = 0.019 +- 0.080(stat) +- 0.038(syst). Both scalar f_S and tensor f_T form factors are consistent with the Standard Model predictions of zero values.Comment: 10 pages, 5 figures, contributed to the proceedings of NANP Conference, Dubna, June 19-23, 200

Norbornadiene as a Universal Substrate for Organic and Petrochemical Synthesis

A wide range of rare polycyclic hydrocarbons can be obtained through catalytic processes involving  norbornadiene (NBD). The problem of selectivity is crucial for such reactions. The feasibility of controlling selectivity and reaction rate has been shown for cyclic dimerization, co-dimerization, isomerization and allylation of NBD. Kinetic rules have been scrutinized. Consistent mechanisms have been proposed. Factors affecting directions of the reactions and allowing us to obtain individual stereoisomers quantitatively, have been established. A series of novel unsaturated compounds has been synthesized; they incorporate a set of double bonds with different reactivity and can find an extremely wide range of applications

NMR Study of Disordered Inclusions in the Quenched Solid Helium

Phase structure of rapidly quenched solid helium samples is studied by the NMR technique. The pulse NMR method is used for measurements of spin-lattice $T_1$ and spin-spin $T_2$ relaxation times and spin diffusion coefficient $D$ for all coexisting phases. It was found that quenched samples are two-phase systems consisting of the hcp matrix and some inclusions which are characterized by $D$ and $T_2$ values close to those in liquid phase. Such liquid-like inclusions undergo a spontaneous transition to a new state with anomalously short $T_2$ times. It is found that inclusions observed in both the states disappear on careful annealing near the melting curve. It is assumed that the liquid-like inclusions transform into a new state - a glass or a crystal with a large number of dislocations. These disordered inclusions may be responsible for the anomalous phenomena observed in supersolid region.Comment: 10 pages, 3 figure

Measurement of the Pion Form Factor in the Energy Range 1.04-1.38 GeV with the CMD-2 Detector

The cross section for the process $e^+e^-\to\pi^+\pi^-$ is measured in the c.m. energy range 1.04-1.38 GeV from 995 000 selected collinear events including 860000 $e^+e^-$ events, 82000 $\mu^+\mu^-$ events, and 33000 $\pi^+\pi^-$ events. The systematic and statistical errors of measuring the pion form factor are equal to 1.2-4.2 and 5-13%, respectively.Comment: 5 pages, 2 figure

Surface state atoms and their contribution to the surface tension of quantum liquids

We investigate the new type of excitations on the surface of liquid helium. These excitations, called surfons, appear because helium atoms have discrete energy level at the liquid surface, being attracted to the surface by the van der Waals force and repulsed at a hard-core interatomic distance. The concentration of the surfons increases with temperature. The surfons propagate along the surface and form a two-dimensional gas. Basing on the simple model of the surfon microscopic structure, we estimate the surfon activation energy and effective mass for both helium isotopes. We also calculate the contribution of the surfons to the temperature dependence of the surface tension. This contribution explains the great and long-standing discrepancy between theory and experiment on this temperature dependence in both helium isotopes. The achieved agreement between our theory and experiment is extremely high. The comparison with experiment allows to extract the surfon activation energy and effective mass. The values of these surfon microscopic parameters are in a reasonable agreement with the calculated from the proposed simple model of surfon structure.Comment: 10 pages, 6 figure