相关论文: About some Information and Logical Properties of S…
The properties of a partially ionized plasma in a long cylindrical tube subject to a uniform axial electric field are investigated. The plasma is maintained by an external ionizing source balanced by bulk and surface recombinations.…
The main contribution of this paper is the introduction of a dynamic logic formalism for reasoning about information flow in composite quantum systems. This builds on our previous work on a complete quantum dynamic logic for single systems.…
Understanding the mechanical properties of solid-state materials at the atomic scale is crucial for developing novel materials. For example, amorphous LiSi alloys are attractive anode materials for solid-state Li-ion batteries but face…
This paper proposes an approach to information-based logics using many-logic modal structures (MLMS). These structures can express accessibility relations between worlds with different underlying logics by anchoring them to a base lattice,…
Several machine learning methods aim to learn or reason about complex physical systems. A common first-step towards reasoning is to infer system parameters from observations of its behavior. In this paper, we investigate the performance of…
Superpositioning of relaxation data as a function of the product variable TV^{\gamma}, where T is temperature, V the specific volume, and {\gamma} a material constant, is an experimental fact demonstrated for approximately 100 liquids and…
This paper intends to review some of the prominent properties of strongly coupled classical plasmas having in mind the possible link with the quark-gluon plasma created in heavy-ion collisions. Thermodynamic and transport properties of…
Relativistic plasma with radiation at thermodynamic equilibrium is ageneral system of interest in astrophysics and high energy physics. We develop a new self-consistent quasi-particle model for such a system to take account of collective…
We augment LP with a strong conditional operator, to yield a logic we call "strong LP," or LP=>. The resulting logic can speak of consistency in more discriminating ways, but introduces new possibilities for trivializing paradoxes.
The beam-plasma instability, i.e. the response of the plasma bulk to the injection of supra thermal charged-particle beams, results to be appropriately characterized by a long-range interaction system. This physical system hosts a number of…
Exploiting spin degree of freedom of electron a new proposal is given to characterize spin-based logical operations using a quantum interferometer that can be utilized as a programmable spin logic device (PSLD). The ON and OFF states of…
Two magnetic configurations of Multi-cusp Plasma Device (MPD) have been explored to obtain high quiescence level, large uniform plasma region with nearly flat mean density and temperature profiles. In particular, properties of plasma in a…
Programmable logic arrays (PLAs) are traditional digital electronic devices. A PLA is a simple programmable logic device (SPLD) used to implement combinational logic circuits. A PLA has a set of programmable AND gates, which link to a set…
Hyperproperties are properties that describe the correctness of a system as a relation between multiple executions. Hyperproperties generalize trace properties and include information-flow security requirements, like noninterference, as…
The classical (i.e. non-quantum) equilibrium statistical mechanics of a two-dimensional one-component plasma (a system of charged point-particles embedded in a neutralizing background) living on a pseudosphere (an infinite surface of…
The problem of the calculation of equilibrium thermodynamic properties and the establishment of statistical-thermodynamically-consistent finite bound-state partition functions in nonideal multi-component plasma systems is revised within the…
The spatio-temporally periodic (STP) potential is interesting in Physics due to the intimate coupling between its time and spatial components. In this paper we begin with a brief discussion of the dynamical behaviors of a single particle in…
The Sagdeev pseudopotential method is used to investigate the occurrence and the dynamics of fully nonlinear electrostatic solitary structures in a plasma containing suprathermal hot electrons, in the presence of massive charged dust…
The analytical and numerical approaches to the analysis of the ultrashort-pulse solid-state lasers are presented. The unique self-consistent method of the laser dynamics analysis is based on the symbolical, numerical, programming, and…
The expansion dynamics of a finite size plasma is examined from an analytical perspective. Results regarding the charge distribution as well as the electrostatic potential are presented. The acceleration of the ions and the associated…