Search NASA⌕ Search

SEARCH · Search NASA

Results for “Computer Tool”

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,567 records · Page 87
All sourcesNASA NTRSDOE OSTI
DOE OSTI2019

Automatic Differentiation for Adjoint Stencil Loops

Stencil loops are a common motif in computations including convolutional neural networks, structured-mesh solvers for partial differential equations, and image processing. Stencil loops are easy to parallelise, and their fast execution is aided by compilers, libraries, and domain-specific languages. Reverse-mode automatic differentiation, also known as algorithmic differentiation, autodiff, adjoint differentiation, or back-propagation, is sometimes used to obtain gradients of programs that contain stencil loops. Unfortunately, conventional automatic differentiation results in a memory access pattern that is not stencil-like and not easily parallelisable. In this paper we present a novel combination of automatic differentiation and loop transformations that preserves the structure and memory access pattern of stencil loops, while computing fully consistent derivatives. The generated loops can be parallelised and optimised for performance in the same way and using the same tools as the original computation. We have implemented this new technique in the Python tool PerforAD, which we release with this paper along with test cases derived from seismic imaging and computational fluid dynamics applications.

Automatic Differentiation↗
DOE OSTI2026

Digital quantum magnetism on a trapped-ion quantum computer

Digital quantum matter—realized when discrete quantum gates approximate continuous time evolution—is susceptible to heating into chaotic, structureless states. If digitization errors are adequately suppressed, a long-lived transient regime of approximately energy-conserving dynamics can be observed on gate-based quantum computers. Conservation of energy, in turn, enables the exploration of a wide variety of complex behaviours observed in equilibrium systems, ranging from the non-trivial microscopic origins of thermalization itself to the stabilization of effective models hosting exotic emergent properties. Here we use Quantinuum’s H2 quantum computer to simulate digitized dynamics of the quantum Ising model, suppressing digitization errors well enough to observe thermalization on timescales that severely challenge classical simulation methods. Relaxation of an inhomogeneous state reveals an emergent hydrodynamics owing to approximate energy conservation and we compute the associated diffusion constant. By reprogramming our simulations to take place on a triangular lattice with periodic boundary conditions, we observe thermalization consistent with emergent gauge and topological constraints resulting from lattice frustration. Furthermore, our results were enabled by continued advances in two-qubit gate quality (native partial entangler fidelities of 99.94(1)%) and establish digital quantum computers as powerful tools for studying (effectively) continuous-time dynamics.

Information theory and computation↗
DOE OSTI2020

Two new SciDAC institutes promote mathematical tools and software technology for high-performance computing

Bigger is often said to be better, and the newest extreme-scale computers certainly are bigger, with millions of processing units. Moreover, the breadth of science performed on the U.S. Department of Energy (DOE) computing facilities is expanding, with new technology such as artificial intelligence emerging. These advances are exciting, creating new opportunities for scientific discovery; however, they also raise new questions for scientists who want to exploit these advances for tackling more complex problems. Will my simulation code be able to utilize the accelerators in extreme-scale computing systems? Can I take advantage of the deepening memory hierarchy in heterogeneous processors? Is there a way around bottlenecks caused by the widening ratio of peak floating-point operations per second to I/0 bandwidth? How can I manage my huge amounts of data effectively? Can I analyze data in situ, or must I transfer it to offline storage for later analysis? To address such questions, DOE announced that it is providing $57.5 million over the next five years for two multidisciplinary teams — FASTMath and RAPIDS2 — to develop new tools and techniques to harness supercomputers for scientific discovery. The teams, called SciDAC Institutes, are part of the Scientific Discovery through Advanced Computing program.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1998

Human-Centered Design of Human-Computer-Human Dialogs in Aerospace Systems

A series of ongoing research programs at Georgia Tech established a need for a simulation support tool for aircraft computer-based aids. This led to the design and development of the Georgia Tech Electronic Flight Instrument Research Tool (GT-EFIRT). GT-EFIRT is a part-task flight simulator specifically designed to study aircraft display design and single pilot interaction. ne simulator, using commercially available graphics and Unix workstations, replicates to a high level of fidelity the Electronic Flight Instrument Systems (EFIS), Flight Management Computer (FMC) and Auto Flight Director System (AFDS) of the Boeing 757/767 aircraft. The simulator can be configured to present information using conventional looking B757n67 displays or next generation Primary Flight Displays (PFD) such as found on the Beech Starship and MD-11.

Mitchell, Christine M.↗
DOE OSTI2018

Machine Detection of Enhanced Electromechanical Energy Conversion in PbZr 0.2 Ti 0.8 O 3 Thin Films

Many energy conversion, sensing, and microelectronic applications based on ferroic materials are determined by the domain structure evolution under applied stimuli. New hyperspectral, multidimensional spectroscopic techniques now probe dynamic responses at relevant length and time scales to provide an understanding of how these nanoscale domain structures impact macroscopic properties. Such approaches, however, remain limited in use because of the difficulties that exist in extracting and visualizing scientific insights from these complex datasets. Using multidimensional band-excitation scanning probe spectroscopy and adapting tools from both computer vision and machine learning, an automated workflow is developed to featurize, detect, and classify signatures of ferroelectric/ferroelastic switching processes in complex ferroelectric domain structures. This approach enables the identification and nanoscale visualization of varied modes of response and a pathway to statistically meaningful quantification of the differences between those modes. Lastly, among other things, the importance of domain geometry is spatially visualized for enhancing nanoscale electromechanical energy conversion.

36 MATERIALS SCIENCE↗
DOE OSTI2019

Development of Constitutive Relationship for Thermomechanical Processing of Al-SiC Composite Eliminating Deformation Heating

Constitutive equations are useful for computational or numerical tools in describing the thermomechanical behavior of Al/SiC composites to develop the lightweight component using bulk metal forming. In this study, the uniaxial compression test of powder metallurgy-based Al/7 vol.% SiCp composite samples in the temperature range of 250-500 °C and at the strain rates of 0.001, 0.007, 0.05, 0.3, 2.2 and 15 s{sup −1} was performed on a Gleeble-3800 thermomechanical simulator. An equation correlating actual (measured) temperature with the true stress in real time has been established for each of the strain rates. Further, the true stress was corrected by eliminating the effect of deformation heating using this equation based on the experimental observations. The temperature-corrected true stress data were then used for development of constitutive equations using the Arrhenius model, strain-compensated Arrhenius model and modified Johnson–Cook (m-JC) model. The material parameters in the m-JC model were calculated at different combinations of temperatures and strain rates. The established constitutive equations are validated with temperature-corrected true stress from the experiment. Further, these equations are verified with the experimental true stress that was obtained using different inputs of temperatures and strain rates in a compression test. The correlation coefficient (R) and absolute average relative error reflect the accuracy of constitutive models. The result indicates that the calculated true stress by the established strain-compensated Arrhenius model is in good agreement with that of experimentally measured true stress with a correlation coefficient of 0.996 and relative error of 3.83%.

36 MATERIALS SCIENCE↗
DOE OSTI2023

Stochastic Unit Commitment: Model Reduction via Learning

As weather-dependent renewable generation increases its share in the generation mix of most electric energy systems, a stochastic unit commitment becomes the natural day-ahead scheduling tool. However, such a tool is generally computationally intractable if a detailed uncertainty description is considered. Taking this into account, we proposed a learning method to make the stochastic unit commitment problem tractable. Here, recent advances in statistical learning and machine learning to address optimization problems can be advantageously applied to the rather intractable stochastic unit commitment problem. Considering these advances, we explore simple learning techniques to drastically reduce the size of a stochastic unit commitment problem without significantly altering its optimal solution. The considered stochastic unit commitment problem is formulated as a two-stage stochastic programming problem. The first stage represents commitment decisions, while the second one represents the operation conditions under different scenarios. Taking into account historical solved instances (or proxies for them), we reduce the size (measured by numbers of constraints and variables) of the stochastic unit commitment problem by (i) fixing unchanged binary variables and by (ii) eliminating inactive inequality constraints. Our numerical results show that the reduced problem generally requires significantly less time to solve while obtaining high-quality solutions, which are very close to or indistinguishable from the one obtained by solving the original problem. We use an Illinois 200-bus system to illustrate and characterize the performance of the proposed problem-reduction method.

42 ENGINEERING↗
DOE OSTI2020

Partners for life: building microbial consortia for the future

We report new technologies have allowed researchers to better design, build, and analyze complex consortia. These developments are fueling a wider implementation of consortium-based bioprocessing by leveraging synthetic biology, delivering on the field’s multitudinous promises of higher efficiencies, superior resiliency, augmented capabilities, and modular bioprocessing. Here we chronicle current progress by presenting a range of screening, computational, and biomolecular tools enabling robust population control, efficient division of labor, and programmatic spatial organization; furthermore, we detail corresponding advancements in areas including machine learning, biocontainment, and standardization. Additionally, we show applications in myriad sectors, including medicine, energy and waste sustainability, chemical production, agriculture, and biosensors. Concluding remarks outline areas of growth that will promote the utilization of complex community structures across the biotechnology spectrum.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2019

Multi-rate time integration on overset meshes

Overset meshes are an effective tool for the computational fluid dynamic simulation of problems with complex geometries or multiscale spatio-temporal features. When the maximum allowable timestep on one or more meshes is significantly smaller than on the remaining meshes, standard explicit time integrators impose inefficiencies for time-accurate calculations by requiring that all meshes advance with the smallest timestep. With the targeted use of multi-rate time integrators, separate meshes can be time-marched at independent rates to avoid wasteful computation while maintaining accuracy and stability. This work applies time-explicit multi-rate integrators to the simulation of the compressible Navier-Stokes equations discretized on overset meshes using summation-by-parts (SBP) operators and simultaneous approximation term (SAT) boundary conditions. We introduce a class of multi-rate Adams-Bashforth (MRAB) schemes that offer significant stability improvements and computational efficiencies for SBP-SAT methods. We present numerical results that confirm the efficacy of MRAB integrators, outline a number of implementation challenges, and demonstrate a reduction in computational cost enabled by MRAB. We also look at the use of our method in the setting of a large-scale distributed-memory parallel implementation where we discuss concerns involving load balancing and communication efficiency.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Dyn$\mathrm{AMO}$: Multi-agent reinforcement learning for dynamic anticipatory mesh optimization with applications to hyperbolic conservation laws

Here we introduce DynAMO, a reinforcement learning paradigm for Dynamic Anticipatory Mesh Optimization. Adaptive mesh refinement is an effective tool for optimizing computational cost and solution accuracy in numerical methods for partial differential equations. However, traditional adaptive mesh refinement approaches for time-dependent problems typically rely only on instantaneous error indicators to guide adaptivity. As a result, standard strategies often require frequent remeshing to maintain accuracy. In the DynAMO approach, multi-agent reinforcement learning is used to discover new local refinement policies that can anticipate and respond to future solution states by producing meshes that deliver more accurate solutions for longer time intervals. By applying DynAMO to discontinuous Galerkin methods for the linear advection and compressible Euler equations in two dimensions, we demonstrate that this new mesh refinement paradigm can outperform conventional threshold-based strategies while also generalizing to different mesh sizes, remeshing and simulation times, and initial conditions.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Investigations of Association Among Atmospheric Radionuclide Measurements

Large networks producing frequent atmospheric radionuclide measurements have additional power in characterizing and localizing radionuclide release events over the analysis done with four or fewer samples. However, adding unrelated samples to an analysis dilutes that advantage, unless models are extended to account for this complexity. A key steppingstone to obtaining network power is to select a group of related sample measurements that are associated with a release event. Such collections of measurements can be assembled by an analyst, or perhaps they can be selected by algorithm. The authors explore, using a year of atmospheric transport calculations and realistic sensor sensitivities, the potential for a computed radionuclide association tool.

Eslinger, Paul W.↗
DOE OSTI2021

Thermal Energy Transport in Oxide Nuclear Fuel

To efficiently capture the energy of the nuclear bond, advanced nuclear reactor concepts seek solid fuels that must withstand unprecedented temperature and radiation extremes. In these advanced fuels, thermal energy transport under irradiation is directly related to reactor performance as well as reactor safety. The science of thermal transport in nuclear fuel is a grand challenge as a result of both computational and experimental complexities. Here we provide a comprehensive review of thermal transport research on two actinide oxides: one currently in use in commercial nuclear reactors, uranium dioxide (UO 2 ), and one advanced fuel candidate material, thorium dioxide (ThO 2 ). In both materials, heat is carried by lattice waves or phonons. Crystalline defects caused by fission events effectively scatter phonons and lead to a degradation in fuel performance over time. Bolstered by new computational and experimental tools, researchers are now developing the foundational work necessary to accurately model and ultimately control thermal transport in advanced nuclear fuels. We begin by reviewing research aimed at understanding thermal transport in perfect single crystals. The absence of defects enables studies that focus on the fundamental aspects of phonon transport. Next, we review research that targets defect generation and evolution. Here the focus is on ion irradiation studies used as surrogates for damage caused by fission products. We end this review with a discussion of modeling and experimental efforts directed at predicting and validating mesoscale thermal transport in the presence of irradiation defects. While efforts in these research areas have been robust, challenging work remains in developing holistic tools to capture and predict thermal energy transport across widely varying environmental conditions.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2025

Frontiers of Ionic Liquids in Carbon Dioxide Separation and Valorization

Ionic liquids (ILs) have emerged as highly tunable sorbents and membranes for gas separation, especially in the purification of CO 2 -containing gas streams such as air, natural gas, biogas, and syngas. Their negligible volatility, high thermal stability, and chemical versatility position them as promising alternatives to conventional amine and alkaline metal derivative-based systems, effectively addressing key challenges such as volatility, stability, and high regeneration energy. Here, this Review explores IL-derived systems for CO 2 -related gas separation across dense, porous, and supported categories. At the dense liquid level, we discuss strategies for tailoring IL properties to optimize CO 2 sorption, focusing on the correlation between IL-CO 2 interaction strength, uptake capacity, and regeneration energy. Key advancements in carbon capture, including amino-functionalized (AILs) and superbase-derived ILs (SILs), are highlighted, along with strategies such as chemical structure engineering, multiple binding site integration, alternative driving force exploration, and stability enhancement. Then, the porous liquids (PLs) scale focuses on the emerging field integrating IL properties with permanent porosity engineering, spanning ultramicropores (<5 Å) to macropores (around 100 nm). These innovations improve gas uptake capacity, accelerate transport kinetics, introduce the gating effect, and enable the coexistence of active sites with antagonistic properties within a single IL medium. At the supported IL scale, the discussion shifts to IL- and ionic pair-modified sorbents and membranes, emphasizing the modulation of cations and anions, confinement effects from porous supports, and the IL–interface interaction to enhance CO 2 separation performance, particularly in diluted gas streams. Beyond separation, this Review highlights IL-based integrated processes for CO 2 capture and conversion into value-added chemicals via thermocatalytic, electrocatalytic, and photocatalytic pathways. At each scale, advanced computational and experimental tools for IL design are also discussed, providing insights into stability enhancement, sorption efficiency, and process integration. The Review concludes by addressing existing challenges and outlining future directions for IL-driven innovations in gas separation technologies.

Qiu, Liqi [Univ. of Tennessee, Knoxville, TN (Unit↗
DOE OSTI2023

Automated Reaction Kinetics of Gas-Phase Organic Species over Multiwell Potential Energy Surfaces

Automation of rate-coefficient calculations for gas-phase organic species became possible in recent years and has transformed how we explore these complicated systems computationally. Kinetics workflow tools bring rigor and speed and eliminate a large fraction of manual labor and related error sources. In this paper we give an overview of this quickly evolving field and illustrate, through five detailed examples, the capabilities of our own automated tool, KinBot. Here we bring examples from combustion and atmospheric chemistry of C-, H-, O-, and N-atom-containing species that are relevant to molecular weight growth and autoxidation processes. The examples shed light on the capabilities of automation and also highlight particular challenges associated with the various chemical systems that need to be addressed in future work.

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

Revealing the Structure of Single Cobalt Sites in Carbon Nitride for Photocatalytic CO 2 Reduction

Single Co 2+ sites in graphitic carbon nitride (C 3 N 4 ) have demonstrated excellent activity and selectivity in photocatalytic CO 2 reduction. In this work, we combine computational and spectroscopic tools, including X-ray absorption spectroscopy, to probe the structure of such single Co 2+ sites. Our results indicate that the Co 2+ sites exist in the Co–N 2+2 coordination at the edges of C 3 N 4 flakes. This mode of coordination is further supported by experimental results obtained using single Co 2+ sites in C 3 N 4 materials treated with NH 3 , which contain more edge sites than untreated C 3 N 4 . In our experimental observations, doping C 3 N 4 with carbon is found to be important for the photocatalytic properties of the single Co 2+ sites. Here, a simplified model is proposed to explain the origin of the observed enhancement effect of C doping. In this model, the presence of C dopant near the metal centers results in shorter Co–N bond length and stronger Co–N binding energy. In addition to enhanced light absorption and charge separation in C-doped C 3 N 4 , the stronger Co–N binding upon C doping likely contributes to the improved catalytic properties of the single Co 2+ sites.

14 SOLAR ENERGY↗
DOE OSTI2026

Vision and Development of a Design, Implementation, and Verification Automation (DIVA) Software Platform for DNA Construction

Abstract DNA construction, while a prerequisite to many biological endeavors, is often a time-consuming distraction from an individual’s primary research objectives. We envisioned that with the right software infrastructure and cultural mindset, a single person could execute in parallel the batched DNA construction tasks of an entire research institute, at scales realizing efficiency gains through process and laboratory automation. In pursuit of this vision, we developed the Design, Implementation, and Verification Automation (DIVA) software platform. DIVA’s web interface enables researchers to design DNA constructs (using visual biological computer-aided design tools and biological parts repositories), submit designs for construction to dedicated staff, and track DNA construction as it progresses. DIVA supports the dedicated staff through the DNA construction process and records both successful and unsuccessful attempts toward improving the overall process. The platform is publicly available at public-diva.jbei.org and its open-source code through github.com/JBEI/DIVA.

Plahar, Hector [DOE Agile BioFoundry , , ,; DOE Jo↗
DOE OSTI2023

Measurement of the axial vector form factor from antineutrino–proton scattering

Scattering of high energy particles from nucleons probes their structure, as was done in the experiments that established the non-zero size of the proton using electron beams. The use of charged leptons as scattering probes enables measuring the distribution of electric charges, which is encoded in the vector form factors of the nucleon. Scattering weakly interacting neutrinos gives the opportunity to measure both vector and axial vector form factors of the nucleon, providing an additional, complementary probe of their structure. The nucleon transition axial form factor, F A , can be measured from neutrino scattering from free nucleons, ν μ n → μ – p and ν¯ μ p → μ + n , as a function of the negative four-momentum transfer squared (Q 2 ). Up to now, FA(Q 2 ) has been extracted from the bound nucleons in neutrino–deuterium scattering, which requires uncertain nuclear corrections. Here we report the first high-statistics measurement, to our knowledge, of the ν¯ μ p → μ + n cross-section from the hydrogen atom, using the plastic scintillator target of the MINERvA experiment, extracting F A from free proton targets and measuring the nucleon axial charge radius, r A , to be 0.73 ± 0.17 fm. The antineutrino–hydrogen scattering presented here can access the axial form factor without the need for nuclear theory corrections, and enables direct comparisons with the increasingly precise lattice quantum chromodynamics computations. Finally, the tools developed for this analysis and the result presented are substantial advancements in our capabilities to understand the nucleon structure in the weak sector, and also help the current and future neutrino oscillation experiments to better constrain neutrino interaction models.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

GeSn-on-GaAs with photoconductive carrier lifetime >400 ns: role of substrate orientation and atomistic simulation

Group IV GeSn quantum material finds application in electronics and silicon-compatible photonics. Synthesizing these materials with low defect density and high carrier lifetime is a potential challenge due to lattice mismatch induced defects and tin segregation at higher growth temperature. Recent advancements in the growth of these GeSn materials on Si, Ge, GaAs, and with substrate orientations, demonstrated different properties using epitaxial and chemical deposition methods. This article addresses the effect of GaAs substrate orientation and misorientation on the materials’ properties and carrier lifetimes in epitaxial Ge 0.94 Sn 0.06 layers. With starting GaAs substrates of (100)/2°, (100)/6°, (110) and (111)A orientations, Ge 0.94 Sn 0.06 epitaxial layers were grown with an intermediate Ge buffer layer by molecular beam epitaxy and analyzed by several analytical tools. X-ray analysis displayed good crystalline quality, and Raman spectroscopy measurements showed blue shifts in phonon wavenumber due to biaxial compressive strain in Ge 0.94 Sn 0.06 epilayers. Cross-sectional transmission electron microscopy analysis confirmed the defect-free heterointerface of Ge 0.94 Sn 0.06 /Ge/GaAs heterostructure. Minority carrier lifetimes of the unintentionally doped n-type Ge 0.94 Sn 0.06 epilayers displayed photoconductive carrier lifetimes of >400 ns on (100)/6°, 319 ns on (100)/2°, and 434 ns on (110) GaAs substrate at 1500 nm excitation wavelength. On the other hand, Ge 0.94 Sn 0.06 layer showed poor carrier lifetime on (111)A GaAs substrate. The observed differences in carrier lifetimes were correlated with the formation energy of the Ge on (100)/6° and (100)/2° GaAs heterointerface using Stillinger–Weber interatomic potential model-based atomistic simulation with different heterointerfacial bonding by Synopsys QuantumATK tool. Total energy computation of 6280-atom Ge/GaAs supercell on (100)/6° leads to lower formation energy than (100)/2°, making it more thermodynamically stable. Hence, the growth of the GeSn/III–V material system using misoriented (100) substrates that are more thermodynamically stable will enhance the performances of optoelectronic devices.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗