Shock-induced CO2 loss from CaCO3: Implications for early planetary atmospheres

Recovered samples from shock recovery experiments on single crystal calcite were subjected to thermogravimetric analysis to determine the amount of post-shock CO2, the decarbonization interval and the activation energy, for the removal of remaining CO2 in shock-loaded calcite. Comparison of post-shock CO2 with that initially present determines shock-induced CO2 loss as a function of shock pressure. Incipient to complete CO2 loss occurs over a pressure range of approximately 10 to approximately 70 GPa. Optical and scanning electron microscopy reveal structural changes, which are related to the shock-loading. The occurrence of dark, diffuse areas, which can be resolved as highly vesicular areas as observed with a scanning electron microscope are interpreted as representing quenched partial melts, into which shock-released CO2 was injected. The experimental results are used to constrain models of shock-produced, primary CO2 atmospheres on the accreting terrestrial planets

Infrared heterodyne radiometer for airborne atmospheric transmittance measurements

An infrared heterodyne radiometer (IHR) was used to measure atmospheric transmittance at selected hydrogen fluoride (2.7 micrometer) and deuterium fluoride (3.8 micrometer) laser transitions. The IHR was installed aboard a KC-135 aircraft for an airborne atmospheric measurements program that used the sun as a backlighting source for the transmission measurements. The critical components are: a wideband indium antimonide (1nSb) photomixer, a CW HF/DF laser L0, a radiometric processor, and a 1900 K blackbody reference source. The measured heterodyne receiver sensitivity (NEP) is 1.3 x 10 to the -19th power W/Hz, which yields a calculated IHR temperature resolution accuracy of delta I sub S/-3 sub S = 0.005 for a source temperature of 1000 K and a total transmittance of 0.5. Measured atmospheric transmittance at several wavelengths and aircraft altitudes from 9.14 km (30,000 ft) to 13.72 km (45,000 ft) were obtained during the measurements program and have been compared with values predicted by the AFGL Atmospheric Line Parameter Compilation

Emissivity measurements of reflective surfaces at near-millimeter wavelengths

We have developed an instrument for directly measuring the emissivity of reflective surfaces at near-millimeter wavelengths. The thermal emission of a test sample is compared with that of a reference surface, allowing the emissivity of the sample to be determined without heating. The emissivity of the reference surface is determined by one’s heating the reference surface and measuring the increase in emission. The instrument has an absolute accuracy of Δe = 5 x 10^-4 and can reproducibly measure a difference in emissivity as small as Δe = 10^-4 between flat reflective samples. We have used the instrument to measure the emissivity of metal films evaporated on glass and carbon fiber-reinforced plastic composite surfaces. We measure an emissivity of (2.15 ± 0.4) x 10^-3 for gold evaporated on glass and (2.65 ± 0.5) x 10^-3 for aluminum evaporated on carbon fiber-reinforced plastic composite

Parameter Estimation from Improved Measurements of the Cosmic Microwave Background from QUaD

We evaluate the contribution of cosmic microwave background (CMB) polarization spectra to cosmological parameter constraints. We produce cosmological parameters using high-quality CMB polarization data from the ground-based QUaD experiment and demonstrate for the majority of parameters that there is significant improvement on the constraints obtained from satellite CMB polarization data. We split a multi-experiment CMB data set into temperature and polarization subsets and show that the best-fit confidence regions for the ΛCDM six-parameter cosmological model are consistent with each other, and that polarization data reduces the confidence regions on all parameters. We provide the best limits on parameters from QUaD EE/BB polarization data and we find best-fit parameters from the multi-experiment CMB data set using the optimal pivot scale of k_p = 0.013 Mpc^(–1) to be {h^2Ω_c, h^2Ω_b, H_0, A_s, n_s, τ} = {0.113, 0.0224, 70.6, 2.29 × 10^(–9), 0.960, 0.086}

Algorithmic Verification of Asynchronous Programs

Asynchronous programming is a ubiquitous systems programming idiom to manage concurrent interactions with the environment. In this style, instead of waiting for time-consuming operations to complete, the programmer makes a non-blocking call to the operation and posts a callback task to a task buffer that is executed later when the time-consuming operation completes. A co-operative scheduler mediates the interaction by picking and executing callback tasks from the task buffer to completion (and these callbacks can post further callbacks to be executed later). Writing correct asynchronous programs is hard because the use of callbacks, while efficient, obscures program control flow. We provide a formal model underlying asynchronous programs and study verification problems for this model. We show that the safety verification problem for finite-data asynchronous programs is expspace-complete. We show that liveness verification for finite-data asynchronous programs is decidable and polynomial-time equivalent to Petri Net reachability. Decidability is not obvious, since even if the data is finite-state, asynchronous programs constitute infinite-state transition systems: both the program stack and the task buffer of pending asynchronous calls can be potentially unbounded. Our main technical construction is a polynomial-time semantics-preserving reduction from asynchronous programs to Petri Nets and conversely. The reduction allows the use of algorithmic techniques on Petri Nets to the verification of asynchronous programs. We also study several extensions to the basic models of asynchronous programs that are inspired by additional capabilities provided by implementations of asynchronous libraries, and classify the decidability and undecidability of verification questions on these extensions.Comment: 46 pages, 9 figure

Quantum-state input-output relations for absorbing cavities

The quantized electromagnetic field inside and outside an absorbing high-$Q$ cavity is studied, with special emphasis on the absorption losses in the coupling mirror and their influence on the outgoing field. Generalized operator input-output relations are derived, which are used to calculate the Wigner function of the outgoing field. To illustrate the theory, the preparation of the outgoing field in a Schr\"{o}dinger cat-like state is discussed.Comment: 12 pages, 5 eps figure