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 541 records · Page 30
All sourcesNASA NTRSDOE OSTI
NASA NTRS1986

Comparative results of autogenous ignition temperature measurements by ASTM G 72 and pressurized scanning calorimetry in gaseous oxygen

The autogenous ignition temperature of four materials was determined by ASTM (G 72) and pressurized differential scanning calorimetry at 0.68-, 3.4-, and 6.8-MPa oxygen pressure. All four materials were found to ignite at lower temperatures in the ASTM method. The four materials evaluated in this program were Neoprene, Vespel SP-21, Fluorel E-2160, and nylon 6/6.

Bryan, C. J.↗
NASA NTRS1989

A vectorized algorithm for 3D dynamics of a tethered satellite

Equations of motion characterizing the three dimensional motion of a tethered satellite during the retrieval phase are studied. The mathematical model involves an arbitrary number of point masses connected by weightless cords. Motion occurs in a gravity gradient field. The formulation presented accounts for general functions describing support point motion, rate of tether retrieval, and arbitrary forces applied to the point masses. The matrix oriented program language MATLAB is used to produce an efficient vectorized formulation for computing natural frequencies and mode shapes for small oscillations about the static equilibrium configuration; and for integrating the nonlinear differential equations governing large amplitude motions. An example of time response pertaining to the skip rope effect is investigated.

Wilson, Howard B.↗
NASA NTRS2010

Detecting strain in birefringent materials using spectral polarimetry

A method, computer program product and system for analyzing multispectral images from a plurality of regions of birefringent material, such as a polymer film, using polarized light and a corresponding polar analyzer to identify differential strain in the birefringent material. For example, the birefringement material may be low-density polyethylene (LDPE), high-density polyethylene (HDPE), polypropylene, polyethylene terephthalate (PET), polyvinyl chloride (PVC), polyvinylidene chloride, polyester, nylon, or cellophane film. Optionally, the method includes generating a real-time quantitative strain map.

Ragucci, Anthony J.↗
DOE OSTI2024

Demonstration and Verification of Thermo-Mechanical Bowing in a Limited Free-Bow SFR Concept Using MOOSE

Core bowing due to thermal gradients and irradiation induced swelling and creep introduces significant reactivity feedback effects in liquid metal-cooled fast spectrum reactors. During startup, normal operations, and transient events, differential thermal and flux gradients cause expansion, creep, and swelling, which results in bowing in preferential directions depending on local material properties and load-pad and restraint-ring design. The bowing phenomenon produces negative reactivity during accident conditions provided the restraint system has been properly designed to optimally guide the deformation outwards in the active core region. Under the Department of Energy Nuclear Energy Advanced Modeling and Simulation program, a Multiphysics Object Oriented Simulation Environment (MOOSE)-based multiphysics approach to model core bowing is being developed. The present work expands on previous modeling of simpler International Atomic Energy Agency (IAEA) verification problems with these tools by modeling IAEA Verification Problem 4, which involves a symmetric sector of a reactor core with ducted assemblies undergoing differential thermal expansion due to thermal gradients bowing outward with duct-to-duct contact. This model is available on the National Reactor Innovation Center Virtual Test Bed repository. This example was verified against benchmark participant results, which includes bowing deformation evaluation and duct-to-duct interactions at load pads with mechanical contact.

22 - GENERAL STUDIES OF NUCLEAR REACTORS↗
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.↗
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.↗
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 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.↗
NASA NTRS1981

A computer program for the simulation of heat and moisture flow in soils

A computer program that simulates the flow of heat and moisture in soils is described. The space-time dependence of temperature and moisture content is described by a set of diffusion-type partial differential equations. The simulator uses a predictor/corrector to numerically integrate them, giving wetness and temperature profiles as a function of time. The simulator was used to generate solutions to diffusion-type partial differential equations for which analytical solutions are known. These equations include both constant and variable diffusivities, and both flux and constant concentration boundary conditions. In all cases, the simulated and analytic solutions agreed to within the error bounds which were imposed on the integrator. Simulations of heat and moisture flow under actual field conditions were also performed. Ground truth data were used for the boundary conditions and soil transport properties. The qualitative agreement between simulated and measured profiles is an indication that the model equations are reasonably accurate representations of the physical processes involved.

Camillo, P.↗
NASA NTRS1986

Molecular-Beam Chopper and Four-Channel Amplifier

Molecular-beam chopper phase controller and timing interface is subsystem of four-stage, differentially pumped, modulated molecular-beam/mass spectrometer. Subsystem maintains accurate phase control and timing for repetitive signal averaging over several hours of operation. Chopper phase controller/ timing interface and four-channel programable time-multiplexed amplifier provide substantial improvements in attainable signal-to-noise ratio, detection limit, and accuracy of molecular-beam/mass-spectrometer system.

Adams, B. R.↗
NASA NTRS1984

Development and applications of algorithms for calculating the transonic flow about harmonically oscillating wings

A finite difference method to solve the unsteady transonic flow about harmonically oscillating wings was investigated. The procedure is based on separating the velocity potential into steady and unsteady parts and linearizing the resulting unsteady differential equation for small disturbances. The differential equation for the unsteady velocity potential is linear with spatially varying coefficients and with the time variable eliminated by assuming harmonic motion. An alternating direction implicit procedure was investigated, and a pilot program was developed for both two and three dimensional wings. This program provides a relatively efficient relaxation solution without previously encountered solution instability problems. Pressure distributions for two rectangular wings are calculated. Conjugate gradient techniques were developed for the asymmetric, indefinite problem. The conjugate gradient procedure is evaluated for applications to the unsteady transonic problem. Different equations for the alternating direction procedure are derived using a coordinate transformation for swept and tapered wing planforms. Pressure distributions for swept, untaped wings of vanishing thickness are correlated with linear results for sweep angles up to 45 degrees.

Ehlers, F. E.↗
NASA NTRS1985

Error Reduction Program

The details of a study to select, incorporate and evaluate the best available finite difference scheme to reduce numerical error in combustor performance evaluation codes are described. The combustor performance computer programs chosen were the two dimensional and three dimensional versions of Pratt & Whitney's TEACH code. The criteria used to select schemes required that the difference equations mirror the properties of the governing differential equation, be more accurate than the current hybrid difference scheme, be stable and economical, be compatible with TEACH codes, use only modest amounts of additional storage, and be relatively simple. The methods of assessment used in the selection process consisted of examination of the difference equation, evaluation of the properties of the coefficient matrix, Taylor series analysis, and performance on model problems. Five schemes from the literature and three schemes developed during the course of the study were evaluated. This effort resulted in the incorporation of a scheme in 3D-TEACH which is usuallly more accurate than the hybrid differencing method and never less accurate.

Syed, S. A.↗
NASA NTRS1988

Symbolic generation of constitutive equations

The use of the symbolic manipulation program MACSYMA for the automatic generation of constitutive equations describing the thermomechanical behavior of complex materials such as metal-matrix composites is demonstrated. Problem-specific algorithms are developed; e.g., for partial differentiation by the chain rule, automatic generation of tree structures, special tensor analysis, and the simplification of expressions. The resulting subprogram package, SDICE, is shown to be fully applicable to both isotropic and anisotropic materials; its potential usefulness as a basis for FEM analyses is indicated.

Tan, H. Q.↗