Search NASA⌕ Search

SEARCH · Search NASA

Results for “Programming Models”

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 1,765 records · Page 98
All sourcesNASA NTRSDOE OSTI
DOE OSTI2022

HYBRID Modeling of DETAIL Experimental Facility

Idaho National Laboratory continues to be at the forefront of advanced reactor systems and integrated energy systems research. Through the Thermal Energy Distribution System (TEDS) and Microreactor Agile Non-nuclear Test Bed (MAGNET) experiments in the Dynamic Energy Transport and Innovation Laboratory (DETAIL) within the Engineering Systems Laboratory, a mix of digital and physical testing systems can explore the operation of thermally and electrically integrated systems. Modeling of these systems has been done using the HYBRID modeling repository of the Integrated Energy Systems program. DETAIL also contains high temperature steam electrolysis (HTSE) units to produce hydrogen and generate the load imposed on MAGNET and TEDS. The dynamic modeling capabilities within the IES program describe the DETAIL components as-built and can be used to evaluate controls, process flows, and overall system conditions.

08 HYDROGEN↗
DOE OSTI2019

Quantum Mechanical Modeling of the Vibrational Spectra of Minerals with a Focus on Clays

We present an overview of how to use quantum mechanical calculations to predict vibrational frequencies of molecules and materials such as clays and silicates. Other methods of estimating vibrational frequencies are mentioned, such as classical molecular dynamics simulations; references are given for additional information on these approaches. Herein, we discuss basic vibrational theory, calculating Raman and infrared intensities, steps for creating realistic models, and applications to spectroscopy, thermodynamics, and isotopic fractionation. There are a wide variety of programs and methods that can be employed to model vibrational spectra, but this work focuses on hybrid density functional theory (DFT) approaches. Many of the principles are the same when used in other programs and DFT methods, so a novice can benefit from simple examples that illustrate key points to consider when modeling vibrational spectra. Other methods and programs are listed to give the beginner a starting point for exploring and choosing which approach will be best for a given problem. The modeler should also be aware of the numerous analytical methods available for obtaining information on vibrations of atoms in molecules and materials. In addition to traditional infrared and Raman spectroscopy, sum-frequency generation (SFG) and inelastic neutron scattering (INS) are also excellent techniques for obtaining vibrational frequency information in certain circumstances.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2017

Bi-Level Arbitrage Potential Evaluation for Grid-Scale Energy Storage Considering Wind Power and LMP Smoothing Effect

Our paper deals with extended-term energy storage (ES) arbitrage problems to maximize the annual revenue in deregulated power systems with high penetration wind power. The conventional ES arbitrage model takes the locational marginal prices (LMP) as an input and is unable to account for the impacts of ES operations on system LMPs. This paper proposes a bi-level ES arbitrage model, where the upper level maximizes the ES arbitrage revenue and the lower level simulates the market clearing process considering wind power and ES. The bi-level model is formulated as a mathematical program with equilibrium constraints (MPEC) and then recast into a mixed-integer linear programming (MILP) using strong duality theory. Wind power fluctuations are characterized by the GARCH forecast model and the forecast error is modeled by forecast-bin based Beta distributions. Case studies are performed on a modified PJM 5-bus system and an IEEE 118-bus system with a weekly time horizon over an annual term to show the validity of the proposed bi-level model. The results from the conventional model and the bi-level model are compared under different ES power and energy ratings, and also various load and wind penetration levels.

17 WIND ENERGY↗
DOE OSTI2024

Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations

Input-centric program optimization aims to optimize code by considering the relations between program inputs and program behaviors. Despite its promise, a long-standing barrier for its adoption is the difficulty of automatically identifying critical features of complex inputs. This paper introduces a novel technique, reductive analysis through compiler-guided Large Language Models (LLMs), to solve the problem through a synergy between compilers and LLMs. It uses a reductive approach to overcome the scalability and other limitations of LLMs in program code analysis. The solution, for the first time, automates the identification of critical input features without heavy instrumentation or profiling, cutting the time needed for input identification by 44× (or 450× for local LLMs), reduced from 9.6 hours to 13 minutes (with remote LLMs) or 77 seconds (with local LLMs) on average, making input characterization possible to be integrated into the workflow of program compilations. Optimizations on those identified input features show similar or even better results than those identified by previous profiling-based methods, leading to optimizations that yield 92.6% accuracy in selecting the appropriate adaptive OpenMP parallelization decisions, and 20-30% performance improvement of serverless computing while reducing resource usage by 50-60%.

Input-Centric Optimization↗
DOE OSTI2017

University Research in Support of TREAT Modeling and Simulation, FY 2017

INL is currently evolving a modeling and simulation (M&S) capability that will enable im- proved core operation as well as design and analysis of TREAT experiments. This M&S capability primarily uses MAMMOTH, a reactor physics application being developed under the Multi-physics Object Oriented Simulation Environment (MOOSE) framework. MAMMOTH allows the coupling of a number of other MOOSE-based applications. This work is being supplemented by related research projects at a number of universities. INL is funding TREAT-related research at North Carolina State University, University of New Mexico, Oregon State University, and MIT under internally funded projects within the INL/Battelle National University Consortium Program. Under the DOE Nuclear Energy Advanced Modeling and Simulation program (NEAMS), other research is being performed at MIT, University of Florida, and Texas A&M University. In addition, Dr. Barry Ganapol of University of Arizona was funded for summer work at the INL. This report is a compilation of conference papers that were submitted as part of this research by the NEAMS University partners and from the visiting professor.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2023

Standards, dissemination, and best practices in systems biology

In this study, the reproducibility of scientific research is crucial to the success of the scientific method. Here, we review the current best practices when publishing mechanistic models in systems biology. We recommend, where possible, to use software engineering strategies such as testing, verification, validation, documentation, versioning, iterative development, and continuous integration. In addition, adhering to the Findable, Accessible, Interoperable, and Reusable modeling principles allows other scientists to collaborate and build off of each other’s work. Existing standards such as Systems Biology Markup Language, CellML, or Simulation Experiment Description Markup Language can greatly improve the likelihood that a published model is reproducible, especially if such models are deposited in well-established model repositories. Where models are published in executable programming languages, the source code and their data should be published as open-source in public code repositories together with any documentation and testing code. For complex models, we recommend container-based solutions where any software dependencies and the run-time context can be easily replicated.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2025

Bim-to-fea Conversion Program

The purpose of this program is to enable interoperability between BIM-based architectural design software (i.e., Revit, ArchiCAD, AVEVA E3D) to structural analysis software (i.e., SAP2000). The program takes in BIM building model data via the IFC file format, automatically transforms the architectural coordination entities (structural beams, columns, slabs, walls) to structural analysis entities (i.e., finite element space frames and shells), automatically adjusts the connectivity of the structural analysis entities, and finally exports the structural analysis entities as a structural analysis model contained within a new IFC file. For example, a 3D building in Revit can be exported to an IFC file, run through this BIM-to-FEA program, then the exported IFC can be inputted into SAP2000.

Crowder, Nicholas [Idaho National Laboratory (INL)↗
DOE OSTI2019

Probing catalytic activity in defect sites in transition metal oxides and sulfides using cluster models: A combined experimental and theoretical approach

Our research program has combined experimental and computational methods to study a range of cluster models for heterogeneous catalytic materials. The focus of our studies has been transition metal oxide and sulfide clusters in non-traditional oxidation states, and their chemical and physical interactions with water, to model steps in the electrocatalytic or photocatalytic hydrogen evolution reaction (HER). In the closing year of this project, we have also begun to explore addition systems in preparation for future grant proposals.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

Can Large Language Models Understand Intermediate Representations?

Intermediate Representations (IRs) are essential in compiler design and program analysis, yet their comprehension by Large Language Models (LLMs) remains underexplored. This paper presents a pioneering empirical study to investigate the capabilities of LLMs, including GPT-4, GPT-3, Gemma 2, LLaMA 3.1, and Code Llama, in understanding IRs. We analyze their performance across four tasks: Control Flow Graph (CFG) reconstruction, decompilation, code summarization, and execution reasoning. Our results indicate that while LLMs demonstrate competence in parsing IR syntax and recognizing high-level structures, they struggle with control flow reasoning, execution semantics, and loop handling. Specifically, they often misinterpret branching instructions, omit critical IR operations, and rely on heuristic-based reasoning, leading to errors in CFG reconstruction, IR decompilation, and execution reasoning. The study underscores the necessity for IR-specific enhancements in LLMs, recommending fine-tuning on structured IR datasets and integration of explicit control flow models to augment their comprehension and handling of IR-related tasks.

Jiang, Hailong↗
DOE OSTI2021

Validation of Physics Models of Geant4 Versions 10.4.p03, 10.6.p02 and 10.7.p01 using Data from the CMS Experiment

CMS tuned its simulation program and chose a specific physics model of Geant4 by comparing the simulation results with dedicated test beam experiments. Test beam data provide measurements of energy response of the calorimeter as well as resolution for well identified charged hadrons over a large energy region. CMS continues to validate the physics models using the test beam data as well as collision data from the Large Hadron Collider. Isolated charged particles are measured simultaneously in the tracker as well as in the calorimeters. These events are selected using dedicated triggers and are used to measure the response in the calorimeter. Different versions of Geant4 (10.2.p02, 10.4.p03, 10.6.p02) have been used by CMS for its Monte Carlo production and a new version (10.7.p01) is now chosen for future productions. A suitable physics list (collection of physics models) is chosen by optimizing performance against accuracy. A detailed comparison between data and Geant4 predictions is presented in this paper.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

Volatile organic compound emissions from 4D printing: Effects of material composition and external stimulus

4D printing of stimuli-responsive materials extends 3D printing by enabling the fabricated structures to transform their shapes and properties over time in response to external stimuli. Numerous research efforts have been dedicated to developing new smart materials, enhancing material printability, and ensuring time-evolving properties. Meanwhile, the use of smart materials and external stimuli in 4D printing has introduced the possibility of air emissions that can potentially deteriorate the indoor air quality at the workplace and pose continuous health hazards to users during the production and use phases. These potential air emissions caused by 4D printing have not yet been assessed in current literature, leading to unknown occupational hazards and human health effects. This study focuses on stereolithography-based 4D printing with constrained thermo-mechanics and builds an emission model to quantify the volatile organic compound emissions from printing, shape programming, and shape recovery stages. The established model mathematically links the emission characteristics with material compositional design and stimuli-response mechanisms. Additionally, shape fixity and recovery abilities are considered to analyze the trade-off between the air emissions and stimuli-response performance of 4D printed parts. Case study results suggest that the methacrylate-based thermo-responsive material with higher glass transition temperature leads to higher air emissions, surpassing the permissible exposure level in the indoor environment. By altering the thermo-temporal conditions, a 61.29% reduction in emission yield can be achieved while ensuring a satisfactory shape memory performance.

36 MATERIALS SCIENCE↗
DOE OSTI2018

Identifying key factors of the seawater intrusion model of Dagu river basin, Jiaozhou Bay

Highlights: • The key factors of seawater intrusion model is identified by mutual entropy analysis. • Precipitation rate and groundwater pumping are the key factors for seawater intrusion. • The hydraulic conductivity of zone 1 has significant influence on seawater intrusion. Seawater intrusion is a complex groundwater - seawater interaction process, and it is influenced by many factors from ground surface to underground, from groundwater to seawater. Generally, for seawater intrusion model, some model parameters and boundary conditions are always specified by model users’ personal experiences or literature's reference value. The defective model would damage the groundwater management for controlling and preventing seawater intrusion when making decisions are based on this model. In order to improve the reliability of seawater intrusion model, the influences of model inputs on output should be identified prior at optimizing model inputs. Dagu river basin, Jiaozhou Bay is one of the most serious areas of seawater intrusion in China, and it is chosen as the study area in this study. The seawater intrusion model of Dagu river basin is built based on a general program SEAWAT4. The key influence factors of model output are analyzed by two sensitivity analysis methods, i.e., stepwise regression and mutual entropy. The results demonstrated that the most important influence factors which have largest sensitivities to groundwater Cl{sup -} concentration are the precipitation rate and groundwater pumping in agriculture area. In addition, the hydraulic conductivity of zone 1 has a non-negligible influence on seawater intrusion process. Stepwise regression analysis is capable of identifying most important influence factor, and it can’t handle complicated nonlinear input-output relationship. Mutual entropy analysis is reliable for identifying the influence factors for complex seawater intrusion model.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2022

Multiomic atlas with functional stratification and developmental dynamics of zebrafish cis -regulatory elements

Zebrafish, a popular organism for studying embryonic development and for modeling human diseases, has so far lacked a systematic functional annotation program akin to those in other animal models. To address this, we formed the international DANIO-CODE consortium and created a central repository to store and process zebrafish developmental functional genomic data. Our data coordination center (https://danio-code.zfin.org) combines a total of 1,802 sets of unpublished and re-analyzed published genomic data, which we used to improve existing annotations and show its utility in experimental design. We identified over 140,000 cis-regulatory elements throughout development, including classes with distinct features dependent on their activity in time and space. We delineated the distinct distance topology and chromatin features between regulatory elements active during zygotic genome activation and those active during organogenesis. Finally, we matched regulatory elements and epigenomic landscapes between zebrafish and mouse and predicted functional relationships between them beyond sequence similarity, thus extending the utility of zebrafish developmental genomics to mammals.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2023

FAIR AI models in high energy physics

Abstract The findable, accessible, interoperable, and reusable (FAIR) data principles provide a framework for examining, evaluating, and improving how data is shared to facilitate scientific discovery. Generalizing these principles to research software and other digital products is an active area of research. Machine learning models—algorithms that have been trained on data without being explicitly programmed—and more generally, artificial intelligence (AI) models, are an important target for this because of the ever-increasing pace with which AI is transforming scientific domains, such as experimental high energy physics (HEP). In this paper, we propose a practical definition of FAIR principles for AI models in HEP and describe a template for the application of these principles. We demonstrate the template’s use with an example AI model applied to HEP, in which a graph neural network is used to identify Higgs bosons decaying to two bottom quarks. We report on the robustness of this FAIR AI model, its portability across hardware architectures and software frameworks, and its interpretability.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2018

Teaching Computational Reproducibility for Neuroimaging

We describe a project-based introduction to reproducible and collaborative neuroimaging analysis. Traditional teaching on neuroimaging usually consists of a series of lectures that emphasize the big picture rather than the foundations on which the techniques are based. The lectures are often paired with practical workshops in which students run imaging analyses using the graphical interface of specific neuroimaging software packages. Our experience suggests that this combination leaves the student with a superficial understanding of the underlying ideas, and an informal, inefficient, and inaccurate approach to analysis. To address these problems, we based our course around a substantial open-ended group project. This allowed us to teach: (a) computational tools to ensure computationally reproducible work, such as the Unix command line, structured code, version control, automated testing, and code review and (b) a clear understanding of the statistical techniques used for a basic analysis of a single run in an MR scanner. The emphasis we put on the group project showed the importance of standard computational tools for accuracy, efficiency, and collaboration. The projects were broadly successful in engaging students in working reproducibly on real scientific questions. We propose that a course on this model should be the foundation for future programs in neuroimaging. We believe it will also serve as a model for teaching efficient and reproducible research in other fields of computational science.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2018

Group purchasing organization design: a clustering approach

Supply chain management is monitoring of activities involved in supply chain, for integrating and coordinating between suppliers, manufacturing, inventory and transportation both within and among members. The ultimate aim of supply chains is to reduce costs and increase market coverage. Procuring and purchasing requested items in a timely manner are the two most important issues for supply chain stockholders. Group purchasing is one of the purchasing strategies in supply chains. It offers great potential by ordering large volumes to decrease expenses which can increase services to customers. A clustering optimization approach is employed to model group purchasing for a set of pharmacies in the field of healthcare. The proposed model determines a cooperation strategy based on factors such as distance between pharmacies and procurement expenditure in this network. Moreover, the proposed multi-objective group purchasing model is optimized using both goal programming and non-dominated sorting genetic algorithm. To illustrate the application of the proposed model, designing a purchasing group organization for Chalus city pharmacies is investigated. Purchasing groups are established in the way that sum of pharmacies ordering quantity has been located in the second or the third level of discount rate. Thus, the results show that GPOs can take the advantage of this cooperation.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Improving Durability of Turbine Components Through Trenched Film Cooling and Contoured Endwalls

The experimental and computational studies of the turbine endwall and vane models completed in this research program have provided a comprehensive understanding of turbine cooling with combined film cooling and TBC. To correctly simulate the cooling effects of TBC requires the use of matched Biot number models, a technique developed in our laboratories. This technique allows for the measurement of the overall cooling effectiveness which is a measure of the combined internal and external cooling for a turbine component. The overall cooling effectiveness provides an indication of the actual metal temperature that would occur at engine conditions, and is hence a more powerful performance indicator than the film effectiveness parameter that is commonly used for film cooling studies. Furthermore these studies include the effects of contaminant depositions which are expected to occur when gas turbines are operated with syngas fuels. Results from the endwall studies performed at Penn State University and the vane model studies performed at the University of Texas are the first direct measurements of the combined effects of film cooling and TBC. These results show that TBC has a dominating effect on the overall cooling effectiveness, which enhances the importance of the internal cooling mechanisms, and downplays the importance of the film cooling of the external surface. The TBC was found to increase overall cooling effectiveness by a factor of two to four. When combined with TBC, the primary cooling from film cooling holes was found to be due to the convective cooling within the holes, not from the film effectiveness on the surface of the TBC. Simulations of the deposition of contaminants on the endwall and vane surfaces showed that these depositions caused a large increase in surface roughness and significant degradation of film effectiveness. However, despite these negative factors, the depositions caused only a slight decrease in the overall cooling effectiveness on the endwall, and in some cases a slight increase in overall cooling effectiveness on the vane model. This was attributed to the insulating effects of the depositions which compensated for the negative factors.

Bogard, David G.↗