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,081 records · Page 60
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

FEW questions, many answers: using machine learning to assess how students connect food–energy–water (FEW) concepts

There is growing support and interest in postsecondary interdisciplinary environmental education which integrate concepts and disciplines in addition to providing varied perspectives. There is a need to assess student learning in these programs as well as rigorous evaluation of educational practices, especially of complex synthesis concepts. This work tests a text classification machine learning model as a tool to assess student systems thinking capabilities using two questions anchored by the Food-Energy-Water (FEW) Nexus phenomena by answering two questions (1) Can machine learning models be used to identify instructor-determined important concepts in student responses? (2) What do college students know about the interconnections between food, energy and water, and how have students assimilated systems thinking into their constructed responses about FEW? Reported here are a broad range of model performances across 26 text classification models associated with two different assessment items, with model accuracy ranging from 0.755 to 0.992. Expert-like responses were infrequent in our dataset compared to responses providing simpler, incomplete explanations of the systems presented in the question. For those students moving from describing individual effects to multiple effects, their reasoning about the mechanism behind the system indicates advanced systems thinking ability. Specifically, students exhibit higher expertise for explaining changing water usage than discussing tradeoffs for such changing usage. This research represents one of the first attempts to assess the links between foundational, discipline-specific concepts and systems thinking ability. These text classification approaches to scoring student FEW Nexus Constructed Responses (CR) indicate how these approaches can be used, in addition to several future research priorities for interdisciplinary, practice-based education research. Development of further complex question items using machine learning would allow evaluation of the relationship between foundational concept understanding and integration of those concepts as well as more nuanced understanding of student comprehension of complex interdisciplinary concepts.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗
DOE OSTI2024

Liquid Abrasive Cutter Power Generation Unit Requirements

This document details the requirements for the purchase of a power generating unit (PGU) for an updated Liquid Abrasive Cutter (LAC) for use in field conditions. The system will provide high pressure water and will be integrated with existing waterjet cutting attachments to cut various materials. The system will be standalone, requiring only water, and electrical energy. Cutting heads, attachments, and a garnet delivery system are not included in this specification. This system is an evolution of the existing LAC (developed at LLNL). The PGU specified herein will have the ability to operate on electrical power via an electric motor, and accept input power from a variety of sources, such as an engine-driven generator, battery pack, solar, shore power, or micro-grid.

42 ENGINEERING↗
NASA NTRS1973

Satellite auxiliary propulsion systems

Report is announced which describes techniques for selecting optimum system for specific satellite mission. Descriptions of propulsion systems are presented along with illustrations and diagrams. Report contains references, cost-effectiveness techniques, and reliability measurements and estimates.

Holcomb, L. B.↗
NASA NTRS1973

Synthesis of oscillating adaptive feedback systems

A synthesis theory is developed which allows system design to proceed from practical specifications on system command and/or disturbance response to a design which is very nearly optimal in terms of feedback sensor noise effects. The approach taken is to replace the nonlinear element by a mean square error minimizing approximation (dual-input describing function), and then use linear frequency domain synthesis techniques subject to additional constraints imposed by the limit cycle and the approximator. Synthesis techniques are also developed for a similar system using an externally excited oscillating signal with the above approach. The results remove the design of the systems considered from the realm of simulation and experimentation, permitting true synthesis and the optimization that accompanies it.

Smay, J. W.↗
NASA NTRS1980

Study of power management technology for orbital multi-100KWe applications. Volume 3: Requirements

Mid to late 1980's power management technology needs to support development of a general purpose space platform, capable of suplying 100 to 250 KWe to a variety of users in low Earth orbit are examined. A typical, shuttle assembled and supplied space platform is illustred, along with a group of payloads which might reasonably be expected to use such a facility. Examination of platform and user power needs yields a set of power requirements used to evaluate power management options for life cycle cost effectivness. The most cost effective ac/dc and dc systems are evaluated, specifically to develop system details which lead to technology goals, including: array and transmission voltages, best frequency for ac power transmission, and advantages and disadvantages of ac and dc systems for this application. System and component requirements are compared with the state-of-the-art to identify areas where technological development is required.

Mildice, J. W.↗
NASA NTRS1980

Power management for multi-100 KWe space systems

This paper examines mid to late 1980s power management technology needs to support development of a general-purpose space platform, capable of supplying 100 to 250 KWe to a variety of users in LEO. To that end, a typical Shuttle-assembled and supplied space platform is described, along with a group of payloads which might reasonably be expected to use such a facility. Examination of platform and user power needs yields a set of power system requirements used to evaluate power management options for life cycle cost effectiveness. The most cost-effective AC/DC and DC systems are evaluated, specifically to develop system details which lead to technology goals including array and transmission voltage, best frequency for AC power transmission, and advantages and disadvantages of AC and DC systems for this application. Finally, system and component requirements are compared with the state of the art to identify areas where technology development is required.

Mildice, J. W.↗
NASA NTRS1985

Safety Evaluation Methodology for Mining Systems

Methodolgy evaluates design of proposed mining systems. Analysis tests proposed mining systems against specifications and hazards of existing similar systems, examines soundness of new design in terms of reducing or eliminating major health and safety hazards, and identifies major design weaknesses.

Zimmerman, W. F.↗
NASA NTRS1986

Use of a 35mm camera for remote surface cleanliness verification

Non-contact or remote monitoring of surfaces for both particle and molecular contaminants is required for verification of surface cleanliness on many program subsystems. The capability of a 35mm camera to satisfy this need is presented. The many limitations imposed by standard available lens systems are compared to actual required sensitivities. Methods of optimizing camera systems for specific applications and descriptions of support systems for extending the range of usefulness of the recorded data are also provided. Although this general concept is not new, significant improvements in the technique involving the use of polarized light and diffraction effects have resulted in a more efficient utilization of information recorded on the film.

Crutcher, E. R.↗
NASA NTRS1991

GenSAA - Advancing satellite monitoring with expert systems

During numerous contacts with a satellite each day, spacecraft analysts must closely monitor real time data watching for combinations of telemetry parameter values, trends, and other indications that may signify a problem or failure. At the NASA Goddard Space Flight Center, fault-isolation expert systems are currently in operation supporting this data monitoring task. Based on the lessons learned during these initial efforts in expert system automation, a new domain-specific expert system development tool is being developed to facilitate the rapid development and reuse of real-time expert systems to serve as fault-isolation assistants for spacecraft analysts.

Hughes, Peter M.↗
NASA NTRS1993

Formal verification of algorithms for critical systems

We describe our experience with formal, machine-checked verification of algorithms for critical applications, concentrating on a Byzantine fault-tolerant algorithm for synchronizing the clocks in the replicated computers of a digital flight control system. First, we explain the problems encountered in unsynchronized systems and the necessity, and criticality, of fault-tolerant synchronization. We give an overview of one such algorithm, and of the arguments for its correctness. Next, we describe a verification of the algorithm that we performed using our EHDM system for formal specification and verification. We indicate the errors we found in the published analysis of the algorithm, and other benefits that we derived from the verification. Based on our experience, we derive some key requirements for a formal specification and verification system adequate to the task of verifying algorithms of the type considered. Finally, we summarize our conclusions regarding the benefits of formal verification in this domain, and the capabilities required of verification systems in order to realize those benefits.

Rushby, John M.↗
NASA NTRS1994

Using graphics and expert system technologies to support satellite monitoring at the NASA Goddard Space Flight Center

At NASA's Goddard Space Flight Center, fault-isolation expert systems have been developed to support data monitoring and fault detection tasks in satellite control centers. Based on the lessons learned during these efforts in expert system automation, a new domain-specific expert system development tool named the Generic Spacecraft Analysts Assistant (GenSAA), was developed to facilitate the rapid development and reuse of real-time expert systems to serve as fault-isolation assistants for spacecraft analysts. This paper describes GenSAA's capabilities and how it is supporting monitoring functions of current and future NASA missions for a variety of satellite monitoring applications ranging from subsystem health and safety to spacecraft attitude. Finally, this paper addresses efforts to generalize GenSAA's data interface for more widespread usage throughout the space and commercial industry.

Hughes, Peter M.↗
NASA NTRS1995

Analog Processing Assembly for the Wake Vortex Lidar Experiment

The Federal Aviation Administration (FAA) and NASA have initiated a joint study in the development of reliable means of tracking, detecting, measuring, and predicting trailing wake-vortices of commercial aircraft. Being sought is an accurate model of the wake-vortex hazard, sufficient to increase airport capacity by reducing minimum safe spacings between planes. Several means of measurement are being evaluated for application to wake-vortex detection and tracking, including Doppler RADAR (Radio Detection and Ranging) systems, 2-micron Doppler LIDAR (Light Detection And Ranging) systems, and SODAR (Sound Detection And Ranging) systems. Of specific interest there is the lidar system, which has demonstrated numerous valuable capabilities as a vortex sensor Aerosols entrained in the vortex flow make the wake velocity signature visible to the lidar, (the observable lidar signal is essentially a measurement of the line-of-sight velocity of the aerosols). Measurement of the occurrence of a wake vortex requires effective reception and monitoring of the beat signal which results from the frequency-offset between the transmitted pulse and the backscattered radiation. This paper discusses the mounting, analysis, troubleshooting, and possible use of an analog processing assembly designed for such an application.

Stowe, Edwood G.↗
NASA NTRS1997

Stability of Large Direct-Current Power Systems That Use Switching Converters and the Application of Switching Converters to the International Space Station

As direct-current space power systems continue to grow in size, switching power converters are playing an ever larger role in power conditioning and control. When a large direct-current system that uses power converters of this type is being designed, special attention must be placed on the electrical stability of the system and of the individual loads on the system. The impedance specification approach for system stability was accomplished as a result of cooperative work of the International Space Station program team, which consists of the NASA Lewis Research Center, the Boeing Company, and Rocketdyne Division/Rockwell International. In addition, major contributions were provided by the Virginia Polytechnic Institute and State University working under a grant to NASA Lewis.

Manners, Bruce A.↗
DOE OSTI2016

Storing files in a parallel computing system based on user or application specification

Techniques are provided for storing files in a parallel computing system based on a user-specification. A plurality of files generated by a distributed application in a parallel computing system are stored by obtaining a specification from the distributed application indicating how the plurality of files should be stored; and storing one or more of the plurality of files in one or more storage nodes of a multi-tier storage system based on the specification. The plurality of files comprise a plurality of complete files and/or a plurality of sub-files. The specification can optionally be processed by a daemon executing on one or more nodes in a multi-tier storage system. The specification indicates how the plurality of files should be stored, for example, identifying one or more storage nodes where the plurality of files should be stored.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2017

Xcel Energy – LBNL ‘Beyond Widgets’ Project. Workstation Specific Lighting with Daylight Dimming Controls System Program Manual

This program manual was developed through a U.S. Department of Energy project to develop streamlined utility program approaches to the deployment of integrated systems in commercial offices. Integrated systems present deep opportunities for energy savings, however by nature these systems have additional levels of complexity and effort required for their design and energy savings assessment, which create barriers for utility incentive programs to develop streamlined cost effective incentive programs to capture these savings. This project worked with Xcel Energy in Colorado and Minnesota to select an integrated system and develop a streamlined approach to its deployment for small and large commercial offices. Xcel Energy worked with LBNL to select a workstation specific lighting system with daylight dimming controls, applied as a retrofit in commercial office spaces. Previous studies indicated a potential lighting annual energy savings of 28-63%, with an average of 47% for this system type, due to reduced fixture LPD and controls only, not including a full fixture replacement from a condition such as T8 to LED. Xcel also had a desire to incorporate this fixture replacement in their integrated system package, and as a result annual energy lighting savings are expected to be higher. FLEXLAB testing of the system for 500 lux minimum output conditions translated into a 94% annual energy savings for this system. Market analysis was developed for large and medium commercial office buildings in Xcel’s Minnesota and Colorado markets showing a potential for 48-295 and 120-672 GWh of energy savings potential for Colorado and Minnesota respectively. Total Resource Costs (TRC) vary by location and technology package used (enterprise versus non-enterprise lighting controls system), and vary from 0.29 to 1.27 and 0.06 and 0.44 for a Retrofit case, and 0.20 to 1.63 and 0.07 to 0.57 for a Replace on Burnout strategy for Colorado and Minnesota respectively. These results indicate good potential for demonstrating a strong technical and economic case for deployment of this system type in Xcel’s Colorado territory, while deployment in the Minnesota market may be advisable as well as part of a portfolio of programs, or as an effort to help shift the market into integrated systems deployment in general. It should be noted that the cost of avoided energy in both markets is significantly low ($0.07/kWh for Minnesota, $0.08/kWh for Colorado), and these TRC values would not be representative of deployment potential in other markets with higher utility rates. In addition, installation costs used for these systems may decrease with time, further enhancing their return on investment. Overall, workstation specific lighting systems with daylight dimming controls present a very strong potential for cost effective lighting energy savings, as demonstrated by the FLEXLAB test results and previous case studies. Further energy savings may be realized from the use of fixture-specific occupancy sensors as well, although this approach was not considered in this study.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
NASA NTRS1992

A proposed research program in information processing

The goal of the Formalized Software Development (FSD) project was to demonstrate improvements productivity of software development and maintenance through the use of a new software lifecycle paradigm. The paradigm calls for the mechanical, but human-guided, derivation of software implementations from formal specifications of the desired software behavior. It relies on altering a system's specification and rederiving its implementation as the standard technology for software maintenance. A system definition for this paradigm is composed of a behavioral specification together with a body of annotations that control the derivation of executable code from the specification. Annotations generally achieve the selection of certain data representations and/or algorithms that are consistent with, but not mandated by, the behavioral specification. In doing this, they may yield systems which exhibit only certain behaviors among multiple alternatives permitted by the behavioral specification. The FSD project proposed to construct a testbed in which to explore the realization of this new paradigm. The testbed was to provide operational support environment for software design, implementation, and maintenance. The testbed was proposed to provide highly automated support for individual programmers ('programming in the small'), but not to address the additional needs of programming teams ('programming in the large'). The testbed proposed to focus on supporting rapid construction and evolution of useful prototypes of software systems, as opposed to focusing on the problems of achieving production quality performance of systems.

Schorr, Herbert↗
DOE OSTI2016

Information flow for security in control systems

This paper considers the development of information flow analyses to support resilient design and active detection of adversaries in cyber physical systems (CPS). CPS security, though well studied, suffers from fragmentation. In this paper, we consider control systems as an abstraction of CPS. Here, we use information flow analysis, a well established set of methods developed in software security, to obtain a unified framework that captures and extends results in control system security. Specifically, we propose the Kullback Liebler (KL) divergence as a causal measure of information flow, which quantifies the effect of adversarial inputs on sensor outputs. We show that the proposed measure characterizes the resilience of control systems to specific attack strategies by relating the KL divergence to optimal detection. We then relate information flows to stealthy attack scenarios where an adversary can bypass detection. Finally, this article examines active detection mechanisms where a defender intelligently manipulates control inputs or the system itself to elicit information flows from an attacker's malicious behavior. In all previous cases, we demonstrate an ability to investigate and extend existing results through the proposed information flow analyses.

Weerakkody, Sean↗