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 793 records · Page 44
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Grandparent Inference from Genetic Data: The Potential for Parentage-Based Tagging Programs to Identify Offspring of Hatchery Strays

Abstract Fisheries managers routinely use hatcheries to increase angling opportunity. Many hatcheries operate as segregated programs where hatchery-origin fish are not intended to spawn with natural-origin conspecifics in order to prevent potential negative effects on the natural-origin population. Currently available techniques to monitor the frequency with which hatchery-origin strays successfully spawn in the wild rely on either genetic differentiation between the hatchery- and natural-origin fish or extensive sampling of fish on the spawning grounds. We present a method to infer grandparent–grandchild trios by using only genotypes from two putative grandparents and one putative grandchild. We developed estimators of false-positive and false-negative error rates and showed that genetic panels containing 500–700 single-nucleotide polymorphisms or 200–300 microhaplotypes are expected to allow application of this technique for monitoring segregated hatchery programs. We discuss the ease with which this technique can be implemented by pre-existing parentage-based tagging programs and provide an R package that applies the method.

Delomas, Thomas A. (ORCID:000000015154759X)↗
DOE OSTI2019

Mechanical Utility Structure for Testing High Field Superconducting Dipole Magnets

The U.S. Magnet Development Program (MDP) collaboration is designing a utility mechanical structure for testing various high-field superconducting dipole coils. The design uses a shell-based structure concept, which allows applying preload in two steps: During a room temperature assembly and during a cool down to a cryogenic temperature. The structure is designed to accommodate various coil designs - including Nb 3 Sn Cosine Theta (CT) and Canted CT magnets as well as hybrid magnets with high temperature superconductor cables. Superconducting coils, enclosed by bolted pads to form an octagonal coil pack, will be inserted into a reusable yoke-shell subassembly and precisely preloaded during the assembly using a bladder-and-key technology. Due to a differential thermal contraction between an external aluminum shell and the magnet core, the coil preload increases during the cool down up to level required for 17-T excitation. Such a reusable structure will serve as a testing fixture supporting goals of the MDP program, decreasing cost and simplifying coil performance testing at different preload levels. We present a finite-element analysis of the structure preloading various coil designs and examine the predicted coil stress at each step of the magnet assembly and excitation.

43 PARTICLE ACCELERATORS↗
NASA NTRS1996

Cyclooxygenases in human and mouse skin and cultured human keratinocytes: association of COX-2 expression with human keratinocyte differentiation

Epidermal expression of the two isoforms of the prostaglandin H-generating cyclooxygenase (COX-1 and COX-2) was evaluated both by immunohistochemistry performed on human and mouse skin biopsy sections and by Western blotting of protein extracts from cultured human neonatal foreskin keratinocytes. In normal human skin, COX-1 immunostaining is observed throughout the epidermis whereas COX-2 immunostaining increases in the more differentiated, suprabasilar keratinocytes. Basal cell carcinomas express little if any COX-1 or COX-2 immunostaining whereas both isozymes are strongly expressed in squamous cell carcinomas deriving from a more differentiated layer of the epidermis. In human keratinocyte cultures, raising the extracellular calcium concentration, a recognized stimulus for keratinocyte differentiation, leads to an increased expression of both COX-2 protein and mRNA; expression of COX-1 protein, however, shows no significant alteration in response to calcium. Because of a recent report that failed to show COX-2 in normal mouse epidermis, we also looked for COX-1 and COX-2 immunostaining in sections of normal and acetone-treated mouse skin. In agreement with a previous report, some COX-1, but no COX-2, immunostaining is seen in normal murine epidermis. However, following acetone treatment, there is a marked increase in COX-1 expression as well as the appearance of significant COX-2 immunostaining in the basal layer. These data suggest that in human epidermis as well as in human keratinocyte cultures, the expression of COX-2 occurs as a part of normal keratinocyte differentiation whereas in murine epidermis, its constitutive expression is absent, but inducible as previously published.

NASA Discipline Cell Biology↗
NASA NTRS1993

The combustion program at CTR

Understanding and modeling of turbulent combustion are key problems in the computation of numerous practical systems. Because of the lack of analytical theories in this field and of the difficulty of performing precise experiments, direct numerical simulation (DNS) appears to be one of the most attractive tools to use in addressing this problem. The general objective of DNS of reacting flows is to improve our knowledge of turbulent combustion but also to use this information for turbulent combustion models. For the foreseeable future, numerical simulation of the full three-dimensional governing partial differential equations with variable density and transport properties as well as complex chemistry will remain intractable; thus, various levels of simplification will remain necessary. On one hand, the requirement to simplify is not necessarily a handicap: numerical simulations allow the researcher a degree of control in isolating specific physical phenomena that is inaccessible in experiments. CTR has pursued an intensive research program in the field of DNS for turbulent reacting flows since 1987. DNS of reacting flows is quite different from DNS of non-reacting flows: without reaction, the equations to solve are clearly the five conservation equations of the Navier Stokes system for compressible situations (four for incompressible cases), and the limitation of the approach is the Reynolds number (or in other words the number of points in the computation). For reacting flows, the choice of the equations, the species (each species will require one additional conservation equation), the chemical scheme, and the configuration itself is more complex.

Poinsot, Thierry J.↗
DOE OSTI2016

MADNESS: A Multiresolution, Adaptive Numerical Environment for Scientific Simulation

MADNESS (multiresolution adaptive numerical environment for scientific simulation) is a high-level software environment for solving integral and differential equations in many dimensions that uses adaptive and fast harmonic analysis methods with guaranteed precision based on multiresolution analysis and separated representations. Underpinning the numerical capabilities is a powerful petascale parallel programming environment that aims to increase both programmer productivity and code scalability. This paper describes the features and capabilities of MADNESS and briefly discusses some current applications in chemistry and several areas of physics.

00A72↗
DOE OSTI2015

Simulator for an Accelerator-Driven Subcritical Fissile Solution System

LANL has developed a process to generate a progressive family of system models for a fissile solution system. This family includes a dynamic system simulation comprised of coupled nonlinear differential equations describing the time evolution of the system. Neutron kinetics, radiolytic gas generation and transport, and core thermal hydraulics are included in the DSS. Extensions to explicit operation of cooling loops and radiolytic gas handling are embedded in these systems as is a stability model. The DSS may then be converted to an implementation in Visual Studio to provide a design team the ability to rapidly estimate system performance impacts from a variety of design decisions. This provides a method to assist in optimization of the system design. Once design has been generated in some detail the C++ version of the system model may then be implemented in a LabVIEW user interface to evaluate operator controls and instrumentation and operator recognition and response to off-normal events. Taken as a set of system models the DSS, Visual Studio, and LabVIEW progression provides a comprehensive set of design support tools.

42 ENGINEERING↗
DOE OSTI2015

Integrated Data Collection Analysis (IDCA) Program - Statistical Analysis of RDX Standard Data Sets

The Integrated Data Collection Analysis (IDCA) program is conducting a Proficiency Test for Small- Scale Safety and Thermal (SSST) testing of homemade explosives (HMEs). Described here are statistical analyses of the results for impact, friction, electrostatic discharge, and differential scanning calorimetry analysis of the RDX Type II Class 5 standard. The material was tested as a well-characterized standard several times during the proficiency study to assess differences among participants and the range of results that may arise for well-behaved explosive materials. The analyses show that there are detectable differences among the results from IDCA participants. While these differences are statistically significant, most of them can be disregarded for comparison purposes to assess potential variability when laboratories attempt to measure identical samples using methods assumed to be nominally the same. The results presented in this report include the average sensitivity results for the IDCA participants and the ranges of values obtained. The ranges represent variation about the mean values of the tests of between 26% and 42%. The magnitude of this variation is attributed to differences in operator, method, and environment as well as the use of different instruments that are also of varying age. The results appear to be a good representation of the broader safety testing community based on the range of methods, instruments, and environments included in the IDCA Proficiency Test.

round-robin test↗
NASA NTRSDate not supplied

Progress of 2.05 uM Fiber Laser Development for A Martian Co2 Dial

We have proposed a new concept for differential absorption lidar (DIAL) operating in the 2050 nm CO 2 absorption band for atmospheric CO 2 and pressure observations on Mars. This concept has earned us funding from NASA's PICASSO Program to advance 2050 nm fiber laser technology for future space applications. The laser design is an all-fiber master oscillator and power amplifier (MOPA) system. The master oscillator with pulse shaping and several stages of fiber preamplifiers has been built. Preliminary tests show the output pulse energy can reach 1 mJ, meeting our baseline goal. However, the current power amplifier design has an issue with undesired parasitic lasing at a different frequency, which exhausts pump energy and limits the laser energy. We have modified the power amplifier design to suppress parasitic lasing, and higher laser power energy is expected. To achieve high measurement accuracy, the laser frequency must be stabilized. A fraction of the master oscillator is split to lock the laser frequency to the center of the selected absorption line. The laser can then be shifted to a frequency far from the absorption line center, where extinction due to CO 2 and other trace gases is minimal, serving as the offline reference. The online wavelength is optimized at 2050.44156 nm, ensuring a CO 2 absorption optical depth (AOD) of approximately 1.1 at 3 km, which maximizes the signal-to-noise ratio (SNR) for measurements in the lower Martian atmosphere. At the conference, we will provide more details about this project and report on the progress of instrument development.

DIAL↗
NASA NTRS1986

Programable Pipelined-Image Processor

Computer serves as pipelined processor for imagery or other two-dimensional digital data. Processor does feature extraction, smoothing, edge detection, texture measurement, and stereoscoptic area correlation. Also plans routes for obstacle avoidance by robots and solves two-dimensional partial differential equations. Image processor consists of modular units: each includes set of computing elements of types particularly useful in pipelined-image processing. Flexible interconnection scheme used to route data to subsequent stages of pipeline.

Gennery, D. B.↗
NASA NTRS1992

The cyclotron energization through auroral wave experiments (CENTAUR 2B)

The CENTAUR 2B mission, a dual payload program, is in many aspects the same as the previous missions from Cape Perry and Norway in 1985. It was planned that these payloads would be launched from Andoya, Norway, Nov. 1989 from the Universal II launcher. The payloads are identical, but would have been launched at different azimuths as far north and as far west as possible. Particle experiments include the angular resolving energy analyzer (AREA), the fast ion mass spectrometer (FIMS), the spectrographic particle images (SPI), and finally, the differential ion flux probe (DIFP). SwRI was responsible for the scientific payload, which includes the power supplies, the power supply interfacing, the manipulating of the data from the instruments to format it for the telemetry system, all mechanical structure and restraint mechanisms, and the payload subskin. The status of the various components of this program is given.

Winningham, J. D.↗
DOE OSTI2022

POSTER: Automatic Differentiation of Parallel Loops with Formal Methods

The accompanying poster to this short paper presents a combination of reverse mode AD and formal methods to enable efficient differentiation of (or backpropagation through) shared-memory parallel code. Compared to the state of the art, our approach can more often avoid the need for atomic updates or private data copies during the parallel derivative computation, even in the presence of unstructured or data-dependent data access patterns. This is achieved by gathering information about the memory access patterns from the input program, which is assumed to be correctly parallelized. This information is then used to build a model of assertions in a theorem prover, which can be used to check the safety of shared memory accesses during the parallel derivative computation

Automatic Differentiation↗
NASA NTRSDate not supplied

Embedding Differential Dynamic Logic in PVS

Runtime assurance is a control framework where a complex controller operates under the observation of a monitor. If the monitor detects the controller exhibiting undesirable behavior, control is passed off to a trusted controller until a desirable state is regained. The runtime assurance architecture provides a layer of assurance to the system being controlled, but special care must be taken that the resulting overall system, consisting of the monitors and controllers, is behaving as intended. This talk aims to formally model and reason about runtime assurance-equipped systems as hybrid programs- which are models that consist of both discrete and continuous components. Using the verification tool Plaidypvs, safety properties of some examples involving RTA architectures is shown.

Formal Verification↗
DOE OSTI2022

Factors Affecting Override Behavior during Demand Flexibility from High-Resolution Smart Thermostat Data

In this study, we delineate key weather and demographic predictors of override behavior in residential buildings during connected thermostats demand response events. Anticipating and reducing overrides is critical to demand flexibility (DF) program success. We use high- dimensional fixed effects linear regression techniques on a large ecobee dataset for about 5,000 enrolled households in the United States. We identify critical weather (indoor and outdoor temperature), building (housing type), and occupant (previous DF overrides and previous DF event exposure) factors influencing the override patterns of customers during thermostat demand response. We also differentiate DF events by season to understand the different indoor and outdoor conditions that might influence seasonal override rates. We found significant differences in override rates between building types, with single-family semi-detached homes generally having the highest overrides. Having a history of overrides was additionally a critical factor in predicting occupant response to future DF events. Understanding these override differences is necessary for rural electric cooperatives and emerging DF programs without access to large DR historical data. Overall, we provide critical information on technical and local demographic characteristics that may be correlated to building type to influence strategies to reduce overrides and improve the adoption of DF technologies.

connected thermostats (CTs)↗
DOE OSTI2020

SRS Composite Analysis Monitoring Plan (FY2019 Model Validation)

Using a projected end-state date of 2065 (SRNS 2015b), the Savannah River Site (SRS) Composite Analysis (CA) modeling for each facility and waste site began on the inventory year assigned to it so that source depletion and radionuclide transport out of the system could be appropriately captured. Some SRS waste sites that have already achieved their end states (i.e. end-state inventories and end-state configuration) are currently contributing to the potential off-site public dose through source release, groundwater transport, discharge to on-site surface streams, and stream transport to the CA point of assessments (POAs). The inventory year assigned to these waste sites is 2002 or before. This means that SRS CA results from 2002 and beyond are a reasonable representation for these waste sites that have already achieved their end states and are currently contributing to the potential off-site public dose. The SRS Annual Environmental Report (AER) monitoring can differentiate and separate liquid pathway data allowing the data representing only waste sites at their end state to be produced. Because the SRS CA has projected reasonable end-state impacts from 2002 and beyond, and the AER monitoring can differentiate and separate operating and end-state contributions to annual liquid pathway release, an opportunity exists to use the AER monitoring data to validate the SRS CA model. The CA model validation program uses a graded and systematic approach for taking corrective action, starting with an SRS established administrative dose limit of 15 mrem/yr, below which no action is required. Based on the location of the 2010 SRS CA POAs, the only potential exposure pathway for the public is through surface water. The completion of the FY2019 CA model validation indicates that the SRS CA projected dose, while generally conservative, provides a reasonable representation of the maximum annual doses. These doses are well below the administrative limit; therefore, no additional action is required.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2025

Effect of Preparation Conditions of Fe@SiO2 Catalyst on Its Structure Using High-Pressure Activity Studies in a 3D-Printed SS Microreactor

Fischer–Tropsch synthesis (FTS) in a 3D-printed stainless steel (SS) microchannel microreactor was investigated using Fe@SiO2 catalysts. The catalysts were prepared by two different techniques: one pot (OP) and autoclave (AC). The mesoporous structure of the two catalysts, Fe@SiO2 (OP) and Fe@SiO2 (AC), ensured a large contact area between the reactants and the catalyst. They were characterized by N2 physisorption, H2 temperature-programmed reduction (H2-TPR), scanning electron microscopy (SEM), transmission electron microscopy (TEM), X-ray diffraction (XRD), Fourier-transform infrared spectroscopy (FTIR), X-ray photoelectron microscopy (XPS), and thermogravimetric analysis–differential scanning calorimetry (TGA-DSC) techniques. The AC catalyst had a clear core–shell structure and showed a much greater surface area than that prepared by the OP method. The activities of the catalysts in terms of FTS were studied in the 200–350 °C temperature range at 20-bar pressure with a H2/CO molar ratio of 2:1. The Fe@SiO2 (AC) catalyst showed higher selectivity and higher CO conversion to olefins than Fe@SiO2 (OP). Stability studies of both catalysts were carried out for 30 h at 320 °C at 20 bar with a feed gas molar ratio of 2:1. The Fe@SiO2 (AC) catalyst showed higher stability and yielded consistent CO conversion compared to the Fe@SiO2 (OP) catalyst.

Biochemistry & Molecular Biology↗
NASA NTRS1973

Design and analysis of the radiator structure for space power systems

The design, analysis, fabrication, and development of the 5-kWe radiator structure are shown. Thermal performance, meteoroid protection, structural capability during launch, development testing and space operation, material evaluation, and the configuration selection are described. The fin-tube development program depends on the relative values of the thermal coefficients of expansion. The initial selection of aluminum fins and Type 316 stainless-steel tubes was based on previous experience; however, the large differential in their expansion rates showed that an alternate, more compatible, combination was needed. Copper, stainless-steel-clad copper, boron-impregnated aluminum, and an independent radiator with a titanium structure were all considered as alternate materials. The final selection was Lockalloy fins with Type 304 stainless-steel D tubes.

Dauterman, W. H.↗
NASA NTRS1973

Quasi-static extension of a tensile crack contained in a viscoelastic-plastic solid

Final stretch criterion of failure is applied to the problem of quasi-static extension of a crack embedded in an elastic-plastic or viscoelastic-plastic matrix. The slow growth under subcritical conditions in a rate-sensitive Tresca solid is shown to be a superposition of creep rupture and McClintock's ductile growth. This type of growth occurs at subcritical magnitude of the imposed K-factor and can be accounted for only through a recognition of inelastic properties of solids. In the subcritical range there is no unique value for K sub c independent of geometrical configuration and flaw size. Not only the produced states of stress and strain are dependent on the loading path, but also the material resistance to fracture turns out to be a function of the history of loading that precedes catastrophic failure. A nonlinear integro-differential equation of motion is derived for a crack progressing through a viscoelastic medium with some limited ability to plastic flow. Examples of numerical integration are given incorporating both monotonic and cyclic loading programs.

Wnuk, M. P.↗