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.

SourceResearch connectionFrom yearThrough year

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

At least 127 records · Page 7

All sources NASA NTRS DOE OSTI

NASA NTRS1993

Design of a reading test for low vision image warping

NASA and the University of Houston College of Optometry are examining the efficacy of image warping as a possible prosthesis for at least two forms of low vision - maculopathy and retinitis pigmentosa. Before incurring the expense of reducing the concept to practice, one would wish to have confidence that a worthwhile improvement in visual function would result. NASA's Programmable Remapper (PR) can warp an input image onto arbitrary geometric coordinate systems at full video rate, and it has recently been upgraded to accept computer-generated video text. We have integrated the Remapper with an SRI eye tracker to simulate visual malfunction in normal observers. A reading performance test has been developed to determine if the proposed warpings yield an increase in visual function; i.e., reading speed. We will describe the preliminary experimental results of this reading test with a simulated central field defect with and without remapped images.

Loshin, David S.↗

NASA NTRS1990

Reaction control system/remote manipulator system automation

The objectives of this project is to evaluate the capability of the Procedural Reasoning System (PRS) in a typical real-time space shuttle application and to assess its potential for use in the Space Station Freedom. PRS, developed by SRI International, is a result of research in automating the monitoring and control of spacecraft systems. The particular application selected for the present work is the automation of malfunction handling procedures for the Shuttle Remote Manipulator System (SRMS). The SRMS malfunction procedures will be encoded within the PRS framework, a crew interface appropriate to the RMS application will be developed, and the real-time data interface software developed. The resulting PRS will then be integrated with the high-fidelity On-orbit Simulation of the NASA Johnson Space Center's System Engineering Simulator, and tests under various SRMS fault scenarios will be conducted.

Hiers, Harry K.↗

NASA NTRS1990

Knowledge-based system verification and validation

The objective of this task is to develop and evaluate a methodology for verification and validation (V&V) of knowledge-based systems (KBS) for space station applications with high reliability requirements. The approach consists of three interrelated tasks. The first task is to evaluate the effectiveness of various validation methods for space station applications. The second task is to recommend requirements for KBS V&V for Space Station Freedom (SSF). The third task is to recommend modifications to the SSF to support the development of KBS using effectiveness software engineering and validation techniques. To accomplish the first task, three complementary techniques will be evaluated: (1) Sensitivity Analysis (Worchester Polytechnic Institute); (2) Formal Verification of Safety Properties (SRI International); and (3) Consistency and Completeness Checking (Lockheed AI Center). During FY89 and FY90, each contractor will independently demonstrate the user of his technique on the fault detection, isolation, and reconfiguration (FDIR) KBS or the manned maneuvering unit (MMU), a rule-based system implemented in LISP. During FY91, the application of each of the techniques to other knowledge representations and KBS architectures will be addressed. After evaluation of the results of the first task and examination of Space Station Freedom V&V requirements for conventional software, a comprehensive KBS V&V methodology will be developed and documented. Development of highly reliable KBS's cannot be accomplished without effective software engineering methods. Using the results of current in-house research to develop and assess software engineering methods for KBS's as well as assessment of techniques being developed elsewhere, an effective software engineering methodology for space station KBS's will be developed, and modification of the SSF to support these tools and methods will be addressed.

Johnson, Sally C.↗

NASA NTRS1993

Level 3 material characterization of NARC HRPF, HRHU, HRHF, and HRPU

The North American Rayon Corporation (NARC) precursor was developed, qualified, and characterized for Space Shuttle nozzle carbon-cloth phenolic ablative materials in three distinct phases. The characterization phase includes thermal and structural material property analysis and comparisons. This report documents the thermal and structural material property characterization performed by Southern Research Institute (SRI) on the two NARC baseline and two crossover materials.

Tobias, Mark E.↗

NASA NTRS1993

SALI chemical analysis of provided samples

SRI has completed the chemical analysis of all the samples supplied by NASA. The final batch of four samples consisted of: one inch diameter MgF2 mirror, control 1200-ID-FL3; one inch diameter neat resin, PMR-15, AO171-IV-55, half exposed and half unexposed; one inch diameter chromic acid anodized, EOIM-3 120-47 aluminum disc; and AO-exposed and unexposed samples of fullerene extract material in powdered form, pressed into In foil for analysis. Chemical analyses of the surfaces were performed by the surface analysis by laser ionization (SALI) method. The analyses emphasize surface contamination or general organic composition. SALI uses nonselective photoionization of sputtered or desorbed atoms and molecules above but close (approximately one mm) to the surface, followed by time-of-flight (TOF) mass spectrometry. In these studies, we used laser-induced desorption by 5-ns pulse-width 355-nm light (10-100 mJ/sq cm) and single-photon ionization (SPI) by coherent 118-nm radiation (at approximately 5 x 10(exp 5) W/sq cm). SPI was chosen primarily for its ability to obtain molecular information, whereas multiphoton ionization (not used in the present studies) is intended primarily for elemental and small molecule information. In addition to these four samples, the Au mirror (EOIM-3 200-11, sample four) was depth profiled again. Argon ion sputtering was used together with photoionization with intense 355-nm radiation (35-ps pulsewidths). Depth profiles are similar to those reported earlier, showing reproducibility. No chromium was found in the sample above noise level; its presence could at most be at the trace level. Somewhat more Ni appears to be present in the Au layer in the unexposed side, indicating thermal diffusion without chemical enhancement. The result of the presence of oxygen is apparently to tie-up/draw out the Ni as an oxide at the surface. The exposed region has a brownish tint appearance to the naked eye.

Becker, Christopher H.↗

NASA NTRS1994

Local Measurement of Tropospheric HO(x)

In March of 1992 a workshop sponsored by NASA and NSF was held at SRI International to assess the current ability to measure atmospheric OH and HO2. The measurement techniques reviewed during the workshop for detection of OH included five laser-induced fluorescence schemes, five laser-based adsorption techniques, and four non-laser methods. Six instruments or instrument concepts for HO2 detection, including chemical amplification, conversion to OH with subsequent OH detection, or direct spectroscopic detection of the HO2 were also discussed. The conclusions from the workshop identify several measurement techniques for OH and HO2 that are ready for field tests. These have the ability to measure the radicals with sufficient sensitivity and accuracy to form meaningful comparison with atmospheric model predictions. The workshop conclusions also include recommendations for informal and formal intercomparison protocols.

Crosley, David R.↗

NASA NTRS1994

Magnetospheric-ionospheric Poynting flux

Over the past three years of funding SRI, in collaboration with the University of Texas at Dallas, has been involved in determining the total electromagnetic energy flux into the upper atmosphere from DE-B electric and magnetic field measurements and modeling the electromagnetic energy flux at high latitudes, taking into account the coupled magnetosphere-ionosphere system. This effort has been very successful in establishing the DC Poynting flux as a fundamental quantity in describing the coupling of electromagnetic energy between the magnetosphere and ionosphere. The DE-B satellite electric and magnetic field measurements were carefully scrutinized to provide, for the first time, a large data set of DC, field-aligned, Poynting flux measurement. Investigations describing the field-aligned Poynting flux observations from DE-B orbits under specific geomagnetic conditions and from many orbits were conducted to provide a statistical average of the Poynting flux distribution over the polar cap. The theoretical modeling effort has provided insight into the observations by formulating the connection between Poynting's theorem and the electromagnetic energy conversion processes that occur in the ionosphere. Modeling and evaluation of these processes has helped interpret the satellite observations of the DC Poynting flux and improved our understanding of the coupling between the ionosphere and magnetosphere.

Thayer, Jeffrey P.↗

NASA NTRS1993

CGF cartridge development, volume 1

This report is a summary of SRI's efforts in Crystal Growth Furnace cartridge developments. It includes: evaluation of molybdenum, TZM, and WC-103 as cartridge materials; a survey of oxidation resistant coatings; chemical compatibility studies of cadmium-zinc-telluride and gallium-arsenide with TZM and WC-103; a survey of future cartridge materials; and suggested improvements in ampoule design.

Dixon, Carl A.↗

NASA NTRS1995

Modeling of the coupled magnetospheric and neutral wind dynamos

Work at SRI involved modeling the exchange of electromagnetic energy between the ionosphere and magnetosphere to help interpret the DE-B Poynting flux observations. To describe the electrical properties of the high-latitude ionosphere, we constructed a numerical model, from the framework provided by the Vector Spherical Harmonic (VSH) model, that determines the ionospheric currents, conductivities, and electric fields including both magnetospheric inputs and neutral wind dynamo effects. This model development grew from the earlier question of whether an electrical energy source in the ionosphere was capable of providing an upward Poynting flux. The model solves the steady-state neutral wind dynamo equations and the Poynting flux equation to provide insight into the electrodynamic role of the neutral winds. The modeling effort to determine the high-latitude energy flux has been able to reproduce many of the large-scale features observed in the Poynting flux measurements made by DE-2. Because the Poynting flux measurement is an integrated result of energy flux into or out of the ionosphere, we investigated the ionospheric properties that may contribute to the observed flux of energy measured by the spacecraft. During steady state the electromagnetic energy flux, or DC Poynting flux, is equal to the Joule heating rate and the mechanical energy transfer rate in the high-latitude ionosphere. Although the Joule heating rate acts as an energy sink, transforming electromagnetic energy into thermal or internal energy of the gas, the mechanical energy transfer rate may be either a sink or source of electromagnetic energy. In the steady state, it is only the mechanical energy transfer rate that can generate electromagnetic energy and result in a DC Poynating flux that is directed out of the ionosphere.

Thayer, J. P.↗

NASA NTRS1994

Evidence for eddy formation in the eastern Arabian Sea during the northeast monsoon

The seasonal formation of a large (500-800 km diameter) anticyclonic eddy in the upper 300-400 m of the eastern Arabian Sea during the northest monsoon period (December-April) is indicated fom hydrographic and satellite altimetry sea level observations, as well as from numerical model experiments. The center of the eddy circulation is approximately 10 deg N, 70 deg E, just to the west of the north-south Laccadive Island chain. In this paper the eddy is called the Laccadive High (LH). In some ways it is like a mirrorlike counterpart to the Great Whirl that develops during the southwest monsoon of the Somali coast (western Arabian Sea). The LH occurs at the same latitude but on the opposite side of the basin during the reversed monsoon. It is different from the Great Whirl, however, in its formation process, its intensity, and its decay. The hydrographic data obtained from surveys all during a single season give sufficiently close station spacing to allow reasonable contouring of the geopotential surfaces and of the properties within and around the LH region with minimum time aliasing. The Geostat altimeter record extends over 4 years, during which the seasonal variability of the LH indicates a dynamic relief of approximately 15-20 cm, which is in good agreement with the hydrographics observations. The altimetry time series also suggests a westward translation of the LH by January with a subsequent dissipation in midbasin. The model used is a wind-forced three-layer primitive equation model which depicts a LH agreement with the timing, position, and amplitude of both the hydrographic and altimetric measurements. The numerical simulation includes a passive tracer located in the Western Bay of Bengal; the western advection of the tracer around the south coasts of Sri Lanka and India in December and January is consistent with the appearance of low-salinity water observed to extend into the Arabian Sea during this period. The modeling studies suggest that both local and remote forcing are important in formation of the LH.

Bruce, John G.↗

NASA NTRS1995

Formal development of a clock synchronization circuit

This talk presents the latest stage in formal development of a fault-tolerant clock synchronization circuit. The development spans from a high level specification of the required properties to a circuit realizing the core function of the system. An abstract description of an algorithm has been verified to satisfy the high-level properties using the mechanical verification system EHDM. This abstract description is recast as a behavioral specification input to the Digital Design Derivation system (DDD) developed at Indiana University. DDD provides a formal design algebra for developing correct digital hardware. Using DDD as the principle design environment, a core circuit implementing the clock synchronization algorithm was developed. The design process consisted of standard DDD transformations augmented with an ad hoc refinement justified using the Prototype Verification System (PVS) from SRI International. Subsequent to the above development, Wilfredo Torres-Pomales discovered an area-efficient realization of the same function. Establishing correctness of this optimization requires reasoning in arithmetic, so a general verification is outside the domain of both DDD transformations and model-checking techniques. DDD represents digital hardware by systems of mutually recursive stream equations. A collection of PVS theories was developed to aid in reasoning about DDD-style streams. These theories include a combinator for defining streams that satisfy stream equations, and a means for proving stream equivalence by exhibiting a stream bisimulation. DDD was used to isolate the sub-system involved in Torres-Pomales' optimization. The equivalence between the original design and the optimized verified was verified in PVS by exhibiting a suitable bisimulation. The verification depended upon type constraints on the input streams and made extensive use of the PVS type system. The dependent types in PVS provided a useful mechanism for defining an appropriate bisimulation.

Miner, Paul S.↗

NASA NTRS1995

Shuttle Earth Views, 1994

In this fourth part of a four-part video compilation of Space Shuttle Earth views, various geographical areas are shown, including both land and water masses. The views covered the Middle East (Saudi Arabia, Sinai, Jordan , Egypt, Iran, Iraq, Kuwait, Bahrain, Qatar, and the United Arab Emirates), northeastern Africa (Yemen, Oman, Ethiopia, Somalia, and Djibouti), Russia, Siberia, India, Sri Lanka, Tibet, Bhutan, western China, and Mongolia. Various lakes, seas, rivers, and islands are shown, along with several pieces of film footage of sunsets, moon sets, clouds, and tropical storms. Each film clip has a heading that names the shuttle and the geographical location of the footage.

Source record↗

NASA NTRS1996

DC-8 scanning lidar characterization of aircraft contrails and cirrus clouds

A Subsonic Assessment (SASS) element of the overall Atmospheric Effects of Aviation Project (AEAP) was initiated by NASA to assess the atmospheric impact of subsonic aircraft. SRI was awarded a project to develop and test a scanning backscatter lidar for installation on the NASA DC-8 (year 1), participate in the Subsonic Aircraft: Contrail and Cloud Effects Special Study (SUCCESS) field program (year 2), and conduct a comprehensive analysis of field data (year 3). A scanning mirror pod attached to the DC-8 aircraft provides for scanning lidar observations ahead of the DC-8 and fixed-angle upward or downward observations. The lidar system installed within the DC-8 transmits 275 MJ at 1.06 gm wavelength or about 130 mJ at 1.06 and 0.53 gm simultaneously. Range-resolved aerosol backscatter is displayed in real time in terms of cloud/contrail spatial distributions. The objectives of the project are to map contrail/cloud vertical distributions ahead of DC-8; provide DC-8 guidance into enhanced scattering layers; document DC-8 flight path intersection of contrail and cloud geometries (in-situ measurement positions relative to cloud/contrail shape and an extension of in-situ measurements into the vertical -- integrated contrail/cloud properties); analyze contrail/cloud radiative properties with LIRAD (combined lidar and radiometry) technique; evaluate mean particle sizes of aircraft emissions from two-wavelength observations; study contrail/cloud interactions, diffusion, and mass decay/growth; and make observations in the near-field of aircraft engine emissions. The scanning mirror pod may also provide a scanning capability for other remote sensing instruments.

Nielsen, Norman B.↗

NASA NTRS1996

Products of Dissociative Recombination in the Ionosphere

SRI International undertook a novel experimental measurement of the product states formed by dissociative ro-combination (DR) of C2(+), 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 ro-vibrational 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.

Cosby, Philip↗

NASA NTRS1996

Using Formal Methods to Assist in the Requirements Analysis of the Space Shuttle GPS Change Request

We describe a recent NASA-sponsored pilot project intended to gauge the effectiveness of using formal methods in Space Shuttle software requirements analysis. Several Change Requests (CR's) were selected as promising targets to demonstrate the utility of formal methods in this application domain. A CR to add new navigation capabilities to the Shuttle, based on Global Positioning System (GPS) technology, is the focus of this report. Carried out in parallel with the Shuttle program's conventional requirements analysis process was a limited form of analysis based on formalized requirements. Portions of the GPS CR were modeled using the language of SRI's Prototype Verification System (PVS). During the formal methods-based analysis, numerous requirements issues were discovered and submitted as official issues through the normal requirements inspection process. Shuttle analysts felt that many of these issues were uncovered earlier than would have occurred with conventional methods. We present a summary of these encouraging results and conclusions we have drawn from the pilot project.

DiVito, Ben L.↗

NASA NTRS1997

Institute Study Report

This report documents a study conducted by the MSFC working group on Institutes in 1995 on the structure, organization and business arrangements of Institutes at a time when the agency was considering establishing science institutes. Thirteen institutes, ten science centers associated with the state of Georgia, Stanford Research Institute (SRI), and IIT Research Institute (IITRI), and general data on failed institutes were utilized to form this report. The report covers the working group's findings on institute mission, structure, director, board of directors/advisors, the working environment, research arrangements, intellectual property rights, business management, institute funding, and metrics.

Whitaker, Ann↗

NASA NTRS1996

Fast Track Study

The NASA Fast Track Study supports the efforts of a Special Study Group (SSG) made up of members of the Advanced Project Management Class number 23 (APM-23) that met at the Wallops Island Management Education Center from April 28 - May 8, 1996. Members of the Class expressed interest to Mr. Vem Weyers in having an input to the NASA Policy Document (NPD) 7120.4, that will replace NASA Management Institute (NMI) 7120.4, and the NASA Program/Project Management Guide. The APM-23 SSG was tasked with assisting in development of NASA policy on managing Fast Track Projects, defined as small projects under $150 million and completed within three years. 'Me approach of the APM-23 SSG was to gather data on successful projects working in a 'Better, Faster, Cheaper' environment, within and outside of NASA and develop the Fast Track Project section of the NASA Program/Project Management Guide. Fourteen interviews and four other data gathering efforts were conducted by the SSG, and 16 were conducted by Strategic Resources, Inc. (SRI), including five interviews at the Jet Propulsion Laboratory (JPL) and one at the Applied Physics Laboratory (APL). The interviews were compiled and analyzed for techniques and approaches commonly used to meet severe cost and schedule constraints.

Source record↗

NASA NTRS1997

Modeling of the Coupled Magnetospheric and Neutral Wind Dynamos

Over the past four years of funding, SRI, in collaboration with the University of Texas at Dallas, has been involved in assessing the influence of thermospheric neutral winds on the electric field and current systems at high latitudes. The initial direction of the project was to perform a set of numerical experiments concerning the contribution of the magnetospheric and neutral wind dynamo processes, under specific boundary conditions, to the polarization electric field and/or the field-aligned current distribution at high latitudes. To facilitate these numerical experiments we developed a numerical scheme that relied on using output from the NCAR Thermosphere-Ionosphere General Circulation Model (NCAR-TIGCM), expanding them in the form of spherical harmonics and solving the dynamo equations spectrally. Once initial calculations were completed, it was recognized that the neutral wind contribution could be significant but its actual contribution to the electric field or currents depended strongly on the generator properties of the magnetosphere. Solutions to this problem are not unique because of the unknown characteristics of the magnetospheric generator, therefore the focus was on two limiting cases. One limiting case was to consider the magnetosphere as a voltage generator delivering a fixed voltage to the high-latitude ionosphere and allowing for the neutral wind dynamo to contribute only to the current system. The second limiting case was to consider the magnetosphere as a current generator and allowing for the neutral wind dynamo to contribute only to the generation of polarization electric fields. This work was completed and presented at the l994 Fall AGU meeting. The direction of the project then shifted to applying the Poynting flux concept to the high-latitude ionosphere. This concept was more attractive as it evaluated the influence of neutral winds on the high-latitude electrodynamics without actually having to determine the generator characteristics of the magnetosphere. The influence of the neutral wind was then determined not by estimating how much electric potential or current density it provides, but by determining the contribution of the neutral wind to the net electromagnetic energy transferred between the ionosphere and magnetosphere. The estimate of the net electromagnetic energy transfer and the role of the neutral winds proves to be a more fundamental quantity in studies of magnetosphere- ionosphere coupling also showed that by using electric and magnetic field measurements from the HILAT satellite, the Poynting flux could be a measurable quantity from polar-orbiting, low- altitude spacecraft. Through collaboration with Dr. Heelis and others at UTD and their expertise of the electric field measurements on the DE-B satellite, an extensive analysis was planned to determine the Poynting flux from the DE-B measurements in combination with a modeling effort to help interpret the observations taking into account the coupled magnetosphere-ionosphere.

Thayer, Jeffrey P.↗