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 487 records · Page 27

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.↗

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↗

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.↗

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↗

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.↗

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.↗

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↗

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.↗

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.↗

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.↗

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.↗

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.↗

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.↗

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.↗

Coolant side heat transfer with rotation: User manual for 3D-TEACH with rotation

This program solves the governing transport equations in Reynolds average form for the flow of a 3-D, steady state, viscous, heat conducting, multiple species, single phase, Newtonian fluid with combustion. The governing partial differential equations are solved in physical variables in either a Cartesian or cylindrical coordinate system. The effects of rotation on the momentum and enthalpy calculations modeled in Cartesian coordinates are examined. The flow of the fluid should be confined and subsonic with a maximum Mach number no larger than 0.5. This manual describes the operating procedures and input details for executing a 3D-TEACH computation.

Syed, S. A.↗

Neural network error correction for solving coupled ordinary differential equations

A neural network is presented to learn errors generated by a numerical algorithm for solving coupled nonlinear differential equations. The method is based on using a neural network to correctly learn the error generated by, for example, Runge-Kutta on a model molecular dynamics (MD) problem. The neural network programs used in this study were developed by NASA. Comparisons are made for training the neural network using backpropagation and a new method which was found to converge with fewer iterations. The neural net programs, the MD model and the calculations are discussed.

Shelton, R. O.↗

Influence of microgravity on cellular differentiation in root caps of Zea mays

We launched imbibed seeds of Zea mays into outer space aboard the space shuttle Columbia to determine the influence of microgravity on cellular differentiation in root caps. The influence of microgravity varied with different stages of cellular differentiation. Overall, microgravity tended to 1) increase relative volumes of hyaloplasm and lipid bodies, 2) decrease the relative volumes of plastids, mitochondria, dictyosomes, and the vacuome, and 3) exert no influence on the relative volume of nuclei in cells comprising the root cap. The reduced allocation of dictyosomal volume in peripheral cells of flight-grown seedlings correlated positively with their secretion of significantly less mucilage than peripheral cells of Earth-grown seedlings. These results indicate that 1) microgravity alters the patterns of cellular differentiation and structures of all cell types comprising the root cap, and 2) the influence of microgravity on cellular differentiation in root caps of Zea mays is organelle specific.

NASA Program Space Biology↗

Robotic multimodality stereotactic brain tissue identification: work in progress

Real-time identification of tissue would improve procedures such as stereotactic brain biopsy (SBX), functional and implantation neurosurgery, and brain tumor excision. To standard SBX equipment has been added: (1) computer-controlled stepper motors to drive the biopsy needle/probe precisely; (2) multiple microprobes to track tissue density, detect blood vessels and changes in blood flow, and distinguish the various tissues being penetrated; (3) neural net learning programs to allow real-time comparisons of current data with a normative data bank; (4) three-dimensional graphic displays to follow the probe as it traverses brain tissue. The probe can differentiate substances such as pig brain, differing consistencies of the 'brain-like' foodstuff tofu, and gels made to simulate brain, as well as detect blood vessels imbedded in these substances. Multimodality probes should improve the safety, efficacy, and diagnostic accuracy of SBX and other neurosurgical procedures.

Brain/anatomy & histology/surgery↗