Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “SrY”

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.

At least 145 records · Page 8

Products of Dissociative Recombination in the Ionosphere

SRI International undertook a novel experimental measurement of the product states formed by dissociative recombination (DR) of O2(+), NO(+), and N2(+) as a function of both electron energy and reactant ion vibrational level. For these measurements we used a recently developed experimental technique for measuring dissociation product distributions that allows both the branching ratios to be accurately determined and the electronic and rovibrational state composition of the reactant ions to be specified. DR is the dominant electron loss mechanism in all regions of the ionosphere. In this process, electron attachment to the molecular ion produces an unstable neutral molecule that rapidly dissociates. For a molecular ion such as O2(+), the dissociation recombination reaction is (1) O2(+) + e yields O + O + W. The atomic products of this reaction, in this case two oxygen atoms, can be produced in a variety of excited states and with a variety of kinetic energies, as represented by W in Eq. (1). These atoms are not only active in the neutral chemistry of the ionosphere, but are also especially important because their optical emissions are often used to infer in situ concentrations of the parent molecular ion and ambient electron densities. Many laboratory measurements have been made of DR reaction rates under a wide range of electron temperatures, but very little is known about the actual distributions among the final states of the atomic products. This lack of knowledge seriously limits the validity and effectiveness of efforts to model both natural and man-made ionospheric disturbances. Bates recently identified major deficiencies in the currently accepted branching ratios for O2(+) as they relate to blue and green line emission measurements in the nocturnal F-region. During our two-year effort, we partially satisfied our ambitious goals. We constructed and operated a variable pressure, electron-impact ion source and a high pressure, hollow-cathode discharge ion source for O2(+), NO(+), and N2(+) beams. Translational spectroscopy of the products of dissociative charge transfer in Cs vapor was used to accurately assay the composition of the O2(+) and NO(+) beams and to develop a methodology for the vibrationally controlled preparation of the ground state ion beams. Attempts to assay the N2(+) beam revealed a novel two-electron process in the charge transfer reactions. A coaxial electron gun for the DR measurements was constructed following an extensive numerical design of the fields. Tests of the gun, however, found substantial perturbations of the magnetic fields by the soft iron (CMI-C) assembly containing the Langmuir probe that locates the electron beam. Hydrogen annealing of the iron failed to eliminate the field perturbations, necessitating the removal of the probe assembly. During this work on the coaxial electron gun, we discovered that predissociated high Rydberg states of O2 could be produced by subjecting the molecules to a sudden perturbation by an electromagnetic field. This technique allowed a measurement of the product branching to the atomic limits for the lowest seven vibrational levels of O2(+).

Cosby, Philip↗

A Formal Model of Partitioning for Integrated Modular Avionics

The aviation industry is gradually moving toward the use of integrated modular avionics (IMA) for civilian transport aircraft. An important concern for IMA is ensuring that applications are safely partitioned so they cannot interfere with one another. We have investigated the problem of ensuring safe partitioning and logical non-interference among separate applications running on a shared Avionics Computer Resource (ACR). This research was performed in the context of ongoing standardization efforts, in particular, the work of RTCA committee SC-182, and the recently completed ARINC 653 application executive (APEX) interface standard. We have developed a formal model of partitioning suitable for evaluating the design of an ACR. The model draws from the mathematical modeling techniques developed by the computer security community. This report presents a formulation of partitioning requirements expressed first using conventional mathematical notation, then formalized using the language of SRI'S Prototype Verification System (PVS). The approach is demonstrated on three candidate designs, each an abstraction of features found in real systems.

DiVito, Ben L.↗

A Novel, Poly-Etalon, Fabry-Perot for Planetary Research

In an effort to develop a mechanically robust, high throughput and solid state spectrometer several liquid crystal Fabry-Perot etalons were constructed. The etalons were tested for spectral response, radiation resistance and optical transmission. The first year of this project was spent developing and understanding the properties of the liquid crystal etalons; in the second year an intensified all-sky imaging system was developed around a pair of LC etalons. The imaging system, developed jointly with SRI International represents a unique brassboard to demonstrate the use of LC etalons as tunable filters. The first set of etalons constructed in year one of this project were tested for spectral response and throughput while etalon surrogates were exposed to proton radiation simulating the exposure of an object in Low Earth Orbit (LEO). The 2" diameter etalons had a measure finesse of approximately 10 and were tunable over five orders. Liquid crystals exposed to proton irradiation showed no signs of damage. In year two two larger diameter (3") etalons were constructed with gaps of 3 and 5 microns. This pair of etalons is for use in a high resolution, all-sky spectral imager. The WATUMI imager system follows the heritage of all sky, narrow band, intensified imagers however it includes two LC Fabry-Perot etalons to provide tunability and the ability to switch wavelengths rapidly, an import consideration in auroral airglow imaging. This work also resulted in two publications and one poster presentation. The instrument will be uniquely capable, with superior throughput and speed, to measure optical airglow of multiple emission lines in harsh conditions.

Kerr, Robert B.↗

Formal Verification of the AAMP-FV Microcode

This report describes the experiences of Collins Avionics & Communications and SRI International in formally specifying and verifying the microcode in a Rockwell proprietary microprocessor, the AAMP-FV, using the PVS verification system. This project built extensively on earlier experiences using PVS to verify the microcode in the AAMP5, a complex, pipelined microprocessor designed for use in avionics displays and global positioning systems. While the AAMP5 experiment demonstrated the technical feasibility of formal verification of microcode, the steep learning curve encountered left unanswered the question of whether it could be performed at reasonable cost. The AAMP-FV project was conducted to determine whether the experience gained on the AAMP5 project could be used to make formal verification of microcode cost effective for safety-critical and high volume devices.

Miller, Steven P.↗

Cooperation Among Theorem Provers

In many years of research, a number of powerful theorem-proving systems have arisen with differing capabilities and strengths. Resolution theorem provers (such as Kestrel's KITP or SRI's SNARK) deal with first-order logic with equality but not the principle of mathematical induction. The Boyer-Moore theorem prover excels at proof by induction but cannot deal with full first-order logic. Both are highly automated but cannot accept user guidance easily. The purpose of this project, and the companion project at Kestrel, has been to use the category-theoretic notion of logic morphism to combine systems with different logics and languages.

Waldinger, Richard J.↗

The Formal Semantics of PVS

A specification language is a medium for expressing what is computed rather than how it is computed. Specification languages share some features with programming languages but are also different in several important ways. For our purpose, a specification language is a logic within which the behavior of computational systems can be formalized. Although a specification can be used to simulate the behavior of such systems, we mainly use specifications to state and prove system properties with mechanical assistance. We present the formal semantics of the specification language of SRI's Prototype Verification System (PVS). This specification language is based on the simply typed lambda calculus. The novelty in PVS is that it contains very expressive language features whose static analysis (e.g., typechecking) requires the assistance of a theorem prover. The formal semantics illuminates several of the design considerations underlying PVS, the interaction between theorem proving and typechecking.

Owre, Sam↗

An Integrated Environment for Efficient Formal Design and Verification

The general goal of this project was to improve the practicality of formal methods by combining techniques from model checking and theorem proving. At the time the project was proposed, the model checking and theorem proving communities were applying different tools to similar problems, but there was not much cross-fertilization. This project involved a group from SRI that had substantial experience in the development and application of theorem-proving technology, and a group at Stanford that specialized in model checking techniques. Now, over five years after the proposal was submitted, there are many research groups working on combining theorem-proving and model checking techniques, and much more communication between the model checking and theorem proving research communities. This project contributed significantly to this research trend. The research work under this project covered a variety of topics: new theory and algorithms; prototype tools; verification methodology; and applications to problems in particular domains.

Source record↗

NASA Advanced Fuels Program

NASA with the USAF Research Laboratory and it's industry partners, has been conducting planning and research into advanced fuels. This work is sponsored under the NASA Advanced Space Transportation Program (ASTP). The current research focus is on Alternative Hydrocarbon fuels, Monopropellants, and Solid Cryogens for storing atoms of Hydrogen, Boron, Carbon, and Aluminum. Alternative hydrocarbons that are under consideration are bi cyclo propylidene, spiro pentane, and tri propargyl amine. These three fuels have been identified as initial candidates to increase the specific impulse of hydrocarbon fueled rockets by 10-15 seconds over 02/RP-1. Formulation of these propellants is proceeding this year, and rocket engine testing is planned for the near future. Monopropellant investigations are focused on dinitramine based fuels, and potential collaborations with the US Navy. The dinitramine fuel work is being conducted under an Small Business Innovation research (SBIR) contract with the team of Orbital Technologies Corp. (Madison, WI) and SRI (Menlo Park, CA). This work may lead to a high density, high specific impulse monopropellants that can simplify the operations for launch vehicles and spacecraft. Solid Cryogens are being considered to store atoms of Hydrogen, Boron, Carbon, and Aluminum. Stored atom propellants are potentially the highest specific impulse chemical rockets that may be practical. These fuels are composed of atoms, stored in solid cryogenic particles, suspended in a cryogenic liquid or gel. The fuel would be fed to a rocket engine as a slurry or gelled cryogenic liquid with the suspended particles with the trapped atoms. Testing is planned to demonstrate the formation of the particles, and then characterize the slurry flows. Rocket propellant and propulsion technology improvements can be used to reduce the development time and operational costs of new space vehicle programs. Advanced propellant technologies can make the space vehicles safer, more operable, and better performing. Five technology areas are described: Monopropellants, Alternative Hydrocarbons, Gelled Hydrogen, Metallized Gelled Propellants, and High Energy Density Materials. The benefits of these propellants for future vehicles are outlined using mission study results and the technologies are briefly discussed.

Palaszewski, Bryan↗

High-Latitude Incoherent-Scatter Radar Measurements for the ISTP Program

Over the course of this contract, the ISTP mission became a reality and proved to be one of NASA's success stories. SRI and the NSF-sponsored Sondrestrom radar contributed significantly to the success. We provided dedicated radar experiment time with operation modes specifically designed to complement the ISTP spacecraft. Data collected during coronal mass ejection events indicated that at times significant energy is fed from the ionosphere to the magnetosphere. A model of global conductance is emerging from combined POLAR and Sondrestrom data sets. We initiated a study to investigate the behavior of the global energy budget during the evolution of magnetospheric storms and substorms using a number of ground-based and satellite data sets.

Kelly, John D.↗

The Development of Engineering Tomography for Monolithic and Composite Materials and Components

The research accomplishments under this grant were very extensive in the areas of the development of engineering tomography for monolithic and composite materials and components. Computed tomography was used on graphite composite pins and bushings to find porosity, cracks, and delaminations. It supported the following two programs: Reusable Launch Vehicle (RLV) and Southern Research institute (SRI). Did research using CT and radiography on Nickel based Superalloy dogbones and found density variations and gas shrinkage porosity. Did extensive radiography and CT of PMC composite flywheels and found delamination and non-uniform fiber distribution. This grant supported the Attitude Control Energy Storage Experiment (ACESE) program. Found broken fibers and cracks of outer stainless steel fibers using both radiographic and CT techniques on Pratt and Whitney fuel lines; Supported the Pratt & Whitney and Aging Aircraft engines program. Grant research helped identify and corroborate thickness variations and density differences in a silicon nitride "ROTH" tube using computed tomography.

Hemann, John↗

BioSIGHT: Interactive Visualization Modules for Science Education

Redefining science education to harness emerging integrated media technologies with innovative pedagogical goals represents a unique challenge. The Integrated Media Systems Center (IMSC) is the only engineering research center in the area of multimedia and creative technologies sponsored by the National Science Foundation. The research program at IMSC is focused on developing advanced technologies that address human-computer interfaces, database management, and high- speed network capabilities. The BioSIGHT project at IMSC is a demonstration technology project in the area of education that seeks to address how such emerging multimedia technologies can make an impact on science education. The scope of this project will help solidify NASA's commitment for the development of innovative educational resources that promotes science literacy for our students and the general population as well. These issues must be addressed as NASA marches towards the goal of enabling human space exploration that requires an understanding of life sciences in space. The IMSC BioSIGHT lab was established with the purpose of developing a novel methodology that will map a high school biology curriculum into a series of interactive visualization modules that can be easily incorporated into a space biology curriculum. Fundamental concepts in general biology must be mastered in order to allow a better understanding and application for space biology. Interactive visualization is a powerful component that can capture the students' imagination, facilitate their assimilation of complex ideas, and help them develop integrated views of biology. These modules will augment the role of the teacher and will establish the value of student-centered interactivity, both in an individual setting as well as in a collaborative learning environment. Students will be able to interact with the content material, explore new challenges, and perform virtual laboratory simulations. The BioSIGHT effort is truly cross-disciplinary in nature and requires expertise from many areas including Biology, Computer Science, Electrical Engineering, Education, and the Cognitive Sciences. The BioSIGHT team includes a scientific illustrator, educational software designer, computer programmers as well as IMSC graduate and undergraduate students. Our collaborators include TERC, a research and education organization with extensive k-12 math and science curricula development from Cambridge, MA.; SRI International of Menlo Park, CA.; teachers and students from local area high schools (Newbury Park High School, USC's Family of Five schools, Chadwick School, and Pasadena Polytechnic High School).

Wong, Wee Ling↗

Inference System Integration Via Logic Morphisms

This is a final report on the accomplishments during the period of the NASA grant. The work on inference servers accomplished the integration of the SLANG logic (Specware's default specification logic) with a number of inference servers in order to make their complementary strengths available. These inverence servers are (1) SNARK. (2) Gandalf, Setheo, and Spass, (3) the Prototype Verification System (PVS) from SRI. (4) HOL98. We designed and implemented MetaSlang, an ML-like language, which we are using to specify and implement all our logic morphisms.

Bjorner, Nikolaj S.↗

Automatic Blood Pressure Measurements During Exercise

Microprocessor circuits and a computer algorithm for automatically measuring blood pressure during ambulatory monitoring and exercise stress testing have been under development at SRI International. A system that records ECG, Korotkov sound, and arm cuff pressure for off-line calculation of blood pressure has been delivered to NASA, and an LSLE physiological monitoring system that performs the algorithm calculations in real-time is being constructed. The algorithm measures the time between the R-wave peaks and the corresponding Korotkov sound on-set (RK-interval). Since the curve of RK-interval versus cuff pressure during deflation is predictable and slowly varying, windows can be set around the curve to eliminate false Korotkov sound detections that result from noise. The slope of this curve, which will generally decrease during exercise, is the inverse of the systolic slope of the brachial artery pulse. In measurements taken during treadmill stress testing, the changes in slopes of subjects with coronary artery disease were markedly different from the changes in slopes of healthy subjects. Measurements of slope and O2 consumption were also made before and after ten days of bed rest during NASA/Ames Research Center bed rest studies. Typically, the maximum rate of O2 consumption during the post-bed rest test is less than the maximum rate during the pre-bed rest test. The post-bed rest slope changes differ from the pre-bed rest slope changes, and the differences are highly correlated with the drop in the maximum rate of O2 consumption. We speculate that the differences between pre- and post-bed rest slopes are due to a drop in heart contractility.

Weaver, Charles S.↗

Wireless Subsurface Microsensors for Health Monitoring of Thermal Protection Systems on Hypersonic Vehicles

Health diagnostics is an area where major improvements have been identified for potential implementation into the design of new reusable launch vehicles in order to reduce life cycle costs, to increase safety margins, and to improve mission reliability. NASA Ames is leading the effort to develop inspection and health management technologies for thermal protection systems. This paper summarizes a joint project between NASA Ames and SRI International to develop 'SensorTags,' radio frequency identification devices coupled with event-recording sensors, that can be embedded in the thermal protection system to monitor temperature or other quantities of interest. Two prototype SensorTag designs containing thermal fuses to indicate a temperature overlimit are presented and discussed.

Milos, Frank S.↗

Future of Colombo Airport (CMB) as an Airline Hub

Aviation throughout the world has seen profound changes within the last two decades. Today more and more airports are looking for hub operations. However, as the success of hub operation would depend on a number of parameters such as geographic location, route network, facilities available, passengers' acceptance etc., not all airports would be able to operate as successful hubs. This paper investigates the possibility for (he Bandaranayake international airport, Colombo, Sri Lanka (CMB) to emerge as a hub airport in the South Asian region. It is found that CMB is situated in a geographically advantageous position in the region with respect to the airline route network. Comparison of travel distances between CMB and prominent O-D pairs and evaluation of airline schedules at relevant established hub airports indicates that CMB could operate as a directional hub serving the South Asian market if the number of destinations with daily flights could be increased.

Jayalath, J. T. D.↗

Virtual Environments in Scientific Visualization

Virtual environment technology is a new way of approaching the interface between computers and humans. Emphasizing display and user control that conforms to the user's natural ways of perceiving and thinking about space, virtual environment technologies enhance the ability to perceive and interact with computer generated graphic information. This enhancement potentially has a major effect on the field of scientific visualization. Current examples of this technology include the Virtual Windtunnel being developed at NASA Ames Research Center. Other major institutions such as the National Center for Supercomputing Applications and SRI International are also exploring this technology. This talk will be describe several implementations of virtual environments for use in scientific visualization. Examples include the visualization of unsteady fluid flows (the virtual windtunnel), the visualization of geodesics in curved spacetime, surface manipulation, and examples developed at various laboratories.

Bryson, Steve↗

Virtual Environments in Scientific Visualization

Virtual environment technology is a new way of approaching the interface between computers and humans. Emphasizing display and user control that conforms to the user's natural ways of perceiving and thinking about space, virtual environment technologies enhance the ability to perceive and interact with computer generated graphic information. This enhancement potentially has a major effect on the field of scientific visualization. Current examples of this technology include the Virtual Windtunnel being developed at NASA Ames Research Center. Other major institutions such as the National Center for Supercomputing Applications and SRI International are also exploring this technology. This talk will be describe several implementations of virtual environments for use in scientific visualization. Examples include the visualization of unsteady fluid flows (the virtual windtunnel), the visualization of geodesics in curved spacetime, surface manipulation, and examples developed at various laboratories.

Bryson, Steve↗

The Eyes Have It

NASA'S Ames Research Center contracted with SRI international to contract a device that would be able to anticipate, track, and monitor involuntary ocular movement horizontally, vertically, and with respect to depth-of-field. This development helped research institutions to understand the eye. The Eyetracker, manufactured and distributed by Forward Optical Technologies, Inc. is now used in the clinical/medical field.

Source record↗