17,670 research outputs found
Process migration in UNIX environments
To support process migration in UNIX environments, the main problem is how to encapsulate the location dependent features of the system in such a way that a host independent virtual environment is maintained by the migration handlers on the behalf of each migrated process. An object-oriented approach is used to describe the interaction between a process and its environment. More specifically, environmental objects were introduced in UNIX systems to carry out the user-environment interaction. The implementation of the migration handlers is based on both the state consistency criterion and the property consistency criterion
Correctness criteria for process migration
Two correctness criteria, the state consistency criterion and the property consistency criterion for process migration are discussed. The state machine approach is used to model the interactions between a user process and its environment. These criteria are defined in terms of the model. The idea of environment view was introduced to distinguish what a user process observes about its environment from what its environment state really is and argue that a consistent view of the environment must be maintained for every migrating process
Experimental and analytical investigation of the variation of spray characteristics along a radial distance downstream of a pressure-swirl atomizer
The variation of spray characteristics along a radial distance downstream of a pressure-swirl atomizer was measured by laser light-scattering technology. An analytical model was developed to predict the variation of spray characteristics along the radial distance. A comparison of the predicted and experimental data showed excellent agreement. Therefore, the spray model proposed, although relatively simple, is correct and can be used, with some expansion and modification of the prepared model, to predict more complicated spray systems
Amortised resource analysis with separation logic
Type-based amortised resource analysis following Hofmann and Jostāwhere resources are associated with individual elements of data structures and doled out to the programmer under a linear typing disciplineāhave been successful in providing concrete resource bounds for functional programs, with good support for inference. In this work we translate the idea of amortised resource analysis to imperative languages by embedding a logic of resources, based on Bunched Implications, within Separation Logic. The Separation Logic component allows us to assert the presence and shape of mutable data structures on the heap, while the resource component allows us to state the resources associated with each member of the structure. We present the logic on a small imperative language with procedures and mutable heap, based on Java bytecode. We have formalised the logic within the Coq proof assistant and extracted a certified verification condition generator. We demonstrate the logic on some examples, including proving termination of in-place list reversal on lists with cyclic tails
Observation of the Pairing Gap in a Strongly Interacting Fermi Gas
We study fermionic pairing in an ultracold two-component gas of Li atoms
by observing an energy gap in the radio-frequency excitation spectra. With
control of the two-body interactions via a Feshbach resonance we demonstrate
the dependence of the pairing gap on coupling strength, temperature, and Fermi
energy. The appearance of an energy gap with moderate evaporative cooling
suggests that our full evaporation brings the strongly interacting system deep
into a superfluid state.Comment: 18 pages, 3 figure
Ultracold molecules: vehicles to scalable quantum information processing
We describe a novel scheme to implement scalable quantum information
processing using Li-Cs molecular state to entangle Li and Cs
ultracold atoms held in independent optical lattices. The Li atoms will
act as quantum bits to store information, and Cs atoms will serve as
messenger bits that aid in quantum gate operations and mediate entanglement
between distant qubit atoms. Each atomic species is held in a separate optical
lattice and the atoms can be overlapped by translating the lattices with
respect to each other. When the messenger and qubit atoms are overlapped,
targeted single spin operations and entangling operations can be performed by
coupling the atomic states to a molecular state with radio-frequency pulses. By
controlling the frequency and duration of the radio-frequency pulses,
entanglement can either be created or swapped between a qubit messenger pair.
We estimate operation fidelities for entangling two distant qubits and discuss
scalability of this scheme and constraints on the optical lattice lasers
Phase-dependent exciton transport and energy harvesting from thermal environments
Non-Markovian effects in the evolution of open quantum systems have recently
attracted widespread interest, particularly in the context of assessing the
efficiency of energy and charge transfer in nanoscale biomolecular networks and
quantum technologies. With the aid of many-body simulation methods, we uncover
and analyse an ultrafast environmental process that causes energy relaxation in
the reduced system to depend explicitly on the phase relation of the initial
state preparation. Remarkably, for particular phases and system parameters, the
net energy flow is uphill, transiently violating the principle of detailed
balance, and implying that energy is spontaneously taken up from the
environment. A theoretical analysis reveals that non-secular contributions,
significant only within the environmental correlation time, underlie this
effect. This suggests that environmental energy harvesting will be observable
across a wide range of coupled quantum systems.Comment: 5 + 4 pages, 3 + 2 figures. Comments welcom
- ā¦