Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Abstracts”

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 1,171 records · Page 65
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Hologram representation of design data in an expert system knowledge base

A novel representational scheme for design object descriptions is presented. An abstract notion of modules and signals is developed as a conceptual foundation for the scheme. This abstraction relates the objects to the meaning of system descriptions. Anchored on this abstraction, a representational model which incorporates dynamic semantics for these objects is presented. This representational model is called a hologram scheme since it represents dual level information, namely, structural and semantic. The benefits of this scheme are presented.

Shiva, S. G.↗
NASA NTRS1988

A design for a ground-based data management system

An initial design for a ground-based data management system which includes intelligent data abstraction and cataloging is described. The large quantity of data on some current and future NASA missions leads to significant problems in providing scientists with quick access to relevant data. Human screening of data for potential relevance to a particular study is time-consuming and costly. Intelligent databases can provide automatic screening when given relevent scientific parameters and constraints. The data management system would provide, at a minimum, information of availability of the range of data, the type available, specific time periods covered together with data quality information, and related sources of data. The system would inform the user about the primary types of screening, analysis, and methods of presentation available to the user. The system would then aid the user with performing the desired tasks, in such a way that the user need only specify the scientific parameters and objectives, and not worry about specific details for running a particular program. The design contains modules for data abstraction, catalog plan abstraction, a user-friendly interface, and expert systems for data handling, data evaluation, and application analysis. The emphasis is on developing general facilities for data representation, description, analysis, and presentation that will be easily used by scientists directly, thus bypassing the knowledge acquisition bottleneck. Expert system technology is used for many different aspects of the data management system, including the direct user interface, the interface to the data analysis routines, and the analysis of instrument status.

Lambird, Barbara A.↗
NASA NTRS1988

Quantum mechanical calculations of vibrational population inversion in chemical reactions - Numerically exact L-squared-amplitude-density study of the H2Br reactive system

Numerically exact, fully three-dimensional quantum mechanicl reactive scattering calculations are reported for the H2Br system. Both the exchange (H + H-prime Br to H-prime + HBr) and abstraction (H + HBR to H2 + Br) reaction channels are included in the calculations. The present results are the first completely converged three-dimensional quantum calculations for a system involving a highly exoergic reaction channel (the abstraction process). It is found that the production of vibrationally hot H2 in the abstraction reaction, and hence the extent of population inversion in the products, is a sensitive function of initial HBr rotational state and collision energy.

Zhang, Y. C.↗
NASA NTRS1987

Maintaining consistency between planning hierarchies: Techniques and applications

In many planning and scheduling environments, it is desirable to be able to view and manipulate plans at different levels of abstraction, allowing the users the option of viewing and manipulating either a very detailed representation of the plan or a high-level more abstract version of the plan. Generating a detailed plan from a more abstract plan requires domain-specific planning/scheduling knowledge; the reverse process of generating a high-level plan from a detailed plan Reverse Plan Maintenance, or RPM) requires having the system remember the actions it took based on its domain-specific knowledge and its reasons for taking those actions. This reverse plan maintenance process is described as implemented in a specific planning and scheduling tool, The Mission Operations Planning Assistant (MOPA), as well as the applications of RPM to other planning and scheduling problems; emphasizing the knowledge that is needed to maintain the correspondence between the different hierarchical planning levels.

Zoch, David R.↗
NASA NTRS1988

USSR Space Life Sciences Digest, issue 19

This is the 19th issue of NASA's USSR Space Life Sciences Digest. It contains abstracts of 47 papers published in Russian language periodicals or presented at conferences and of 5 new Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. Reports on two conferences, one on adaptation to high altitudes, and one on space and ecology are presented. A book review of a recent work on high altitude physiology is also included. The abstracts in this issue have been identified as relevant to 33 areas of space biology and medicine. These areas are: adaptation, biological rhythms, biospherics, body fluids, botany, cardiovascular and respiratory systems, cytology, developmental biology, endocrinology, enzymology, biology, group dynamics, habitability and environmental effects, hematology, human performance, immunology, life support systems, man-machine systems, mathematical modeling, metabolism, microbiology, musculoskeletal system, neurophysiology, nutrition, operational medicine, perception, personnel selection, psychology, radiobiology, and space biology and medicine.

Hooke, Lydia Razran↗
NASA NTRS1989

USSR Space Life Sciences Digest, issue 21

This is the twenty-first issue of NASA's USSR Space Life Sciences Digest. It contains abstracts of 37 papers published in Russian language periodicals or books or presented at conferences and of a Soviet monograph on animal ontogeny in weightlessness. Selected abstracts are illustrated with figures and tables from the original. A book review of a work on adaptation to stress is also included. The abstracts in this issue have been identified as relevant to 25 areas of space biology and medicine. These areas are: adaptation, biological rhythms, body fluids, botany, cardiovascular and respiratory systems, cytology, developmental biology, endocrinology, enzymology, equipment and instrumentation, exobiology, gravitational biology, habitability and environmental effects, hematology, human performance, life support systems, mathematical modeling, metabolism, microbiology, musculoskeletal system, neurophysiology, operational medicine, perception, psychology, and reproductive system.

Hooke, Lydia Razran↗
NASA NTRS1990

Generating Semi-Markov Models Automatically

Abstract Semi-Markov Specification Interface to SURE Tool (ASSIST) program developed to generate semi-Markov model automatically from description in abstract, high-level language. ASSIST reads input file describing failure behavior of system in abstract language and generates Markov models in format needed for input to Semi-Markov Unreliability Range Evaluator (SURE) program (COSMIC program LAR-13789). Facilitates analysis of behavior of fault-tolerant computer. Written in PASCAL.

Johnson, Sally C.↗
NASA NTRS1990

USSR Space Life Sciences Digest, issue 25

This is the twenty-fifth issue of NASA's Space Life Sciences Digest. It contains abstracts of 42 journal papers or book chapters published in Russian and of 3 Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. The abstracts in this issue have been identified as relevant to 26 areas of space biology and medicine. These areas include: adaptation, body fluids, botany, cardiovascular and respiratory systems, developmental biology, endocrinology, enzymology, equipment and instrumentation, exobiology, gravitational biology, habitability and environmental effects, human performance, immunology, life support systems, man-machine systems, mathematical modeling, metabolism, microbiology, musculoskeletal system, neurophysiology, nutrition, operational medicine, psychology, radiobiology, reproductive system, and space biology and medicine.

Hooke, Lydia Razran↗
NASA NTRS1990

USSR space life sciences digest, issue 27

This is the twenty-fifth issue of NASA's Space Life Sciences Digest. It contains abstracts of 30 journal papers or book chapters published in Russian and of 2 Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. The abstracts in this issue have been identified as relevant to 18 areas of space biology and medicine. These areas include: adaptation, aviation medicine, biological rhythms, biospherics, botany, cardiovascular and respiratory systems, endocrinology, enzymology, exobiology, habitability and environmental effects, hematology, immunology, metabolism, musculoskeletal system, neurophysiology, radiobiology, and space medicine. A Soviet book review of a British handbook of aviation medicine and a description of the work of the division on aviation and space medicine of the Moscow Physiological Society are also included.

Stone, Lydia Razran↗
NASA NTRS1990

USSR Space Life Sciences Digest, issue 28

This is the twenty-eighth issue of NASA's Space Life Sciences Digest. It contains abstracts of 60 journal papers or book chapters published in Russian and of 3 Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. The abstracts in this issue have been identified as relevant to 20 areas of space biology and medicine. These areas include: adaptation, aviation medicine, botany, cardiovascular and respiratory systems, developmental biology, endocrinology, enzymology, equipment and instrumentation, hematology, human performance, immunology, life support systems, mathematical modeling, musculoskeletal system, neurophysiology, personnel selection, psychology, radiobiology, reproductive system, and space medicine.

Stone, Lydia Razran↗
NASA NTRS1990

Machine-checked proofs of the design and implementation of a fault-tolerant circuit

A formally verified implementation of the 'oral messages' algorithm of Pease, Shostak, and Lamport is described. An abstract implementation of the algorithm is verified to achieve interactive consistency in the presence of faults. This abstract characterization is then mapped down to a hardware level implementation which inherits the fault-tolerant characteristics of the abstract version. All steps in the proof were checked with the Boyer-Moore theorem prover. A significant results is the demonstration of a fault-tolerant device that is formally specified and whose implementation is proved correct with respect to this specification. A significant simplifying assumption is that the redundant processors behave synchronously. A mechanically checked proof that the oral messages algorithm is 'optimal' in the sense that no algorithm which achieves agreement via similar message passing can tolerate a larger proportion of faulty processor is also described.

Bevier, William R.↗
NASA NTRS1991

USSR Space Life Sciences Digest, issue 30

This is the thirtieth issue of NASA's Space Life Sciences Digest. It contains abstracts of 47 journal papers or book chapters published in Russian and of three Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. The abstracts in this issue have been identified as relevant to 20 areas of space biology and medicine. These areas include: adaptation, biospheric research, cardiovascular and respiratory systems, endocrinology, equipment and instrumentation, gastrointestinal system, group dynamics, habitability and environmental effects, hematology, human performance, immunology, life support systems, mathematical modeling, metabolism, musculoskeletal system, neurophysiology, nutrition, psychology, radiobiology, and space biology and medicine.

Stone, Lydia Razran↗
NASA NTRS1990

USSR Space Life Sciences Digest, issue 31

This is the thirty first issue of NASA's Space Life Sciences Digest. It contains abstracts of 55 journal papers or book chapters published in Russian and of 5 Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. The abstracts in this issue have been identified as relevant to 18 areas of space biology and medicine. These areas include: adaptation, biological rhythms, cardiovascular and respiratory systems, endocrinology, enzymology, genetics, group dynamics, habitability and environmental effects, hematology, life support systems, metabolism, microbiology, musculoskeletal system, neurophysiology, nutrition, operational medicine, psychology, radiobiology, and space biology and medicine.

Hooke, Lydia Razran↗
NASA NTRS1991

Report on the formal specification and partial verification of the VIPER microprocessor

The VIPER microprocessor chip is partitioned into four levels of abstractions. At the highest level, VIPER is described with decreasingly abstract sets of functions in LCF-LSM. At the lowest level are the gate-level models in proprietary CAD languages. The block-level and gate-level specifications are also given in the ELLA simulation language. Among VIPER's deficiencies are the fact that there is no notion of external events in the top-level specification, and it is impossible to use the top-level specifications to prove abstract properties of programs running on VIPER computers. There is no complete proof that the gate-level specifications implement the top-level specifications. Cohn's proof that the major-state machine correctly implements the top-level specifications has no formal connection with any of the other proof attempts. None of the latter address resetting the machine, memory timeout, forced error, or single step modes.

Brock, Bishop↗
NASA NTRS1992

Robot Control Based On Spatial-Operator Algebra

Method for mathematical modeling and control of robotic manipulators based on spatial-operator algebra providing concise representation and simple, high-level theoretical frame-work for solution of kinematical and dynamical problems involving complicated temporal and spatial relationships. Recursive algorithms derived immediately from abstract spatial-operator expressions by inspection. Transition from abstract formulation through abstract solution to detailed implementation of specific algorithms to compute solution greatly simplified. Complicated dynamical problems like two cooperating robot arms solved more easily.

Rodriguez, Guillermo↗
NASA NTRS1992

USSR Space Life Sciences Digest, issue 32

This is the thirty-second issue of NASA's USSR Space Life Sciences Digest. It contains abstracts of 34 journal or conference papers published in Russian and of 4 Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. The abstracts in this issue have been identified as relevant to 18 areas of space biology and medicine. These areas include: adaptation, aviation medicine, biological rhythms, biospherics, cardiovascular and respiratory systems, developmental biology, exobiology, habitability and environmental effects, human performance, hematology, mathematical models, metabolism, microbiology, musculoskeletal system, neurophysiology, operational medicine, and reproductive system.

Stone, Lydia Razran↗
NASA NTRS1992

Navier-Stokes dynamics and aeroelastic computations for vortical flows, buffet and aeroelastic applications

The accomplishments achieved during the period include conference and proceedings publications, journal papers, and abstracts which are either published, accepted for publication or under review. Conference presentations and NASA highlight publications are also included. Two of the conference proceedings publications are attached along with a Ph.D. dissertation abstract and table of contents. In the first publication, computational simulation of three-dimensional flows around a delta wing undergoing rock and roll-divergence motions is presented. In the second publication, the unsteady Euler equations and the Euler equations of rigid body motion, both written in the moving frame of reference, are sequetially solved to simulate the limit-cycle rock motion of slender delta wings. In the dissertation abstract, unsteady flows around rigid or flexible delta wings with and without oscillating leading-edge flaps are considered.

Kandil, Osama A.↗
NASA NTRS1992

Multi-disciplinary optimization of aeroservoelastic systems

The purpose of the research project was to continue the development of new methods for efficient aeroservoelastic analysis and optimization. The main targets were as follows: to complete the development of analytical tools for the investigation of flutter with large stiffness changes; to continue the work on efficient continuous gust response and sensitivity derivatives; and to advance the techniques of calculating dynamic loads with control and unsteady aerodynamic effects. An efficient and highly accurate mathematical model for time-domain analysis of flutter during which large structural changes occur was developed in cooperation with Carol D. Wieseman of NASA LaRC. The model was based on the second-year work 'Modal Coordinates for Aeroelastic Analysis with Large Local Structural Variations'. The work on continuous gust response was completed. An abstract of the paper 'Continuous Gust Response and Sensitivity Derivatives Using State-Space Models' was submitted for presentation in the 33rd Israel Annual Conference on Aviation and Astronautics, Feb. 1993. The abstract is given in Appendix A. The work extends the optimization model to deal with continuous gust objectives in a way that facilitates their inclusion in the efficient multi-disciplinary optimization scheme. Currently under development is a work designed to extend the analysis and optimization capabilities to loads and stress considerations. The work is on aircraft dynamic loads in response to impulsive and non-impulsive excitation. The work extends the formulations of the mode-displacement and summation-of-forces methods to include modes with significant local distortions, and load modes. An abstract of the paper,'Structural Dynamic Loads in Response to Impulsive Excitation' is given in appendix B. Another work performed this year under the Grant was 'Size-Reduction Techniques for the Determination of Efficient Aeroservoelastic Models' given in Appendix C.

Karpel, Mardechay↗