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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS1986

Integrating automated structured analysis and design with Ada programming support environments

Ada Programming Support Environments (APSE) include many powerful tools that address the implementation of Ada code. These tools do not address the entire software development process. Structured analysis is a methodology that addresses the creation of complete and accurate system specifications. Structured design takes a specification and derives a plan to decompose the system subcomponents, and provides heuristics to optimize the software design to minimize errors and maintenance. It can also produce the creation of useable modules. Studies have shown that most software errors result from poor system specifications, and that these errors also become more expensive to fix as the development process continues. Structured analysis and design help to uncover error in the early stages of development. The APSE tools help to insure that the code produced is correct, and aid in finding obscure coding errors. However, they do not have the capability to detect errors in specifications or to detect poor designs. An automated system for structured analysis and design TEAMWORK, which can be integrated with an APSE to support software systems development from specification through implementation is described. These tools completement each other to help developers improve quality and productivity, as well as to reduce development and maintenance costs. Complete system documentation and reusable code also resultss from the use of these tools. Integrating an APSE with automated tools for structured analysis and design provide capabilities and advantages beyond those realized with any of these systems used by themselves.

Hecht, Alan↗
NASA NTRS2010

Automata learning algorithms and processes for providing more complete systems requirements specification by scenario generation, CSP-based syntax-oriented model construction, and R2D2C system requirements transformation

Systems, methods and apparatus are provided through which in some embodiments, automata learning algorithms and techniques are implemented to generate a more complete set of scenarios for requirements based programming. More specifically, a CSP-based, syntax-oriented model construction, which requires the support of a theorem prover, is complemented by model extrapolation, via automata learning. This may support the systematic completion of the requirements, the nature of the requirement being partial, which provides focus on the most prominent scenarios. This may generalize requirement skeletons by extrapolation and may indicate by way of automatically generated traces where the requirement specification is too loose and additional information is required.

Hinchey, Michael G.↗
NASA NTRS1977

Convection analysis on various crystal growth systems

Specific work done during an indicated contract period was reviewed. An extensive survey of crystal growth literature and related topics was accomplished during this time. Specific attention was given to those areas dealing with the effects of transport phenomena on crystal growth. Critical evaluations of growth techniques were made. Techniques studied included closed tube vapor growth, open reactor vapor growth, melt growth and solution growth.

Source record↗
NASA NTRSDate not supplied

An Extremely High Isp Spacecraft Propulsion System

Specific Impulse, Isp, is a measure of a rocket engine’s efficiency. It is calculated relative to the Earth’s gravitational field, where Isp = ve/ go, with go= 9.8 m/s2 and the escape velocity of the propellant, ve, in m/s. Chemical rockets have ve < 4.4x103 m/s and Isp < 450 seconds. As an alternative, the NASA Glenn Research Center developed multiple generations of Solar Electric Propulsion (SEP), high Isp, ion engines using Xe gas as a propellant. Consequently, over 100 SEP Ion Thrusters provide geo-synchronous station keeping along with deep space probes like Deep Space One and Dawn. These have ve » 2.9 x 104 m/s with Isp = 3x103 seconds. These thrusters have continuous operating lifetimes of thousands of hours allowing continuous acceleration making up for the very low thrust. Chang-Diaz’ Variable Specific Impulse Magnetoplasma Rocket (VASIMR) has the potential for four times the propellant escape velocity and four times the specific impulse1. Unfortunately, this comes at a tremendous electrical power cost, estimated at 200 kWe for maintaining the International Space Station in Low Earth Orbit (LEO). Although nuclear fission and fusion reactors2 have been suggested for powering nuclear thermal propulsion (NTP) it only doubles the Isp over chemical rockets but with comparable thrust. Instead, we propose using Lattice Confinement Fusion (LCF) reactions.

High Isp Propulsion↗
NASA NTRS2005

Validation of Commercial Fiber Optic Components for Aerospace Environments

Full qualification for commercial photonic parts as defined by the Military specification system in the past, is not feasible. Due to changes in the photonic components industry and the Military specification system that NASA had relied upon so heavily in the past, an approach to technology validation of commercial off the shelf parts had to be devised. This approach involves knowledge of system requirements, environmental requirements and failure modes of the particular components under consideration. Synthesizing the criteria together with the major known failure modes to formulate a test plan is an effective way of establishing knowledge based "qualification". Although this does not provide the type of reliability assurance that the Military specification system did in the past, it is an approach that allows for increased risk mitigation. The information presented will introduce the audience to the technology validation approach that is currently applied at NASA for the usage of commercial-off-the-shelf (COTS) fiber optic components for space flight environments. The focus will be on how to establish technology validation criteria for commercial fiber products such that continued reliable performance is assured under the harsh environmental conditions of typical missions. The goal of this presentation is to provide the audience with an approach to formulating a COTS qualification test plan for these devices. Examples from past NASA missions will be discussed.

Ott, Melanie N.↗
NASA NTRS1990

Algorithm To Architecture Mapping Model (ATAMM) multicomputer operating system functional specification

A functional description of the ATAMM Multicomputer Operating System is presented. ATAMM (Algorithm to Architecture Mapping Model) is a marked graph model which describes the implementation of large grained, decomposed algorithms on data flow architectures. AMOS, the ATAMM Multicomputer Operating System, is an operating system which implements the ATAMM rules. A first generation version of AMOS which was developed for the Advanced Development Module (ADM) is described. A second generation version of AMOS being developed for the Generic VHSIC Spaceborne Computer (GVSC) is also presented.

Mielke, R.↗
NASA NTRS1976

The 727 approach energy management system avionics specification (preliminary)

Hardware and software requirements for an Approach Energy Management System (AEMS) consisting of an airborne digital computer and cockpit displays are presented. The displays provide the pilot with a visual indication of when to manually operate the gear, flaps, and throttles during a delayed flap approach so as to reduce approach time, fuel consumption, and community noise. The AEMS is an independent system that does not interact with other navigation or control systems, and is compatible with manually flown or autopilot coupled approaches. Operational use of the AEMS requires a DME ground station colocated with the flight path reference.

Jackson, D. O.↗
NASA NTRS1999

Power System Optimization Codes Modified

A major modification of and addition to existing Closed Brayton Cycle (CBC) space power system optimization codes was completed. These modifications relate to the global minimum mass search driver programs containing three nested iteration loops comprising iterations on cycle temperature ratio, and three separate pressure ratio iteration loops--one loop for maximizing thermodynamic efficiency, one for minimizing radiator area, and a final loop for minimizing overall power system mass. Using the method of steepest ascent, the code sweeps through the pressure ratio space repeatedly, each time with smaller iteration step sizes, so that the three optimum pressure ratios can be obtained to any desired accuracy for each of the objective functions referred to above (i.e., maximum thermodynamic efficiency, minimum radiator area, and minimum system mass). Two separate options for the power system heat source are available: 1. A nuclear fission reactor can be used. It is provided with a radiation shield 1. (composed of a lithium hydride (LiH) neutron shield and tungsten (W) gamma shield). Suboptions can be used to select the type of reactor (i.e., fast spectrum liquid metal cooled or epithermal high-temperature gas reactor (HTGR)). 2. A solar heat source can be used. This option includes a parabolic concentrator and heat receiver for raising the temperature of the recirculating working fluid. A useful feature of the code modifications is that key cycle parameters are displayed, including the overall system specific mass in kilograms per kilowatt and the system specific power in watts per kilogram, as the results for each temperature ratio are computed. As the minimum mass temperature ratio is encountered, a message is printed out. Several levels of detailed information on cycle state points, subsystem mass results, and radiator temperature profiles are stored for this temperature ratio condition and can be displayed or printed by users.

Juhasz, Albert J.↗
NASA NTRS1979

Data base management system configuration specification

The functional requirements and the configuration of the data base management system are described. Techniques and technology which will enable more efficient and timely transfer of useful data from the sensor to the user, extraction of information by the user, and exchange of information among the users are demonstrated.

Neiers, J. W.↗
NASA NTRS1991

Radioisotope thermal photovoltaic application of the GaSb solar cell

An examination of a RTVP (radioisotopic thermophotovoltaic) conceptual design has shown a high potential for power densities well above those achievable with radioisotopic thermoelectric generator (RTG) systems. An efficiency of 14.4 percent and system specific power of 9.25 watts/kg were predicted for a system with sixteen GPHS (general purpose heat source) sources operating at 1100 C. The models also showed a 500 watt system power by the strontium-90 isotope at 1200 C at an efficiency of 17.0 percent and a system specific power of 11.8 watts/kg. The key to this level of performance is a high-quality photovoltaic cell with narrow bandgap and a reflective rear contact. Recent work at Boeing on GaSb cells and transparent back GaAs cells indicate that such a cell is well within reach.

Morgan, M. D.↗
NASA NTRS2010

Slicing AADL Specifications for Model Checking

To combat the state-space explosion problem in model checking larger systems, abstraction techniques can be employed. Here, methods that operate on the system specification before constructing its state space are preferable to those that try to minimize the resulting transition system as they generally reduce peak memory requirements. We sketch a slicing algorithm for system specifications written in (a variant of) the Architecture Analysis and Design Language (AADL). Given a specification and a property to be verified, it automatically removes those parts of the specification that are irrelevant for model checking the property, thus reducing the size of the corresponding transition system. The applicability and effectiveness of our approach is demonstrated by analyzing the state-space reduction for an example, employing a translator from AADL to Promela, the input language of the SPIN model checker.

Odenbrett, Maximilian↗
NASA NTRS2024

AC and DC Fault Management for Megawatt Electrified Aircraft Electrical Powertrains - Task 2: Power Quality Filtering Using Nanocrystalline Soft Magnetic Inductor

The NASA RTAPS program on AC and DC Fault Management for Megawatt Electrified Power Train is a multi-year joint project with Pratt & Whitney (P&W), Collins Aerospace (CA), and RTX Technology Research Center (RTRC). This research program focuses on the high-voltage distribution issues that present a significant technological obstacle in the adoption of Electrified Aviation Propulsion (EAP) systems. One challenge to the adoption of high-voltage distribution systems with power electronic converters is the need for filter elements to limit the generation and propagation of noise, protect the cable systems from premature aging and prevent against excessive heating within subcomponents due to high-frequency induced currents. While increased distribution voltages aide in reducing the cable mass for a fixed power system, the associated mass with the filtering elements for power electronic converter can grow with increasing distribution voltages – thereby mitigating any benefit associated with increasing the distribution system voltage. To enable high-voltage distribution systems with high system specific power densities, new magnetic materials must be developed. Therefore, the second task of the NASA RTAPS program is associated with the design and application of advanced soft magnetic components for Megawatt class electric propulsion systems, specifically the motor drive system. This report covers the collaborative work between NASA Glenn Research Center (GRC), RTRC, P&W and CA in the development of three types of magnetic components over the span of the three-year program. These critical magnetic components are the DC side EMI filter, which limits the propagation of harmful electromagnetic noise to the rise of the distribution system, and the AC side damping with the dv/dt filter, which limits the fast rise time of the power electronic converter output voltage to limit the degradation on the cable/motor insulation systems. Each of these components are investigated from component level design and are optimized at the system level with a combined modelling and testing effort. In the final experimental evaluation of the NASA developed soft magnetic material with a dv/dt filter, a commercial-off-the-shelf (COTS) magnetic core and the GRC magnetic core are optimized and loaded at 320Arms to evaluate their difference in performance. After a run time of 30 minutes in a MW-class motor driver at RTRC, the NASA GRC cores were found to not only offer a lower temperature rise of nearly 25°𝐶, but also a reduction in measured core loss of 25% (12.75W to 9.5W).

Elecrified Aircraft Propulsion↗
NASA NTRS1980

Optical mass memory system (AMM-13). AMM-13 system segment specification

The performance, design, development, and test requirements for an optical mass data storage and retrieval system prototype (AMM-13) are established. This system interfaces to other system segments of the NASA End-to-End Data System via the Data Base Management System segment and is designed to have a storage capacity of 10 to the 13th power bits (10 to the 12th power bits on line). The major functions of the system include control, input and output, recording of ingested data, fiche processing/replication and storage and retrieval.

Bailey, G. A.↗
NASA NTRS1991

Beyond the Baseline 1991: Proceedings of the Space Station Evolution Symposium. Volume 1: Space Station Freedom, part 1

Personnel responsible for Advanced Systems Studies and Advanced Development within the Space Station Freedom Program reported on the results of their work to date. The results of SSF Advanced Studies provide a road map for the evolution of Freedom in terms of user requirements, utilization and operations concepts, and growth options for distributed systems. Regarding these specific systems, special attention is given to: highlighting changes made during restructuring; description of growth paths thru the follow-on and evolution phases; identification of minimum impact provisions to allow flexibility in the baseline; and identification of enhancing and enabling technologies. Products of these tasks include: engineering fidelity demonstrations and evaluations of advanced technology; detailed requirements, performance specifications, and design accommodations for insertion of advanced technology.

Source record↗
NASA NTRS2005

Chapter 21 - Avionics

This Section presents general guidance for flight testing of avionics systems. Due to the complex and ever changing nature of avionics systems, specific detailed test methods and analysis techniques are left to current and future system specific AGARDographs such as references 21-1 and 21-2. This section will provide descriptions of test methods which are generic to most current and future avionics systems. The field of avionics systems was divided into four general categories (autopilot, navigation and communication, offensive, and defensive) and a fifth overall test category of integration. This was accomplished only for the convenience in presenting the material. These categories are not meant to encompass all avionics systems but are intended to be sufficiently general to enable a systematic discussion of the testing of the basic types of avionics systems.

Ron Mahlum↗
NASA NTRS1975

Solar concentrators for space processing applications

A study on the technological feasibility of using solar concentrators for crystal growth and zone refining in space has been performed. Previous studies related to the many aspects of the problem are reviewed. It was concluded from this effort that the technology for fabricating, orbiting, and deploying large solar concentrators has been developed. It was also concluded that the technological feasibility of space processing materials in the focal region of a solar concentrator depends primarily on two factors: (1) the ability of a solar concentrator to provide sufficient thermal energy for the process and (2) the ability of a solar concentrator to provide a thermal environment that is conducive to the processes of interest. The study indicates that solar concentrators of reasonable dimensions can satisfactorily provide both of these factors. This study also indicates that solar concentrators are attractive for space processing from the viewpoint of system specific power and system flexibility.

Mcdermit, J. H.↗
NASA NTRS1988

Model reduction in the simulation of interconnected flexible bodies

Given the control system specifications for a system of interconnected rigid and flexible bodies, methods now exist for determining the system modes that do not interact 'strongly' with the controller. Once these important system modes are known, there still remains the problem of determining the modes of individual bodies that should be retained, since, in the final analysis, it is the modal information at the component level that must be fed into any multibody simulation code. Systematic identification of these component modes is achieved through a two-phase matrix diagonalization process starting with judiciously chosen submatrices of the system modal matrix.

Eke, Fidelis O.↗