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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 217 records · Page 12

All sources NASA NTRS DOE OSTI

DOE OSTI2025

A cross-platform execution engine for the quantum intermediate representation

Hybrid languages like the quantum intermediate representation (QIR) are essential for programming systems that mix quantum and conventional computing models, while execution of these programs is often deferred to a system-specific implementation. Here, we develop the QIR Execution Engine (QIR-EE) for parsing, interpreting, and executing QIR across multiple hardware platforms. QIR-EE uses LLVM to execute hybrid instructions specifying quantum programs and, by design, presents extension points that support customized runtime and hardware environments. We demonstrate an implementation that uses the XACC quantum hardware-accelerator library to dispatch prototypical quantum programs on different commercial quantum platforms and numerical simulators, and we validate execution of QIR-EE on IonQ, Quantinuum, and IBM hardware. Our results highlight the efficiency of hybrid executable architectures for handling mixed instructions, managing mixed data, and integrating with quantum computing frameworks to realize cross-platform execution.

LLVM↗

NASA NTRS2014

Turbulence Modeling Verification and Validation

Computational fluid dynamics (CFD) software that solves the Reynolds-averaged Navier-Stokes (RANS) equations has been in routine use for more than a quarter of a century. It is currently employed not only for basic research in fluid dynamics, but also for the analysis and design processes in many industries worldwide, including aerospace, automotive, power generation, chemical manufacturing, polymer processing, and petroleum exploration. A key feature of RANS CFD is the turbulence model. Because the RANS equations are unclosed, a model is necessary to describe the effects of the turbulence on the mean flow, through the Reynolds stress terms. The turbulence model is one of the largest sources of uncertainty in RANS CFD, and most models are known to be flawed in one way or another. Alternative methods such as direct numerical simulations (DNS) and large eddy simulations (LES) rely less on modeling and hence include more physics than RANS. In DNS all turbulent scales are resolved, and in LES the large scales are resolved and the effects of the smallest turbulence scales are modeled. However, both DNS and LES are too expensive for most routine industrial usage on today's computers. Hybrid RANS-LES, which blends RANS near walls with LES away from walls, helps to moderate the cost while still retaining some of the scale-resolving capability of LES, but for some applications it can still be too expensive. Even considering its associated uncertainties, RANS turbulence modeling has proved to be very useful for a wide variety of applications. For example, in the aerospace field, many RANS models are considered to be reliable for computing attached flows. However, existing turbulence models are known to be inaccurate for many flows involving separation. Research has been ongoing for decades in an attempt to improve turbulence models for separated and other nonequilibrium flows. When developing or improving turbulence models, both verification and validation are important steps in the process. Verification insures that the CFD code is solving the equations as intended (no errors in the implementation). This is typically done either through the method of manufactured solutions (MMS) or through careful step-by-step comparisons with other verified codes. After the verification step is concluded, validation is performed to document the ability of the turbulence model to represent different types of flow physics. Validation can involve a large number of test case comparisons with experiments, theory, or DNS. Organized workshops have proved to be valuable resources for the turbulence modeling community in its pursuit of turbulence modeling verification and validation. Workshop contributors using different CFD codes run the same cases, often according to strict guidelines, and compare results. Through these comparisons, it is often possible to (1) identify codes that have likely implementation errors, and (2) gain insight into the capabilities and shortcomings of different turbulence models to predict the flow physics associated with particular types of flows. These are valuable lessons because they help bring consistency to CFD codes by encouraging the correction of faulty programming and facilitating the adoption of better models. They also sometimes point to specific areas needed for improvement in the models. In this paper, several recent workshops are summarized primarily from the point of view of turbulence modeling verification and validation. Furthermore, the NASA Langley Turbulence Modeling Resource website is described. The purpose of this site is to provide a central location where RANS turbulence models are documented, and test cases, grids, and data are provided. The goal of this paper is to provide an abbreviated survey of turbulence modeling verification and validation efforts, summarize some of the outcomes, and give some ideas for future endeavors in this area.

Rumsey, Christopher L.↗

NASA NTRS2005

Computational Materials Program for Alloy Design

The research program sponsored by this grant, "Computational Materials Program for Alloy Design", covers a period of time of enormous change in the emerging field of computational materials science. The computational materials program started with the development of the BFS method for alloys, a quantum approximate method for atomistic analysis of alloys specifically tailored to effectively deal with the current challenges in the area of atomistic modeling and to support modern experimental programs. During the grant period, the program benefited from steady growth which, as detailed below, far exceeds its original set of goals and objectives. Not surprisingly, by the end of this grant, the methodology and the computational materials program became an established force in the materials communitiy, with substantial impact in several areas. Major achievements during the duration of the grant include the completion of a Level 1 Milestone for the HITEMP program at NASA Glenn, consisting of the planning, development and organization of an international conference held at the Ohio Aerospace Institute in August of 2002, finalizing a period of rapid insertion of the methodology in the research community worlwide. The conference, attended by citizens of 17 countries representing various fields of the research community, resulted in a special issue of the leading journal in the area of applied surface science. Another element of the Level 1 Milestone was the presentation of the first version of the Alloy Design Workbench software package, currently known as "adwTools". This software package constitutes the first PC-based piece of software for atomistic simulations for both solid alloys and surfaces in the market.Dissemination of results and insertion in the materials community worldwide was a primary focus during this period. As a result, the P.I. was responsible for presenting 37 contributed talks, 19 invited talks, and publishing 71 articles in peer-reviewed journals, as detailed later in this Report.

Bozzolo, Guillermo↗

DOE OSTI2022

Development Of Thermodynamic and Kinetic Simulation Tools and Testing Procedures for Enhanced Durability of Concrete Containing Industrial By-Products

This project developed screening tools that enable evaluation of alternative cementitious binders that create concretes to significantly reduce energy and emissions while remaining cost competitive on both initial and long-term costs. The team began with the viewpoint that acceptance of new cementitious binder products has a substantially greater chance of successful implementation when capital investment is not excessive and the end product has customers that have experience and resources to use this. As such, a binder system that is based on portland cement with blended using industrial by-products (alternative cementitious materials) has the potential for dramatic and meaningful impact. The team has focused on developing implementable solutions in specifications and current practice. This however requires three main factors: 1) ability to screen byproducts and alternative materials for success, 2) ability to ‘treat’ materials chemically to enhance kinetics, and 3) ability to provide predictions of performance of both binders and concrete from first principles. The project developed/refined a state of the art and scientifically based screening test for SCM called the pozzolanic reactivity test. The team developed kinetic models to simulate these materials as well as experimental approaches to alter selected reactions. Simulation tools were developed that enable the performance of concrete to be predicted based on the chemistry and reactivity of the cement and alternative SCM. Specifically, this project: • enhanced the kinetic reactivity models for use in multi-scale computational programs that use thermodynamics to predict reaction products. 2 • developed scaling models to extend thermodynamic modeling to link these models with pore structure. This enables strength, transport property, and coupled transport prediction. • developed tools to predict performance of cementitious materials using the pozzolanic reactivity test and chemical composition. The predicted properties are consistent with AASHTO R101 and the CEB-FIP model code and can be measured using associated test procedures. • demonstrated mechanical and fracture based modeling tools that thermodynamic predictions and inputs to predict concrete service life. These results have been used to demonstrate the value of enabling specifications to include ASTM C 595 cement as well ASTM C150 cement. In addition, these products are being used to expedite the evaluation of alternative SCM to aide in determining which materials have potential value and what ‘compositions’ of blended cements merit further investment.

42 ENGINEERING↗

NASA NTRS1976

Thermal APU/hydraulics analysis program. User's guide and programmer's manual

The User's Guide information plus program description necessary to run and have a general understanding of the Thermal APU/Hydraulics Analysis Program (TAHAP) is described. This information consists of general descriptions of the APU/hydraulic system and the TAHAP model, input and output data descriptions, and specific subroutine requirements. Deck setups and input data formats are included and other necessary and/or helpful information for using TAHAP is given. The math model descriptions for the driver program and each of its supporting subroutines are outlined.

Deluna, T. A.↗

NASA NTRS1975

An adaptive maneuvering logic computer program for the simulation of one-on-one air-to-air combat. Volume 1: General description

A technique for computer simulation of air combat is described. Volume 1 decribes the computer program and its development in general terms. Two versions of the program exist. Both incorporate a logic for selecting and executing air combat maneuvers with performance models of specific fighter aircraft. In the batch processing version the flight paths of two aircraft engaged in interactive aerial combat and controlled by the same logic are computed. The realtime version permits human pilots to fly air-to-air combat against the adaptive maneuvering logic (AML) in Langley Differential Maneuvering Simulator (DMS). Volume 2 consists of a detailed description of the computer programs.

Burgin, G. H.↗

NASA NTRS1993

Heat transfer in rocket engine combustion chambers and nozzles

Complexities of liquid rocket engine heat transfer which involve the injector faceplate and regeneratively and film cooled walls are being investigated by computational analysis. A conjugate heat transfer analysis will be used to describe localized heating phenomena associated with particular injector configurations and coolant channels and film coolant dumps. These components are being analyzed, and the analyses verified with appropriate test data. Finally, the component analyses will be synthesized into an overall flowfield/heat transfer model. The FDNS code is being used to make the component analyses. Particular attention is being given to the representation of the thermodynamic properties of the fluid streams and to the method of combining the detailed models to represent overall heating. Unit flow models of specific coaxial injector elements have been developed and will be described. Since test data from the NLS development program are not available, new validation heat transfer data have been sought. Suitable data were obtained from a Rocketdyne test program on a model hydrocarbon/oxygen engine. Simulations of these test data will be presented. Recent interest in the hybrid motor have established the need for analyses of ablating solid fuels in the combustion chamber. Analysis of a simplified hybrid motor will also be presented.

Anderson, P. G.↗

DOE OSTI2022

INL Contributions to Draft HTTF Benchmark Specifications

The High-Temperature Test Facility (HTTF) is an integral effects thermal hydraulics test facility at Oregon State University designed as a 1/4 length scale model of the Modular High-Temperature Gas-Cooled Reactor 350 MW core (mHTGR-350). In the spring and summer of 2019, several experiments were conducted at HTTF providing a valuable source of gas-cooled reactor thermal hydraulics data. Idaho National Laboratory (INL), Oregon State University, Argonne National Laboratory, and Canadian Nuclear Laboratories have partnered to use this experimental data to develop a gas-cooled reactor thermal hydraulics benchmark led by INL under the auspices of the Advanced Reactor Technologies (ART) program. This report provides some context on the benchmark, HTTF, and previous Reactor Excursions and Leak Analysis Program (RELAP)5-3D modeling of HTTF. It also provides a draft of the benchmark specifications for the Depressurized Conduction Cooldown problem, which is the INL-led benchmark problem.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

DOE OSTI2025

Business Models for Scaling Demand Flexibility Volume IV – Program life cycle challenges and lessons learned from U.S. programs

Load growth at the grid edge is driving increased attention to the distribution system and its ability to enable customer technology adoption in an affordable and timely manner. Key industry stakeholders, including electric utilities and regulators, can benefit from strategies to manage and balance customer needs with infrastructure investments, such as demand flexibility. This report focuses on demand flexibility—the ability to reduce, shift, shed, generate, or modulate loads in response to building and grid needs—to reduce the need for costly grid upgrades by deferring investment needs and increase system reliability by shifting electricity usage during periods of high risk. Specifically, we focus on the emerging characteristics of business models for demand flexibility as a framework to understand how demand flexibility programs generate value. In this report, we focus on the life cycle of demand flexibility programs, which provides information on value creation and describes the various deployment phases program implementers navigate from initial program conceptualization through to program expansion and replication to new customer segments and regions. This report characterizes the key phases of the demand flexibility program life cycle, identifies existing challenges across the program deployment phases, and describes lessons learned. This report is part of a series that includes reports on customer relationship management strategies, stakeholder ecosystem management, and program life cycle.

24 POWER TRANSMISSION AND DISTRIBUTION↗

NASA NTRS1980

Performance deterioration of commercial high-bypass ratio turbofan engines

NASA programs for improving aircraft engine fuel efficiency include the Engine Component Improvement Project of which the Engine Diagnostics section is to identify performance deterioration factors for the JT9D and CF6 high-bypass ratio turbofan engines and to develop technology for fuel consumption reduction. The program tests and inspects engines, examines deteriorated elements, formulates deterioration trends and models, identifies specific causative events or modules and determines mechanisms. Results show that short-term performance deterioration is less than 1% of cruise specific fuel consumption and is caused by flight loads or thermal damage due to rubbing of turbine blade tips against shrouds. Long-term deterioration is 2.5-3% of cruise specific fuel consumption after 2500-3000 flights and mechanisms are thermal damage to blade tips with rubbing and damaged airfoils and parts.

Mehalic, C. M.↗

NASA NTRS1982

Survey of engineering computational methods and experimental programs for estimating supersonic missile aerodynamic characteristics

This paper presents a survey of engineering computational methods and experimental programs used for estimating the aerodynamic characteristics of missile configurations. Emphasis is placed on those methods which are suitable for preliminary design of conventional and advanced concepts. An analysis of the technical approaches of the various methods is made in order to assess their suitability to estimate longitudinal and/or lateral-directional characteristics for different classes of missile configurations. Some comparisons between the predicted characteristics and experimental data are presented. These comparisons are made for a large variation in flow conditions and model attitude parameters. The paper also presents known experimental research programs developed for the specific purpose of validating analytical methods and extending the capability of data-base programs.

Sawyer, W. C.↗

NASA NTRS1993

Summary of the GASP code application and evaluation effort for scramjet combustor flowfields

Numerical simulations of 3D turbulent mixing and reacting flows have been systematically evaluated by comparison with experimental data and other numerical solutions to provide confidence in the General Aerodynamic Simulation Program (GASP) code version 1.3. Specifically, the GASP flow solver has been used to model high speed flow through scram jet combustors. Unit injector problems evaluated include (1) UVA staged sonic normal injection of air into Mach 2 air stream, (2) the VPI Mach 1.7 low angled (15 deg) flush wall helium injection into an unconfined Mach 6 'cold air' stream, and (3) the HYPULSE angled (30 deg) flush wall hydrogen injection into a Mach 6, high enthalpy (flight Mach 17 simulation) nitrogen and air test gases. Results of the numerical simulation for the first two test cases have been compared with detailed in-stream measurements and with SPARK CFD solutions. The results for the last two cases have been compared with measured wall pressure and heat flux data and with SPARK CFD solutions. The present GASP solutions compare favorably with both the experimental data and the SPARK solutions.

Srinivasan, Shivakumar↗

NASA NTRS2004

Aerocapture Performance Analysis for a Neptune-Triton Exploration Mission

A systems analysis has been conducted for a Neptune-Triton Exploration Mission in which aerocapture is used to capture a spacecraft at Neptune. Aerocapture uses aerodynamic drag instead of propulsion to decelerate from the interplanetary approach trajectory to a captured orbit during a single pass through the atmosphere. After capture, propulsion is used to move the spacecraft from the initial captured orbit to the desired science orbit. A preliminary assessment identified that a spacecraft with a lift to drag ratio of 0.8 was required for aerocapture. Performance analyses of the 0.8 L/D vehicle were performed using a high fidelity flight simulation within a Monte Carlo executive to determine mission success statistics. The simulation was the Program to Optimize Simulated Trajectories (POST) modified to include Neptune specific atmospheric and planet models, spacecraft aerodynamic characteristics, and interplanetary trajectory models. To these were added autonomous guidance and pseudo flight controller models. The Monte Carlo analyses incorporated approach trajectory delivery errors, aerodynamic characteristics uncertainties, and atmospheric density variations. Monte Carlo analyses were performed for a reference set of uncertainties and sets of uncertainties modified to produce increased and reduced atmospheric variability. For the reference uncertainties, the 0.8 L/D flatbottom ellipsled vehicle achieves 100% successful capture and has a 99.87 probability of attaining the science orbit with a 360 m/s V budget for apoapsis and periapsis adjustment. Monte Carlo analyses were also performed for a guidance system that modulates both bank angle and angle of attack with the reference set of uncertainties. An alpha and bank modulation guidance system reduces the 99.87 percentile DELTA V 173 m/s (48%) to 187 m/s for the reference set of uncertainties.

Starr, Brett R.↗

NASA NTRS2016

Unpredictable Variable Prenatal Stress Programs Expression of Genes Involved in Appetite Control and Energy Expenditure

Prenatal Stress↗

NASA NTRS2016

Unpredictable Variable Prenatal Stress Programs Expression of Genes Involved in Appetite Control and Energy Expenditure

Exposure to stress in the womb shapes neurobiological and physiological outcomes of offspring in later life, including body weight regulation and metabolic profiles. Our previous work utilizing a centrifugation-induced hypergravity demonstrated significantly increased (8-15) body mass in male, but not female, rats exposed throughout gestation to chronic 2-g from conception to birth. We reported the same outcome in adult offspring exposed throughout gestation to Unpredictable Variable Prenatal Stress (UVPS). Here we examine gene expression changes using our UVPS model to identify a potential role for prenatal stress in this hypergravity programming effect. Specifically we focused on appetite control and energy expenditure pathways in prenatally stressed adult (90-day-old) male Sprague-Dawley rats. Time-mated female rats were exposed throughout their 22-day pregnancy to UVPS consisting of white noise, strobe light, and tube restraint individually once per day on an unpredictable schedule for 15, 30 or 60 min. To control for potential changes in postnatal maternal care, newborn pups were fostered to non-manipulated, newly parturient dams. At 90-days of age, we analyzed plasma concentrations of hormones involved in appetite control and energy expenditure (leptin and adiponectin), and quantified expression of key genes in epididymal fat pads harvested from adult male offspring and controls. Leptin regulates energy balance by inhibiting hunger, and adiponectin modulates glucose levels and fatty acid breakdown. Our findings indicate significantly elevated plasma leptin concentrations and reduced expression of epididymal fat leptin (OB) and adiponectin (ADIPOQ) genes compared to controls. Analyses presently underway include quantification of plasma insulin and glucose, and the expression of ghrelin, a peptide that acts on the central nervous system and the body's perception of hunger. Collectively, these findings will further understanding of the consequences of UVPS on body weight regulation and metabolism, and provide further insight into the effect of gravity modulation on mammalian fetal development.

Appetite Control↗

NASA NTRSDate not supplied

Orion SysML Model, Digital Twin, and Lessons Learned for Artemis I

In 2015 it was recognized by NASA’s Orion Chief Engineer that NASA’s design insight into the Orion subsystems for Artemis I were not sufficient to provide traditional engineering support to flight operations. To address these concerns and provide an opportunity to apply emerging model-based systems engineering and digital twin methodologies and provide opportunities for employees across NASA to get hands-on training, an Orion digital twin pilot project was initiated in 2020. With the increase in complexities of spacecraft, and decreased time to made decisions during missions in critical or emergency situations, digital modeling and integration of design can reduce the time to answer questions by days and required human resources by an order of magnitude over historical approaches and was identified to be critical capability for NASA’s future. This paper describes the genesis of this digital twin pilot project, efforts undertaken, a reproducible methodology to take available system information from a mature program to create an executable SysML model that supports a link to unit-specific data, thus forming a connection to the physical asset, and associated lessons learned and project deliverables.

MBSE↗

NASA NTRS1991

Theoretical foundations for information representation and constraint specification

Research accomplished at the Knowledge Based Systems Laboratory of the Department of Industrial Engineering at Texas A&M University is described. Outlined here are the theoretical foundations necessary to construct a Neutral Information Representation Scheme (NIRS), which will allow for automated data transfer and translation between model languages, procedural programming languages, database languages, transaction and process languages, and knowledge representation and reasoning control languages for information system specification.

Menzel, Christopher P.↗

NASA NTRS1978

Heliocentric interplanetary low thrust trajectory optimization program, supplement 1, part 2

The improvements made to the HILTOP electric propulsion trajectory computer program are described. A more realistic propulsion system model was implemented in which various thrust subsystem efficiencies and specific impulse are modeled as variable functions of power available to the propulsion system. The number of operating thrusters are staged, and the beam voltage is selected from a set of five (or less) constant voltages, based upon the application of variational calculus. The constant beam voltages may be optimized individually or collectively. The propulsion system logic is activated by a single program input key in such a manner as to preserve the HILTOP logic. An analysis describing these features, a complete description of program input quantities, and sample cases of computer output illustrating the program capabilities are presented.

Mann, F. I.↗