Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming model 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 487 records · Page 27

Modeling of Isotope Fractionation in Stratospheric CO2, N2O, CH4, and O3: Investigations of Stratospheric Chemistry and Transport, Stratosphere-Troposphere Exchange, and Their Influence on Global Isotope Budgets

We investigated the isotopic fractionation of CH4 and hydrogen (H2) in the stratosphere by incorporating isotope-specific rate coefficients into the Lawrence Livermore National Laboratory (LLNL) 2D model and comparing the model results with new observations from the NASA ER-2 aircraft (funded through a separate task under the Upper Atmosphere Research Program). The model results reveal that fractionation which occurs in the stratosphere has a significant influence on isotope compositions in the free troposphere, an important point which had previously been ignored, unrecognized or unquantified for many long-lived trace gases, including CH4 and H2 which we have focused our efforts on to date. Our analyses of the model results and new isotope observations have also been used to test how well the kinetic isotope effects are known, at least to within the uncertainties in model chemistry and transport. Overall, these results represent an important step forward in our understanding of isotope fractionation in the atmosphere and demonstrate that stratospheric isotope fractionation cannot be ignored in modeling studies which use isotope observations in the troposphere to infer the global budgets of CH4 (an important greenhouse gas) and of H2 (a gas whose atmospheric budget must be better quantified, particularly before a large human perturbation from fuel cell use is realized). Our analyses of model results and observations from the NASA ER-2 aircraft are briefly summarized separately below for CH4, H2, and H2O and for the contribution of these modeling studies to date to our understanding of isotope fractionation for N2O, CO2, and O3 as well.

Boering, Kristie A.↗

Lessons in the Design and Characterization Testing of the Semi-Span Super-Sonic Transport (S4T) Wind-Tunnel Model

This paper focuses on some of the more challenging design processes and characterization tests of the Semi-Span Super-Sonic Transport (S4T)-Active Controls Testbed (ACT). The model was successfully tested in four entries in the National Aeronautics and Space Administration Langley Transonic Dynamics Tunnel to satisfy the goals and objectives of the Fundamental Aeronautics Program Supersonic Project Aero-Propulso-Servo-Elastic effort. Due to the complexity of the S4T-ACT, only a small sample of the technical challenges for designing and characterizing the model will be presented. Specifically, the challenges encountered in designing the model include scaling the Technology Concept Airplane to model scale, designing the model fuselage, aileron actuator, and engine pylons. Characterization tests included full model ground vibration tests, wing stiffness measurements, geometry measurements, proof load testing, and measurement of fuselage static and dynamic properties.

Source record↗

Overview of the Contributing Factor Map and How it can Support your Research

The Contributing Factor Map (CFM) is a visual representation of a taxonomy of factors influencing human health and performance in space. This presentation will give an overview of its development and its structure. It will describe various uses of the CFM that can support researchers working within the Human Research Program (HRP) Architecture of Evidence-Risk-Gap-Task-Deliverable. For example, during the Risk phase, the CFM can be used as a "menu" to help formulate a qualitative model of the factors contributing to specific consequences of concern. It provides a reference set of factors from across the operational, vehicle design, and human domains that otherwise might not be considered if approaching a risk from a specific domain perspective. Using the CFM as a reference can increase awareness of potential cross-disciplinary collaborations for overall risk mitigation. The CFM can also be used as a framework for identifying gaps in knowledge about a risk. This identification can support the subsequent development of gaps and tasks comprising the research plan aimed at risk mitigation. Examples of these types of applications of the CFM will be discussed and information on the support available to researchers in using it will be provided.

Mindock, Jennifer A.↗

Optimization of Airport Surface Traffic: A Case-Study of Incheon International Airport

This study aims to develop a controllers' decision support tool for departure and surface management of ICN. Airport surface traffic optimization for Incheon International Airport (ICN) in South Korea was studied based on the operational characteristics of ICN and airspace of Korea. For surface traffic optimization, a multiple runway scheduling problem and a taxi scheduling problem were formulated into two Mixed Integer Linear Programming (MILP) optimization models. The Miles-In-Trail (MIT) separation constraint at the departure fix shared by the departure flights from multiple runways and the runway crossing constraints due to the taxi route configuration specific to ICN were incorporated into the runway scheduling and taxiway scheduling problems, respectively. Since the MILP-based optimization model for the multiple runway scheduling problem may be computationally intensive, computation times and delay costs of different solving methods were compared for a practical implementation. This research was a collaboration between Korea Aerospace Research Institute (KARI) and National Aeronautics and Space Administration (NASA).

surface management↗

Optimization of Airport Surface Traffic: A Case-Study of Incheon International Airport

This study aims to develop a controllers decision support tool for departure and surface management of ICN. Airport surface traffic optimization for Incheon International Airport (ICN) in South Korea was studied based on the operational characteristics of ICN and airspace of Korea. For surface traffic optimization, a multiple runway scheduling problem and a taxi scheduling problem were formulated into two Mixed Integer Linear Programming (MILP) optimization models. The Miles-In-Trail (MIT) separation constraint at the departure fix shared by the departure flights from multiple runways and the runway crossing constraints due to the taxi route configuration specific to ICN were incorporated into the runway scheduling and taxiway scheduling problems, respectively. Since the MILP-based optimization model for the multiple runway scheduling problem may be computationally intensive, computation times and delay costs of different solving methods were compared for a practical implementation. This research was a collaboration between Korea Aerospace Research Institute (KARI) and National Aeronautics and Space Administration (NASA).

taxi scheduler↗

Venus Global Reference Atmospheric Model (Venus-GRAM) Upgrades

Introduction: The Venus Global Reference Atmospheric Model (Venus-GRAM) is one of the most widely used engineering models of Venus’ atmosphere. The Venus-GRAM upgrades are being developed by NASA Marshall Space Flight Center (MSFC) and NASA Langley Research Center (LaRC). This presentation will provide details regarding the upgrades that have been made to Venus-GRAM and the ongoing objectives, tasks, and milestones related to the GRAM upgrades funded by the NASA Science Mission Directorate (SMD). Venus-GRAM: Venus-GRAM is an engineering-oriented atmospheric model that estimates mean values and statistical variations of the atmospheric properties of Venus. Venus-GRAM provides mean values and variability for any point in the atmosphere as well as seasonal, geographic, and altitude variations. Venus-GRAM outputs include atmospheric density, temperature, pressure, winds, and chemical composition along a user-defined path. It is extensively used by the engineering community because of its ability to create realistic dispersions. GRAMs have been integrated into high fidelity flight dynamic simulations of launch, entry, descent and landing (EDL), aerobraking and aerocapture. GRAMs are currently available for Earth, Mars, Venus, Neptune, Titan, and Uranus. The lower atmosphere model in Venus-GRAM (up to 250 km) is based on the Venus International Reference Atmosphere (VIRA) [1]. The Venus-GRAM thermosphere (250 to 1000 km) is based on a MSFC-developed model [2] which assumes an isothermal temperature profile initialized using VIRA conditions at 250 km [3]. The VIRA version included in Venus-GRAM includes Pioneer Venus Orbiter and Probe data as well as Venera probe data, but it does not include a solid planet model or a high-resolution gravity model [4]. Venus-GRAM Upgrade Status: Code Modernization. Venus-GRAM has been rearchitected from Fortran to a common object-oriented C++ framework called the GRAM Suite. This new architecture creates a common GRAM library of data models and utilities. The first C++ release of the rearchitected Venus-GRAM is a straight conversion from the latest Fortran version. Model Upgrades. The focus of the model upgrade task is to improve the atmosphere models in the existing GRAMs and to establish a foundation for developing GRAMs for additional destinations. The GRAM ephemeris has been upgraded to the NASA Navigation and Ancillary Information Facility (NAIF) SPICE toolkit (version N0066). The calculation of the speed of sound has also been improved in the GRAMs. In FY20, the GRAM project established contracts to improve the model data within Venus-GRAM. Hampton University is developing an empirical global model for Venus. The University of Wisconsin is reanalyzing the Venus Express radio occultation observations and analyzing the Akatsuki thermal imaging data. Upgraded Venus-GRAM Release. GRAM Suite Version 1.3 will be released in September 2021 and will contain the rearchitected Venus-GRAM, including the common GRAM framework and planet–specific code. A User Guide and Programmer’s Manual are released with all GRAMs. Conclusions: GRAMs are frequently used toolsets and vital in assessing effects of atmospheres on interplanetary spacecraft during the program life cycle process. Releases of the GRAM Suite, upgrades of the existing planetary GRAMs, and development of new planetary GRAMs are ongoing. Venus-GRAM atmosphere model upgrades will be included in the next phase of GRAM tasks. References: [1] Kliore, A. J. et al. (1985) ASR, 5, 11, 1-304. [2] Justh, H. L. et al. (2006) AIAA/AAS Astrodynamics Specialist Conference & Exhibit, Abstract AIAA-2006-6394. [3] Guide to Reference and Standard Atmosphere Models, BSR/AIAA G-003-2010. [4] Limaye, S. S. (2012), LPSC VEXAG Townhall Meeting. Acknowledgments: The authors gratefully acknowledge support from the NASA SMD.

atmospheric models↗

Spot: A Programming Language for Verified Flight Software

The C programming language is widely used for programming space flight software and other safety-critical real time systems. C, however, is far from ideal for this purpose: as is well known, it is both low-level and unsafe. This paper describes Spot, a language derived from C for programming space flight systems. Spot aims to maintain compatibility with existing C code while improving the language and supporting verification with the SPIN model checker. The major features of Spot include actor-based concurrency, distributed state with message passing and transactional updates, and annotations for testing and verification. Spot also supports domain-specific annotations for managing spacecraft state, e.g., communicating telemetry information to the ground. We describe the motivation and design rationale for Spot, give an overview of the design, provide examples of Spot's capabilities, and discuss the current status of the implementation.

validation↗

Computer model for refinery operations with emphasis on jet fuel production. Volume 3: Detailed systems and programming documentation

The FORTRAN computing program predicts flow streams and material, energy, and economic balances of a typical petroleum refinery, with particular emphasis on production of aviation turbine fuels of varying end point and hydrogen content specifications. The program has a provision for shale oil and coal oil in addition to petroleum crudes. A case study feature permits dependent cases to be run for parametric or optimization studies by input of only the variables which are changed from the base case.

Dunbar, D. N.↗

Modification and updating of the Manned Activity Scheduling System (MASS) for shuttle and shuttle payloads analysis. Volume 1: Model specifications

The LRC MASS was modified and updated to include logic for efficient analysis of space shuttle payload operations. All MASS computer models were reviewed for compatibility with, and applicability to, the shuttle sortie mission. The MASS modification efforts were concentrated on two computer programs, the general scheduling model (GSM) and one day model (ODM). A new computer program, the DAYLIB Tape Processor, was developed to update the link between the GSM and ODM. The resulting MASS is an operationally efficient analytical tool that will allow a rapid assessment of shuttle and shuttle payload operations.

Ring, R. C.↗

Constellation Program Design Specification for Natural Environments

The Design Specification for Natural Environments (DSNE) completes environment-related requirements from architecture, system level, and lower tier documents by specifying the ranges of environmental conditions that must be accounted for by the design of all Constellation Program (CxP) elements. As such, it forms a part of those specifications. It has been pulled out into a separate document to assure clarity and consistency and to prevent the requirements documents from becoming cluttered with extensive amounts of technical material. It is based on the Constellation Design Reference Missions and Operational Concepts Document and the models, data, and environment descriptions in the Natural Environments Definition for Design (NEDD). The NEDD provides additional detailed environment data and model descriptions to support analytical studies for Constellation (Cx) systems.

Constellation Program↗

Costs and benefits

Two models of cost benefit analysis are illustrated and the application of these models to assessing the economic scope of space applications programs was discussed. Four major areas cited as improvable through space derived information - food supply and distribution, energy sources, mineral reserves, and communication and navigation were - discussed. Specific illustrations are given for agriculture and maritime traffic.

Source record↗

Computer model for refinery operations with emphasis on jet fuel production. Volume 1: Program description

A FORTRAN computer program is described for predicting the flow streams and material, energy, and economic balances of a typical petroleum refinery, with particular emphasis on production of aviation turbine fuel of varying end point and hydrogen content specifications. The program has provision for shale oil and coal oil in addition to petroleum crudes. A case study feature permits dependent cases to be run for parametric or optimization studies by input of only the variables which are changed from the base case.

Dunbar, D. N.↗

Deployable antenna technology development for the Large Space Systems Technology program

The critical technologies associated with the development of deployable reflector antenna technology for the LSST program will be derived from NASA mission models and the subsequent requirements will be related to the classes of missions involved. The approach formulated for the development of reflector technology is based on the development of specific reflector concepts that have been identified as leading candidates for future applications. The development approach will be augmented by supporting technology disciplines such as controls, materials, electromagnetic analysis, as well as the capability of analytically predicting the overall performance of the large space system.

Freeland, R. E.↗

Fiber optic combiner and duplicator

The investigation of the possible development of two optical devices, one to take two images as inputs and to present their arithmetic sum as a single output, the other to take one image as input and present two identical images as outputs is described. Significant engineering time was invested in establishing precision fiber optics drawing capabilities, real time monitoring of the fiber size and exact measuring of fiber optics ribbons. Various assembly procedures and tooling designs were investigated and prototype models were built and evaluated that established technical assurance that the device was feasible and could be fabricated. Although the interleaver specification in its entirety was not achieved, the techniques developed in the course of the program improved the quality of images transmitted by fiber optic arrays by at least an order of magnitude. These techniques are already being applied to the manufacture of precise fiber optic components.

Source record↗

Computations for the 16-foot transonic tunnel, NASA, Langley Research Center, revision 1

The equations used by the 16 foot transonic tunnel in the data reduction programs are presented in eight modules. Each module consists of equations necessary to achieve a specific purpose. These modules are categorized in the following groups: tunnel parameters; jet exhaust measurements; skin friction drag; balance loads and model attitudes calculations; internal drag (or exit-flow distributions); pressure coefficients and integrated forces; thrust removal options; and turboprop options. This document is a companion document to NASA TM-83186, A User's Guide to the Langley 16 Foot Transonic Tunnel, August 1981.

Mercer, Charles E.↗

Space Station Freedom natural environment design models

The Space Station Freedom program has established a series of natural environment models and databases for utilization in design and operations planning activities. The suite of models and databases that have either been selected from among internationally recognized standards or developed specifically for spacecraft design applications are presented. The models have been integrated with an orbit propagator and employed to compute environmental conditions for planned operations altitudes of Space Station Freedom.

Suggs, Robert M.↗

The instant sequencing task: Toward constraint-checking a complex spacecraft command sequence interactively

Robotic spacecraft are controlled by sets of commands called 'sequences.' These sequences must be checked against mission constraints. Making our existing constraint checking program faster would enable new capabilities in our uplink process. Therefore, we are rewriting this program to run on a parallel computer. To do so, we had to determine how to run constraint-checking algorithms in parallel and create a new method of specifying spacecraft models and constraints. This new specification gives us a means of representing flight systems and their predicted response to commands which could be used in a variety of applications throughout the command process, particularly during anomaly or high-activity operations. This commonality could reduce operations cost and risk for future complex missions. Lessons learned in applying some parts of this system to the TOPEX/Poseidon mission will be described.

Horvath, Joan C.↗

Computing Propagation Of Sound In Engine Ducts

Frequency Domain Propagation Model (FREDOM) computer program accounts for acoustic loads applied to components of engines. Models propagation of noise through fluids in ducts between components and through passages within components. Used not only to analyze hardware problems, but also for design purposes. Updated version of FREQPL program easier to use. Devised specifically for use in analyzing acoustic loads in rocket engines. Underlying physical and mathematical concepts implemented also applicable to acoustic propagation in other enclosed spaces; analyzing process plumbing and ducts in industrial buildings with view toward reducing noise in work areas.

Saylor, Silvia↗