Search NASA⌕ Search

SEARCH · Search NASA

Results for “schematic”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Mechanical verification of a schematic Byzantine clock synchronization algorithm

Schneider generalizes a number of protocols for Byzantine fault tolerant clock synchronization and presents a uniform proof for their correctness. The authors present a machine checked proof of this schematic protocol that revises some of the details in Schneider's original analysis. The verification was carried out with the EHDM system developed at the SRI Computer Science Laboratory. The mechanically checked proofs include the verification that the egocentric mean function used in Lamport and Melliar-Smith's Interactive Convergence Algorithm satisfies the requirements of Schneider's protocol.

Shankar, Natarajan↗
NASA NTRS1991

Human life support during interplanetary travel and domicile. II - Generic Modular Flow Schematic modeling

This paper describes the Generic Modular Flow Schematic (GMFS) architecture capable of encompassing all functional elements of a physical/chemical life support system (LSS). The GMFS can be implemented to synthesize, model, analyze, and quantitatively compare many configurations of LSSs, from a simple, completely open-loop to a very complex closed-loop. The GMFS model is coded in ASPEN, a state-of-the-art chemical process simulation program, to accurately compute the material, heat, and power flow quantities for every stream in each of the subsystem functional elements (SFEs) in the chosen configuration of a life support system. The GMFS approach integrates the various SFEs and subsystems in a hierarchical and modular fashion facilitating rapid substitutions and reconfiguration of a life support system. The comprehensive ASPEN material and energy balance output is transferred to a systems and technology assessment spreadsheet for rigorous system analysis and trade studies.

Farral, Joseph F.↗
NASA NTRS1992

Human life support during interplanetary travel and domicile. VI - Generic modular flow schematic for hybrid physical/chemical-biological life support systems

An extension is proposed for the NASA Space Exploration Initiative's Generic Modular Flow Schematics for physical/chemical life support systems which involves the addition of biological processes. The new system architecture includes plant, microbial, and animal habitat, as well as the human habitat subsystem. Major Feedstock Production and Food Preparation and Packaging components have also been incorporated. Inedible plant, aquaculture, microbial, and animal solids are processed for recycling.

Ganapathi, Gani B.↗