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 973 records · Page 54
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

A phase transition model and temporal logic specifications for smart energy systems - revisited

In this paper, we revisit the method of a phase transition model for representing hybrid systems and temporal logic specifications (TLSs) for specifying desired behaviors of systems, and discuss their usefulness for smart energy systems. On the one hand, the phase transition model incorporates the continuous model of the relay device action with a particular structural form that allows for the construction of a single, global differential-algebraic equation for hybrid systems (thus smoothed hybrid systems). On the other hand, the TLS allows sophisticated descriptions of control specifications addressing both magnitude and time simultaneously, which has recently been applied to the control strategy of several types of continuous and hybrid systems. We provide high-level descriptions of each of the two techniques and present simulation results in the context of smart energy systems.

Park, Byungkwon↗
NASA NTRS1988

Attitude Determination Error Analysis System (ADEAS) mathematical specifications document

The mathematical specifications of Release 4.0 of the Attitude Determination Error Analysis System (ADEAS), which provides a general-purpose linear error analysis capability for various spacecraft attitude geometries and determination processes, are presented. The analytical basis of the system is presented. The analytical basis of the system is presented, and detailed equations are provided for both three-axis-stabilized and spin-stabilized attitude sensor models.

Nicholson, Mark↗
DOE OSTI2024

Common Electric Power Transmission System Model JSON Schema Specification

The Common Electric Power Transmission System Model (CTM) is an intuitive, extensible, language-agnostic, and error-resistant specification of electric power network components parameter names and units, and relation between components, intended for use by the research community developing new computational methods for power systems operations and simulation. Power system datasets following the CTM specification can be read as dictionaries and manipulated in that form in most programming languages (e.g., Python, Julia, C++). This standard data structure in CTM makes it easy to work in multiple power systems domains (e.g., economic operation, reliability assessment, electricity markets, stability assessment, etc.) without requiring conversions between use-case-specific file formats with information loss in the process. This repository specifies CTM as a JSON Schema, provides documentation, derivate (code-generated) implementations of CTM, and example data and usage of the schema for important use cases.

Aravena Solis, Ignacio↗
NASA NTRS1972

Development of a model of machine hand eye coordination and program specifications for a topological machine vision system

A unified approach to computer vision and manipulation is developed which is called choreographic vision. In the model, objects to be viewed by a projected robot in the Viking missions to Mars are seen as objects to be manipulated within choreographic contexts controlled by a multimoded remote, supervisory control system on Earth. A new theory of context relations is introduced as a basis for choreographic programming languages. A topological vision model is developed for recognizing objects by shape and contour. This model is integrated with a projected vision system consisting of a multiaperture image dissector TV camera and a ranging laser system. System program specifications integrate eye-hand coordination and topological vision functions and an aerospace multiprocessor implementation is described.

Source record↗
NASA NTRS1974

Instrument constraints and interface specifications. Earth Observatory Satellite system definition study (EOS)

The equipment specifications for the thematic mapper and high resolution pointable imager for use on the Earth Observatory Satellite (EOS) are presented. The interface requirements of the systems are defined. The interface requirements are extracted from the equipment specifications and are intended as a summary to be used by the system and spacecraft designer. The appropriate documentation from which the specifications of the equipment are established are identified.

Source record↗
DOE OSTI2017

PIP-II Cryogenic System and the evolution of Superfluid Helium Cryogenic Plant Specifications

The PIP-II cryogenic system consists of a Superfluid Helium Cryogenic Plant (SHCP) and a Cryogenic Distribution System (CDS) connecting the SHCP to the Superconducting (SC) Linac consisting of 25 cryomodules. The dynamic heat load of the SC cavities for continuous wave (CW) as well as pulsed mode of operation has been listed out. The static heat loads of the cavities along with the CDS have also been discussed. Simulation study has been carried out to compute the supercritical helium (SHe) flow requirements for each cryomodule. Comparison between the flow requirements of the cryomodules for the CW and pulsed modes of operation have also been made. From the total computed heat load and pressure drop values in the CDS, the basic specifications for the SHCP, required for cooling the SC Linac, have evolved.

43 PARTICLE ACCELERATORS↗
DOE OSTI2023

Sex-specific respiratory and systemic endocrine effects of acute acrolein and trichloroethylene inhalation

Acrolein and trichloroethylene (TCE) are priority hazardous air pollutants due to environmental prevalence and adverse health effects; however, neuroendocrine stress-related systemic effects are not characterized. Comparing acrolein, an airway irritant, and TCE with low irritancy, we hypothesized that airway injury would be linked to neuroendocrine-mediated systemic alterations. Male and female Wistar-Kyoto rats were exposed nose-only to air, acrolein or TCE in incremental concentrations over 30 min, followed by 3.5-hr exposure to the highest concentration (acrolein - 0.0, 0.1, 0.316, 1, 3.16 ppm; TCE - 0.0, 3.16, 10, 31.6, 100 ppm). Real-time head-out plethysmography revealed acrolein decreased minute volume and increased inspiratory-time (males>females), while TCE reduced tidal-volume. Acrolein, but not TCE, inhalation increased nasal-lavage-fluid protein, lactate-dehydrogenase activity, and inflammatory cell influx (males>females). Neither acrolein nor TCE increased bronchoalveolar-lavage-fluid injury markers, although macrophages and neutrophils increased in acrolein-exposed males and females. Systemic neuroendocrine stress response assessment indicated acrolein, but not TCE, increased circulating adrenocorticotrophic hormone, and consequently corticosterone, and caused lymphopenia, but only in males. Acrolein also reduced circulating thyroid-stimulating hormone, prolactin, and testosterone in males. Furthermore, acute acrolein inhalation resulted in sex-specific upper respiratory irritation/inflammation and systemic neuroendocrine alterations linked to hypothalamic-pituitary-adrenal axes activation, which is critical in mediating extra-respiratory effects.

60 APPLIED LIFE SCIENCES↗
NASA NTRS1980

Collector temperature effects on the performance of advanced thermionic converters and nuclear electric propulsion systems

The specific weight of a thermionic nuclear electric propulsion (NEP) system depends on the collector temperature because of changes in power density, efficiency and the temperature of heat rejection. Increasing the collector temperature above the value for maximum converter performance decreases both the efficiency and the power density of the converters, but the specific weight of the total system is decreased because of the reduction in radiator weight due to the increased heat rejection temperature. The effect of collector temperature on the performance of thermionic converters was investigated. The behavior of conventional ignited mode converters as well as advanced converters with lower collector work functions; the specific mass of an 'uninsulated' NEP system design was then evaluated as a function of collector temperature. The uninsulated design uses the electrical resistance of the heat pipes between the converters and the reactor to provide electrical insolation, eliminating the need for ceramic insulators at emitter temperature and providing other design advantages. The results indicate that an optimum collector temperature, which minimizes system weight, exists at a temperature above the optimum temperature for converter performance.

Dick, R. S.↗
DOE OSTI2016

Imaging Taurine in the Central Nervous System Using Chemically Specific X-ray Fluorescence Imaging at the Sulfur K-Edge

A method to image taurine distributions within the central nervous system and other organs has long been sought. Since taurine is small and mobile, it cannot be chemically “tagged” and imaged using conventional immuno-histochemistry methods. Combining numerous indirect measurements, taurine is known to play critical roles in brain function during health and disease and is proposed to act as a neuro-osmolyte, neuro-modulator, and possibly a neuro-transmitter. Elucidation of taurine’s neurochemical roles and importance would be substantially enhanced by a direct method to visualize alterations, due to physiological and pathological events in the brain, in the local concentration of taurine at or near cellular spatial resolution in vivo or in situ in tissue sections. We thus have developed chemically specific X-ray fluorescence imaging (XFI) at the sulfur K-edge to image the sulfonate group in taurine in situ in ex vivo tissue sections. To our knowledge, this represents the first undistorted imaging of taurine distribution in brain at 20 μm resolution. We report quantitative technique validation by imaging taurine in the cerebellum and hippocampus regions of the rat brain. Further, we apply the technique to image taurine loss from the vulnerable CA1 (cornus ammonis 1) sector of the rat hippocampus following global brain ischemia. Furthermore, the location-specific loss of taurine from CA1 but not CA3 neurons following ischemia reveals osmotic stress may be a key factor in delayed neurodegeneration after a cerebral ischemic insult and highlights the significant potential of chemically specific XFI to study the role of taurine in brain disease.

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

Earth Observatory Satellite system definition study. Report 5: System design and specifications. Volume 7: Specification for EOS low cost readout station

The functional, performance, and design requirements for the Low Cost Readout Station (LCRS) which supports the Earth Observatory Satellite (EOS) data system are described. The basic LCRS consists of all hardware and software needed to acquire and track the EOS-A or EOS-B satellite and receive, record, process, and annotate the instrument data from the satellites. The LCRS also provides appropriate interfaces with the unique local user provided display and extractive processing equipment. The LCRS has the capability of acquiring image data from the EOS-A and the EOS-B satellites over a ground area defines by a 500 kilometer radius from the coordinates of the station. The LCRS is also capable of receiving and processing both, but not simultaneously, full five band Multispectral Scanner (MSS) image data and various modes of the Compacted Thematic (CTM) data.

Source record↗
NASA NTRS1998

Control of Rate-Bounded Hybrid Systems with Liveness Specifications

In the present paper we examine the control problem for a class of composite hybrid machines (CHMs) that consist of concurrent operation (employing synchronous composition) of elementary hybrid machines (EHMs), that allows both signal sharing and event synchronization. A controller can then be coupled with the plant by means of synchronous composition. We confine our attention to controllers that interact with the system only through event synchronization. We present an initial investigation of synthesis of liveness controllers for hybrid machines. To this end we define open hybrid machines as systems that can interact with the environment through event synchronization and can be therefor be "driven" to their marked configuration by user (controller). Liveness specifications must be associated with timing constraints. We may require that for a specified time limit, every run reach a marked configuration within that time limit. Alternatively, a more relaxed specification may be that, for some (unspecified) global time bound, every run of the system reach a marked configuration within that time bound. Finally, the least restrictive liveness requirement is that every run reach a marked configuration within a finite time limit (but we do not insist on the existence of a global time bound for all runs).

Heymann, Michael↗
NASA NTRS1976

NASA software specification and evaluation system design, part 1

The research to develop methods for reducing the effort expended in software and verification is reported. The development of a formal software requirements methodology, a formal specifications language, a programming language, a language preprocessor, and code analysis tools are discussed.

Source record↗
NASA NTRS2024

Goddard Enhanced Onboard Navigation System (GEONS) Mathematical Specifications

The National Aeronautics and Space Administration (NASA) Goddard Space Flight Center (GSFC) has developed the capability to provide high-accuracy attitude, orbit, and time autonomously onboard NASA spacecraft. The GSFC Mission Engineering and Systems Analysis Division has implemented NASA-developed navigation algorithms for high-accuracy real-time onboard orbit determination in the Global Positioning System (GPS) Enhanced Orbit Determination (GEODE) flight software. The Goddard Enhanced Onboard Navigation System (GEONS) extends the capabilities of the GEODE flight software to include additional measurement types and additional navigation algorithms.

Anne C. Long↗
NASA NTRS1976

NASA software specification and evaluation system design, part 2

A survey and analysis of the existing methods, tools and techniques employed in the development of software are presented along with recommendations for the construction of reliable software. Functional designs for software specification language, and the data base verifier are presented.

Source record↗
DOE OSTI2017

Beyond Widgets -- Systems Incentive Programs for Utilities

Utility incentive programs remain one of the most significant means of deploying commercialized, but underutilized building technologies to scale. However, these programs have been largely limited to component-based products (e.g., lamps, RTUs). While some utilities do provide ‘custom’ incentive programs with whole building and system level technical assistance, these programs require deeper levels of analysis, resulting in higher program costs. This results in custom programs being restricted to utilities with greater resources, and are typically applied mainly to large or energy-intensive facilities, leaving much of the market without cost effective access and incentives for these solutions. In addition, with increasingly stringent energy codes, cost effective component-based solutions that achieve significant savings are dwindling. Building systems (e.g., integrated façade, HVAC and/or lighting solutions) can deliver higher savings that translate into large sector-wide savings if deployed at the scale of these programs. However, systems application poses a number of challenges – baseline energy use must be defined and measured; the metrics for energy and performance must be defined and tested against; in addition, system savings must be validated under well understood conditions. This paper presents a sample of findings of a project to develop validated utility incentive program packages for three specific integrated building systems, in collaboration with Xcel Energy (CO, MN), ComEd, and a consortium of California Public Owned Utilities (CA POUs) (Northern California Power Agency(NCPA) and the Southern California Public Power Authority(SCPPA)). Furthermore, these program packages consist of system specifications, system performance, M&V protocols, streamlined assessment methods, market assessment and implementation guidance.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
NASA NTRS2007

Model-Based Systems

Engineers, who design systems using text specification documents, focus their work upon the completed system to meet Performance, time and budget goals. Consistency and integrity is difficult to maintain within text documents for a single complex system and more difficult to maintain as several systems are combined into higher-level systems, are maintained over decades, and evolve technically and in performance through updates. This system design approach frequently results in major changes during the system integration and test phase, and in time and budget overruns. Engineers who build system specification documents within a model-based systems environment go a step further and aggregate all of the data. They interrelate all of the data to insure consistency and integrity. After the model is constructed, the various system specification documents are prepared, all from the same database. The consistency and integrity of the model is assured, therefore the consistency and integrity of the various specification documents is insured. This article attempts to define model-based systems relative to such an environment. The intent is to expose the complexity of the enabling problem by outlining what is needed, why it is needed and how needs are being addressed by international standards writing teams.

Frisch, Harold P.↗