Engineering Papers⌕ Search

Engineering topics

Hicks, Michael

Publications and source records attributed to Hicks, Michael.

A Verified Optimizer for Quantum Circuits

We present VOQC, the first verified optimizer for quantum circuits, written using the Coq proof assistant. Quantum circuits are expressed as programs in a simple, low-level language called SQIR, a small quantum intermediate representation, which is deeply embedded in Coq. Optimizations and other transformations are expressed as Coq functions, which are proved correct with respect to a semantics of SQIR programs. SQIR programs denote complex-valued matrices, as is standard in quantum computation, but we treat matrices symbolically to reason about programs that use an arbitrary number of quantum bits. SQIR’s careful design and our provided automation make it possible to write and verify a broad range of optimizations in VOQC, including full-circuit transformations from cutting-edge optimizers.

97 MATHEMATICS AND COMPUTING↗

n-Propylbenzene Droplet Combustion: Experiments and Numerical Modeling

n-Propylbenzene (PB, C9H12, 432K boiling point) is important as a constituent in surrogates for some transportation fuels but little is understood about its droplet burning characteristics. We present an experimental and numerical study of a fuel droplet burning under conditions where the sole means of gas transport is fuel evaporation at the droplet surface thereby creating a one-dimensional gas transport that is amenable to detailed numerical modeling. The one-dimensional gas transport that results is amenable to detailed numerical modeling. Initial droplet diameters (Do) ranged from 0.3 mm to about 5 mm to better understand the mechanisms that control burning over such a wide range of Do. For Do < 1 mm droplets were burned while anchored to 14 m SiC fibers within a sealed container in free-fall during which time the droplets were ignited by spark discharge and the burning process recorded by video cameras. Larger and free-floating droplets were studied in the spaced-based platform of the orbiting International Space Station for Do > 1.0 mm which provided unlimited times for experimental observation. Measurements of droplet, flame and soot shell diameters were made and are discussed in the presentation. The experimental results showed formation of optically thick soot clouds developing during burning that required a robust image analysis algorithm to enable measurement of droplet diameter. The measured droplet diameters were well predicted by a numerical model that included soot formation, a PB kinetic mechanism comprising 576 species and 27369 reactions, unsteady gas and liquid transport, variable properties and radiative transport. Flame diameters showed more variability compared to the simulations, depending on how the flame was defined (peak gas temperature and OH concentration). Droplets burned slower as Do was increased and the PB sooting propensity increased with Do. Flame extinction was observed for Do > 3.3 mm indicating a strong effect of radiation as Do was increased compared to the smaller droplet diameters examined where extinction was not experimentally observed. For the largest droplets examined the possibility that the observed extinction is indicative of a transition to cool flame burning is still under investigation.

Guo, Songtao↗

Two-Stage Autoignition Dynamics of N-Dodecane Droplets Under Normal Gravity at High Pressures

Experimental observations of two-stage, autoignition characteristics of fiber-supported, n-dodecane fuel droplets under normal gravity are reported for a wide range of ambient temperatures, and pressures varying from 1 atm to 25 atm, which encompasses the fuel critical pressure (~ 18 atm). A high-speed camera is used to obtain backlit images of the autoignition process. During two-stage ignition, a cool-flame front forms below the droplet in the natural convective plume of the fuel vapor originating from the vaporizing droplet, and propagates upward, followed by the formation of a hot-flame kernel that expands rapidly and surrounds the droplet, eventually leading to the classical diffusion flame. Experimentally measured cool, and hot flame formation locations and propagation speeds are presented for varying initial temperatures and pressures. Measured first, and second stage ignition delay times are also reported. The influences of negative temperature coefficient (NTC) regime chemistry on flame starting location, propagation speeds, and ignition delay times are described. The first-stage cool flame characteristics are found to be controlled by both the chemistry, and physical aspects such as droplet evaporation and fuel-oxidizer mixing, while the second-stage hot flame ignition is primarily controlled by chemical kinetics. Further work is currently underway to develop models to quantitatively predict the observed behavior.

Rose, Evan↗

Analysis of the Planetary Boundary Layer Height During DISCOVER-AQ Baltimore–Washington, D.C., with Lidar and High-Resolution WRF Modeling

The daytime planetary boundary layer (PBL) was examined for the Deriving Information on Surface Conditions from Column and Vertically Resolved Observations Relevant to Air Quality (DISCOVER-AQ) Baltimore (Maryland)–Washington, D.C., campaign of July 2011 using PBL height (PBLH) retrievals from aerosol backscatter measurements from ground-based micropulse lidar (MPL), the NASA Langley Research Center airborne High Spectral Resolution Lidar-1 (HSRL-1), and the Cloud–Aerosol Lidar with Orthogonal Polarization (CALIOP) on the Cloud–Aerosol Lidar and Infrared Pathfinder Satellite Observations (CALIPSO) satellite. High-resolution Weather Research and Forecasting (WRF) Model simulations with horizontal grid spacing of 1 km and different combinations of PBL schemes, urban parameterization, and sea surface temperature inputs were evaluated against PBLHs derived from lidars, ozonesondes, and radiosondes. MPL and WRF PBLHs depicted a growing PBL in the morning that reached a peak height by midafternoon. WRF PBLHs calculated from gridded output profiles generally showed more rapid growth and higher peak heights than did the MPLs, and all WRF–lidar differences were dependent on model configuration, PBLH calculation method, and synoptic conditions. At inland locations, WRF simulated an earlier descent of the PBL top in the afternoon relative to the MPL retrievals and radiosonde PBLHs. At Edgewood, Maryland, the influence of the Chesapeake Bay breeze on the PBLH was captured by both the ozonesonde and WRF data but generally not by the MPL PBLH retrievals because of generally weaker gradients in the aerosol backscatter profile and limited normalized relative backscatter data near the top height of the marine layer.

Hegarty, Jennifer D.↗

Behavior of a Salt Water Solution Near the Critical Point Under Microgravity Conditions

The Supercritical Water Mixture (SCWM) experiment conducted on the International Space Station (ISS) is designed to study a salt-water solution in the vicinity of the critical transition with a test cell filled with Na2SO4 (aq) 0.5-w. This salt is a Type II salt which undergoes a dramatic decrease in solubility past waters critical point. The paper discusses the liquid-vapor-salt distribution in the test cell for subcritical, trans-critical, and supercritical regimes. In 0-g, the vapor-liquid interface manifests itself by the presence of a large single vapor bubble that is flattened between the two windows. In contrast with pure water, the vapor bubble remains centered in the test cell and is stable for temperatures up to Tc - 50 mK. The processes leading to critical transition during heat-up, as marked by the break-up of the vapor bubble, depends on the applied heating rate. For temperature ramps 1 mKmin, the bubble interface begins to breakup with the formation of a large number of smaller bubbles. For larger temperature ramps (10mKmin), temperature gradients arise in the cell pushing the bubble toward a window surface. As the critical threshold is crossed small variations in cell temperature ( 1 mK) cause an observable spatial variation in density. However, this spatial variation is not discernible as the temperature is increased further into the supercritical regime. The salt precipitation in the vicinity of the critical crossing appears to be heterogeneous in nature with precipitates observable on the cell windows. Direct imaging as well as light scattering indicate a hexagonal structure of the precipitated salt crystals in the near critical regime. The salt deposition is not fully reversible as the temperature is reduced due to window corrosion effects which traps some of the precipitated salt. Critical temperatures as high as 1.9 K above the value for pure water (647.25 K) have been measured. Finally, results on the critical transition phenomena in the presence of an imposed temperature gradient, demonstrating the remarkable stability of the central bubble, are also presented.

near-critical↗

Double Bright Band Observations with High-Resolution Vertically Pointing Radar, Lidar, and Profiles

On 11 May 2010, an elevated temperature inversion associated with an approaching warm front produced two melting layers simultaneously, which resulted in two distinct bright bands as viewed from the ER-2 Doppler radar system, a vertically pointing, coherent X band radar located in Greenbelt, MD. Due to the high temporal resolution of this radar system, an increase in altitude of the melting layer of approximately 1.2 km in the time span of 4 min was captured. The double bright band feature remained evident for approximately 17 min, until the lower atmosphere warmed enough to dissipate the lower melting layer. This case shows the relatively rapid evolution of freezing levels in response to an advancing warm front over a 2 h time period and the descent of an elevated warm air mass with time. Although observations of double bright bands are somewhat rare, the ability to identify this phenomenon is important for rainfall estimation from spaceborne sensors because algorithms employing the restriction of a radar bright band to a constant height, especially when sampling across frontal systems, will limit the ability to accurately estimate rainfall.

ER-2 Doppler radar↗

Effects of Gravity on Supercritical Water Oxidation (SCWO) Processes

The effects of gravity on the fluid mechanics of supercritical water jets are being studied at NASA to develop a better understanding of flow behaviors for purposes of advancing supercritical water oxidation (SCWO) technologies for applications in reduced gravity environments. These studies provide guidance for the development of future SCWO experiments in new experimental platforms that will extend the current operational range of the DECLIC (Device for the Study of Critical Liquids and Crystallization) Facility on board the International Space Station (ISS). The hydrodynamics of supercritical fluid jets is one of the basic unit processes of a SCWO reactor. These hydrodynamics are often complicated by significant changes in the thermo-physical properties that govern flow behavior (e.g., viscosity, thermal conductivity, specific heat, compressibility, etc), particularly when fluids transition from sub-critical to supercritical conditions. Experiments were conducted in a 150 ml reactor cell under constant pressure with water injections at various flow rates. Flow configurations included supercritical jets injected into either sub-critical or supercritical water. Profound gravitational influences were observed, particularly in the transition to turbulence, for the flow conditions under study. These results will be presented and the parameters of the flow that control jet behavior will be examined and discussed.

aqueous solutions↗

Evaluation of CO2, N2 and He as Fire Suppression Agents in Microgravity

The U.S. modules of the International Space Station use gaseous CO2 as the fire extinguishing agent. This was selected as a result of extensive experience with CO2 as a fire suppressant in terrestrial applications, trade studies on various suppressants, and experiments. The selection of fire suppressants and suppression strategies for NASA s Lunar and Martian exploration missions will be based on the same studies and normal-gravity data unless reduced gravity fire suppression data is obtained. In this study, the suppressant agent concentrations required to extinguish a flame in low velocity convective flows within the 20-sec of low gravity on the KC-135 aircraft were investigated. Suppressant gas mixtures of CO2, N2, and He with the balance being oxygen/nitrogen mixtures with either 21% or 25% O2 were used to suppress flames on a 19-mm diameter PMMA cylinder in reduced gravity. For each of the suppressant mixtures, limiting concentrations were established that would extinguish the flame at any velocity. Similarly, concentrations were established that would not extinguish the flame. The limiting concentrations were generally consistent with previous studies but did suggest that geometry had an effect on the limiting conditions. Between the extinction and non-extinction limits, the suppression characteristics depended on the extinguishing agent, flow velocity, and O2 concentration. The limiting velocity data from the CO2, He, and N2 suppressants were well correlated using an effective mixture enthalpy per mole of O2, indicating that all act via O2 displacement and cooling mechanisms. In reduced gravity, the agent concentration required to suppress the flames increased as the velocity increased, up to approximately 10 cm/s (the maximum velocity evaluated in this experiment). The effective enthalpy required to extinguish flames at velocities of 10 cm/s is approximately the same as the concentrations in normal gravity. A computational study is underway to further evaluate these findings.

Ruff, Gary A.↗

Mars Micro-Meteorology Station Electronic Design, Assembly and Test Project

The Micro-Met mission is a micro-meteorological experiment for Mars designed to take globally distributed pressure measurements for at least one martian year. A series of 16 landers equally spaced over the planet's surface will take pressure and temperature data and relay it to investigators on Earth. Measurements will be logged once every hour and transmitted to an orbiter once every thirty days using Mars Balloon Relay protocol. Micro-Met data will aid tremendously in the development and refinement of a global model of Martian weather.

Twiggs, Robert J.↗

Photometric and spectroscopic observations of 5145 Pholus

Light curve observations carried out in January and February 1992 are presented. We find an amplitude of 0.2 magnitude and a period of 0.4157 day. Fine structures of the light curve and their variability with time are discussed in terms of the changing phase angle and deviations of the object's shape from a regular ellipsoid. The present orbital and physical properties alone for 5145 Pholus do not provide a clue for either a cometary or an asteroidal origin. It seems to have properties in common with both and thus could form a bridge between these two groups.

Hoffmann, Martin↗

The steep red spectrum of 1992 AD - An asteroid covered with organic material?

The CCD spectrometer reflection spectrum of 1992 AD is characterized by a very steep and constant red slope between 0.5 and 1.0 micron, without absorption or emission features; this slope is steeper than any currently known solar-system object, and cannot be readily matched with conventional silicate or meteoritic materials. Mixtures of tholins, or residues of organic molecules' bombardment by energetic radiation, are suggested as a match for this spectrum.

Fink, Uwe↗

Production rates for comet P/Temple 2 from long slit CCD spectroscopy

Since comet P/Temple-2 is one of the potential targets for the CRAF (Comet Rendezvous Asteroid Flyby) mission, we obtained long slit spectroscopic data with our CCD spectrograph during its 1988 apparition. As the same spectrograph was extensively used for observations of P/Halley, this allowed a direct spectroscopic comparison between the two objects. Furthermore we could choose a P/Halley spectrum which was taken at a heliocentric distance very close to that of P/Temple-2. Finally, we could adjust the integration windows along the slit to compensate for the different geocentric distances, so that roughly the same projected distance of the comets' comae was observed. The parameters for our observations are given.

Fink, Uwe↗

A CCD spectrum and production rates for Comet P/Temple 2

Now that comet P/Tempel 2 has been resurrected as the primary target for the CRAF mission, an analysis is presented of a 20 minute exposure taken Oct. 9, 1988. The comet displays a typical spectrum with no unusual omissions or additions. The comet therefore appears to be quite suitable for detailed spacecraft study as a representative object. Strong emissions by C2, NH2, CN, and OI sup 1 D are exhibited. Compared to the emissions, the continuum is moderately strong but appears somewhat weaker than for P/Halley. Production rates for H2O (from OI sup 1 D) and the parent of C2, NH2, and CN is presented and compared to P/Halley.

Fink, Uwe↗