Search NASA⌕ Search

SEARCH · Search NASA

Results for “differentiable programming”

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 883 records · Page 49
All sourcesNASA NTRSDOE OSTI
NASA NTRS1981

Meteorological lidar developments

A research program on remote optical measurements of humidity and temperature is summarized, and new results are given of such measurements as well as new data on the near IR absorption spectrum of H2O. The basic atmospheric technique is differential absorption lidar (DIAL) using narrow band, tunable dye lasers. Approximate wavelengths are 720, 820, 940 nm (H2O) and 690, 760 nm (O2; temperature). The requisite absorption line strengths and widths are measured in a controlled environment by means of grating spectroscopy and tunable lasers. Prospects for routine lidar meteorology, even from airplane and satellite platforms, appear excellent in several important applications; the conditions and the optical properties of the atmosphere can be obtained remotely by these means.

Wilkerson, T. D.↗
NASA NTRS1982

Effect of suspension hypokinesia/hypodynamia on glucocorticoid receptor levels in rat hindlimb muscles

Ilyina-Kakueva et. al. (1976) conducted an investigation in which rats were exposed to weightlessness during the Cosmos program. An examination of the rats revealed a marked atrophy of hindlimb muscles. A suspension model has been developed to simulate these weightlessness-induced alterations. In agreement with the Cosmos studies, suspension hypokinesia/hypodynamia (H/H) results in differential atrophy of hindlimb muscles in rats. Recent studies have demonstrated elevated glucocorticoid receptor numbers in the gastrocnemius muscle following immobilization and denervation. One of the objectives of the present investigation was to evaluate the effect of suspension H/H on glucocorticoid receptor levels in rat hindlimb muscles. Another objective was to ascertain whether altered receptor levels reflect the differential nature of hindlimb muscle atrophy during suspension H/H. The obtained findings suggest that differential muscle atrophy resulting from H/H may result from differential alterations of glucocorticoid receptor levels.

Steffen, J. M.↗
NASA NTRS1985

Applications of high pressure differential scanning calorimetry to aviation fuel thermal stability research

High pressure differential scanning calorimetry (DSC) was studied as an alternate method for performing high temperature fuel thermal stability research. The DSC was used to measure the heat of reaction versus temperature of a fuel sample heated at a programmed rate in an oxygen pressurized cell. Pure hydrocarbons and model fuels were studied using typical DSC operating conditions of 600 psig of oxygen and a temperature range from ambient to 500 C. The DSC oxidation onset temperature was determined and was used to rate the fuels on thermal stability. Kinetic rate constants were determined for the global initial oxidation reaction. Fuel deposit formation is measured, and the high temperature volatility of some tetralin deposits is studied by thermogravimetric analysis. Gas chromatography and mass spectrometry are used to study the chemical composition of some DSC stressed fuels.

Neveu, M. C.↗
NASA NTRS1986

Elliptic generation of composite three-dimensional grids about realistic aircraft

An elliptic method for generating composite grids about realistic aircraft is presented. A body-conforming grid is first generated about the entire aircraft by the solution of Poisson's differential equation. This grid has relatively coarse spacing, and it covers the entire physical domain. At boundary surfaces, cell size is controlled and cell skewness is nearly eliminated by inhomogeneous terms, which are found automatically by the program. Certain regions of the grid in which high gradients are expected, and which map into rectangular solids in the computational domain, are then designated for zonal refinement. Spacing in the zonal grids is reduced by adding points with a simple, algebraic scheme. Details of the grid generation method are presented along with results of the present application, a wing-body configuration based on the F-16 fighter aircraft.

Sorenson, R. L.↗
NASA NTRS1986

Elliptic generation of composite three-dimensional grids about realistic aircraft

An elliptic method for generating composite grids about realistic aircraft is presented. A body-conforming grid is first generated about the entire aircraft by the solution of Poisson's differential equation. This grid has relatively coarse spacing, and it covers the entire physical domain. At boundary surfaces, cell size is controlled and cell skewness is nearly eliminated by inhomogeneous terms, which are found automatically by the program. Certain regions of the grid in which high gradients are expected, and which map into rectangular solids in the computational domain, are then designated for zonal refinement. Spacing in the zonal grids is reduced by adding points with a simple, algebraic scheme. Details of the grid-generation method are presented along with results of the present application, a wing/body configuration based on the F-16 fighter aircraft.

Sorenson, Reese L.↗
NASA NTRS1991

System monitoring and diagnosis with qualitative models

A substantial foundation of tools for model-based reasoning with incomplete knowledge was developed: QSIM (a qualitative simulation program) and its extensions for qualitative simulation; Q2, Q3 and their successors for quantitative reasoning on a qualitative framework; and the CC (component-connection) and QPC (Qualitative Process Theory) model compilers for building QSIM QDE (qualitative differential equation) models starting from different ontological assumptions. Other model-compilers for QDE's, e.g., using bond graphs or compartmental models, have been developed elsewhere. These model-building tools will support automatic construction of qualitative models from physical specifications, and further research into selection of appropriate modeling viewpoints. For monitoring and diagnosis, plausible hypotheses are unified against observations to strengthen or refute the predicted behaviors. In MIMIC (Model Integration via Mesh Interpolation Coefficients), multiple hypothesized models of the system are tracked in parallel in order to reduce the 'missing model' problem. Each model begins as a qualitative model, and is unified with a priori quantitative knowledge and with the stream of incoming observational data. When the model/data unification yields a contradiction, the model is refuted. When there is no contradiction, the predictions of the model are progressively strengthened, for use in procedure planning and differential diagnosis. Only under a qualitative level of description can a finite set of models guarantee the complete coverage necessary for this performance. The results of this research are presented in several publications. Abstracts of these published papers are presented along with abtracts of papers representing work that was synergistic with the NASA grant but funded otherwise. These 28 papers include but are not limited to: 'Combined qualitative and numerical simulation with Q3'; 'Comparative analysis and qualitative integral representations'; 'Model-based monitoring of dynamic systems'; 'Numerical behavior envelopes for qualitative models'; 'Higher-order derivative constraints in qualitative simulation'; and 'Non-intersection of trajectories in qualitative phase space: a global constraint for qualitative simulation.'

Kuipers, Benjamin↗
NASA NTRS2008

Development and Evaluation of a High Sensitivity DIAL System for Profiling Atmospheric CO2

A ground-based 2-micron Differential Absorption Lidar (DIAL) CO2 profiling system for atmospheric boundary layer studies and validation of space-based CO2 sensors is being developed and tested at NASA Langley Research Center as part of the NASA Instrument Incubator Program. To capture the variability of CO2 in the lower troposphere a precision of 1-2 ppm of CO2 (less than 0.5%) with 0.5 to 1 km vertical resolution from near surface to free troposphere (4-5 km) is one of the goals of this program. In addition, a 1% (3 ppm) absolute accuracy with a 1 km resolution over 0.5 km to free troposphere (4-5 km) is also a goal of the program. This DIAL system leverages 2-micron laser technology developed under NASA's Laser Risk Reduction Program (LRRP) and other NASA programs to develop new solid-state laser technology that provides high pulse energy, tunable, wavelength-stabilized, and double-pulsed lasers that are operable over pre-selected temperature insensitive strong CO2 absorption lines suitable for profiling of lower tropospheric CO2. It also incorporates new high quantum efficiency, high gain, and relatively low noise phototransistors, and a new receiver/signal processor system to achieve high precision DIAL measurements. This presentation describes the capabilities of this system for atmospheric CO2 and aerosol profiling. Examples of atmospheric measurements in the lidar and DIAL mode will be presented.

Ismail, Syed↗
NASA NTRS2009

Ablative Thermal Response Analysis Using the Finite Element Method

A review of the classic techniques used to solve ablative thermal response problems is presented. The advantages and disadvantages of both the finite element and finite difference methods are described. As a first step in developing a three dimensional finite element based ablative thermal response capability, a one dimensional computer tool has been developed. The finite element method is used to discretize the governing differential equations and Galerkin's method of weighted residuals is used to derive the element equations. A code to code comparison between the current 1-D tool and the 1-D Fully Implicit Ablation and Thermal Response Program (FIAT) has been performed.

Dec John A.↗
NASA NTRS1971

Study program of NASA/GSFC weld quality monitor system

The Weld Quality Monitor has provided online control through the application of linear transducers. The electronic systems must be upgraded to increase confidence level required in production. The Weld Quality Monitor has been used with a recent model solid state power supply to evaluate ability to differentiate between sound and defective weld joints. The Weld Quality Monitor has been evaluated on Dumet and Kovar to interconnect materials Nickel and Alloy 180 in weld joints used on microelectronic module fabrication. Distinct separation was achieved between low strength welds and sound welds by the Quality Monitor. Evaluation performed indicates a drift level at less than 2 percent on a series of 50 consecutive welds. Operation under shop conditions identified need for controlled electrode impact. This was achieved with pneumatic actuation.

Hutchinson, W. R.↗
NASA NTRS2008

Expressions Module for the Satellite Orbit Analysis Program

The Expressions Module is a software module that has been incorporated into the Satellite Orbit Analysis Program (SOAP). The module includes an expressions- parser submodule built on top of an analytical system, enabling the user to define logical and numerical variables and constants. The variables can capture output from SOAP orbital-prediction and geometric-engine computations. The module can combine variables and constants with built-in logical operators (such as Boolean AND, OR, and NOT), relational operators (such as >, <, or =), and mathematical operators (such as addition, subtraction, multiplication, division, modulus, exponentiation, differentiation, and integration). Parentheses can be used to specify precedence of operations. The module contains a library of mathematical functions and operations, including logarithms, trigonometric functions, Bessel functions, minimum/ maximum operations, and floating- point-to-integer conversions. The module supports combinations of time, distance, and angular units and has a dimensional- analysis component that checks for correct usage of units. A parser based on the Flex language and the Bison program looks for and indicates errors in syntax. SOAP expressions can be built using other expressions as arguments, thus enabling the user to build analytical trees. A graphical user interface facilitates use.

Edmonds, Karina↗
DOE OSTI2025

Quantum Computing Strategy 2026

Quantum computing (QC) is a rapidly maturing technology with the potential for revolutionary impacts on stockpile stewardship science and national security. Recent developments in fault-tolerant architectures have compressed vendor roadmaps, and predictions of a production-ready quantum computer by the mid-2030s are becoming increasingly credible. This strategy provides a roadmap for integrating QC into the Advanced Simulation and Computing (ASC) program by investing in four strategic focus areas: 1. Develop Capabilities in Mission-Relevant Quantum Applications: ASC will prioritize developing quantum-ready applications in mission areas that have shown significant promise for quantum advantage, including simulations of materials in extreme environments, nuclear dynamics, solving linear and nonlinear partial differential equations, and uncertainty quantification. These applications directly support stockpile stewardship science and modernization objectives. 2. Conduct R&D in Algorithms, Software, and Hardware: Sustained research into quantum algorithms, robust software tools, and quantum hardware is essential. ASC will develop efficient quantum algorithms; invest in quantum compilers, debuggers, and performance tools; and explore specialized quantum hardware tailored to NNSA’s unique requirements. 3. Engage with Vendors and Partners: Early and active collaboration with commercial quantum hardware vendors and academic partners is critical. Through testbeds, co-design agreements, and quantum demonstration facilities, ASC will influence hardware design, gain early access to emerging technologies, and ensure that quantum platforms evolve to meet mission needs. 4. Build Knowledge, Experience, and Workforce: Expanding and upskilling the quantum-trained workforce is essential to long-term success. This includes hiring, internal training, university outreach, and postdoctoral support to ensure ASC maintains the expertise required to operate, program, and integrate quantum systems as they become available. While quantum computing will never replace classical computing, it has the potential to solve certain problems with speed and accuracy that would be unachievable using any conceivable classical high-performance computing (HPC) system. By investing strategically in QC, ASC will help propel the emergent QC industry, maintain U.S. technological leadership, ensure mission readiness, and position itself to rapidly adopt quantum technologies as they mature.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Impact of Higher Fidelity Design Iterations on Critical System Criteria

Nuclear criticality experiments are effective at informing the performance of nuclear data libraries across many applications. This work explores the implications of refining critical experiment MCNP models from their low fidelity optimization phase to penultimate neutronic models. Specifically, this work is focused on two series of plutonium fueled experiments funded through internal programs at Los Alamos National Laboratory building off previous efforts under the EUCLID (Experiments Underpinned by Computational Learning for Improvements in Nuclear Data) collaboration. Thales, the first of the two collaborations, is a fast spectrum Ta-reflected plutonium experiment to support operations at PF-4. The second experiment are twin configurations designed to target the intermediate energy cross sections in 239 Pu. Motivation for this experiment stems from the PARallel Approach of Differential and InteGral Measurements (PARADIGM) collaboration which hopes to achieve a significant reduction in 239 Pu cross section uncertainties in the intermediate region.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1987

A research program in advanced information systems

Topics addressed cover: identification of large space structure dynamics; special-purpose architectures for computational fluid dynamics; fault-tolerant processor architectures; data flow techniques; software specification and verification tools; management of software development; software environment for concurrent computing; and parallel algorithms and architectures for the solution of partial differential equations.

Vandervelde, Wallace E.↗
DOE OSTI2022

Pyomo.DOE: An open-source package for model-based design of experiments in Python

Predictive mathematical models are a cornerstone of science and engineering. Yet selecting, calibrating, and validating said science-based models often remains an art in practice. Model-based design of experiments (MBDoE) provides a systematic framework to maximize information gain from experiments while minimizing time and resource costs. But MBDoE remains limited to niche application areas, in part because practitioners must integrate expertise in statistics, computational optimization, and modeling. To help reduce this barrier, we introduce Pyomo.DOE, an open-source package for MBDoE. Pyomo.DOE uses a nonlinear sensitivity analysis code k_aug to quickly approximate the Fisher information matrix and leverages a new stochastic programming abstraction. We demonstrate Pyomo.DOE with the first application of MBDoE to fixed-bed breakthrough experiments, which highlights the power of Pyomo.DOE to quantify the value of experimental modifications a priori for large-scale partial differential-algebraic equation (PDAE) models. Here we also provide a mathematical primer on MBDoE targeted at general chemical engineers.

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

A scalable design of experiments framework for optimal sensor placement

Here, we present a scalable design of an experiments framework for sensor placement in systems described by partial differential equations (PDEs). In particular, we aim to compute optimal sensor locations by minimizing the uncertainty of parameters estimated from Bayesian inverse problems and where the system. The resulting problem is a computationally intractable mixed-integer nonlinear program constrained by PDEs. We approach this problem with two heuristics used in compressed sensing and optimal control literature: a sparsity-inducing approach and a sum-up rounding approach. We also investigate metrics to guide the design of experiments (the total flow variance and the A-optimal design criterion) and analyze the effect of different noise structures (white and colored). Using an application in natural gas pipelines, we conclude that the sum-up rounding approach approach gives the best results and produces shrinking gaps with increasing mesh resolution. We also observe that convergence for the white noise measurement error case is slower than for the colored noise case. For A-optimal design, the solution is close to a uniform distribution of sensors along the pipeline while for the flow variance design the distribution is unstructured.

42 ENGINEERING↗
DOE OSTI2014

Precision Studies of Hadronic and Electro-Weak Interactions for Collider Physics (Final Report)

This project was directed toward developing precision computational tools for proton collisions at the Large Hadron Collider, focusing primarily on electroweak boson production and electroweak radiative corrections. The programs developed under this project carried the name HERWIRI, for High Energy Radiation With Infra-Red Improvements, and are the first steps in an ongoing program to develop a set of hadronic event generators based on combined QCD and QED exponentiation. HERWIRI1 applied these improvements to the hadronic shower, while HERWIRI2 will apply the electroweak corrections from the program KKMC developed for electron-positron scattering to a hadronic event generator, including exponentiated initial and final state radiation together with first-order electroweak corrections to the hard process. Some progress was also made on developing differential reduction techniques for hypergeometric functions, for application to the computation of Feynman diagrams.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1992

Inclusion of transverse shear deformation in exact buckling and vibration analysis of composite plate assemblies

The problem considered is the development of the necessary plate stiffnesses for use in a general purpose program for buckling and vibration of composite plate assemblies. The required stiffnesses are for the assumption of sinusoidal response along the plate length with transverse shear included. The method is based on the exact solution of the plate differential equations for a composite laminate having fully populated A, B, and D matrices which leads to a differential equation of tenth order.

Anderson, Melvin S.↗