Search NASA⌕ Search

SEARCH · Search NASA

Results for “system specification”

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,045 records · Page 58
All sourcesNASA NTRSDOE OSTI
NASA NTRS2011

International Low Impact Docking System (iLIDS) Project Technical Requirements Specification, Revision F

The NASA Docking System (NDS) is NASA's implementation for the emerging International Docking System Standard (IDSS) using low impact docking technology. The NASA Docking System Project (NDSP) is the International Space Station (ISS) Program's project to produce the NDS, Common Docking Adapter (CDA) and Docking Hub. The NDS design evolved from the Low Impact Docking System (LIDS). The acronym international Low Impact Docking System (iLIDS) is also used to describe this system as well as the Government Furnished Equipment (GFE) project designing the NDS for the NDSP. NDS and iLIDS may be used interchangeability. This document will use the acronym iLIDS. Some of the heritage documentation and implementations (e.g., software command names, requirement identification (ID), figures, etc.) used on NDS will continue to use the LIDS acronym. This specification defines the technical requirements for the iLIDS GFE delivered to the NDSP by the iLIDS project. This document contains requirements for two iLIDS configurations, SEZ29101800-301 and SEZ29101800-302. Requirements with the statement, iLIDS shall, are for all configurations. Examples of requirements that are unique to a single configuration may be identified as iLIDS (-301) shall or iLIDS (-302) shall. Furthermore, to allow a requirement to encompass all configurations with an exception, the requirement may be designated as iLIDS (excluding -302) shall. Verification requirements for the iLIDS project are identified in the Verification Matrix (VM) provided in the iLIDS Verification and Validation Document, JSC-63966. The following definitions differentiate between requirements and other statements: Shall: This is the only verb used for the binding requirements. Should/May: These verbs are used for stating non-mandatory goals. Will: This verb is used for stating facts or declaration of purpose. A Definition of Terms table is provided in Appendix B to define those terms with specific tailored uses in this document.

Lewis, James L.↗
DOE OSTI2023

Exploring Ligand-to-Metal Charge-Transfer States in the Photo-Ferrioxalate System Using Excited-State Specific Optimization

The photo-ferrioxalate system (PFS), [Fe(III)(C 2 O 4 )] 3– , more than an exact chemical actinometer, has been extensively applied in wastewater and environment treatment. Despite many experimental efforts to improve clarity, important aspects of the mechanism of ferrioxalate photolysis are still under debate. In this paper, we employ the recently developed WΓ-CASSCF to investigate the ligand-to-metal charge-transfer states that are key to ferrioxalate photolysis. This investigation provides a qualitative picture of these states and key potential energy surface features related to the photolysis. Furthermore, our theoretical results are consistent with the prompt charge-transfer picture seen in recent experiments and clarify some features that are not visible in experiments. Two ligand-to-metal charge-transfer states contribute to the photolysis of ferrioxalate, and the avoided crossing barrier between them is low compared with the initial photoexcitation energy. Our data also clarify that one Fe–O bond cleaves first, followed by the C–C bond and the other Fe–O bond.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS2021

Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling

While verifying adherence to a specification (i.e., specification-based testing) is important, the results are only as valid as the specification itself. Problematically, verifying a system specification must be done within the context of changing or even unknown environmental domain knowledge that could render the specification ineffective or incorrect. This issue is even more apparent in the context of self-adaptive systems, where uncertainty in both the system configuration and environment can impact the validity of the system. This paper introduces a method to explicitly model domain knowledge of the environment as a secondary system to enable design-time verification against documented environmental assumptions (i.e., those elements external to the system). In addition, run-time monitors are used to detect scenarios in the actual environment not specified by the modeled environmental domain knowledge. Rather than simply identifying unexpected inputs, our approach is able to identify run-time violations of the environmental domain knowledge, even when inputs appear valid based on the domain assumptions embedded in the system specification. These violations can then be used to correspondingly update the system and environmental specifications via automated run-time adaptation or subsequent design-time revisions. We illustrate our approach by applying our method to a running example of a goal-based model of a baby monitor.

Byron DeVries↗
NASA NTRS1993

Facilitating access to information in large documents with an intelligent hypertext system

Retrieving specific information from large amounts of documentation is not an easy task. It could be facilitated if information relevant in the current problem solving context could be automatically supplied to the user. As a first step towards this goal, we have developed an intelligent hypertext system called CID (Computer Integrated Documentation) and tested it on the Space Station Freedom requirement documents. The CID system enables integration of various technical documents in a hypertext framework and includes an intelligent context-sensitive indexing and retrieval mechanism. This mechanism utilizes on-line user information requirements and relevance feedback either to reinforce current indexing in case of success or to generate new knowledge in case of failure. This allows the CID system to provide helpful responses, based on previous usage of the documentation, and to improve its performance over time.

Mathe, Nathalie↗
NASA NTRS1993

Reactive system verification case study: Fault-tolerant transputer communication

A reactive program is one which engages in an ongoing interaction with its environment. A system which is controlled by an embedded reactive program is called a reactive system. Examples of reactive systems are aircraft flight management systems, bank automatic teller machine (ATM) networks, airline reservation systems, and computer operating systems. Reactive systems are often naturally modeled (for logical design purposes) as a composition of autonomous processes which progress concurrently and which communicate to share information and/or to coordinate activities. Formal (i.e., mathematical) frameworks for system verification are tools used to increase the users' confidence that a system design satisfies its specification. A framework for reactive system verification includes formal languages for system modeling and for behavior specification and decision procedures and/or proof-systems for verifying that the system model satisfies the system specifications. Using the Ostroff framework for reactive system verification, an approach to achieving fault-tolerant communication between transputers was shown to be effective. The key components of the design, the decoupler processes, may be viewed as discrete-event-controllers introduced to constrain system behavior such that system specifications are satisfied. The Ostroff framework was also effective. The expressiveness of the modeling language permitted construction of a faithful model of the transputer network. The relevant specifications were readily expressed in the specification language. The set of decision procedures provided was adequate to verify the specifications of interest. The need for improved support for system behavior visualization is emphasized.

Crane, D. Francis↗
NASA NTRS1975

Functional design specification for the problem data system

The purpose of the Functional Design Specification is to outline the design for the Problem Data System. The Problem Data System is a computer-based data management system designed to track the status of problems and corrective actions pertinent to space shuttle hardware.

Boatman, T. W.↗
NASA NTRS1991

Intelligent computer-aided training and tutoring

Specific autonomous training systems based on artificial intelligence technology for use by NASA astronauts, flight controllers, and ground-based support personnel that demonstrate an alternative to current training systems are described. In addition to these specific systems, the evolution of a general architecture for autonomous intelligent training systems that integrates many of the features of traditional training programs with artificial intelligence techniques is presented. These Intelligent Computer-Aided Training (ICAT) systems would provide, for the trainee, much of the same experience that could be gained from the best on-the-job training. By integrating domain expertise with a knowledge of appropriate training methods, an ICAT session should duplicate, as closely as possible, the trainee undergoing on-the-job training in the task environment, benefitting from the full attention of a task expert who is also an expert trainer. Thus, the philosophy of the ICAT system is to emulate the behavior of an experienced individual devoting his full time and attention to the training of a novice - proposing challenging training scenarios, monitoring and evaluating the actions of the trainee, providing meaningful comments in response to trainee errors, responding to trainee requests for information, giving hints (if appropriate), and remembering the strengths and weaknesses displayed by the trainee so that appropriate future exercises can be designed.

Loftin, R. Bowen↗
NASA NTRS2009

Component-Oriented Behavior Extraction for Autonomic System Design

Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate properties of the ESA Exo- Mars Rover in depth. We show here how to enable GEAR s game-based verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission.

Bakera, Marco↗
DOE OSTI2020

The Dark Energy Spectrographic Instrument (DESI) Optical Fiber System

The specific research of the DESI project is to study in detail the expansion history of the Universe over the past 10 billion years. In order to do this, the project designed, fabricated, tested and commissioned the DESI instrument which has been deployed at the Mayall Telescope at the Kitt Peak National Observatory near Tucson, Arizona. The DESI project was conducted by approximately 30 US and foreign national laboratories. The complete instrument includes a prime focus corrector assembly, a focal plane with 5,000 optical fibers whose position can be set by robotic positioners, and ten spectrographs. Each spectrograph can accommodate the light from 500 fibers and include three color channels that are illuminated by a common collimator mirror and other planar transfer optics. In order for this entire system to work, optical fibers are required to connect each positioner to the spectrographs. Our CRADA with Durham University in the UK provided the 10 crucial fiber cables required to connect the DESI focal plane to the 10 spectrographs. The key major goals of this CRADA were achieved. Survey planning was another key component to the Durham contribution. Drs. Frenk, Baugh, Cole, Edge, Lacey, Li, Lucey, Massey, Metcalfe, Norberg and Shanks were all important contributors to the working groups to which they were assigned. Their work to implement emission lines and QSO in lightcone mocks, mocks for non-standard cosmologies/modified gravity, optimization of completeness of BGS in crowded regions and extended source photometry have been vital in the early planning for targets during commissioning. The major role in the project involved Dr. Ray Sharples and his team. They provided a significant portion of the design, fabrication and testing of the optical fiber system. In particular, they were responsible for the design, production of engineering drawings, component procurements, and fabrication of the 10 DESI Science fiber cables. Working in close collaboration with Dr. Claire Poppett, they also designed and fabricated the slit assemblies, the specialized termination of the groups of 500 fibers which plug into the spectrographs.

47 OTHER INSTRUMENTATION↗
DOE OSTI2018

Design Tool for Estimating Chemical Hydrogen Storage System Characteristics for Light-Duty Fuel Cell Vehicles

The U.S. Department of Energy (DOE) has developed a vehicle framework model to simulate fuel cell-based light-duty vehicle operation for various hydrogen storage systems. This transient model simulates the performance of the storage system, fuel cell, and vehicle for comparison to DOE’s Technical Targets using four drive cycles/profiles. Chemical hydrogen storage models have been developed for the Framework model for both exothermic and endothermic materials. Despite the utility of such models, they require that material researchers input system design specifications that cannot be easily estimated. To address this challenge, a design tool has been developed that allows researchers to directly enter kinetic and thermodynamic chemical hydrogen storage material properties into a simple sizing module that then estimates the systems parameters required to run the storage system model. Additionally, this design tool can be used as a standalone executable file to estimate the storage system mass and volume outside of the framework model and compare it to the DOE Technical Targets. These models will be explained and exercised with existing hydrogen storage materials.

hydrogen storage materials, Fuel Cell Vehicles, de↗
NASA NTRS1983

PDSS/IMC requirements and functional specifications

The system (software and hardware) requirements for the Payload Development Support System (PDSS)/Image Motion Compensator (IMC) are provided. The PDSS/IMC system provides the capability for performing Image Motion Compensator Electronics (IMCE) flight software test, checkout, and verification and provides the capability for monitoring the IMC flight computer system during qualification testing for fault detection and fault isolation.

Source record↗
NASA NTRS1990

Identifying decohering paths in closed quantum systems

A specific proposal is discussed for how to identify decohering paths in a wavefunction of the universe. The emphasis is on determining the correlations among subsystems and then considering how these correlations evolve. The proposal is similar to earlier ideas of Schroedinger and of Zeh, but in other ways it is closer to the decoherence functional of Griffiths, Omnes, and Gell-Mann and Hartle. There are interesting differences with each of these which are discussed. Once a given coarse-graining is chosen, the candidate paths are fixed in this scheme, and a single well defined number measures the degree of decoherence for each path. The normal probability sum rules are exactly obeyed (instantaneously) by these paths regardless of the level of decoherence. Also briefly discussed is how one might quantify some other aspects of classicality. The important role that concrete calculations play in testing this and other proposals is stressed.

Albrecht, Andreas↗
NASA NTRS1985

Increasing productivity of the McAuto CAD/CAE system by user-specific applications programming

Significant improvements in the productivity of the McAuto Computer-Aided Design/Computer-Aided Engineering (CAD/CAE) system were achieved by applications programming using the system's own Graphics Interactive Programming language (GRIP) and the interface capabilities with the main computer on which the system resides. The GRIP programs for creating springs, bar charts, finite element model representations and aiding management planning are presented as examples.

Plotrowski, S. M.↗
DOE OSTI2017

Benefits of digitalizing and employing simulation to increase plant system performance and ensure compliance with technical specifications - 109

The essential services water system in a BWR nuclear power plant was affected by corrosion, soiling and blockages due to ageing. Those episodes affected safety margins hindering the Technical Specifications compliance during periodic system testing. Tecnatom designed, implemented and tested a design modification for the on-line monitoring of this system by integrating it in the existing Digital Control System (DCS). Key system parameters were acquired in real time to be displayed in the Human System Interface, used in performing calculations and stored their historical evolution. The objective was to optimize monitoring and surveillance of the essential service water system. Furthermore, Tecnatom developed an engineering simulator ('What if' simulator) consisting of a hydraulic model of the system. This simulator takes as inputs each heat exchanger performance parameters from the plant DCS, allows the user to change the essential services water system configuration (valves position, UHS level...) and calculates theoretical process values predicting the system real behavior. In a second stage, more system instruments were wired to the DCS for Technical Specifications compliance automatic surveillance regarding opening and closing times of system valves. Operating experience shows important benefits after the digitalization. It enhances on-line information of system operation and automates calculation of load loss factor of each heat exchanger. It eases the evaluation of blockages and soiling in the system allowing optimization of cleaning proceedings. System Surveillance Requirements and Test Requirements reports have been automated optimizing the operation workload. The simulator use enables to identify optimal system configuration increasing safety margins of the system and ensuring Technical Specifications fulfillment. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
NASA NTRS1975

Functional design specification for Stowage List And Hardware Tracking System (SLAHTS)

This functional design specification defines the total systems approach to meeting the requirements stated in the Detailed Requirements Document for Stowage List and Hardware Tracking System for the space shuttle program. The stowage list and hardware tracking system is identified at the system and subsystem level with each subsystem defined as a function of the total system.

Keltner, D. J.↗
NASA NTRS2020

Small Lunar Base Camp and in Situ Resource Utilization Oxygen Production Facility Power System Comparison

This report examines the power requirements for operating an in situ resource utilization (ISRU) oxygen production system on the lunar surface and a small six-person base camp. The baseline ISRU system produced 1.63 kg/h for a total day and night production rate of 1,154 kg. It was estimated that this plant would require 25.83 kW of power to operate. The base camp power includes auxiliary equipment as well as a communications system. The required power estimate for the base camp was 28.05 kW. This estimation was used to size a power system and determine its mass for meeting these requirements. Three types of power systems were considered: a solar photovoltaic (PV) array system using batteries for energy storage, a PV array system using a regenerative fuel cell (RFC) for energy storage, and a modular 10-kW electrical output power Kilopower reactor system. Three separate cases were examined: a stand-alone ISRU oxygen production system, a base camp, and a combined ISRU oxygen production system and base camp. For the PV array-based system, the RFC energy storage method had a mass advantage over a battery- based energy storage system. For higher power nighttime power operation for all three cases, the RFC system’s specific energy was just over 830 Wh/kg. For the lower power nighttime “keep-alive” level used as part of the Case 1 analysis, the specific energy for the RFC was 456 Wh/kg. Both of these levels are significantly above the specific energy of 200 Wh/kg for the battery. Because of this higher specific energy, the RFC-based system provided significant mass advantages over the battery-based energy storage system. The baseline reactor system utilized shielding and separation distance to meet the desired maximum radiation dose level of 5 rem/yr for personnel operating within the vicinity of the power loads, base camp, and oxygen production facility. There are methods that could potentially be utilized to reduce the shielding requirements and separation distance. Implementing these would reduce the overall system mass for the reactor. Also, optimizing the reactor output to a specific mission would provide benefits in mass at the expense of modularity. The results of the power system comparison between a solar PV array-based system and a Kilopower reactor-based system has shown that for missions required to operate throughout the lunar night at power levels comparable to those used during the day, the reactor-based system provides a significant mass advantage. However, for applications that can meet their mission requirements while only having to operate during the daytime with minimal power required to survive the nighttime, the PV array-based system provides a mass advantage.

Colozza, Anthony J.↗
DOE OSTI2019

Quality Guidelines for Energy System Studies: Detailed Coal Specifications

Specifications for selected feedstocks that are commonly found in the National Energy Technology Laboratory (NETL)-sponsored energy system studies are summarized in NETL’s “Quality Guidelines for Energy System Studies” (QGESS). The purpose of this companion section is to document default QGESS specifications for coal compositions reflecting a spectrum of seven coal ranks: North Dakota (ND) lignite; Texas (TX) lignite; “super-compliance” subbituminous, ~0.2 percent sulfur (as-received weight percent); subbituminous, > 0.5 percent sulfur(as-received weight percent); high volatile bituminous; medium volatile bituminous; low volatile bituminous.

01 COAL, LIGNITE, AND PEAT↗