Study to establish cost predictions for the production of Redox chemicals

The chromium and iron chloride chemicals are significant first costs for NASA Redox energy storage systems. This study was performed to determine the lowest cost at which chromium and iron chlorides could be obtained for a complex of redox energy storage systems. In addition, since the solutions gradually become intermixed during the course of operation of Redox units, it was an objective to evaluate schemes for regeneration of the operating solutions. Three processes were evaluated for the production of chromium and iron chlorides. As a basis for the preliminary plant design and economic evaluation, it was assumed that the plant would produce about 25,000 tons of contained chromium as CrCl3 and an equivalent molar quantity of FeCl2. Preliminary plant designs, including materials and energy balances and sizing of major equipment, were prepared, and capital and operating costs were estimated

Properties of high emittance materials

High emittance coating materials for beryllium, niobium-zirconium compounds, and stainless steel used in spacecraft radiator

A study of quantum decoherence in a system with Kolmogorov-Arnol'd-Moser tori

We present an experimental and numerical study of the effects of decoherence on a quantum system whose classical analogue has Kolmogorov-Arnol'd-Moser (KAM) tori in its phase space. Atoms are prepared in a caesium magneto-optical trap at temperatures and densities which necessitate a quantum description. This real quantum system is coupled to the environment via spontaneous emission. The degree of coupling is varied and the effects of this coupling on the quantum coherence of the system are studied. When the classical diffusion through a partially broken torus is < hbar, diffusion of quantum particles is inhibited. We find that increasing decoherence via spontaneous emission increases the transport of quantum particles through the boundary.Comment: 19 pages including 6 figure

Invertible Dirac operators and handle attachments on manifolds with boundary

For spin manifolds with boundary we consider Riemannian metrics which are product near the boundary and are such that the corresponding Dirac operator is invertible when half-infinite cylinders are attached at the boundary. The main result of this paper is that these properties of a metric can be preserved when the metric is extended over a handle of codimension at least two attached at the boundary. Applications of this result include the construction of non-isotopic metrics with invertible Dirac operator, and a concordance existence and classification theorem.Comment: Accepted for publication in Journal of Topology and Analysi

Accommodation coefficient of HOBr on deliquescent sodium bromide aerosol particles

Uptake of HOBr on sea salt aerosol, sea salt brine or ice is believed to be a key process providing a source of photolabile bromine (Br₂) and sustaining ozone depletion cycles in the Arctic troposphere. In the present study, uptake of HOBr on sodium bromide (NaBr) aerosol particles was investigated at an extremely low HOBr concentration of 300 cm^-3 using the short-lived radioactive isotopes ^83-86Br. Under these conditions, at maximum one HOBr molecule was taken up per particle. The rate of uptake was clearly limited by the mass accommodation coefficient, which was calculated to be 0.6 ± 0.2. This value is a factor of 10 larger than estimates used in earlier models. The atmospheric implications are discussed using the box model &quot;MOCCA'', showing that the increase of the accommodation coefficient of HOBr by a factor of 10 only slightly affects net ozone loss, but significantly increases chlorine release

Kinetics of isothermal and non-isothermal precipitation in an Al-6at%Si alloy

A novel theory which describes the progress of a thermally activated reaction under isothermal and linear heating conditions is presented. It incorporates nucleation, growth and impingement and takes account of temperaturedependent solubility. The model generally fits very well to isothermal calorimetry and differential scanning calorimetry data on precipitation in an Al-6 at.% Si alloy. Analysis of the data shows that two processes occur in this precipitation reaction: growth of large Si particles and growth of pre-existing small nuclei. Determination of the sizes of Si precipitates by transmission electron microscopy indicates that interfacial energy contributions are small and have a negligible influence on solubilit

Phase Control of Nonadiabaticity-induced Quantum Chaos in An Optical Lattice

The qualitative nature (i.e. integrable vs. chaotic) of the translational dynamics of a three-level atom in an optical lattice is shown to be controllable by varying the relative laser phase of two standing wave lasers. Control is explained in terms of the nonadiabatic transition between optical potentials and the corresponding regular to chaotic transition in mixed classical-quantum dynamics. The results are of interest to both areas of coherent control and quantum chaos.Comment: 3 figures, 4 pages, to appear in Physical Review Letter

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

Stratigraphy and chronology of a 15ka sequence of multi-sourced silicic tephras in a montane peat bog, eastern North Island, New Zealand.

We document the stratigraphy, composition, and chronology of a succession of 16 distal, silicic tephra layers interbedded with lateglacial and Holocene peats and muds up to c. 15 000 radiocarbon years (c. 18 000 calendar years) old at a montane site (Kaipo Bog) in eastern North Island, New Zealand. Aged from 665 +/- 15 to 14 700 +/- 95 14C yr BP, the tephras are derived from six volcanic centres in North Island, three of which are rhyolitic (Okataina, Taupo, Maroa), one peralkaline (Tuhua), and two andesitic (Tongariro, Egmont). Correlations are based on multiple criteria: field properties and stratigraphic interrelationships, ferromagnesian silicate mineral assemblages, glass-shard major element composition (from electron microprobe analysis), and radiocarbon dating. We extend the known distribution of tephras in eastern North Island and provide compositional data that add to their potential usefulness as isochronous markers. The chronostratigraphic framework established for the Kaipo sequence, based on both site-specific and independently derived tephra-based radiocarbon ages, provides the basis for fine-resolution paleoenvironmental studies at a climatically sensitive terrestrial site from the mid latitudes of the Southern Hemisphere. Tephras identified as especially useful paleoenvironmental markers include Rerewhakaaitu and Waiohau (lateglacial), Konini (lateglacial-early Holocene), Tuhua (middle Holocene), and Taupo and Kaharoa (late Holocene)