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 793 records · Page 44
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Speckle interferometry of asteroids

This final report for NASA Contract NAGw-867 consists of abstracts of the first three papers in a series of four appearing in Icarus that were funded by the preceding contract NAGw-224: (1) Speckle Interferometry of Asteroids I. 433 Eros; (2) Speckle Interferometry of Asteroids II. 532 Herculina; (3) Speckle Interferometry of Asteroids III. 511 Davida and its Photometry; and the fourth abstract attributed to NAGw-867, (4) Speckle Interferometry of Asteroids IV. Reconstructed images of 4 Vesta; and a review of the results from the asteroid interferometry program at Steward Observatory prepared for the Asteroids II book, (5) Speckle Interferometry of Asteroids. Two papers on asteroids, indirectly related to speckle interferometry, were written in part under NAGw-867. One is in press and its abstract is included here: Photometric Geodesy of Main-Belt Asteroids. II. Analysis of Lightcurves for Poles, Periods and Shapes; and the other paper, Triaxial Ellipsoid Dimensions and Rotational Pole of 2 Pallas from Two Stellar Occultations, is included in full.

Drummond, Jack↗
NASA NTRS1988

USSR Space Life Sciences Digest, Issue 18

This is the 18th issue of NASA's USSR Life Sciences Digest. It contains abstracts of 50 papers published in Russian language periodicals or presented at conferences and of 8 new Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. A review of a recent Aviation Medicine Handbook is also included. The abstracts in this issue have been identified as relevant to 37 areas of space biology and medicine. These areas are: adaptation, aviation medicine, biological rhythms, biospherics, body fluids, cardiovascular and respiratory systems, cytology, developmental biology, endocrinology, enzymology, equipment and instrumentation, exobiology, gastrointestinal system, genetics, gravitational 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, reproductive biology, space biology and medicine, and space industrialization.

Hooke, Lydia Razran↗
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↗