Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “SPECIFICATIONS”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
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 NTRS2009

From Goal-Oriented Requirements to Event-B Specifications

In goal-oriented requirements engineering methodologies, goals are structured into refinement trees from high-level system-wide goals down to fine-grained requirements assigned to specific software/ hardware/human agents that can realise them. Functional goals assigned to software agents need to be operationalised into specification of services that the agent should provide to realise those requirements. In this paper, we propose an approach for operationalising requirements into specifications expressed in the Event-B formalism. Our approach has the benefit of aiding software designers by bridging the gap between declarative requirements and operational system specifications in a rigorous manner, enabling powerful correctness proofs and allowing further refinements down to the implementation level. Our solution is based on verifying that a consistent Event-B machine exhibits properties corresponding to requirements.

Aziz, Benjamin↗
NASA NTRS2012

Modular Integrated Stackable Layers (MISL) 1.1 Design Specification

This document establishes the design guideline of the Modular Instrumentation Data Acquisition (MI‐DAQ) system in utilization of several designs available in EV. The MI‐ DAQ provides the options to the customers depending on their system requirements i.e. a 28V interface power supply, a low power battery operated system, a low power microcontroller, a higher performance microcontroller, a USB interface, a Ethernet interface, a wireless communication, various sensor interfaces, etc. Depending on customer's requirements, the each functional board can be stacked up from a bottom level of power supply to a higher level of stack to provide user interfaces. The stack up of boards are accomplished by a predefined and standardized power bus and data bus connections which are included in this document along with other physical and electrical guidelines. This guideline also provides information for a new design options. This specification is the product of a collaboration between NASA/JSC/EV and Texas A&M University. The goal of the collaboration is to open source the specification and allow outside entities to design, build, and market modules that are compatible with the specification. NASA has designed and is using numerous modules that are compatible to this specification. A limited number of these modules will also be released as open source designs to support the collaboration. The released designs are listed in the Applicable Documents.

Yim, Hester J.↗
NASA NTRS2014

Interannual Variation in Phytoplankton Class-Specific Primary Production at a Global Scale

We used the NASA Ocean Biogeochemical Model (NOBM) combined with remote sensing data via assimilation to evaluate the contribution of 4 phytoplankton groups to the total primary production. First we assessed the contribution of each phytoplankton groups to the total primary production at a global scale for the period 1998-2011. Globally, diatoms were the group that contributed the most to the total phytoplankton production (50, the equivalent of 20 PgC y-1. Coccolithophores and chlorophytes each contributed to 20 (7 PgC y-1 of the total primary production and cyanobacteria represented about 10 (4 PgC y(sub-1) of the total primary production. Primary production by diatoms was highest in high latitude (45) and in major upwelling systems (Equatorial Pacific and Benguela system). We then assessed interannual variability of this group-specific primary production over the period 1998-2011. Globally the annual relative contribution of each phytoplankton groups to the total primary production varied by maximum 4 (1-2 PgC y-1. We assessed the effects of climate variability on the class-specific primary production using global (i.e. Multivariate El Nio Index, MEI) and regional climate indices (e.g. Southern Annular Mode (SAM), Pacific Decadal Oscillation (PDO) and North Atlantic Oscillation (NAO)). Most interannual variability occurred in the Equatorial Pacific and was associated with climate variability as indicated by significant correlation (p 0.05) between the MEI and the class-specific primary production from all groups except coccolithophores. In the Atlantic, climate variability as indicated by NAO was significantly correlated to the primary production of 2 out of the 4 groups in the North Central Atlantic (diatomscyanobacteria) and in the North Atlantic (chlorophytes and coccolithophores). We found that climate variability as indicated by SAM had only a limited effect on the class-specific primary production in the Southern Ocean. These results provide a modeling and data assimilation perspective to phytoplankton partitioning of primary production and contribute to our understanding of the dynamics of the carbon cycle in the oceans at a global scale.

Chl-a↗
NASA NTRS2017

SLS-SPEC-159 Cross-Program Design Specification for Natural Environments (DSNE) Revision E

The DSNE completes environment-related specifications for architecture, system-level, and lower-tier documents by specifying the ranges of environmental conditions that must be accounted for by NASA ESD Programs. To assure clarity and consistency, and to prevent requirements documents from becoming cluttered with extensive amounts of technical material, natural environment specifications have been compiled into this document. The intent is to keep a unified specification for natural environments that each Program calls out for appropriate application. This document defines the natural environments parameter limits (maximum and minimum values, energy spectra, or precise model inputs, assumptions, model options, etc.), for all ESD Programs. These environments are developed by the NASA Marshall Space Flight Center (MSFC) Natural Environments Branch (MSFC organization code: EV44). Many of the parameter limits are based on experience with previous programs, such as the Space Shuttle Program. The parameter limits contain no margin and are meant to be evaluated individually to ensure they are reasonable (i.e., do not apply unrealistic extreme-on-extreme conditions). The natural environments specifications in this document should be accounted for by robust design of the flight vehicle and support systems. However, it is understood that in some cases the Programs will find it more effective to account for portions of the environment ranges by operational mitigation or acceptance of risk in accordance with an appropriate program risk management plan and/or hazard analysis process. The DSNE is not intended as a definition of operational models or operational constraints, nor is it adequate, alone, for ground facilities which may have additional requirements (for example, building codes and local environmental constraints). "Natural environments," as the term is used here, refers to the environments that are not the result of intended human activity or intervention. It consists of a variety of external environmental factors (most of natural origin and a few of human origin) which impose restrictions or otherwise impact the development or operation of flight vehicles and destination surface systems.

Roberts, Barry C.↗
NASA NTRS2018

Improved Rice Residue Burning Emissions Estimates: Accounting for Practice-Specific Emission Factors in Air Pollution Assessments of Vietnam

In Southeast Asia and Vietnam, rice residues are routinely burned after the harvest to prepare fields for the next season. Specific to Vietnam, the two prevalent burning practices include: a). piling the residues after hand harvesting; b). burning the residues without piling, after machine harvesting. In this study, we synthesized field and laboratory studies from the literature on rice residue burning emission factors for Particulate Matter less than 2.5 microns (PM2.5). We found significant differences in the resulting burning-practice specific emission factors, with 16.9 grams per square kilogram (plus or minus 6.9) for pile burning and 8.8 grams per square kilogram (plus or minus 3.5) for non-pile burning. We calculated burning practice specific emissions based on rice area data, region-specific fuel-loading factors, combined emission factors, and estimates of burning from the literature. Our results for year 2015 estimate 180 gigagrams of PM2.5 result from the pile burning method and 130 gigagrams result from non-pile burning method, with the most-likely current emission scenario of 150 gigagrams PM2.5 emissions for Vietnam. For comparison purposes, we calculated emissions using generalized agricultural emission factors employed in global biomass burning studies. These results estimate 80 gigagrams PM2.5, which is only 44 percent of the pile burning-based estimates, suggesting underestimation in previous studies. We compare our emissions to an existing all-combustion sources inventory, results show emissions account for 14-18 percent of Vietnam's total PM2.5 depending on burning practice. Within the highly-urbanized and cloud-covered Hanoi Capital region (HCR), we use rice area from Sentinel-1A to derive spatially-explicit emissions and indirectly estimate residue burning dates. Results from HYSPLIT (Hybrid Single-Particle Lagrangian Integrated Trajectory) back-trajectory analysis stratified by season show autumn has most emission trajectories originating in the North, while spring has most originating in the South, suggesting the latter may have bigger impact on air quality. From these results, we highlight locations where emission mitigation efforts could be focused and suggest measures for pollutant mitigation. Our study demonstrates the need to account for emissions variation due to different burning practices.

Air Pollution↗
NASA NTRS2022

Projecting Power Converter Specific Power Through 2050 for Aerospace Applications

In order to analyze the potential fuel burn benefit from the electrification of aircraft powertrains, it is important to quantify the amount of weight that will be added to the aircraft for each additional component of the electric powertrain. This paper provides a projection of the specific power and efficiency of power converters, (AC-DC, DC-AC, or DC-DC), through the year 2050. Data was first collected on state of the art power converters in multiple application areas, creating a power converter database. Relevant specific powers were added to a set of historical data from 1976-2020, and then three different logistic curves were fit through the historical data to represent S-curve shaped growth through the year 2050. The three curves were differentiated by conservative, nominal, and aggressive assumptions for the year in which the logistic curve begins to bend down towards slower growth. With a 30% knockdown factor accounting for the additional weight required for a high altitude converter, projections range from the aggressive specific power projection of 52.9 kW/kg in 2050 to a much more conservative specific power of 12 kW/kg in which growth is limited due to certifiability concerns. Little historical data was found on converter efficiencies to project efficiency based on historical trends. Projections are based on expert opinion on yearly decreases in converter losses. 2050 projections range from 0.987 to 0.997.

fuel burn↗
NASA NTRSDate not supplied

SafeAeroBERT: Towards a Safety-Informed Aerospace-Specific Language Model

As aviation systems continue to operate with high traffic, large amounts of documents containing safety-relevant data continue to be generated via reporting systems such as the Aviation Safety Reporting System (ASRS). Advanced natural language processing techniques, specifically pre-trained language models, have shown great success in domain-specific applications; however, the text in aviation safety reports is inundated with jargon and thus not fully utilized by general pre-trained models. In this research, we work towards developing a safety-informed aerospace-specific language model by pre-training a Bidirectional Encoder Representations from Transformer (BERT) model on reports from the Aviation Safety Reporting System and the National Transportation Safety Board. The resulting model, called SafeAeroBERT, is fine-tuned for the specific task of document classification, and can be further tuned for named-entity recognition, relation detection, information retrieval, and summarization. Results from the classification task are compared between SafeAeroBERT, the base BERT, and SciBERT models and show SafeAeroBERT outperforms the general BERT and SciBERT on classifying reports about weather and procedure. SafeAeroBERT can be used on custom tasks, not limited to document classification, and is intended to aid an intelligent knowledge manager for safety report repositories.

Aviation↗
NASA NTRS2023

SafeAeroBERT: Towards a Safety-Informed Aerospace-Specific Language Model

As aviation systems continue to operate with high traffic, large amounts of documents containing safety-relevant data continue to be generated via reporting systems such as the ASRS. Advanced natural language processing techniques, specifically pre-trained language models, have shown great success in domain-specific applications; however, the text in aviation safety reports is inundated with jargon and thus not fully utilized by general pre-trained models. In this research, we work towards developing a safety-informed aerospace-specific language model by pre-training a Bidirectional Encoder Representations from Transformer (BERT) model on reports from the Aviation Safety Reporting System and the National Transportation Safety Board. The resulting model, called SafeAeroBERT, is fine-tuned for the specific task of document classification, and can be further tuned for named-entity recognition, relation detection, information retrieval, and summarization. Results from the classification task are compared between SafeAeroBERT, the base BERT, and SciBERT models and show SafeAeroBERT outperforms the general BERT and SciBERT on classifying reports about human factors, aircraft, and procedure. SafeAeroBERT can be used on custom tasks, not limited to document classification, and is intended to aid an intelligent knowledge manager for safety report repositories.

Aviation↗
NASA NTRS2000

Ectomycorrhizal specificity patterns in a mixed Pinus contorta and Picea engelmannii forest in Yellowstone National Park

We used molecular genetic methods to test two hypotheses, (i) that host plant specificity among ectomycorrhizal fungi would be common in a closed-canopy, mixed Pinus contorta-Picea engelmannii forest in Yellowstone National Park and (ii) that specificity would be more common in the early successional tree species, P. contorta, than in the invader, P. engelmannii. We identified 28 ectomycorrhizal fungal species collected from 27 soil cores. The proportion of P. engelmannii to P. contorta ectomycorrhizae was nearly equal (52 and 48%, respectively). Of the 28 fungal species, 18 composed greater than 95% of the fungal community. No species was associated exclusively with P. contorta, but four species, each found in only one core, and one species found in two cores were associated exclusively with P. engelmannii. These fungi composed less than 5% of the total ectomycorrhizae. Thus, neither hypothesis was supported, and hypothesized benefits of ectomycorrhizal specificity to both trees and fungi probably do not exist in this system.

Trees/microbiology↗
NASA NTRS1998

Identification of a dual-specificity protein phosphatase that inactivates a MAP kinase from Arabidopsis

Mitogen-activated protein kinases (MAPKs) play a key role in plant responses to stress and pathogens. Activation and inactivation of MAPKs involve phosphorylation and dephosphorylation on both threonine and tyrosine residues in the kinase domain. Here we report the identification of an Arabidopsis gene encoding a dual-specificity protein phosphatase capable of hydrolysing both phosphoserine/threonine and phosphotyrosine in protein substrates. This enzyme, designated AtDsPTP1 (Arabidopsis thaliana dual-specificity protein tyrosine phosphatase), dephosphorylated and inactivated AtMPK4, a MAPK member from the same plant. Replacement of a highly conserved cysteine by serine abolished phosphatase activity of AtDsPTP1, indicating a conserved catalytic mechanism of dual-specificity protein phosphatases from all eukaryotes.

Non-NASA Center↗
NASA NTRS2011

Closing the Gap Between Specification and Programming: VDM++ and SCALA

We argue that a modern programming language such as Scala offers a level of succinctness, which makes it suitable for program and systems specification as well as for high-level programming. We illustrate this by comparing the language with the Vdm++ specification language. The comparison also identifies areas where Scala perhaps could be improved, inspired by Vdm++. We furthermore illustrate Scala's potential as a specification language by augmenting it with a combination of parameterized state machines and temporal logic, defined as a library, thereby forming an expressive but simple runtime verification framework.

programming↗
NASA NTRS2016

Trajectory Specification for Automation of Terminal Air Traffic Control

"Trajectory specification" is the explicit bounding and control of aircraft tra- jectories such that the position at each point in time is constrained to a precisely defined volume of space. The bounding space is defined by cross-track, along-track, and vertical tolerances relative to a reference trajectory that specifies position as a function of time. The tolerances are dynamic and will be based on the aircraft nav- igation capabilities and the current traffic situation. A standard language will be developed to represent these specifications and to communicate them by datalink. Assuming conformance, trajectory specification can guarantee safe separation for an arbitrary period of time even in the event of an air traffic control (ATC) sys- tem or datalink failure, hence it can help to achieve the high level of safety and reliability needed for ATC automation. As a more proactive form of ATC, it can also maximize airspace capacity and reduce the reliance on tactical backup systems during normal operation. It applies to both enroute airspace and the terminal area around airports, but this paper focuses on arrival spacing in the terminal area and presents ATC algorithms and software for achieving a specified delay of runway arrival time.

air traffic control↗
NASA NTRS2018

Trajectory Specification Language for Air Traffic Control

Trajectory Specification is a method of specifying aircraft trajectories with tolerances such that the position at any instant in time is constrained to a precisely defined bounding space. The bounding space at any instant in time is defined by tolerances relative to a reference trajectory that specifies position as a function of time. The tolerances are dynamic and are based on the aircraft navigation capabilities and the traffic situation. This paper proposes a standard Trajectory Specification Language (TSL) based on the Extensible Markup Language (XML) to represent these specifications and to communicate them by datalink. The language can be used to downlink trajectory requests from air to ground and to uplink trajectory assignments from ground to air. The XML format can be converted to binary for operational use, if necessary, using Efficient XML Interchange (EXI) or Abstract Syntax Notation (ASN.1).

XM↗
NASA NTRS1972

Crew interface specifications preparation for in-flight maintenance and stowage functions

The findings and data products developed during the Phase 2 crew interface specification study are presented. Five new NASA general specifications were prepared: operations location coding system for crew interfaces; loose equipment and stowage management requirements; loose equipment and stowage data base information requirements; spacecraft loose equipment stowage drawing requirements; and inflight stowage management data requirements. Additional data was developed defining inflight maintenance processes and related data concepts for inflight troubleshooting, remove/repair/replace and scheduled maintenance activities. The process of maintenance task and equipment definition during spacecraft design and development was also defined and related data concepts were identified for futher development into formal NASA specifications during future follow-on study phases of the contract.

Parker, F. W.↗
NASA NTRS1973

Life sciences payload definition and integration study, task C and D. Volume 4: Preliminary equipment item specification catalog

A specification catalog to define the equipment to be used for conducting life sciences experiments in a space laboratory is presented. The specification sheets list the purpose of the equipment item, and any specific technical requirements which can be identified. The status of similar hardware for ground use is stated with comments regarding modifications required to achieve spaceflight qualified hardware. Pertinent sketches, commercial catalog sheets, or drawings of the applicable equipment are included.

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↗