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 307 records · Page 17

Converting from DDOR SASF to APF

A computer program called ddor_sasf2apf converts delta-door (delta differential one-way range) request from an SASF (spacecraft activity sequence file) format to an APF (apgen plan file) format for use in the Mars Reconnaissance Orbiter (MRO) missionplanning- and-sequencing process. The APF is used as an input to APGEN/AUTOGEN in the MRO activity- planning and command-sequencegenerating process to sequence the delta-door (DDOR) activity. The DDOR activity is a spacecraft tracking technique for determining spacecraft location. The input to ddor_sasf2apf is an input request SASF provided by an observation team that utilizes DDOR. ddor_sasf2apf parses this DDOR SASF input, rearranging parameters and reformatting the request to produce an APF file for use in AUTOGEN and/or APGEN. The benefit afforded by ddor_sasf2apf is to enable the use of the DDOR SASF file earlier in the planning stage of the command-sequence-generating process and to produce sequences, optimized for DDOR operations, that are more accurate and more robust than would otherwise be possible.

Gladden, Roy E.↗

PURE: Scalable Phase Unwrapping with Spatial Redundant Arcs

Phase unwrapping is a key problem in many coherent imaging systems, such as syntheticapertureradar(SAR)interferometry. Ageneralformulationforredundant integration of finite differences for phase unwrapping (Costantini et al., 2010) was shown to produce a more reliable solution by exploiting redundant differential estimates. However, this technique requires a commercial linear programming solver for large-scale problems. For a linear cost function, we propose a method based on Dual Decomposition that breaks the given problem defined over a nonplanar graph into tractable sub-problems over planar subgraphs. We also propose a decomposition technique that exploits the underlying graph structure for solving thesub-problemsefficientlyandguaranteesasymptoticconvergencetotheglobally optimal solution. The experimental results demonstrate that the proposed approach is comparable to the existing state-of-the-art methods in terms of the estimate with a better runtime and memory footprint.

Lanka, Ravi↗

End-to-end differentiable digital twin for the IOTA/FAST facility

As the design complexity of modern accelerators grows, there is more interest in using controllable-fidelity simulations that have fast execution time or can yield additional insights about accelerator state. One notable example of additional information are gradients of physical observables with respect to design parameters produced by differentiable simulations. The IOTA/FAST facility has recently begun a program to implement and experimentally validate an end-to-end digital twin to serve as a virtual accelerator test stand, allowing for rapid prototyping of new software and experiments with minimal beam time costs. In this contribution we will discuss our plans and progress. Specifically, we will cover the selection and benchmarking of both physics and ML codes for linac and ring simulation, the development of generic interfaces between surrogate and physics-based sections, and presenting the control interface as either a deterministic event loop or a fully asynchronous EPICS soft input/output controller. We will also discuss challenges in model calibration and uncertainty quantification, as well as future plans to implement larger proton accelerators like PIPII and Booster.

Kuklev, N. [Fermilab]↗

GYC: A program to compute the turbulent boundary layer on a rotating cone

A computer program, GYC, which is capable of computing the properties of a compressible turbulent boundary layer on a rotating axisymmetric cone-cylinder body, according to the principles of invariant modeling was studied. The program is extended to include the calculation of the turbulence scale by a differential equation. GYC is in operation on the CDC-7600 computer and has undergone several corrections and improvements as a result of the experience gained. The theoretical basis for the program and the method of implementation, as well as information on its operation are given.

Sullivan, R. D.↗

Implementation of an experimental program to investigate the performance characteristics of OMEGA navigation

A theoretical formulation of differential and composite OMEGA error is presented to establish hypotheses about the functional relationships between various parameters and OMEGA navigational errors. Computer software developed to provide for extensive statistical analysis of the phase data is described. Results from the regression analysis used to conduct parameter sensitivity studies on differential OMEGA error tend to validate the theoretically based hypothesis concerning the relationship between uncorrected differential OMEGA error and receiver separation range and azimuth. Limited results of measurement of receiver repeatability error and line of position measurement error are also presented.

Baxa, E. G., Jr.↗

Differential scattering cross sections for collisions of 0.5-, 1.5-, and 5.0-keV helium atoms with He, H2, N2, and O2

This paper reports the first results of an experimental program established to provide cross section data for use in modeling various atmospheric processes. Absolute cross sections, differential in the scattering angle, have been measured for collisions of 0.5-, 1.5-, and 5.0-keV helium atoms with He, H2, N2, and O2 at laboratory scattering angles between 0.1 deg and 5 deg. The results are the sums of cross sections for elastic and inelastic scattering of helium atoms; charged collision products are not detected. Integration of the differential cross section data yields integral cross sections consistent with measurements by other workers. The apparatus employs a position-sensitive detector for both primary and scattered particles and uses a short target cell with a large exit aperture to ensure a simple and well-defined apparatus geometry.

Newman, J. H.↗

Programming effort analysis of the ELLPACK language

ELLPACK is a problem statement language and system for elliptic partial differential equations which is implemented by a FORTRAN preprocessor. ELLPACK's principal purpose is as a tool for the performance evaluation of software. However, it is used here as an example with which to study the programming effort required for problem solving. It is obvious that problem statement languages can reduce programming effort tremendously; the goal is to quantify this somewhat. This is done by analyzing the lengths and effort (as measured by Halstead's software science technique) of various approaches to solving these problems.

Rice, J. R.↗

Status of Research Activities on LVDTs: Modeling and Simulation Development and Performance Characterization of Commercial LVDTs

FY-22 research focused on two major areas. The first area was modeling and simulation with linked testing that will advance the Linear Variable Differential Transformers (LVDT) technology for use by stakeholders requiring LVDTs in upcoming irradiation tests. The second area focused on testing LVDTs purchased from U.S. suppliers that were investigated in FY-21. These cross-cutting development activities will ensure stakeholders have the current state-of-the-art LVDT-based technologies for deployment in future irradiation tests. Two stand-alone reports are included in the appendixes. The purpose of this report is to provide a convenient body of work to access the reports and to evaluate the data and conclusions provided. Appendix A, “Testing of the RDP Translation Transducer,” contains a complete evaluation of an RDP Electrosense linear transducer that has the capability of replicating the form, fit, and function of LVDTs currently being used at Idaho National Laboratory (INL). Appendix B is an extract from the report, “Advanced Sensors and Instrumentation Program at Boise State University (BSU), August 2022, Linear Variable Differential Transformers.” This report contains modeling and testing results conducted at BSU and INL.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Validation and Evaluation Uses of Quasi-Differential High-Energy Scattering Data [Slides]

This presentation covers the validation and evaluation uses of quasi-differential high-energy scattering data. This lecture covers motivation behind this work. The lecture then touches on quasi-differential for evaluation, quasi-differential for covariance, and quasi-differential for validation. The presentation concludes with a summary.

97 MATHEMATICS AND COMPUTING↗

Some path-following techniques for solution of nonlinear equations and comparison with parametric differentiation

Some path-following techniques are described and compared with other methods. Use of multipurpose techniques that can be used at more than one stage of the path-following computation results in a system that is relatively simple to understand, program, and use. Comparison of path-following methods with the method of parametric differentiation reveals definite advantages for the path-following methods. The fact that parametric differentiation has found a broader range of applications indicates that path-following methods have been underutilized.

Barger, R. L.↗

Maximum likelihood identification of aircraft parameters with unsteady aerodynamic modelling

A simplified aerodynamic force model based on the physical principle of Prandtl's lifting line theory and trailing vortex concept has been developed to account for unsteady aerodynamic effects in aircraft dynamics. Longitudinal equations of motion have been modified to include these effects. The presence of convolution integrals in the modified equations of motion led to a frequency domain analysis utilizing Fourier transforms. This reduces the integro-differential equations to relatively simple algebraic equations, thereby reducing computation time significantly. A parameter extraction program based on the maximum likelihood estimation technique is developed in the frequency domain. The extraction algorithm contains a new scheme for obtaining sensitivity functions by using numerical differentiation. The paper concludes with examples using computer generated and real flight data

Keskar, D. A.↗

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↗

Progress of 2-micron Detectors for Application to Lidar Remote Sensing

AlGaAsSb/InGaAsSb heterojunction phototransistors were developed at Astropower, Inc under Laser Risk Reduction Program (LRRP) for operation in the 2-micron region. These phototransistors were optimized for 2-micron detection and have high quantum efficiency (>60%), high gain (>10(exp 3)) and low noise-equivalent- power (<5x10(exp -14) W/Hz), while operating at low bias voltage. One of these phototransistors was tested in lidar mode using the 2-micron CO2 Differential Absorption Lidar (DIAL) system currently under development under the Instrument Incubator Program (IIP) at NASA Langley. Lidar measurements included detecting atmospheric structures consisting of thin clouds in the mid-altitude and near-field boundary layer. These test results are very promising for the application of phototransistors for the two-micron lidar remote sensing. In addition, HgCdTe avalanche photodiodes (APD) acquired from Raytheon were used in atmospheric testing at 2-microns. A discussion of these measurements is also presented in this paper.

Abedin, M. N.↗

Poisson_CCD: A dedicated simulator for modeling CCDs

A dedicated simulator, Poisson_CCD, has been constructed which models astronomical CCDs by solving Poisson’s equation numerically and simulating charge transport within the CCD. The potentials and free carrier densities within the CCD are self-consistently solved for, giving realistic results for the charge distribution within the CCD storage wells. The simulator has been used to model the CCDs that are being used to construct the LSST digital camera. The simulator output has been validated by comparing its predictions with several different types of CCD measurements, including astrometric shifts, brighter-fatter induced pixel–pixel covariances, saturation effects, and diffusion spreading. The code is open source and freely available.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

FSEN Reaction Rate Calculations in MCNP [Slides]

FSEN provides an opportunity to quickly calculate sensitivities to orthogonal measurements during integral experiments. Toy problem has been deployed to expand on verification of FSEN for reaction rate ratios. While there is decent agreement, further investigation must be done on multiplication’s impact on sensitivity vector.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

CRISPR/Cas9 Directed Reprogramming of iPSC for Accelerated Motor Neuron Differentiation Leads to Dysregulation of Neuronal Fate Patterning and Function

Neurodegeneration causes a significant disease burden and there are few therapeutic interventions available for reversing or slowing the disease progression. Induced pluripotent stem cells (iPSCs) hold significant potential since they are sourced from adult tissue and have the capacity to be differentiated into numerous cell lineages, including motor neurons. This differentiation process traditionally relies on cell lineage patterning factors to be supplied in the differentiation media. Genetic engineering of iPSC with the introduction of recombinant master regulators of motor neuron (MN) differentiation has the potential to shorten and streamline cell developmental programs. We have established stable iPSC cell lines with transient induction of exogenous LHX3 and ISL1 from the Tet-activator regulatory region and have demonstrated that induction of the transgenes is not sufficient for the development of mature MNs in the absence of neuron patterning factors. Comparative global transcriptome analysis of MN development from native and Lhx-ISL1 modified iPSC cultures demonstrated that the genetic manipulation helped to streamline the neuronal patterning process. However, leaky gene expression of the exogenous MN master regulators in iPSC resulted in the premature activation of genetic pathways characteristic of the mature MN function. Dysregulation of metabolic and regulatory pathways within the developmental process affected the MN electrophysiological responses.

59 BASIC BIOLOGICAL SCIENCES↗