An operating system for future aerospace vehicle computer systems

The requirements for future aerospace vehicle computer operating systems are examined in this paper. The computer architecture is assumed to be distributed with a local area network connecting the nodes. Each node is assumed to provide a specific functionality. The network provides for communication so that the overall tasks of the vehicle are accomplished. The O/S structure is based upon the concept of objects. The mechanisms for integrating node unique objects with node common objects in order to implement both the autonomy and the cooperation between nodes is developed. The requirements for time critical performance and reliability and recovery are discussed. Time critical performance impacts all parts of the distributed operating system; e.g., its structure, the functional design of its objects, the language structure, etc. Throughout the paper the tradeoffs - concurrency, language structure, object recovery, binding, file structure, communication protocol, programmer freedom, etc. - are considered to arrive at a feasible, maximum performance design. Reliability of the network system is considered. A parallel multipath bus structure is proposed for the control of delivery time for time critical messages. The architecture also supports immediate recovery for the time critical message system after a communication failure

Meanfield treatment of Bragg scattering from a Bose-Einstein condensate

A unified semiclassical treatment of Bragg scattering from Bose-Einstein condensates is presented. The formalism is based on the Gross-Pitaevskii equation driven by classical light fields far detuned from atomic resonance. An approximate analytic solution is obtained and provides quantitative understanding of the atomic momentum state oscillations, as well as a simple expression for the momentum linewidth of the scattering process. The validity regime of the analytic solution is derived, and tested by three dimensional cylindrically symmetric numerical simulations.Comment: 21 pages, 10 figures. Minor changes made to documen

Quantum dynamics in single spin measurement

We study the quantum dynamics of a model for the single-spin measurement in magnetic-resonance force microscopy. We consider an oscillating driven cantilever coupled with the magnetic moment of the sample. Then, the cantilever is damped through an external bath and its readout is provided by a radiation field. Conditions for reliable measurements will be discussed.Comment: 7 pages, 3 figure

Influence of External Fields and Environment on the Dynamics of Phase Qubit-Resonator System

We analyze the dynamics of a qubit-resonator system coupled with a thermal bath and external electromagnetic fields. Using the evolution equations for the set of Heisenberg operators, that describe the whole system, we derive an expression for the resonator field, accounting for the resonator-drive,-bath, and -qubit interaction. The renormalization of the resonator frequency, caused by the qubit-resonator interaction, is accounted for. Using solutions for the resonator field, we derive the equation describing qubit dynamics. The influence of the qubit evolution during the measurement time on the fidelity of a single-shot measurement is studied. The relation between the fidelity and measurement time is shown explicitly. Also, an expression describing relaxation of the superposition qubit state towards its stationary value is derived. The possibility of controlling this state, by varying the amplitude and frequency of drive, is shown.Comment: 15 page

Single electron capacitance spectroscopy of vertical quantum dots using a single electron transistor

We have incorporated an aluminum single electron transistor (SET) directly on top of a vertical quantum dot, enabling the use of the SET as an electrometer that is extremely responsive to the motion of charge into and out of the dot. Charge induced on the SET central island from single electron additions to the dot modulates the SET output, and we describe two methods for demodulation that permit quantitative extraction of the quantum dot capacitance signal. The two methods produce closely similar results for the determined single electron capacitance peaks.Comment: Submitted to Applied Physics Letters (reformatted to fit correctly on a page

A Double Sigma Model for Double Field Theory

We define a sigma model with doubled target space and calculate its background field equations. These coincide with generalised metric equation of motion of double field theory, thus the double field theory is the effective field theory for the sigma model.Comment: 26 pages, v1: 37 pages, v2: references added, v3: updated to match published version - background and detail of calculations substantially condensed, motivation expanded, refs added, results unchange

Semiclassical theory of cavity-assisted atom cooling

We present a systematic semiclassical model for the simulation of the dynamics of a single two-level atom strongly coupled to a driven high-finesse optical cavity. From the Fokker-Planck equation of the combined atom-field Wigner function we derive stochastic differential equations for the atomic motion and the cavity field. The corresponding noise sources exhibit strong correlations between the atomic momentum fluctuations and the noise in the phase quadrature of the cavity field. The model provides an effective tool to investigate localisation effects as well as cooling and trapping times. In addition, we can continuously study the transition from a few photon quantum field to the classical limit of a large coherent field amplitude.Comment: 10 pages, 8 figure

Dynamics of a Quantum Control-Not Gate for an Ensemble of Four-Spin Molecules at Room Temperature

We investigate numerically a single-pulse implementation of a quantum Control-Not (CN) gate for an ensemble of Ising spin systems at room temperature. For an ensemble of four-spin ``molecules'' we simulate the time-evolution of the density matrix, for both digital and superpositional initial conditions. Our numerical calculations confirm the feasibility of implementation of quantum CN gate in this system at finite temperature, using electromagnetic $\pi$-pulse.Comment: 7 pages 3 figure

Dynamical Stability and Quantum Chaos of Ions in a Linear Trap

The realization of a paradigm chaotic system, namely the harmonically driven oscillator, in the quantum domain using cold trapped ions driven by lasers is theoretically investigated. The simplest characteristics of regular and chaotic dynamics are calculated. The possibilities of experimental realization are discussed.Comment: 24 pages, 17 figures, submitted to Phys. Rev

Atomic Interferometer with Amplitude Gratings of Light and its Applications to Atom Based Tests of the Equivalence Principle

We have developed a matter wave interferometer based on the diffraction of atoms from effective absorption gratings of light. In a setup with cold rubidium atoms in an atomic fountain the interferometer has been used to carry out tests of the equivalence principle on an atomic basis. The gravitational acceleration of the two isotopes 85Rb and 87Rb was compared, yielding a difference Dg/g =(1.2 +-1.7)x10^{-7}. We also perform a differential free fall measurement of atoms in two different hyperfine states, and obtained a result of Dg/g =(0.4 +-1.2)x10^{-7}.Comment: 4 Pages, 4 figures, accepted for Physical Review Letter