Search NASA⌕ Search

Engineering topics

Calaway, W. F.

Publications and source records attributed to Calaway, W. F..

"DUST BUSTER" - A Single Photon Ionization TOF MS for Cometary Dusts

It is hard to predict the properties and composition of dust that will be returned by STARDUST from WED- 2. The most interesting but challenging case would be grains, pg to fg in weight, each carrying its own isotopic signature characteristic of its source zones in a variety of stars. How do we extract the maximum amount of science from such grains? Clearly, the best that can be accomplished is to measure every atom in each grain.Academia Sinica and Argonne National Laboratory (ANL) have entered into a collaboration to develop a SPI TOF MS instrument for analysis of stardust grains. A new instrument will be built at Academia Sinica based on the new TOF mass spectrometer design developed, built and operating at ANL. The instrument is intended for SPI TOF MS analysis of elements from Ca to Cu plus Li after first using SIMS to measure H, C, N, 0, Si, and S. There are still technical challenges facing the technique. We will need to improve submicrometer sample handling, avoid the effects of space charge, and increase the Mamie range of the detector. The most difficult obstacle to overcome may be the fact that the flux density of present high repetition rate, WV lasers is below the level needed to ensure full ionization (saturation) in the source region, which must be several mm in size to achieve the high useful yield needed for analysis of small stardust grains. A potential breakthrough effort is to exploit the novel free electron laser being pioneered at ANL. In principle, this FEL can reach ionization saturation and is tunable up to photon energies of 25 eV, which is higher than the ionization potential of any element.

Chen, C.-Y.↗

Three-color resonance ionization spectroscopy of Zr in Si

As our society becomes technologically more complex, computers are being used in greater and greater numbers of high consequence systems. Giving a machine control over the lives of humans can be disturbing, especially if the software that is run on such a machine has bugs. Formal reasoning is one of the most powerful techniques available to demonstrate the correctness of a piece of software. When reasoning about software and its development, one frequently encounters expressions that contain partial functions. As might be expected, the presence of partial functions introduces an additional dimension of difficulty to the reasoning framework. This difficulty produces an especially strong impact in the case of high consequence systems. An ability to use formal methods for constructing software is essential if we want to obtain greater confidence in such systems through formal reasoning. This is only reasonable under automation of software development and verification. However, the ubiquitous presence of partial functions prevents a uniform application to software of any tools not specifically accounting for partial functions. In this paper we will describe a framework for reasoning about software, based on the nonstrict explicit domain approach, that is applicable to a large class of software/hardware systems. In this framework the Hoare triples containing partial functions can be reasoned about automatically in a well-defined and uniform manner.

Hansen, C. S.↗