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 631 records · Page 35
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Artificial intelligence (AI) based tactical guidance for fighter aircraft

A research program investigating the use of artificial intelligence (AI) techniques to aid in the development of a Tactical Decision Generator (TDG) for Within Visual Range air combat engagements is discussed. The application of AI programming and problem solving methods in the development and implementation of the Computerized Logic For Air-to-Air Warfare Simulations (CLAWS), a second generation TDG, is presented. The knowledge-based systems used by CLAWS to aid in the tactical decision-making process are outlined in detail, and the results of tests to evaluate the performance of CLAWS versus a baseline TDG developed in FORTRAN to run in real time in the Langley Differential Maneuvering Simulator, are presented. To date, these test results have shown significant performance gains with respect to the TDG baseline in one-versus-one air combat engagements, and the AI-based TDG software has proven to be much easier to modify and maintain than the baseline FORTRAN TDG programs.

Mcmanus, John W.↗
NASA NTRS1995

Models and molecular approaches to assessing the effects of the microgravity environment on vertebrate development

The extent to which gravity, and especially the lack thereof, can affect normal development in higher organisms is poorly understood. Underlying this question is the assumption that normal development depends on the embryo's ability to maintain a programmed temporal and spatial coordination of morphogenetic events. There are several reports documenting the apparently normal development of several vertebrate species, including mammals, under conditions of exposure to space flight during various periods of the development process. Evidence to the contrary also exists and it is therefore likely that some alterations in morphology do occur in a microgravity environment. Although subsequent development may appear overtly normal, more subtle abnormalities result. In all studies, the evaluation is restricted by the few numbers of specimens that can be examined and the relatively insensitive techniques for assessing potentially subtle effects. In the present discussion, we summarize some observations of mammalian development made in microgravity and consider which stages might be expected to be differentially sensitive to altered gravity conditions. While we emphasize mammalian development, we discuss the suitability of another model system for examining such effects in a cross-species context. Furthermore, we consider recent developments in our understanding of the molecular genetic program regulating embryogenesis that could serve as markers for assessing perturbations of development.

Cosmos 1129 Project↗
NASA NTRS1990

Artificial Intelligence (AI) Based Tactical Guidance for Fighter Aircraft

A research program investigating the use of Artificial Intelligence (AI) techniques to aid in the development of a Tactical Decision Generator (TDG) for Within Visual Range (WVR) air combat engagements is discussed. The application of AI programming and problem solving methods in the development and implementation of the Computerized Logic For Air-to-Air Warfare Simulations (CLAWS), a second generation TDG, is presented. The Knowledge-Based Systems used by CLAWS to aid in the tactical decision-making process are outlined in detail, and the results of tests to evaluate the performance of CLAWS versus a baseline TDG developed in FORTRAN to run in real-time in the Langley Differential Maneuvering Simulator (DMS), are presented. To date, these test results have shown significant performance gains with respect to the TDG baseline in one-versus-one air combat engagements, and the AI-based TDG software has proven to be much easier to modify and maintain than the baseline FORTRAN TDG programs. Alternate computing environments and programming approaches, including the use of parallel algorithms and heterogeneous computer networks are discussed, and the design and performance of a prototype concurrent TDG system are presented.

McManus, John W.↗
NASA NTRS1973

Normal mode analysis of a rotating group of lashed turbine blades by substructures

A group of 5 lashed identical stream turbine blades is studied through the use of single level substructuring using NASTRAN level 15.1. An altered version, similar to DMAP Program Number 3 of the NASTRAN Newsletter, of Rigid Format 13.0 was used. Steady-state displacements and stresses due to centrifugal loads are obtained both without and with consideration of differential stiffness. The normal mode calculations were performed for blades at rest and at operating speed. Substructuring lowered the computation costs of the analysis by a factor of four.

Filstrup, A. W.↗
NASA NTRS1981

The challenges of manufacturing graphite-epoxy structural columns for space platforms

A description is given of the manufacturing processes developed for large-quantity production of space structure graphite/epoxy composite tubes. The tubes are to be delivered to orbit by the Space Shuttle and assembled by astronaut-assisted assembly machines. The tooling and manufacturing system uses a novel method of dry fiber placement which carefully controls fiber position and orientation and a non-autoclave cure for the epoxy resin. The means of dimensional tolerance control over differential thermal expansion between metal tooling and graphite tubes, resin shrinkage during cure, hot pressurized resins in close tolerance tooling, and tool wear, are examined in detail. A successful pilot production program is also reported.

Vaughn, R. L.↗
NASA NTRS1987

MPF: A portable message passing facility for shared memory multiprocessors

The design, implementation, and performance evaluation of a message passing facility (MPF) for shared memory multiprocessors are presented. The MPF is based on a message passing model conceptually similar to conversations. Participants (parallel processors) can enter or leave a conversation at any time. The message passing primitives for this model are implemented as a portable library of C function calls. The MPF is currently operational on a Sequent Balance 21000, and several parallel applications were developed and tested. Several simple benchmark programs are presented to establish interprocess communication performance for common patterns of interprocess communication. Finally, performance figures are presented for two parallel applications, linear systems solution, and iterative solution of partial differential equations.

Malony, Allen D.↗
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↗
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)↗
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.↗
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↗