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

CSI flight experiment projects of the Naval Research Laboratory

The Naval Research Laboratory (NRL) is involved in an active program of CSI flight experiments. The first CSI flight experiment of the Naval Research Laboratory, the Low Power Atmospheric Compensation Experiment (LACE) dynamics experiment, has successfully measured vibrations of an orbiting satellite with a ground-based laser radar. The observations, made on January 7, 8 and 10, 1991, represent the first ever measurements of this type. In the tests, a narrowband heterodyne CO2 laser radar, operating at a wavelength of 10.6 microns, detected vibration induced differential-Doppler signatures of the LACE satellite. Power spectral densities of forced oscillations and modal frequencies and damping rates of free-damped vibrations were obtained and compared with finite element structural models of the LACE system. Another manifested flight experiment is the Advanced Controls Technology Experiment (ACTEX) designed to demonstrate active and passive damping with piezo-electric (PZT) sensors and actuators. This experiment was developed under the management of the Air Force Phillips Laboratory with integration of the experiment at NRL. It is to ride as a secondary, or 'piggyback,' experiment on a future Navy satellite.

Fisher, Shalom↗
NASA NTRS1999

GPS Sounding Rocket Developments

Sounding rockets are suborbital launch vehicles capable of carrying scientific payloads several hundred miles in altitude. These missions return a variety of scientific data including; chemical makeup and physical processes taking place In the atmosphere, natural radiation surrounding the Earth, data on the Sun, stars, galaxies and many other phenomena. In addition, sounding rockets provide a reasonably economical means of conducting engineering tests for instruments and devices used on satellites and other spacecraft prior to their use in more expensive activities. The NASA Sounding Rocket Program is managed by personnel from Goddard Space Flight Center Wallops Flight Facility (GSFC/WFF) in Virginia. Typically around thirty of these rockets are launched each year, either from established ranges at Wallops Island, Virginia, Poker Flat Research Range, Alaska; White Sands Missile Range, New Mexico or from Canada, Norway and Sweden. Many times launches are conducted from temporary launch ranges in remote parts of the world requi6ng considerable expense to transport and operate tracking radars. An inverse differential GPS system has been developed for Sounding Rocket. This paper addresses the NASA Wallops Island history of GPS Sounding Rocket experience since 1994 and the development of a high accurate and useful system.

Bull, Barton↗
NASA NTRS2006

Computing Fault Displacements from Surface Deformations

Simplex is a computer program that calculates locations and displacements of subterranean faults from data on Earth-surface deformations. The calculation involves inversion of a forward model (given a point source representing a fault, a forward model calculates the surface deformations) for displacements, and strains caused by a fault located in isotropic, elastic half-space. The inversion involves the use of nonlinear, multiparameter estimation techniques. The input surface-deformation data can be in multiple formats, with absolute or differential positioning. The input data can be derived from multiple sources, including interferometric synthetic-aperture radar, the Global Positioning System, and strain meters. Parameters can be constrained or free. Estimates can be calculated for single or multiple faults. Estimates of parameters are accompanied by reports of their covariances and uncertainties. Simplex has been tested extensively against forward models and against other means of inverting geodetic data and seismic observations. This work

Lyzenga, Gregory↗
NASA NTRS1989

Microfossils from silicified stromatolitic carbonates of the Upper Proterozoic Limestone-Dolomite 'Series', central East Greenland

Silicified flake conglomerates and in situ stratiform stromatolites of the Upper Proterozoic (c. 700-800 Ma) Limestone-Dolomite 'Series', central East Greenland, contain well preserved microfossils. Five stratigraphic horizons within the 1200 m succession contain microbial mat assemblages, providing a broad palaeontological representation of late Proterozoic peritidal mat communities. Comparison of assemblages demonstrates that the taxonomy and diversity of mat builder, dweller, and allochthonous populations all vary considerably within and among horizons. The primary mat builder in most assemblages is Siphonophycus inornatum, a sheath-forming prokaryote of probable but not unequivocally established cyanobacterial affinities. An unusual low diversity unit in Bed 17 is dominated by a different builder, Tenuofilum septatum, while a thin cryptalgal horizon in Bed 18 is built almost exclusively by Siphonophycus kestron. Although variable taphonomic histories contribute to observed assemblage variation, most differences within and among horizons appear to reflect the differential success or failure of individual microbial populations in colonizing different tidal flat microenvironments. Twenty-two taxa are recognized, of which two are described as new: Myxococcoides stragulescens n.sp. and Scissilisphaera gradata n. sp.

NASA Discipline Number 52-30↗
NASA NTRS2007

Measurement and Characterization of Helicopter Noise in Steady-State and Maneuvering Flight

A special acoustic flight test program was performed on the Bell 206B helicopter outfitted with an in-flight microphone boom/array attached to the helicopter while simultaneous acoustic measurements were made using a linear ground array of microphones arranged to be perpendicular to the flight path. Air and ground noise measurements were made in steady-state longitudinal and steady turning flight, and during selected dynamic maneuvers. Special instrumentation, including direct measurement of the helicopter s longitudinal tip-path-plane (TPP) angle, Differential Global Positioning System (DGPS) and Inertial Navigation Unit (INU) measurements, and a pursuit guidance display were used to measure important noise controlling parameters and to make the task of flying precise operating conditions and flight track easier for the pilot. Special care was also made to test only in very low winds. The resulting acoustic data is of relatively high quality and shows the value of carefully monitoring and controlling the helicopter s performance state. This paper has shown experimentally, that microphones close to the helicopter can be used to estimate the specific noise sources that radiate to the far field, if the microphones are positioned correctly relative to the noise source. Directivity patterns for steady, turning flight were also developed, for the first time, and connected to the turning performance of the helicopter. Some of the acoustic benefits of combining normally separated flight segments (i.e. an accelerated segment and a descending segment) were also demonstrated.

Schmitz, Fredric H.↗
NASA NTRS2008

DSN Scheduling Engine

The DSN (Deep Space Network) Scheduling Engine targets all space missions that use DSN services. It allows clients to issue scheduling, conflict identification, conflict resolution, and status requests in XML over a Java Message Service interface. The scheduling requests may include new requirements that represent a set of tracks to be scheduled under some constraints. This program uses a heuristic local search to schedule a variety of schedule requirements, and is being infused into the Service Scheduling Assembly, a mixed-initiative scheduling application. The engine resolves conflicting schedules of resource allocation according to a range of existing and possible requirement specifications, including optional antennas; start of track and track duration ranges; periodic tracks; locks on track start, duration, and allocated antenna; MSPA (multiple spacecraft per aperture); arraying/VLBI (very long baseline interferometry)/delta DOR (differential one-way ranging); continuous tracks; segmented tracks; gap-to-track ratio; and override or block-out of requirements. The scheduling models now include conflict identification for SOA(start of activity), BOT (beginning of track), RFI (radio frequency interference), and equipment constraints. This software will search through all possible allocations while providing a best-effort solution at any time. The engine reschedules to accommodate individual emergency tracks in 0.2 second, and emergency antenna downtime in 0.2 second. The software handles doubling of one mission's track requests over one week (to 42 total) in 2.7 seconds. Further tests will be performed in the context of actual schedules.

Clement, Bradley↗
DOE OSTI2025

Symplectic machine learning model for fast simulation of space-charge effects

Symplectic simulation of space-charge effects is crucial for the design and operation of high-intensity particle accelerators. Traditional methods for simulating these effects are often computationally expensive, resulting in significant overhead. In this work, we introduce a generative model based on a U-Net architecture within a generative adversarial network framework to efficiently simulate space-charge effects. The model is trained to predict the transverse multiparticle space-charge Hamiltonian, which can be physically computed using a gridless spectral method. The one-step symplectic transverse transfer map for the particles is then obtained by differentiating the predicted Hamiltonian. Benchmarking results demonstrate that this generative model achieves an order of magnitude higher computational efficiency compared to the spectral method, providing a highly efficient alternative for simulating space-charge effects with a large number of particles. By maintaining symplecticity, the model effectively preserves the phase-space structure and mitigates nonphysical errors in long-term simulations. This model has been integrated into jutrack, a novel autodifferentiable accelerator modeling code developed in the julia programming language.

Beam code development & simulation techniques↗
NASA NTRS1995

Introduction to multigrid methods

These notes were written for an introductory course on the application of multigrid methods to elliptic and hyperbolic partial differential equations for engineers, physicists and applied mathematicians. The use of more advanced mathematical tools, such as functional analysis, is avoided. The course is intended to be accessible to a wide audience of users of computational methods. We restrict ourselves to finite volume and finite difference discretization. The basic principles are given. Smoothing methods and Fourier smoothing analysis are reviewed. The fundamental multigrid algorithm is studied. The smoothing and coarse grid approximation properties are discussed. Multigrid schedules and structured programming of multigrid algorithms are treated. Robustness and efficiency are considered.

Wesseling, P.↗
NASA NTRSDate not supplied

A Verification Framework for Runtime Assurance of Autonomous UAS

Runtime Assurance (RTA) is a design-time architecture for safety-critical systems where an internal monitor acts upon detecting a violation of a property. The simplex architecture is an instance of RTA, where the action taken is to hand control of the overall system to a trusted controller when an untrusted one violates a safety property. Simplex RTA is emerging as a method for allowing AI/ML and other unverified software to be integrated into safety-critical applications like aircraft. To this end, the American Society for Testing and Materials (ASTM) and NASA have each published guidelines on the use of RTA in such systems. In the simplex RTA framework, a system has an advanced controller (AC) and a reversionary controller (RC). The system is allowed to operate with the AC until a runtime monitor detects that some property has been violated and then the RC takes over. Assuming that the sample rate of the monitor will detect improper functioning with enough time for the RC to correct the impending problem, and that the RC is trusted, the system will operate as intended. This use of the simplex RTA framework can allow for the integration of untrusted, but possibly more performant, controllers in a safe way. This paper presents a formalization of a simplex RTA framework in the Prototype Verification System (PVS) theorem prover using an embedding of differential dynamic logic (DDL) called Plaidypvs. A novel feature of this framework is that it can be instantiated at different levels of abstraction. This feature allows for the formal verification of a system with an untrusted black box component, such as an AI/ML controller. This paper does not address the many difficulties in deploying RTA in an industrial-level system. Instead, the focus is on the formal verification of the simplex RTA framework in the language of hybrid programs. Hybrid programs are programs that include both discrete and continuous dynamics and can be used to model complex cyber-physical systems. Plaidypvs is a tool that enables formalization of hybrid programs in the PVS theorem prover. Plaidypvs enables the verification of the general simplex RTA framework and then, by specializing some components of the hybrid program, verifying instances of the framework while treating the untrusted component as a black box. A selection of Unmanned Aircraft Systems (UAS) operations are shown as instances of the general RTA framework in PVS. This offers the benefit of design time verification of relevant safety properties to the system, and it also gives requirements on the sample rate of sensors that determine the time interval in which the ‘switch’ property of the RTA framework is checked.

PVS↗
DOE OSTI2022

Updates and Validation for the n+ 63,65 Cu Cross Sections [Slides]

The RRR and URR parameters for 63,65 Cu have been optimized to transmission and capture data. Several data sets have been newly incorporated in this evaluation. The angular distribution parameters have been adopted from differential measurements, as was done in ENDF/B-V. The performance of this evaluation in the integral benchmark calculations is favorable, and the validation is ongoing.

07 ISOTOPE AND RADIATION SOURCES↗
NASA NTRS2003

Mechanical counter pressure on the arm counteracts adverse effects of hypobaric exposures

INTRODUCTION: Current space suits have limited movement due to gas pressurization during exposure to the vacuum of space. Alternatively, if pressure is applied by an elastic garment vs. pneumatic garment to produce mechanical counter pressure (MCP), several advantages are possible. In this study, we investigate local microcirculatory and other effects produced with and without a prototype MCP glove and sleeve during exposure to varying levels of vacuum. METHODS: The entire arms of eight male volunteers were studied at normal ambient pressure and during 5 min exposures to -50, -100, and -150 mm Hg with and without the MCP glove and sleeve. Pressure distribution, skin microvascular flow, and temperature were measured. RESULTS: The MCP glove and sleeve generated over 200 mm Hg on the middle finger, dorsum of the hand, and the wrist. However, pressure was significantly lower on the forearm and the upper arm. Without the glove and sleeve, only two of eight subjects tolerated -100 mm Hg. Also, no subject tolerated -150 mm Hg. However, subjects tolerated all vacuum pressures wearing the glove and sleeve. Skin microvascular flow and temperature remained within control values with the glove and sleeve at a chamber pressure of -150 mm Hg. DISCUSSION: The MCP glove and sleeve counteracts adverse effects of vacuum exposures due to lower pressure differentials. Pressure levels over the hand and wrist are similar to those of the current U.S. space suit glove and sleeve, but additional development is required to increase MCP over the forearm and upper arm.

NASA Discipline Cardiopulmonary↗
NASA NTRS1990

Effects of ethylene on the kinetics of curvature and auxin redistribution in gravistimulated roots of Zea mays

We tested the involvement of ethylene in maize (Zea mays L.) root gravitropism by measuring the kinetics of curvature and lateral auxin movement in roots treated with ethylene, inhibitors of ethylene synthesis, or inhibitors of ethylene action. In the presence of ethylene the latent period of gravitropic curvature appeared to be increased somewhat. However, ethylene-treated roots continued to curve after control roots had reached their final angle of curvature. Consequently, maximum curvature in the presence of ethylene was much greater in ethylene-treated roots than in controls. Inhibitors of ethylene biosynthesis or action had effects on the kinetics of curvature opposite to that of ethylene, i.e. the latent period appeared to be shortened somewhat while total curvature was reduced relative to that of controls. Label from applied 3H-indole-3-acetic acid was preferentially transported toward the lower side of stimulated roots. In parallel with effects on curvature, ethylene treatment delayed the development of gravity-induced asymmetric auxin movement across the root but extended its duration once initiated. The auxin transport inhibitor, 1-N-naphthylphthalamic acid reduced both gravitropic curvature and the effect of ethylene on curvature. Since neither ethylene nor inhibitors of ethylene biosynthesis or action prevented curvature, we conclude that ethylene does not mediate the primary differential growth response causing curvature. Because ethylene affects curvature and auxin transport in parallel, we suggest that ethylene modifies curvature by affecting gravity-induced lateral transport of auxin, perhaps by interfering with adaptation of the auxin transport system to the gravistimulus.

Non-NASA Center↗
DOE OSTI2022

First Measurement of Differential Charged Current Quasi-Elastic-Like $\nu_{\mu}$ Argon Scattering Cross Sections with the MicroBooNE Detector

Current and future generation neutrino oscillation experiments aim towards a high-precisionmeasurement of the oscillation parameters, which requires an unprecedented understanding ofneutrino-nucleus scattering. Charged-current quasi-elastic (CCQE) scattering is the process inwhich the neutrino produces a charged lepton and removes a single intact nucleon from the nu-cleus without producing any additional particles. For existing and forthcoming accelerator–based neutrino experiments, CCQE interactions are either the dominant process or part of the signal.MicroBooNE is the first liquid argon time projection chamber (LArTPC) commissioned as part ofthe Short Baseline Neutrino (SBN) program at Fermilab and its excellent particle reconstructioncapabilities allow the detection of neutrino interactions using exclusive final states, which will playa crucial role in the success of future kiloton LArTPC detectors such as DUNE. This talk willpresent the first measurement of exclusive νμ-Ar CCQE–like flux integrated total and differentialcross sections using single proton knock–out interactions recorded by the MicroBooNE LArTPCdetector, which has comparable acceptance to deuterium Bubble Chambers.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2021

The PENELOPE Physics Models and Transport Mechanics. Implementation into Geant4

A translation of the PENELOPE physics subroutines to C++, designed as an extension of the GEANT4 toolkit, is presented. The Fortran code system PENELOPE performs Monte Carlo simulation of coupled electron-photon transport in arbitrary materials for a wide energy range, nominally from 50 eV up to 1 GeV. PENELOPE implements the most reliable interaction models that are currently available, limited only by the required generality of the code. In addition, the transport of electrons and positrons is simulated by means of an elaborate class II scheme in which hard interactions (involving deflection angles or energy transfers larger than pre-defined cutoffs) are simulated from the associated restricted differential cross sections. After a brief description of the interaction models adopted for photons and electrons/positrons, we describe the details of the class-II algorithm used for tracking electrons and positrons. The C++ classes are adapted to the specific code structure of GEANT4. They provide a complete description of the interactions and transport mechanics of electrons/positrons and photons in arbitrary materials, which can be activated from the G4ProcessManager to produce simulation results equivalent to those from the original PENELOPE programs. The combined code, named PENG4, benefits from the multi-threading capabilities and advanced geometry and statistical tools of GEANT4.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS1989

Prototype secondary mirror assembly design for the space infrared telescope facility

The authors describe the design of a liquid helium temperature prototype secondary mirror assembly (PSMA) under developement for the NASA Space Infrared Telescope Facility (SIRTF) program. The SIRTF secondary mirror assembly must operate below 4 K and provide highly precise two-axis dynamic tilting (chopping) in addition to the conventional functions needed by the SIRTF observatory. The PSMA design uses a fused quartz mirror kinematically attached at its center to an aluminum cruciform. The mirror/cruciform assembly is driven in tilt about its combined center of mass using a unique flexure pivot and a four-actuator control system with feedback provided by pairs of differential position sensors. The voice coil actuators are mounted on a second flexture-pivoted mass, enhancing servo system stability and isolating the telescope from vibration-induced disturbances. The mirror/cruciform and the reaction mass are attached to opposite sides of an aluminum mounting plate whose dimensional characteristics are nominally identical to those of the aluminum flexure pivot material. The mounting plate is connected to the outer housing by a six-degree-of-freedom focus and centering mechanism using pivoted actuation levers driven by lead screw/harmonic drive/stepper motor assemblies.

Stier, M.↗
DOE OSTI2025

Emerging Per- and Polyfluoroalkyl Substances in Tap Water from the American Healthy Homes Survey II

Humans experience widespread exposure to anthropogenic per- and polyfluoroalkyl substances (PFAS) through various media, which can lead to a wide range of negative health impacts. Tap water is an important source of exposure in communities with any degree of contamination but routine or large-scale PFAS monitoring often depends on targeted analytical methods limited to measuring specific PFAS. We analyzed 680 tap water samples from the American Healthy Homes Survey II for PFAS using non-targeted analysis (NTA) to expand the range of detectable PFAS. Based on detection frequency and relative abundance, about half of the identified PFAS were found only by NTA. We identified (with varying degrees of confidence) 75 distinct PFAS, including 57 exclusively detected by NTA. The identified PFAS are members of seven structural subclasses differentiated by their head groups and degree of fluorination. Clustering analysis categorized the PFAS into four coabundance groups dominated by specific PFAS subclasses. One group uniquely identified by NTA contains zwitterionic PFAS and other PFAS transformation products which are likely associated with aqueous firefighting foam contaminants in a small number of spatially correlated samples. These results help further characterize the scope of exposure to emerging PFAS experienced by the U.S. population via tap water and augment nationwide targeted-PFAS monitoring programs.

63 RADIATION, THERMAL, AND OTHER ENVIRON. POLLUTAN↗
DOE OSTI2023

High Energy Quasi - Differential Neutron Emission Measurements of 181 Ta and 19 F [Slides]

This presentation begins with the motivation for performing 181 Ta and 19 F high energy quasi-differential and neutron emission measurements. It then provides a discussion of significant pulse digitization upgrade. The Quasi-Differential methodology and importance for validating nuclear data are provided. Preliminary results from 181 Ta and 19 F are displayed. The presentation concludes with a discussion and future studies.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2025

IER 516 - Zirconium Test Assembly (ZTA) Preliminary Experimental Design [Slides]

Zirconium present in large quantities in criticality safety applications such as fuel manufacturing and processing facilities, and in commercial thermal nuclear reactors. ICSBEP lacks benchmarks optimized for zirconium sensitivity to validate zirconium evaluations. Evaluators lack isotopic differential nuclear data in regions of high importance to fission systems.

K-PSO 2.0↗