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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Automatic programming of simulation models

The objective of automatic programming is to improve the overall environment for describing the program. This improved environment is realized by a reduction in the amount of detail that the programmer needs to know and is exposed to. Furthermore, this improved environment is achieved by a specification language that is more natural to the user's problem domain and to the user's way of thinking and looking at the problem. The goal of this research is to apply the concepts of automatic programming (AP) to modeling discrete event simulation system. Specific emphasis is on the design and development of simulation tools to assist the modeler define or construct a model of the system and to then automatically write the corresponding simulation code in the target simulation language, GPSS/PC. A related goal is to evaluate the feasibility of various languages for constructing automatic programming simulation tools.

Schroer, Bernard J.↗
NASA NTRS2005

A Perfect View of Vesta: Creating Pointing Observations for the Dawn Spacecraft on Asteroid 4 Vesta

The Dawn spacecraft has a timely and clever assignment in store. It will take a close look at two intact survivors from the dawn of the solar system (asteroids 4 Vesta and 1 Ceres) to understand more about solar system origin and evolution. To optimize science return, Dawn must make carefully designed observations on approach and in survey orbit, high altitude mapping orbit, and low altitude mapping orbit at each body. In this report, observations outlined in the science plan are modeled using the science opportunity analyzer program for the Vesta encounter. Specifically, I encoded Dawn's flight rules into the program, modeled pointing profiles of the optical instruments (framing camera, visible infrared spectrometer) and mapped their fields of view onto Vesta's surface. Visualization of coverage will provide the science team with information necessary to assess feasibility of alternative observation plans. Dawn launches in summer 2006 and ends its journey in 2016. Instrument observations on Vesta in 2011 will supply detailed information about Vesta's surface and internal structure. These data will be used to analyze the formation and history of the protoplanet and, therefore, complete an important step in understanding the development of our solar system.

Hay, Katrina M.↗
NASA NTRS1990

Reliability model generator specification

The Reliability Model Generator (RMG), a program which produces reliability models from block diagrams for ASSIST, the interface for the reliability evaluation tool SURE is described. An account is given of motivation for RMG and the implemented algorithms are discussed. The appendices contain the algorithms and two detailed traces of examples.

Cohen, Gerald C.↗
NASA NTRS2021

Programming - What is Next?

The paper provides an introduction to the track: “Program- ming - What is Next?”, organized by the authors as part of ISoLA 2021: the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. A total of 14 papers were pre- sented in the track, with responses to the question: what are the trends in current more recent programming languages, and what can be expected of future languages?. The track covers such topics as general-purpose programming languages, domain-specific languages, formal methods and modeling languages, textual versus graphical languages, and application programming versus embedded programming.

Steffen, Bernhard↗
DOE OSTI2022

Combined TREAT-LOC & SATS Integral LOCA Experiment Plan

The Transient Reactor Test Facility (TREAT) loss-of-coolant (LOC) and highburnup (HBu) experiment series, along with the Severe Accident Test Station (SATS) HBu experiment series, are integral LOC accident (LOCA) experiments planned under the Department of Energy (DOE) Advanced Fuels Campaign (AFC) program, which aims to support burnup extension needs by addressing identified R&D priorities in order to achieve an improved understanding of fuel fragmentation, relocation, and dispersal (FFRD) of HBu fuel during LOCA events. Priorities have been identified by the Electric Power Research Institute (EPRI)’s Collaborative Research on Advanced Fuel Technologies (CRAFT) Fuel Performance and Testing Technical Experts Group (FPTTEG). The data produced under this plan will be used to further validate and confirm existing models and inform future R&D and model development. The experimental program was specifically developed to address data gaps and opportunities identified via detailed review of the existing public knowledge base on LOCA FFRD, as well as reviewing specific experimental development activities regarding prototypic LOCA conditions for light-water reactor (LWR) systems. The test program relies on a unique combination of in- and out-of-pile experimental approaches to provide a clear tieback to the existing integral and semi-integral LOCA experiment database, using state-of-the-art facilities. More importantly, the program will systematically investigate the impacts of prototypic HBu fuel/cladding thermomechanical behaviors under postulated LWR LOCA conditions not yet fully investigated. These conditions correspond with prototypic decay-energy heatup (DEH) and stored-energy heatup (SEH) conditions. First, TREAT’s unique capability will enable the first evaluation of the impact of SEH conditions on HBu fuels. The test program will emphasize the development of an improved mechanistic understanding of key phenomena through independent experimental systems, development of a database to support fuel performance modeling tools, world-leading advanced materials characterization, and the most advanced approach to in situ diagnostics ever deployed to evaluate FFRD. The results will represent a significant leap forward in evaluating prototypic conditions and novel data to support modeling development and validation, as well as to inform the technical basis for LOCA-induced FFRD.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2024

ECP libraries and tools: An overview

The Exascale Computing Project (ECP) Software Technology and Co-Design teams addressed the growing complexities in high-performance computing (HPC) by developing scalable software libraries and tools that leverage exascale system capabilities. As we enter the exascale era, the need for reusable, optimized software solutions that can handle the unique challenges posed by these systems becomes increasingly important. The primary challenges the ECP teams faced were to create software libraries and tools that are performant on exascale architectures and portable and usable across diverse hardware platforms. Efforts addressed issues related to concurrent execution, memory management, and the integration of heterogeneous computing resources, such as GPUs from multiple vendors. The ECP’s strategy involved a structured development process encompassing the creation, optimization, and deployment of software in collaboration with industry, academia, and national laboratories. The project was organized into several technical areas: co-design of domain-specific suites with target applications, programming models and runtimes, development tools, mathematical libraries, data and visualization tools, and software ecosystem and delivery mechanisms. ECP has successfully developed a large portfolio of software libraries and tools that demonstrate significant improvements in performance and scalability on exascale systems. These products have been integrated into the Department of Energy’s computing facilities, supporting various scientific applications and ensuring robust performance across different hardware setups. ECP advancements in software development for exascale computing highlight the importance of a collaborative and adaptive approach to handling next-generation HPC systems complexities. The lessons learned emphasize the need for continuous engagement with end-users and vendors, and the importance of maintaining a balance between innovation and practical implementation. Future efforts will focus on ensuring scalability, keeping pace with rapid hardware advancements, and further enhancing the interoperability and usability of the software ecosystem. In conclusion, subsequent articles in this special issue provide in-depth discussions and case studies into specific library and tool efforts.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Y-12 Nuclear Criticality Safety Program Health Model: Development, Use and Benefits

The Y-12 National Security Complex (Y-12) operates seven diverse enriched uranium processing facilities and maintains a comprehensive nuclear criticality safety (NCS) program. Given the magnitude of the hazard, the NCS program receives significant oversight. Describing the scope and health of the Y-12 NCS program to sometimes non-expert stakeholders with limited time had historically focused on recent events and “hot topics” which did not always convey sufficient context (i.e., how to differentiate between an individual performance issue and a systemic concern). Y-12 created the NCS Program Health (NCSPH) Model to provide a complete and holistic framework to quantify and communicate NCS program health. The model is constructed in a tiered fashion with the top tier broken into three (3) Tier 2 elements, fourteen (14) Tier 3 elements, and 104 Tier 4 and 5 elements. This granularity ensures every feature of the NCS Program is accounted for and stakeholders can see how these features support the collective whole. The model is used as the framework for NCS communications including program plans, reports, health surveys, and meeting agendas. The model has substantially improved stakeholder appreciation for the entirety of the NCS program and how events and assessment results factor into an overarching conclusion on NCS program health. While some details are Y-12 specific, the NCSPH model can easily be tailored for any other site with an NCS program.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
NASA NTRS1990

An engineering approach to automatic programming

An exploratory study of the automatic generation and optimization of symbolic programs using DECOM - a prototypical requirement specification model implemented in pure LISP was undertaken. It was concluded, on the basis of this study, that symbolic processing languages such as LISP can support a style of programming based upon formal transformation and dependent upon the expression of constraints in an object-oriented environment. Such languages can represent all aspects of the software generation process (including heuristic algorithms for effecting parallel search) as dynamic processes since data and program are represented in a uniform format.

Rubin, Stuart H.↗
DOE OSTI2020

Density Tailored Capillary Discharge (Final Technical Report)

This final report describes efforts to validate a novel way to drive capillary discharges in order to achieve true matched guiding of a focused laser beam traveling along the capillary. Achieving such matched guiding is important for laser plasma accelerators, such as ones based upon laser wakefield acceleration. During this Phase II program, a computer model, which was specifically designed to predict the time-dependent behavior of the capillary discharge, was exercised to determine whether unconventional ways to drive the discharge may yield matched guiding. A custom power supply was built to drive the capillary discharge in the unconventional manner specified by the model. Experiments performed at STI Optronics seemed to support the predictions of this model; however, subsequent more accurate measurements performed at Lawrence Berkeley National Laboratory did not agree with the model predictions.

43 PARTICLE ACCELERATORS↗
DOE OSTI2021

A science paradigm shift is needed for Earth and Environmental Systems Sciences (EESS) to integrate Knowledge-Guided Artificial Intelligence (KGAI) and lead new EESS-KGAI theories

The focal area of this white paper is learning from complex data through the use of AI techniques and AI-derived model components. Specifically, we advocate for research programs to develop knowledge-guided AI (KGAI) in the Earth and Environmental Systems sciences (EESS) as a basic research paradigm that is separate from (but supports) any specific Earth system model, modeling components, and modeling workflows, and even separates from specific hypothesis-driven questions about individual Earth system processes.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2024

7th World Congress on Integrated Computational Materials Engineering (ICME 2023) (Final Technical Report)

Integrated Computational Materials Engineering (ICME) has received international attention due to its potential to shorten product development time, while lowering cost and improving design and manufacturing outcomes. ICME is an approach to designing materials solutions for specific applications that use computer modeling programs to predict the behavior of materials and integrate this information into the overall materials, processing, and manufacturing design cycle. The 7th World Congress on Integrated Computational Materials Engineering (ICME 2023) was held in Orlando, Florida from May 21–25, 2023 with the goal to convene stakeholders from across all areas of modeling and simulation, experimental specialization, and design, as well as from across academia, government, and industry, to address ICME tools and techniques and their integration, as well as to examine their application in engineering. This atmosphere facilitated rich interactions between the experimentalists, modelers, and computational and design, from academia, government, and industry, to discuss ICME tools and techniques and their application in engineering.

36 MATERIALS SCIENCE↗
NASA NTRS1990

Probabilistic structural analysis by extremum methods

The objective is to demonstrate discrete extremum methods of structural analysis as a tool for structural system reliability evaluation. Specifically, linear and multiobjective linear programming models for analysis of rigid plastic frames under proportional and multiparametric loadings, respectively, are considered. Kinematic and static approaches for analysis form a primal-dual pair in each of these models and have a polyhedral format. Duality relations link extreme points and hyperplanes of these polyhedra and lead naturally to dual methods for system reliability evaluation.

Nafday, Avinash M.↗
NASA NTRS1996

Meshing of a Spiral Bevel Gearset with 3D Finite Element Analysis

Recent advances in spiral bevel gear geometry and finite element technology make it practical to conduct a structural analysis and analytically roll the gearset through mesh. With the advent of user specific programming linked to 3D solid modelers and mesh generators, model generation has become greatly automated. Contact algorithms available in general purpose finite element codes eliminate the need for the use and alignment of gap elements. Once the gearset is placed in mesh, user subroutines attached to the FE code easily roll the gearset through mesh. The method is described in detail. Preliminary results for a gearset segment showing the progression of the contact lineload is given as the gears roll through mesh.

Bibel, George D.↗
NASA NTRS2000

Small Engine Technology (SET) Task 23 ANOPP Noise Prediction for Small Engines, Wing Reflection Code

The work performed under Task 23 consisted of the development and demonstration of improvements for the NASA Aircraft Noise Prediction Program (ANOPP), specifically targeted to the modeling of engine noise enhancement due to wing reflection. This report focuses on development of the model and procedure to predict the effects of wing reflection, and the demonstration of the procedure, using a representative wing/engine configuration.

Lieber, Lysbeth↗
DOE OSTI2023

Loss of Coolant High Burnup (LOC-HBu) Program

LOC-HBu is a joint experimental program (JEEP) operating within the Nuclear Energy Agency’s (NEA’s) framework for irradiation experiments II (FIDES-II). LOC-HBu is dedicated to the understanding of light water reactor (LWR) fuel performance at high burnup under loss of coolant accident (LOCA) conditions. LOC-HBu aims to support burnup extension needs by addressing identified R&D priorities to achieve an improved understanding of fuel fragmentation, relocation, and dispersal (FFRD) of HBu fuel during LOCA events. The need for such experiments was identified in the United States by the Fuel Performance Testing Technical Expert Group (FPTTEG) under the Electric Power Research Institute (EPRI)’s Collaborative Research on Advanced Fuel Technologies (CRAFT) framework. A combined in-pile and furnace testing program plan was developed by researchers at Idaho National Laboratory (INL) and Oak Ridge National Laboratory (ORNL) which was reviewed and approved by the FPTTEG Combined TREAT-LOC and SATS LOCA Experiment Plan. The first 4 tests identified in this plan are being put forward by the U.S. Department of Energy (U.S. DOE) and INL for inclusion in the FIDES-II second triannual work period. The data produced under this plan will be used to further validate and confirm existing models and inform future R&D and model development. The experimental program was specifically developed to address data gaps and opportunities identified via detailed review of the existing public knowledge base on LOCA FFRD, as well as reviewing specific experimental development activities regarding prototypic LOCA conditions for light-water reactor (LWR) systems. The program will systematically investigate the impacts of prototypic HBu fuel/cladding thermomechanical behaviors under postulated LWR LOCA conditions not yet fully investigated. These conditions correspond with prototypic decay-energy heatup (DEH) and stored-energy heatup (SEH) conditions.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
NASA NTRS2004

Performance and Reliability Optimization for Aerospace Systems subject to Uncertainty and Degradation

This report summarizes work performed by the Space Systems Laboratory (SSL) for NASA Langley Research Center in the field of performance optimization for systems subject to uncertainty. The objective of the research is to develop design methods and tools to the aerospace vehicle design process which take into account lifecycle uncertainties. It recognizes that uncertainty between the predictions of integrated models and data collected from the system in its operational environment is unavoidable. Given the presence of uncertainty, the goal of this work is to develop means of identifying critical sources of uncertainty, and to combine these with the analytical tools used with integrated modeling. In this manner, system uncertainty analysis becomes part of the design process, and can motivate redesign. The specific program objectives were: 1. To incorporate uncertainty modeling, propagation and analysis into the integrated (controls, structures, payloads, disturbances, etc.) design process to derive the error bars associated with performance predictions. 2. To apply modern optimization tools to guide in the expenditure of funds in a way that most cost-effectively improves the lifecycle productivity of the system by enhancing the subsystem reliability and redundancy. The results from the second program objective are described. This report describes the work and results for the first objective: uncertainty modeling, propagation, and synthesis with integrated modeling.

Miller, David W.↗
NASA NTRS1990

Generating Semi-Markov Models Automatically

Abstract Semi-Markov Specification Interface to SURE Tool (ASSIST) program developed to generate semi-Markov model automatically from description in abstract, high-level language. ASSIST reads input file describing failure behavior of system in abstract language and generates Markov models in format needed for input to Semi-Markov Unreliability Range Evaluator (SURE) program (COSMIC program LAR-13789). Facilitates analysis of behavior of fault-tolerant computer. Written in PASCAL.

Johnson, Sally C.↗
NASA NTRS1975

Modeling damaged wings: Element selection and constraint specification

The NASTRAN analytical program was used for structural design, and no problems were anticipated in applying this program to a damaged structure as long as the deformations were small and the strains remained within the elastic range. In this context, NASTRAN was used to test three-dimensional analytical models of a damaged aircraft wing under static loads. A comparison was made of calculated and experimentally measured strains on primary structural components of an RF-84F wing. This comparison brought out two sensitive areas in modeling semimonocoque structures. The calculated strains were strongly affected by the type of elements used adjacent to the damaged region and by the choice of multipoint constraints sets on the damaged boundary.

Stronge, W. J.↗