Search NASA⌕ Search

SEARCH · Search NASA

Results for “ABSTRACT”

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 415 records · Page 23
All sourcesNASA NTRSDOE OSTI
NASA NTRS1995

An approach to verification and validation of a reliable multicasting protocol: Extended Abstract

This paper describes the process of implementing a complex communications protocol that provides reliable delivery of data in multicast-capable, packet-switching telecommunication networks. The protocol, called the Reliable Multicasting Protocol (RMP), was developed incrementally using a combination of formal and informal techniques in an attempt to ensure the correctness of its implementation. Our development process involved three concurrent activities: (1) the initial construction and incremental enhancement of a formal state model of the protocol machine; (2) the initial coding and incremental enhancement of the implementation; and (3) model-based testing of iterative implementations of the protocol. These activities were carried out by two separate teams: a design team and a V&V team. The design team built the first version of RMP with limited functionality to handle only nominal requirements of data delivery. This initial version did not handle off-nominal cases such as network partitions or site failures. Meanwhile, the V&V team concurrently developed a formal model of the requirements using a variant of SCR-based state tables. Based on these requirements tables, the V&V team developed test cases to exercise the implementation. In a series of iterative steps, the design team added new functionality to the implementation while the V&V team kept the state model in fidelity with the implementation. This was done by generating test cases based on suspected errant or off-nominal behaviors predicted by the current model. If the execution of a test in the model and implementation agreed, then the test either found a potential problem or verified a required behavior. However, if the execution of a test was different in the model and implementation, then the differences helped identify inconsistencies between the model and implementation. In either case, the dialogue between both teams drove the co-evolution of the model and implementation. We have found that this interactive, iterative approach to development allows software designers to focus on delivery of nominal functionality while the V&V team can focus on analysis of off nominal cases. Testing serves as the vehicle for keeping the model and implementation in fidelity with each other. This paper describes (1) our experiences in developing our process model; and (2) three example problems found during the development of RMP. Although RMP has provided our research effort with a rich set of test cases, it also has practical applications within NASA. For example, RMP is being considered for use in the NASA EOSDIS project due to its significant performance benefits in applications that need to replicate large amounts of data to many network sites.

Callahan, John R.↗
NASA NTRS1994

A method for automatically abstracting visual documents

Visual documents--motion sequences on film, videotape, and digital recording--constitute a major source of information for the Space Agency, as well as all other government and private sector entities. This article describes a method for automatically selecting key frames from visual documents. These frames may in turn be used to represent the total image sequence of visual documents in visual libraries, hypermedia systems, and training algorithm reduces 51 minutes of video sequences to 134 frames; a reduction of information in the range of 700:1.

Rorvig, Mark E.↗
NASA NTRS1997

12th Man in Space Symposium: The Future of Humans in Space. Abstract Volume

The National Aeronautics and Space Administration (NASA) is pleased to host the 12th IAA Man in Space Symposium. A truly international forum, this symposium brings together scientists, engineers, and managers interested in all aspects of human space flight to share the most recent research results and space agency planning related to the future of humans in space. As we look out at the universe from our own uniquely human perspective, we see a world that we affect at the same time that it affects us. Our tomorrows are highlighted by the possibilities generated by our knowledge, our drive, and our dreams. This symposium will examine our future in space from the springboard of our achievements.

Source record↗
NASA NTRS1985

Summary Abstract: Growth and Alloying of Pd Films on Mo(110) Surfaces

Alloying in small metal particles and in very thin films has recently received considerable attention. In the past it has been generally assumed that alloying is insignificant up to temperatures. Thus many epitaxy experiments of metals on metals with complete miscibility were performed at temperatures between 200 and 400 C and analyzed assuming no alloying. In particular, alloying was not suspected if the film material was not soluble in the substrate. In the present study, which was stimulated by annealing-induced CO adsorption anomalies on thin film surfaces, it has become evident that low temperature alloying can occur in thin films on a metal substrate which is refractory and has very strong interatomic bonds (as evidenced by a high sublimation energy) provided that the substrate is soluble in the film material. A good example of such a film-substrate combination is Pd on Mo. The solubility of Pd in Mo is very at temperatures below 1000 K but Pd can dissolve slightly more than 40 at. % Mo even at low temperatures.

Park, Ch. E.↗
NASA NTRS1986

Summary Abstract: Vibrations of Ammonia on the Cu (100) Surface

Recently, the TR frequencies for NH3 molecularly adsorbed on Cu(100) have been measured by infrared laser-induced photodesorption using a tunable laser operating in the group frequency range. Additionally, photodesorption, photo-fragmentation, and photoionization has been observed using a CO2 laser in the 10 microns range. In this contribution we report on work in progress where we use quantum chemical methods to analyze the shifts in the NH, frequencies relative to the gas phase upon chemisorption. We also compute the Cu- N stretch vibration, which has been observed experimentally,and the change in the IR intensities associated with chemisorption; this change is insufficient by itself to explain the increased photoionization efficiency observed.

Pettersson, Lars G. M.↗
NASA NTRS2000

The 13th Technology of Deep Space One - Abstract

On October 24th, 1998, the Deep Space One (DS-1) spacecraft launched aboard a Delta II rocket as the first step towards the bold task of testing and validating 12 new technologies for future missions. This launch also represented yet another thrilling event; namely, the successful test and validation of a 13th heretofore undisclosed technology: model-based code-generation of the spacecraft's system-level fault-protection (FP) software from behavioral state diagrams and structural models.In this paper, we describe the process we used to leverage model-based code generation from state diagrams and structural specifications to better respond to the evolving requirements and scope of DS- I's system-level fault-protection design, development, test and operation. The evolution of the high-level design and the low-level changes in the flight software architecture and interfaces contributed to multiplying the number and frequency of fault-protection software releases thereby creating a multitude of software integration issues. To address the resulting software integration issues, we broadened the scope of code -eneration to other forms of model- based analysis techniques more traditionally associated with first-principle's reasoning about physical models. Additionally, we describe our in-flight launch and initial acquisition experience.

Rouquette, Nicolas↗
NASA NTRS1999

Abstract for 1999 Rational Software User Conference

We develop spacecraft fault-protection software at NASA/JPL. Challenges exemplified by our task: 1) high-quality systems - need for extensive validation & verification; 2) multi-disciplinary context - involves experts from diverse areas; 3) embedded systems - must adapt to external practices, notations, etc.; and 4) development pressures - NASA's mandate of "better, faster, cheaper".

Dunphy, Julia↗
NASA NTRS2001

Conference on Capacity and Wake Vortices Held in Imperial College of Science, London on 11-14 September 2001. Abstracts of Presentations

Partial Contents: The Effect of Aircraft Wake Vortex Separation on Air Transportation Capacity; The Pilots View of Wake Vortices - Capacity vs. Safety; Runway Capacity Constraints at Heathrow Airport; FAA's Research Strategy; Increasing Capacity by Wake Turbulence Avoidance Systems at Frankfurt/Main Airport; Improving Airport Capacity Using Vertical Flight; Recent Developments in Industrial Wake Vortex Research; Vortex Evolution and Characterization; PIV -Survey of the Vortex Wake Structure behind an Airbus A340 in a Towing Tank.

Whitelaw, J. H.↗
NASA NTRS2001

On Abstractions and Simplifications in the Design of Human-Automation Interfaces

This report addresses the design of human-automation interaction from a formal perspective that focuses on the information content of the interface, rather than the design of the graphical user interface. It also addresses the, issue of the information provided to the user (e.g., user-manuals, training material, and all other resources). In this report, we propose a formal procedure for generating interfaces and user-manuals. The procedure is guided by two criteria: First, the interface must be correct, i.e., that with the given interface the user will be able to perform the specified tasks correctly. Second, the interface should be as succinct as possible. The report discusses the underlying concepts and the formal methods for this approach. Several examples are used to illustrate the procedure. The algorithm for constructing interfaces can be automated, and a preliminary software system for its implementation has been developed.

Heymann, Michael↗
NASA NTRS2002

On Abstractions and Simplifications in the Design of Human-Automation Interfaces

This report addresses the design of human-automation interaction from a formal perspective that focuses on the information content of the interface, rather than the design of the graphical user interface. It also addresses the issue of the information provided to the user (e.g., user-manuals, training material, and all other resources). In this report, we propose a formal procedure for generating interfaces and user-manuals. The procedure is guided by two criteria: First, the interface must be correct, that is, with the given interface the user will be able to perform the specified tasks correctly. Second, the interface should be succinct. The report discusses the underlying concepts and the formal methods for this approach. Two examples are used to illustrate the procedure. The algorithm for constructing interfaces can be automated, and a preliminary software system for its implementation has been developed.

Heymann, Michael↗
NASA NTRS2002

Supercomputing 2002: NAS Demo Abstracts

The hyperwall is a new concept in visual supercomputing, conceived and developed by the NAS Exploratory Computing Group. The hyperwall will allow simultaneous and coordinated visualization and interaction of an array of processes, such as a the computations of a parameter study or the parallel evolutions of a genetic algorithm population. Making over 65 million pixels available to the user, the hyperwall will enable and elicit qualitatively new ways of leveraging computers to accomplish science. It is currently still unclear whether we will be able to transport the hyperwall to SC02. The crucial display frame still has not been completed by the metal fabrication shop, although they promised an August delivery. Also, we are still working the fragile node issue, which may require transplantation of the compute nodes from the present 2U cases into 3U cases. This modification will increase the present 3-rack configuration to 5 racks.

Parks, John↗
NASA NTRS2002

Abstracts for the 2002 Meeting of the AIAA Working Group on Dynamic Space Simulation

Undersampling is sometimes used in order to save memory and reducing digitizing speed requirements for pyroshock data. Many interpolation techniques have been used to estimate the missing peaks due undersampling. The more exotic techniques may not work well when real data that contains noise is used as an input. Various peak interpolation techniques will be evaluated using noisy data in this presentation.

Simpson, Alda D.↗
NASA NTRS2003

Abstract of talk for Silicon Valley Linux Users Group

The use of Linux for research at NASA Ames is discussed.Topics include:work with the Atmospheric Physics branch on software for a spectrometer to be used in the CRYSTAL-FACE mission this summer; work on in the Neuroengineering Lab with code IC including an introduction to the extension of the human senses project,advantages with using linux for real-time biological data processing,algorithms utilized on a linux system, goals of the project,slides of people with Neuroscan caps on, and progress that has been made and how linux has helped.

Clanton, Sam↗
NASA NTRS2001

NASA Glenn Research Center UEET (Ultra-Efficient Engine Technology) Program: Agenda and Abstracts

Topics discussed include: UEET Overview; Technology Benefits; Emissions Overview; P&W Low Emissions Combustor Development; GE Low Emissions Combustor Development; Rolls-Royce Low Emissions Combustor Development; Honeywell Low Emissions Combustor Development; NASA Multipoint LDI Development; Stanford Activities In Concepts for Advanced Gas Turbine Combustors; Large Eddy Simulation (LES) of Gas Turbine Combustion; NASA National Combustion Code Simulations; Materials Overview; Thermal Barrier Coatings for Airfoil Applications; Disk Alloy Development; Turbine Blade Alloy; Ceramic Matrix Composite (CMC) Materials Development; Ceramic Matrix Composite (CMC) Materials Characterization; Environmental Barrier Coatings (EBC) for Ceramic Matrix Composite (CMC) Materials; Ceramic Matrix Composite Vane Rig Testing and Design; Ultra-High Temperature Ceramic (UHTC) Development; Lightweight Structures; NPARC Alliance; Technology Transfer and Commercialization; and Turbomachinery Overview; etc.

Manthey, Lri↗