282 research outputs found
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
The development of an algorithm of adaptive discrete PID control for the extruder based on a microcontroller
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
- …