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.

SourceResearch connectionFrom yearThrough year

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

At least 883 records · Page 49

All sources NASA NTRS DOE OSTI

NASA NTRS1981

Ames Research Center publications: A continuing bibliography, 1980

This bibliography lists formal NASA publications, journal articles, books, chapters of books, patents, contractor reports, and computer programs that were issued by Ames Research Center and indexed by Scientific and Technical Aerospace Reports, Limited Scientific and Technical Aerospace Reports, International Aerospace Abstracts, and Computer Program Abstracts in 1980. Citations are arranged by directorate, type of publication, and NASA accession numbers. Subject, personal author, corporate source, contract number, and report/accession number indexes are provided.

Source record↗

NASA NTRS1982

Bibliography of Lewis Research Center technical publications announced in 1981

Technical reporting that resulted from the scientific and engineering work performed and managed by the Lewis Research Center in 1981 are indexed and abstracted. All the publications were announced in the 1981 issues of STAR (Scientific and Technical Aerospace Reports) and/or IAA (International Aerospace Abstracts). Included are research reports, journal articles, conference presentations, patent applications, and theses. A total of 384 technical publications is listed.

Source record↗

NASA NTRS1981

The SIFT computer and its development

Software Implemented Fault Tolerance (SIFT) is an aircraft control computer designed to allow failure probability of less than 10 to the -10th/hour. The system is based on advanced fault-tolerance computing and validation methodology. Since confirmation of reliability by observation is essentially impossible, system reliability is estimated by a Markov model. A mathematical proof is used to justify the validity of the Markov model. System design is represented by a hierarchy of abstract models, and the design proof comprises mathematical proofs that each model is, in fact, an elaboration of the next more abstract model.

Goldberg, J.↗

NASA NTRS1982

Formal specification and mechanical verification of SIFT - A fault-tolerant flight control system

The paper describes the methodology being employed to demonstrate rigorously that the SIFT (software-implemented fault-tolerant) computer meets its requirements. The methodology uses a hierarchy of design specifications, expressed in the mathematical domain of multisorted first-order predicate calculus. The most abstract of these, from which almost all details of mechanization have been removed, represents the requirements on the system for reliability and intended functionality. Successive specifications in the hierarchy add design and implementation detail until the PASCAL programs implementing the SIFT executive are reached. A formal proof that a SIFT system in a 'safe' state operates correctly despite the presence of arbitrary faults has been completed all the way from the most abstract specifications to the PASCAL program.

Melliar-Smith, P. M.↗

NASA NTRS1983

Space safety and rescue 1979-1981: Worldwide disaster response, rescue and safety employing space-borne systems

Selected papers from the 1979, 1980, and 1981 IAA symposia on space safety and rescue and on worldwide disaster response, safety, and rescue employing spaceborne systems are presented. Available papers published elsewhere and those presented at the 1976, 1977, and 1978 symposia are presented in abstract form. Subjects discussed include man-made space debris, nuclear-waste disposal in space, space-station safety design, psychological training, the introduction of female crewmembers, analysis of the November 23, 1980 earthquake as a design basis for satellite emergency communication, disaster warning using the GOES satellite, and satellite communications for disaster relief operations. Three reviews of the application of space technology to emergency and disaster relief and prevention, given at other symposia in 1981, are presented in an appendix. No individual items are abstracted in this volume

Brown, J. W.↗

NASA NTRS1984

Operating systems

A counter operating system creates a hierarchy of levels of abstraction, so that at a given level all details concerning lower levels can be ignored. This hierarchical structure separates functions according to their complexity, characteristic time scale, and level of abstraction. The lowest levels include the system's hardware; concepts associated explicitly with the coordination of multiple tasks appear at intermediate levels, which conduct 'primitive processes'. Software semaphore is the mechanism controlling primitive processes that must be synchronized. At higher levels lie, in rising order, the access to the secondary storage devices of a particular machine, a 'virtual memory' scheme for managing the main and secondary memories, communication between processes by way of a mechanism called a 'pipe', access to external input and output devices, and a hierarchy of directories cataloguing the hardware and software objects to which access must be controlled.

Denning, P. J.↗

NASA NTRS1981

Ames Research Center Publications: A Continuing Bibliography

The Ames Research Center Publications: A Continuing Bibliography contains the research output of the Center indexed during 1981 in Scientific and Technical Aerospace Reports (STAR), Limited Scientific and Technical Aerospace Reports (LSTAR), International Aerospace Abstracts (IAA), and Computer Program Abstracts (CPA). This bibliography is published annually in an attempt to effect greater awareness and distribution of the Center's research output.

Source record↗

NASA NTRS1984

Bibliography of Lewis Research Center technical publications announced in 1983

This compilation of abstracts describes and indexes over 800 technical publications that resulted from the scientific and engineering work performed and managed by the Lewis Research Center in 1983. Announced in the 1983 issues of STAR (Scientific and Technical Aerospace Reports) and/or IAA (International Aerospace Abstracts), the documents cited include research reports, journal articles, conference presentations, patents and patent applications, and theses.

Source record↗

NASA NTRS1985

Technology for large space systems: A bibliography with indexes (supplement 11)

This bibliography contains 539 abstracts of reports, articles and other documents introduced into the NASA scientific and technical information system between January 1, 1984 and December 31, 1984. Abstracts are arranged in the following categories: systems; analysis and design techniques; structural concepts; structural and thermal analysis; structural dynamics and control; electronics; advanced materials; assembly concepts; propulsion; and miscellaneous. Subject, personal author, corporate source, contract number, report number, and accession number indexes are listed.

Source record↗

NASA NTRS1985

Bibliography of Lewis Research Center technical publications announced in 1984

This compilation of abstracts describes and indexes the technical reporting that resulted from the scientific and engineering work performed and managed by the Lewis Research Center in 1984. All the publications were announced in the 1984 issues of STAR (Scientific and Technical Aerospace Reports) and/or IAA (International Aerospace Abstracts). Included are research reports, journal articles, conference presentations, patents and patent applications, and theses.

Source record↗

NASA NTRS1986

Multishaker Modal Testing

Abstracts summarize time- and frequency-domain component-mode synthesis methods for damped systems. Abstracts of six papers on vibration analysis and summary of contributions and recommendations contained in them presented in 14-page report on multishaker modal testing.

Craig, ROY., Jr.↗

NASA NTRS1986

Study of Travelling Interplanetary Phenomena (STIP) workshop travel

Thirty six abstracts are provided from the SCOSTEP/STIP Symposium on Retrospective Analyses and Future Coordinated Intervals held in Switzerland on June 10 to 12, 1985. Six American scientists participated in the symposium and their abstracts are also included. The titles of their papers are: (1) An analysis of near surface and coronal activity during STIP interval 12, by T. E. Gergely; (2) Helios images of STIP intervals 6, B. V. Jackson; (3) Results from the analysis of solar and interplanetary observations during STIP interval 7, S. R. Kane; (4) STIP interval 19, E. Cliver; (5) Hydrodynamic buoyancy force in the solar atmosphere, T. Yeh; and (6) A combined MHD modes for the energy and momentum transport from solar surface to interplanetary space, S. T. Wu.

Wu, S. T.↗

NASA NTRS1986

Preliminary structural model for the southwestern part of the Michipicoten greenstone belt, Ontario

The southwestern part of the Michipicoten Greenstone Belt includes a 100 sq km fume kill extending northeastwards from the twon of Wawa, Ontario. Except for a strip along the Magpie River that is covered by Pleistocene gravels, outcrop in the fume kill averages about 30-50%. Within this area are all the major lithologic belts characteristic of the southwestern fourth of the Michipicoten Greenstone Belt. All of the area mapped to date lies within Chabenel Township, recently mapped at 4" = 1 mile. Following a brief reconnaissance in 1983, mapping at a scale of 1" = 400' was begun within and adjacent to the fume kill in 1984. Two objectives are sought (1) determinaion of the geometry and sequence of folding, faulting, cleavage development, and intrusion; and (2) defining and tracing lithologic packages, and evaluating the nature of the contacts between these packages. Results for objective (1) are discussed in a companion abstract; this abstract will present tentative results for objective.

Mcgill, G. E.↗

NASA NTRS1986

USSR Space Life Sciences Digest, issue 6

This is the sixth issue of NASA's USSR Space Life Sciences Digest. It contains abstracts of 54 papers recently published in Russian language periodicals and bound collections and of 10 new Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. Additional features include a table of Soviet EVAs and information about English translations of Soviet materials available to readers. The topics covered in this issue have been identified as relevant to 26 areas of aerospace medicine and space biology. These areas are adaptation, biospherics, body fluids, botany, cardiovascular and respiratory systems, developmental biology, endocrinology, enzymology, exobiology, genetics, habitability and environment effects, health and medical treatment, hematology, human performance, immunology, life support systems, mathematical modeling, metabolism., microbiology, morphology and cytology, musculoskeletal system, neurophysiology, nutrition, perception, personnel selection, psychology, radiobiology, reproductive biology, and space medicine.

Hooke, L. R.↗

NASA NTRS1986

USSR Space Life Sciences Digest, issue 7

This is the seventh issue of NASA's USSR Space Life Sciences Digest. It contains abstracts of 29 papers recently published in Russian language periodicals and bound collections and of 8 new Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. Additional features include two interviews with the Soviet Union's cosmonaut physicians and others knowledgable of the Soviet space program. The topics discussed at a Soviet conference on problems in space psychology are summarized. Information about English translations of Soviet materials available to readers is provided. The topics covered in this issue have been identified as relevant to 29 areas of aerospace medicine and space biology. These areas are adaptation, biospherics, body fluids, botany, cardiovascular and respiratory systems, developmental biology, endocrinology, enzymology, exobiology, genetics, habitability and environment effects, hematology, human performance, immunology, life support systems, mathematical modeling, metabolism, microbiology, morphology and cytology, musculoskeletal system, neurophysiology, nutrition, perception, personnel selection, psychology, radiobiology, and space medicine.

Hooke, L. R.↗

NASA NTRS1986

Bibliography of Lewis Research Center technical publications announced in 1985

This compilation of abstracts describes and indexes the technical reporting that resulted from the scientific and engineering work performed and managed by the Lewis Research Center in 1985. All the publications were announced in the 1985 issues of STAR (Scientific and Technical Aerospace Reports) and/or IAA (International Aerospace Abstracts). Included are research reports, journal articles, conference presentations, patents and patent applications, and theses.

Source record↗

NASA NTRS1985

USSR Space Life Sciences Digest, issue 8

This is the eighth issue of NASA's USSR Space Life Sciences Digest. It contains abstracts of 48 papers recently published in Russian language periodicals and bound collections and of 10 new Soviet monographs. Selected abstracts are illustrated with figures and tables. Additional features include reviews of two Russian books on radiobiology and a description of the latest meeting of an international working group on remote sensing of the Earth. Information about English translations of Soviet materials available to readers is provided. The topics covered in this issue have been identified as relevant to 33 areas of aerospace medicine and space biology. These areas are: adaptation, biological rhythms, biospherics, body fluids, botany, cardiovascular and respiratory systems, cosmonaut training, cytology, endocrinology, enzymology, equipment and instrumentation, exobiology, gastrointestinal system, genetics, group dynamics, habitability and environment effects, hematology, human performance, immunology, life support systems, man-machine systems, mathematical modeling, metabolism, microbiology, musculoskeletal system, neurophysiology, nutrition, operational medicine, personnel selection, psychology, reproductive biology, and space biology and medicine.

Hooke, L. R.↗

NASA NTRS1987

Aeronautical engineering: A continuing bibliography with indexes (supplement 211)

A continuing bibliography (NASA SP-7037) lists 519 reports, journal articles and other documents originally announced in February 1987 in Scientific and Technical Aerospace Reports (STAR) or in the International Aerospace Abstracts (IAA). The coverage includes documents on the engineering and theoretical aspect of design, construction, evaluation, testing, operation, and performance of aircraft (including aircraft engines) and associated components, equipment, and systems. It also includes research and development in aerodynamics, aeronautics, and ground support equipment for aeronautical vehicles. Each entry in the bibliography consists of a standard bibliographic citation accompanied in most cases by an abstract. The listing of the entries is arranged by the first nine STAR specific categories and the remaining STAR major categories. The arrangement offers the user the most advantageous breakdown for individual objectives. The citations include the original accession numbers from the respective announcement journals. The IAA items will precede the STAR items within each category. Seven indexes entitled subject, personal author, corporate source, foreign technology, contract number, report number, and accession number are included.

Source record↗