Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “LuTh”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

CARS temperature measurements in the fuel preburner of the Space Shuttle main engine: A feasibility study

This report discusses the feasibility of making temperature profile measurements in the fuel preburner of the main engine of the space shuttle (SSME) using coherent anti-Stokes Raman spectroscopy (CARS). The principal thrust of the work is to identify problems associated with making CARS measurements in high temperature gas phase hydrogen at very high pressures (approx 400 atmospheres). To this end a theoretical study was made of the characteristics of the CAR spectra of H2 as a function of temperature and pressure and the accuracy with which temperatures can be extracted from this spectra. In addition the experimental problems associated with carrying out these measurements on a SSME at NSTL were identified. A conceptual design of a CARS system suitable for this work is included. Many of the results of the calculations made in this report are plotted as a function of temperature. In the course of presenting these results, it was necessary to decide whether the number of density or the pressure should be treated as a fixed parameter.

Beiting, E. J.↗

Thermal-infrared spectral observations of geologic materials in emission

The thermal-infrared spectra of geologic materials in emission were studied using the prototype Thermal Emission Spectrometer (TES). A variety of of processes and surface modifications that may influence or alter the spectra of primary rock materials were studied. It was confirmed that thermal emission spectra contain the same absorption features as those observed in transmission and reflection spectra. It was confirmed that the TES instrument can be used to obtain relevant spectra for analysis of rock and mineral composition.

Christensen, Philip R.↗

A Semantic Basis for Proof Queries and Transformations

We extend the query language PrQL, designed for inspecting machine representations of proofs, to also allow transformation of proofs. PrQL natively supports hiproofs which express proof structure using hierarchically nested labelled trees, which we claim is a natural way of taming the complexity of huge proofs. Query-driven transformations enable manipulation of this structure, in particular, to transform proofs produced by interactive theorem provers into forms that assist their understanding, or that could be consumed by other tools. In this paper we motivate and define basic transformation operations, using an abstract denotational semantics of hiproofs and queries. This extends our previous semantics for queries based on syntactic tree representations.We define update operations that add and remove sub-proofs, and manipulate the hierarchy to group and ungroup nodes. We show that

Proof Queries↗