Multiple Conclusion Rules in Logics with the Disjunction Property

We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a basis of admissible rules. These results can be generalized to a broad class of logics including positive logic and its extensions, Johansson logic, normal extensions of S4, n-transitive logics and intuitionistic modal logics

SU(2) Skyrme Vortices

A regular method for constructing vortex-like solutions with cylindrical symmetry to the equations of the SU(2) Skyrme chiral model is proposed. A numerical estimate for the length density of mass is given

Electromagnetic levitation system

Magnetism is a physical phenomenon produced by the motion of electric charge, resulting in attractive and repulsive forces between objects. It is widely adopted in many spheres of our routine life. By using the effect of magnetism, it has become possible to create non-frictional bearings, contact-free shock absorbers and many things, which found their appliance in industrial usage. There are many great inventions connected with magnets, such as the train on the air cushion (Maglev train). Maglev stands for magnetic levitation, a principle that allows keeping an object in midair. This technology has a great potential, however there are always things, which need to be improved, for instance reduction of disturbance and lowering of the price

The pipeline oil pumping engineering based on the Plant Wide Control technology

This article provides recommendations for the use technology Plant Wide Control to control the pumping of oil through the pipeline. The proposed engineering using pipeline management in general (Pipe Wide Control) will reduce the loss of electric power at the expense of the balance of pumping stations located along the pipeline route

Exact Self-consistent Particle-like Solutions to the Equations of Nonlinear Scalar Electrodynamics in General Relativity

Exact self-consistent particle-like solutions with spherical and/or cylindrical symmetry to the equations governing the interacting system of scalar, electromagnetic and gravitational fields have been obtained. As a particular case it is shown that the equations of motion admit a special kind of solutions with sharp boundary known as droplets. For these solutions, the physical fields vanish and the space-time is flat outside of the critical sphere or cylinder. Therefore, the mass and the electric charge of these configurations are zero.Comment: 17 pages, Submitted to the International Journal of Theoretical Physic

Experimental observation of magnetic bobbers for a new concept of magnetic solid-state memory

The use of chiral skyrmions, which are nanoscale vortex-like spin textures, as movable data bit carriers forms the basis of a recently proposed concept for magnetic solid-state memory. In this concept, skyrmions are considered to be unique localized spin textures, which are used to encode data through the quantization of different distances between identical skyrmions on a guiding nanostripe. However, the conservation of distances between highly mobile and interacting skyrmions is difficult to implement in practice. Here, we report the direct observation of another type of theoretically-predicted localized magnetic state, which is referred to as a chiral bobber (ChB), using quantitative off-axis electron holography. We show that ChBs can coexist together with skyrmions. Our results suggest a novel approach for data encoding, whereby a stream of binary data representing a sequence of ones and zeros can be encoded via a sequence of skyrmions and bobbers. The need to maintain defined distances between data bit carriers is then not required. The proposed concept of data encoding promises to expedite the realization of a new generation of magnetic solid-state memory

Dynamical Toroidal Hopfions in a Ferromagnet with Easy-Axis Anisotropy

Three-dimensional toroidal precession solitons with a nonzero Hopf index, which uniformly move along the anisotropy axis in a uniaxial ferromagnet, have been found. The structure and existence region of the solitons have been numerically determined by solving the Landau-Lifshitz equation.Comment: 6 pages, 4 figure

Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility

© 2015, Springer Basel. Our paper aims to investigate inference rules for Nelson’s logics and to discuss possible ways to determine admissibility of inference rules in such logics. We will use the technique offered originally for intuitionistic logic and paraconsistent minimal Johannson’s logic. However, the adaptation is not an easy and evident task since Nelson’s logics do not enjoy replacement of equivalences rule. Therefore we consider and compare standard admissibility and weak admissibility. Our paper founds algorithms for recognizing weak admissibility and admissibility itself – for restricted cases, to show the problems arising in the course of study

Interaction of vinylphosphonates with 1,2-diaminoethane and ethanolamine

The reaction of 1,2-diaminoethane with vinylphosphonate occurs as the addition of the amino group to the β-carbon atom of the unsaturated substrate to give 1:1 and 1:2 adducts. The nucleophilic addition of 2-aminoethanol at the β-position of the double bond of vinylphosphonates involves only the amino group and leads to the formation of hydroxy β-aminoethylphosphonates or zwitterions depending on conditions