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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 523 records · Page 29

All sources NASA NTRS DOE OSTI

NASA NTRS2009

Production of Solar Cells in Space from Non Specific Ores by Utilization of Electronically Enhanced Sputtering

An ideal method of construction in space would utilize some form of the Universal Differentiator and Universal Constructor as described by Von Neumann (1). The Universal Differentiator is an idealized non ore specific extractive device which is capable of breaking any ore into its constituent elements, and the Universal Constructor can utilize these elements to build any device with controllability to the nanometer scale. During the Human Exploration Initiative program in the early 1990s a conceptual study was done (2) to understand whether such devices were feasible with near term technology for the utilization of space resources and energy. A candidate system was proposed which would utilize electronically enhanced sputtering as the differentiator. Highly ionized ions would be accelerated to a kinetic energy at which the interaction between them and the lattice elections in the ore would be at a maximum. Experiments have shown that the maximum disintegration of raw material occurs at an ion kinetic energy of about 5 MeV, regardless of the composition and structure of the raw material. Devices that could produce charged ion beams in this energy range in space were being tested in the early 1990s. At this energy, for example an ion in a beam of fluorine ions yields about 8 uranium ions from uranium fluoride, 1,400 hydrogen and oxygen atoms from ice, or 7,000 atoms from sulfur dioxide ice. The ions from the disintegrated ore would then be driven by an electrical field into a discriminator in the form of a mass spectrometer, where the magnetic field would divert the ions into collectors for future use or used directly in molecular beam construction techniques. The process would require 10-7 Torr vacuum which would be available in space or on the moon. If the process were used to make thin film silicon solar cells (ignoring any energy inefficiency for beam production), then energy break even for solar cells in space would occur after 14 days.

Curreri, Peter A.↗

NASA NTRS2007

Multi-channel System for Beat to Beat QT Interval Variability and its Use in Screening for Coronary Artery Disease and Cardiomyopathy

We investigated the ability of beat-to-beat QT interval variability (QTV) and related parameters to differentiate healthy individuals from patients with obstructive coronary artery disease (CAD) and cardiomyopathy (CM). For this purpose we developed a PC-based ECG software program that in real time, acquires, analyzes and displays QTV in each of the eight independent channels that constitute the 12-lead conventional ECG. The system also analyzes and displays the QTV from QT interval signals that are derived from multiple channels and from singular value decomposition (SVD) to substantially reduce the effect of noise and other artifacts on the QTV results. It also provides other useful SVD-related parameters such as the normalized 3-dimensional volume of the T wave (nTV) = 100*(rho(sub 2)*rho(sub 3)rho(sub 1^2). Advanced high-fidelity 12-lead ECG tests (approx. 5-min supine) were first performed on a "training set" of 99 individuals: 33 with ischemic or dilated CM and low ejection fraction (EF less than 40%); 33 with catheterization-proven obstructive CAD but normal EF; and 33 age-/gender-matched healthy controls. All QTV parameters that were studied for their accuracy in detecting CM and CAD significantly differentiated both CM and CAD from controls (p less than 0.0001). Retrospective areas under the ROC curve (AUC) of SDNN-QTV, rmsSD-QTV, and QTV Index (QTVI) for CM vs. controls in the lead V5 were 0.85, 0.90, and 0.99, respectively, and those for CAD vs. controls in the lead II were 0.82, 0.82, and 0.89. Other advanced ECG parameters, such as HFQRS RAZ score, LF Lomb of RRV or QRS-T angle, differentiated both CM and CAD from controls less significantly, with the respective AUC values of 0.89, 0.88 and 0.98 for CM vs. controls, and 0.73, 0.71 and 0.80 for CAD vs. controls. QTV parameters (especially QTVI, which is QTV as indexed to RRV) were, diagnostically speaking, amongst the best performing of the advanced ECG techniques studied thus far.

Starc, V.↗

NASA NTRSDate not supplied

The Essence of Reactivity

Reactive programming, functional reactive programming, event-based programming, stream programming, and temporal logic all share an underlying commonality: values can vary over time. These languages differ in multiple ways, including the nature of time itself (e.g., continuous or discrete, dense or sparse, implicit or explicit), on how much of the past and future can be referenced, on the kinds of values that can be represented, as well as the mechanisms used to evaluate expressions or formulas. This paper presents a series of abstractions that capture the essence of different forms of time variance. By separating the aspects that differentiate each family of formalisms, we can better express the commonalities and differences between them. We demonstrate our work with a prototype in Haskell that allows us to write programs in terms of a generic interface that can be later instantiated to different abstractions depending on the desired target.

reactive programming↗

NASA NTRS1992

On constructing three-dimensional overlapping grids with CMPGRD

Techniques for the construction of three-dimensional composite overlapping grids, using the grid construction program CMPGRD, are described. The overlapping approach can be used to generate grids for regions of complicated geometry. The grids can be constructed to be smooth and free from coordinate singularities. The ability to create smooth grids for complicated regions is an important first step towards the accurate numerical solution of partial differential equations. The creation of grids for surfaces defined by cross-sections such as an airplane wing is described. A method for integrating the patched surfaces generated by a computer aided design (CAD) package with the CMPGRD program is described. Additionally, the creation of grids in regions where surfaces intersect is described.

Henshaw, William D.↗

NASA NTRS2008

Spitzer IRS Spectra of Basaltic Asteroids: Preliminary Results

We present preliminary results of a Spitzer program to observe the 5.2--38 micron spectra of small basaltic asteroids using the Spitzer IRS (Infrared Spectrograph). Our targets include members of the dynamical family of the unique large differentiated asteroid 4 Vesta ("Vestoids"), four outer-main-belt basaltic asteroids whose orbits exclude them from originating on 4 Vesta, and the basaltic near-Earth asteroid (NEA) 4055 Magellan. We will compare the compositions and thermophysical properties of the non-Vestoid objects with those of the dynamical vestoids to provide insight on the extent of metal-silicate differentiation on planetsimals during the epoch of planet formation in the early Solar System. As of this writing, spectra of asteroids 10537 (1991 RY16) and 2763 Jeans have been returned. Analysis of these data are ongolng. Observations of 956 Elisa, 2653 Principia, 4215 Kamo, 7472 Kumakiri, and 1459 Magnya have been scheduled and are expected to be available by the time of the DPS meeting. NIR spectra and lightcurves o f the target asteroids are also being observed in support of this program.

Lim, Lucy F.↗

DOE OSTI2025

Parallel sorting algorithm classification: is manual instrumentation necessary?

Understanding parallel algorithms is crucial for accelerating scientific simulations on complex, distributed memory, high-performance computers. Modern algorithm classification approaches learn semantics directly from source code to differentiate between algorithms, however, accessing source code is not always possible. We can learn about parallel algorithms from observing their performance, as programs running the same algorithms and using the same hardware should exhibit similar performance characteristics. We present an approach to learn algorithm classes from parallel performance data directly in order to classify algorithms without access to the source code. We extend previous work to enable classifying parallel sorting algorithms using automatic instrumentation instead of requiring manual region annotations in the source code. In this work, we design and demonstrate a study for classification of parallel sorting algorithms using parallel performance data collected from automatic instrumentation, and evaluate the performance of our new methodology on classification. We leverage Caliper to collect the performance data, Thicket for our exploratory data analysis (EDA), and PyTorch and Scikit-learn to evaluate the effectiveness of random forests, support vector machines (SVMs), decision trees, neural networks, and logistic regressions on parallel performance data. Additionally, we study noise in parallel performance data, whether the removal of noise and pre-processing of the data is necessary to accurately classify parallel sorting algorithms, and determine the effectiveness of features created from performance data. In conclusion, we demonstrate classification accuracy for these five different models of up to 97.7% across four different parallel algorithm classes.

Algorithm Classification↗

DOE OSTI2025

Adaptive PID Gain Scheduling Control for Hydropower Turbine Using Neural CDE and Stochastic Distribution Shaping

This paper introduces a gain-scheduling PID controller design strategy for hydroturbine frequency control mode. This scheme first uses real data to learn the nonlinear dynamics of the hydroturbine using neural controlled differential equations and then perturbs the obtained nonlinear system at different equilibrium points, based on which a static output feedback adaptive dynamic programming algorithm is then used to optimize the PID gains for each equilibrium point. Moreover, a continuous-time version of stochastic distribution control is proposed to further fine-tune the optimized PID gains. Finally, the controller is obtained by implementing linear interpolation between the optimized PID control gains. The simulation results show that the proposed gain-scheduling PID controller can control a larger range of operation points compared with the given fixed PID controller and the baseline method. Compared with the given fixed PID controller, the proposed gain-scheduling PID controller can regulate hydroturbine frequency against disturbances induced by power-load variation with over 50% less overshoot for some operation points.

13 HYDRO ENERGY↗

DOE OSTI2021

Example on how to (intelligently) augment the nuclear-data pipeline with machine learning [Slides]

The presentation discusses how machine learning has helped the Los Alamos National Laboratory (LANL) nuclear-data pipeline. It also discusses the strengths of machine learning as it finds trends in large amounts of data where human brains are overwhelmed and that this information may be crucial to improve our nuclear data. It does stress, however, that machine learning is no "silver bullet" and that it is critical to feed it expert knowledge and use physics intuition to interpret the results. The presentation discusses the need to develop infrastructure and tools to provide data in an easily readable and unambiguously interpretable format (e.g., EXFOR format), to develop experimental data and theory to solve physics questions, and that statisticians and nuclear-data experts must be brought together to correctly interpret the results. The presentation concludes by stating that machine learning is a great tool and that LANL needs to use the algorithms along with developing physics data, tools and infrastructure.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

NASA NTRS1972

A generalized theory for the design of contraction cones and other low speed ducts

A generalization of the Tsien method of contraction cone design is described. The design velocity distribution is expressed in such a form that the required high order derivatives can be obtained by recursion rather than by numerical or analytic differentiation. The method is applicable to the design of diffusers and converging-diverging ducts as well as contraction cones. The computer program is described and a FORTRAN listing of the program is provided.

Barger, R. L.↗

NASA NTRS1973

Shuttle cryogenics supply system. Optimization study. Volume 5 B-2, part 1: Appendix programmers manual for math model

An appendix to the programmers manual for the mathematical model pertaining to the design of cryogenic supply systems for spacecraft is presented. The program listing was produced using the EXEC-8 LISTALL processor which lists a file in alphabetical order. Since the processor does not differentiate between subroutines, functions, and procedure definition processors, each subprogram has been relabeled to clearly identify the type of symbolic listing.

Source record↗

NASA NTRS1974

Using the NASTRAN Thermal Analyzer to simulate a flight scientific instrument package

The NASTRAN Thermal Analyzer has proven to be a unique and useful tool for thermal analyses involving large and complex structures where small, thermally induced deformations are critical. Among its major advantages are direct grid point-to-grid point compatibility with large structural models; plots of the model that may be generated for both conduction and boundary elements; versatility of applying transient thermal loads especially to repeat orbital cycles; on-line printer plotting of temperatures and rate of temperature changes as a function of time; and direct matrix input to solve linear differential equations on-line. These features provide a flexibility far beyond that available in most finite-difference thermal analysis computer programs.

Lee, H.-P.↗

NASA NTRS1980

Linear continuous and sampled-data systems

Program performs general analysis of linear and continuous, discrete and sampled-data systems using state-variable techniques. Program is especially suited analysis of linearized control system problems. It also can be used to model system described by combination of differential equations and Laplace transform blocks, such as aircraft control system.

Edwards, J. W.↗

NASA NTRS1981

Feasibility of collision warning, precision approach and landing using GPS, volume 1

The use of GPS, with an appropriately configured data link, to enhance general aviation avionic functions encountered in the terminal area and on approach was investigated with emphasis on approach and landing guidance and collision warning. The feasibility of using differential GPS to obtain the precision navigation solutions required for landing was studied. Results show that the concept is sound. An experimental program was developed to demonstrate this concept. The collision avoidance/warning concept was examined through the development of a functional system specification.

Ruedger, W. H.↗

NASA NTRS1983

Solar wind and coronal structure

Spectroscopic diagnostic techniques used to determine the coronal source region of the solar wind, and results of preliminary applications are examined. The topics reviewed are magnetic fields, coronal mass ejections, coronal holes, flow velocities, coronal temperatures, fine spatial structure, and future observational programs. The physical mechanisms responsible for plasma heating, solar-wind acceleration, the transport of mass momentum and energy, and the spatial differentiation of chemical abundances are also discussed. Among the data presented are Skylab's white-light coronagraph photograph of a coronal transient, X-ray photographs of the corona, and spectroheliograms showing bright points overlying polar plumes, and macrospicules.

Withbroe, G. L.↗

NASA NTRS1985

Airborne Lidar measurements of aerosols, mixed layer heights, and ozone during the 1980 PEPE/NEROS summer field experiment

A detailed summary of the NASA Ultraviolet Differential Absorption Lidar (UV DIAL) data archive obtained during the EPA Persistent Elevated Pollution Episode/Northeast Regional Oxidant Study (PEPE/NEROS) Summer Field Experiment Program (July through August 1980) is presented. The UV dial data set consists of remote measurements of mixed layer heights, aerosol backscatter cross sections, and sequential ozone profiles taken during 14 long-range flights onboard the NASA Wallops Flight Center Electra aircraft. These data are presented in graphic and tabular form, and they have been submitted to the PEPE/NEROS data archive on digital magnetic tape. The derivation of mixing heights and ozone profiles from UV Dial signals is discussed, and detailed intercomparisons with measurements obtained by in situ sensors are presented.

Browell, E. V.↗

NASA NTRS2002

Chemical Fingerprinting Program for RSRM Critical Materials

This viewgraph presentation provides information on the chemical fingerprinting of RSRM (Reusable Sold Rocket Motor) components. A chemical fingerprint can be used to identify a material, to differentiate it from similar looking materials, or lead to its source. It can also identify unexpected changes to a vendor or supplier's material, and monitor aging.

McClennen, William H.↗

NASA NTRS1988

Kinetics of determination in the differentiation of isolated mesophyll cells of Zinnia elegans to tracheary elements

Mechanically isolated mesophyll cells of Zinnia elegans L. cv Envy differentiate to tracheary elements when cultured in inductive medium containing 0.5 micromolar alpha-naphthaleneacetic acid and 0.5 micromolar benzyladenine. The cells do not differentiate when cultured in medium in which the concentration of auxin and/or cytokinin has been reduced to 0.005 micromolar. Cells require an initial 24-hour exposure to inductive cytokinin and 56-hour exposure to inductive auxin for differentiation at 72 hours of culture. Freshly isolated Zinnia cells can be maintained in medium having low concentrations of both auxin and cytokinin for only 1 day without significant loss of potential to differentiate upon transfer to inductive medium. Initial culture for up to 2 days in medium having high auxin and low cytokinin, or low auxin and high cytokinin, allows full differentiation on the third day after transfer to inductive medium and potentiates the early differentiation of some cells.

Non-NASA Center↗

DOE OSTI2022

A single-cell Arabidopsis root atlas reveals developmental trajectories in wild-type and cell identity mutants

In all multicellular organisms, transcriptional networks orchestrate organ development. The Arabidopsis root, with its simple structure and indeterminate growth, is an ideal model to investigate the spatiotemporal transcriptional signatures underlying developmental trajectories. To map gene expression dynamics across root cell types and developmental time, we built a comprehensive, organ-scale atlas at single cell resolution. In addition to estimating developmental progressions in pseudotime, we employed the mathematical concept of optimal transport to infer developmental trajectories and identify their underlying regulators. To demonstrate the utility of the atlas to interpret new datasets, we profiled mutants for two key transcriptional regulators at single cell resolution, shortroot and scarecrow. We report transcriptomic and in vivo evidence for tissue trans-differentiation underlying a mixed cell identity phenotype in scarecrow. Our results support the atlas as a rich community resource for unraveling the transcriptional programs that specify and maintain cell identity to regulate spatiotemporal organ development.

59 BASIC BIOLOGICAL SCIENCES↗