Integrated testing and verification system for research flight software design document

The NASA Langley Research Center is developing the MUST (Multipurpose User-oriented Software Technology) program to cut the cost of producing research flight software through a system of software support tools. The HAL/S language is the primary subject of the design. Boeing Computer Services Company (BCS) has designed an integrated verification and testing capability as part of MUST. Documentation, verification and test options are provided with special attention on real time, multiprocessing issues. The needs of the entire software production cycle have been considered, with effective management and reduced lifecycle costs as foremost goals. Capabilities have been included in the design for static detection of data flow anomalies involving communicating concurrent processes. Some types of ill formed process synchronization and deadlock also are detected statically

Molecular Feshbach dissociation as a source for motionally entangled atoms

We describe the dissociation of a diatomic Feshbach molecule due to a time-varying external magnetic field in a realistic trap and guide setting. An analytic expression for the asymptotic state of the two ultracold atoms is derived, which can serve as a basis for the analysis of dissociation protocols to generate motionally entangled states. For instance, the gradual dissociation by sequences of magnetic field pulses may delocalize the atoms into macroscopically distinct wave packets, whose motional entanglement can be addressed interferometrically. The established relation between the applied magnetic field pulse and the generated dissociation state reveals that square-shaped magnetic field pulses minimize the momentum spread of the atoms. This is required to control the detrimental influence of dispersion in a recently proposed experiment to perform a Bell test in the motion of the two atoms [C. Gneiting and K. Hornberger, Phys. Rev. Lett. 101, 260503 (2008)].Comment: 12 pages, 3 figures; corresponds to published versio

Dispersion of biased swimming microorganisms in a fluid flowing through a tube

Classical Taylor-Aris dispersion theory is extended to describe the transport of suspensions of self-propelled dipolar cells in a tubular flow. General expressions for the mean drift and effective diffusivity are determined exactly in terms of axial moments, and compared with an approximation a la Taylor. As in the Taylor-Aris case, the skewness of a finite distribution of biased swimming cells vanishes at long times. The general expressions can be applied to particular models of swimming microorganisms, and thus be used to predict swimming drift and diffusion in tubular bioreactors, and to elucidate competing unbounded swimming drift and diffusion descriptions. Here, specific examples are presented for gyrotactic swimming algae.Comment: 20 pages, 4 figures. Published version available at http://rspa.royalsocietypublishing.org/content/early/2010/02/09/rspa.2009.0606.short?rss=

Two new cichlid fishes, genus Cichlasoma, from Chiapas, Mexico

http://deepblue.lib.umich.edu/bitstream/2027.42/57129/1/OP693.pd

Vortex information display system program description manual

A vortex information display system is described which provides flexible control through system-user interaction for collecting wing-tip-trailing vortex data, processing this data in real time, displaying the processed data, storing raw data on magnetic tape, and post processing raw data. The data is received from two asynchronous laser Doppler velocimeters (LDV's) and includes position, velocity, and intensity information. The raw data is written onto magnetic tape for permanent storage and is also processed in real time to locate vortices and plot their positions as a function of time. The interactive capability enables the user to make real time adjustments in processing data and provides a better definition of vortex behavior. Displaying the vortex information in real time produces a feedback capability to the LDV system operator allowing adjustments to be made in the collection of raw data. Both raw data and processing can be continually upgraded during flyby testing to improve vortex behavior studies. The post-analysis capability permits the analyst to perform in-depth studies of test data and to modify vortex behavior models to improve transport predictions

Are All Particles Identical?

We consider the possibility that all particles in the world are fundamentally identical, i.e., belong to the same species. Different masses, charges, spins, flavors, or colors then merely correspond to different quantum states of the same particle, just as spin-up and spin-down do. The implications of this viewpoint can be best appreciated within Bohmian mechanics, a precise formulation of quantum mechanics with particle trajectories. The implementation of this viewpoint in such a theory leads to trajectories different from those of the usual formulation, and thus to a version of Bohmian mechanics that is inequivalent to, though arguably empirically indistinguishable from, the usual one. The mathematical core of this viewpoint is however rather independent of the detailed dynamical scheme Bohmian mechanics provides, and it amounts to the assertion that the configuration space for N particles, even N ``distinguishable particles,'' is the set of all N-point subsets of physical 3-space.Comment: 12 pages LaTeX, no figure

Adapting the International System of Units to the twenty-first century

We review the proposal of the International Committee for Weights and Measures (Comité International des Poids et Mesures, CIPM), currently being considered by the General Conference on Weights and Measures (Conférences Générales des Poids et Mesures, CGPM), to revise the International System of Units (Le Système International d’Unitès, SI). The proposal includes new definitions for four of the seven base units of the SI, and a new form of words to present the definitions of all the units. The objective of the proposed changes is to adopt definitions referenced to constants of nature, taken in the widest sense, so that the definitions may be based on what are believed to be true invariants. In particular, whereas in the current SI the kilogram, ampere, kelvin and mole are linked to exact numerical values of the mass of the international prototype of the kilogram, the magnetic constant (permeability of vacuum), the triple-point temperature of water and the molar mass of carbon-12, respectively, in the new SI these units are linked to exact numerical values of the Planck constant, the elementary charge, the Boltzmann constant and the Avogadro constant, respectively. The new wording used expresses the definitions in a simple and unambiguous manner without the need for the distinction between base and derived units. The importance of relations among the fundamental constants to the definitions, and the importance of establishing a mise en pratique for the realization of each definition, are also discussed

Calculating resonance positions and widths using the Siegert approximation method

Here we present complex resonance states (or Siegert states), that describe the tunneling decay of a trapped quantum particle, from an intuitive point of view which naturally leads to the easily applicable Siegert approximation method that can be used for analytical and numerical calculations of complex resonances of both the linear and nonlinear Schr\"odinger equation. Our approach thus complements other treatments of the subject that mostly focus on methods based on continuation in the complex plane or on semiclassical approximations.Comment: 15 pages, 1 figure, contains MATLAB source code; new version with additional illustration

A note on the optimality of decomposable entanglement witnesses and completely entangled subspaces

Entanglement witnesses (EWs) constitute one of the most important entanglement detectors in quantum systems. Nevertheless, their complete characterization, in particular with respect to the notion of optimality, is still missing, even in the decomposable case. Here we show that for any qubit-qunit decomposable EW (DEW) W the three statements are equivalent: (i) the set of product vectors obeying \bra{e,f}W\ket{e,f}=0 spans the corresponding Hilbert space, (ii) W is optimal, (iii) W=Q^{\Gamma} with Q denoting a positive operator supported on a completely entangled subspace (CES) and \Gamma standing for the partial transposition. While, implications $(i)\Rightarrow(ii)$ and $(ii)\Rightarrow(iii)$ are known, here we prove that (iii) implies (i). This is a consequence of a more general fact saying that product vectors orthogonal to any CES in C^{2}\otimes C^{n} span after partial conjugation the whole space. On the other hand, already in the case of C^{3}\otimes C^{3} Hilbert space, there exist DEWs for which (iii) does not imply (i). Consequently, either (i) does not imply (ii), or (ii) does not imply (iii), and the above transparent characterization obeyed by qubit-qunit DEWs, does not hold in general.Comment: 13 pages, proof of lemma 4 corrected, theorem 3 removed, some parts improve