Payload accommodations. Avionics payload support architecture

Concepts for vehicle and payload avionics architectures for future NASA programs, including the Assured Shuttle Access program, Space Station Freedom (SSF), Shuttle-C, Advanced Manned Launch System (AMLS), and the Lunar/Mars programs are discussed. Emphasis is on the potential available to increase payload services which will be required in the future, while decreasing the operational cost/complexity by utilizing state of the art advanced avionics systems and a distributed processing architecture. Also addressed are the trade studies required to determine the optimal degree of vehicle (NASA) to payload (customer) separation and the ramifications of these decisions

Electron-beam-pumped rare gas halide lasers

Imperial Users onl

Spectral action on noncommutative torus

The spectral action on noncommutative torus is obtained, using a Chamseddine--Connes formula via computations of zeta functions. The importance of a Diophantine condition is outlined. Several results on holomorphic continuation of series of holomorphic functions are obtained in this context.Comment: 57 page

Electrical manipulation of an electronic two-state system in Ge/Si quantum dots

We calculate that the electron states of strained self-assembled Ge/Si quantum dots provide a convenient two-state system for electrical control. An electronic state localized at the apex of the quantum dot is nearly degenerate with a state localized at the base of the quantum dot. Small electric fields shift the electronic ground state from apex-localized to base-localized, which permits sensitive tuning of the electronic, optical and magnetic properties of the dot. As one example, we describe how spin-spin coupling between two Ge/Si dots can be controlled very sensitively by shifting the individual dot's electronic ground state between apex and base

Protein Structure Prediction Using Basin-Hopping

Associative memory Hamiltonian structure prediction potentials are not overly rugged, thereby suggesting their landscapes are like those of actual proteins. In the present contribution we show how basin-hopping global optimization can identify low-lying minima for the corresponding mildly frustrated energy landscapes. For small systems the basin-hopping algorithm succeeds in locating both lower minima and conformations closer to the experimental structure than does molecular dynamics with simulated annealing. For large systems the efficiency of basin-hopping decreases for our initial implementation, where the steps consist of random perturbations to the Cartesian coordinates. We implemented umbrella sampling using basin-hopping to further confirm when the global minima are reached. We have also improved the energy surface by employing bioinformatic techniques for reducing the roughness or variance of the energy surface. Finally, the basin-hopping calculations have guided improvements in the excluded volume of the Hamiltonian, producing better structures. These results suggest a novel and transferable optimization scheme for future energy function development

Interdisciplinary study of atmospheric processes and constituents of the mid-Atlantic coastal region.

Past research projects for the year 1974-1975 are listed along with future research programs in the area of air pollution control, remote sensor analysis of smoke plumes, the biosphere component, and field experiments. A detailed budget analysis is presented. Attachments are included on the following topics: mapping forest vegetation with ERTS-1 MSS data and automatic data processing techniques, and use of LARS system for the quantitative determination of smoke plume lateral diffusion coefficients from ERTS images of Virginia

Head-on collisions of boson stars

We study head-on collisions of boson stars in three dimensions. We consider evolutions of two boson stars which may differ in their phase or have opposite frequencies but are otherwise identical. Our studies show that these phase differences result in different late time behavior and gravitational wave output

Dynamics of quasiparticle trapping in Andreev levels

We present a theory describing the trapping and untrapping of quasiparticles in the Andreev bound level of a single-channel weak link between two superconductors. We calculate the rates of the transitions between even and odd occupations of the Andreev level induced by absorption and emission of both photons and phonons. We apply the theory to a recent experiment [Phys. Rev. Lett. 106, 257003 (2011)] in which the dynamics of the trapping of quasiparticles in the Andreev levels of superconducting atomic contacts coupled to a Josephson junction was measured. We show that the plasma energy $h\nu_p$ of the Josephson junction defines a rather abrupt transition between a fast relaxation regime dominated by coupling to photons and a slow relaxation regime dominated by coupling to phonons. With realistic parameters the theory provides a semi-quantitative description of the experimental results.Comment: 11 pages, 9 figures. Accepted for publication in Physical Review

Nominal Unification of Higher Order Expressions with Recursive Let

A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for plain expressions and for DAGs and determine the complexity of corresponding unification problems.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534