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 NTRS1999

If walls could talk

The plant cell wall is very complex, both in structure and function. The wall components and the mechanical properties of the wall have been implicated in conveying information that is important for morphogenesis. Proteoglycans, fragments of polysaccharides and the structural integrity of the wall may relay signals that influence cellular differentiation and growth control. Furthering our knowledge of cell wall structure and function is likely to have a profound impact on our understanding of how plant cells communicate with the extracellular environment.

Review↗

NASA NTRSDate not supplied

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗

NASA NTRSDate not supplied

A Formal Verification Framework for Runtime Assurance

Runtime assurance↗

DOE OSTI2024

In-vivo Raman microspectroscopy reveals differential nitrate concentration in different developmental zones in Arabidopsis roots

Abstract Background Nitrate (NO 3 − ) is one of the two major forms of inorganic nitrogen absorbed by plant roots, and the tissue nitrate concentration in roots is considered important for optimizing developmental programs. Technologies to quantify the expression levels of nitrate transporters and assimilating enzymes at the cellular level have improved drastically in the past decade. However, a technological gap remains for detecting nitrate at a high spatial resolution. Using extraction-based methods, it is challenging to reliably estimate nitrate concentration from a small volume of cells (i.e., with high spatial resolution), since targeting a small or specific group of cells is physically difficult. Alternatively, nitrate detection with microelectrodes offers subcellular resolution with high cell specificity, but this method has some limitations on cell accessibility and detection speed. Finally, optical nitrate biosensors have very good ( in-vivo ) sensitivity (below 1 mM) and cellular-level spatial resolution, but require plant transformation, limiting their applicability. In this work, we apply Raman microspectroscopy for high-dynamic range in-vivo mapping of nitrate in different developmental zones of Arabidopsis thaliana roots in-situ . Results As a proof of concept, we have used Raman microspectroscopy for in-vivo mapping of nitrate content in roots of Arabidopsis seedlings grown on agar media with different nitrate concentrations. Our results revealed that the root nitrate concentration increases gradually from the meristematic zone (~ 250 µm from the root cap) to the maturation zone (~ 3 mm from the root cap) in roots grown under typical growth conditions used for Arabidopsis, a trend that has not been previously reported. This trend was observed for plants grown in agar media with different nitrate concentrations (0.5–10 mM). These results were validated through destructive measurement of nitrate concentration. Conclusions We present a methodology based on Raman microspectroscopy for in-vivo label-free mapping of nitrate within small root tissue volumes in Arabidopsis. Measurements are done in-situ without additional sample preparation. Our measurements revealed nitrate concentration changes from lower to higher concentration from tip to mature root tissue. Accumulation of nitrate in the maturation zone tissue shows a saturation behavior. The presented Raman-based approach allows for in-situ non-destructive measurements of Raman-active compounds.

Fernández González, Alma↗

NASA NTRS1989

A human factors evaluation of Extravehicular Activity gloves

One of the major problems faced in Extravehicular Activity (EVA) glove development has been the absence of concise and reliable methods to measure the effects of EVA gloves on human-hand capabilities. NASA has sponsored a program to develop a standardized set of tests designed to assess EVA-gloved hand capabilities in six performance domains: Range of Motion, Strength, Tactile Perception, Dexterity, Fatigue, and Comfort. Based upon an assessment of general human-hand functioning and EVA task requirements, several tests within each performance domain were developed to provide a comprehensive evaluation. All tests were designed to be conducted in a glove box with the bare hand, an EVA glove without pressure, an EVA glove at operation pressure. Thus, the differential effect on performance of the glove with and without pressure was tested. Bare hand performance was used to 'calibrate' the effects. Ten subjects participated in the test setup as a repeated-measures experimental design. The paper will report the results of the test program.

O'Hara, John M.↗

NASA NTRS1972

Implications of a quadratic stream definition in radiative transfer theory.

An explicit definition of the radiation-stream concept is stated and applied to approximate the integro-differential equation of radiative transfer with a set of twelve coupled differential equations. Computational efficiency is enhanced by distributing the corresponding streams in three-dimensional space in a totally symmetric way. Polarization is then incorporated in this model. A computer program based on the model is briefly compared with a Monte Carlo program for simulation of horizon scans of the earth's atmosphere. It is found to be considerably faster.

Whitney, C.↗

NASA NTRS1981

Numerical algorithms for finite element computations on arrays of microprocessors

The development of a multicolored successive over relaxation (SOR) program for the finite element machine is discussed. The multicolored SOR method uses a generalization of the classical Red/Black grid point ordering for the SOR method. These multicolored orderings have the advantage of allowing the SOR method to be implemented as a Jacobi method, which is ideal for arrays of processors, but still enjoy the greater rate of convergence of the SOR method. The program solves a general second order self adjoint elliptic problem on a square region with Dirichlet boundary conditions, discretized by quadratic elements on triangular regions. For this general problem and discretization, six colors are necessary for the multicolored method to operate efficiently. The specific problem that was solved using the six color program was Poisson's equation; for Poisson's equation, three colors are necessary but six may be used. In general, the number of colors needed is a function of the differential equation, the region and boundary conditions, and the particular finite element used for the discretization.

Ortega, J. M.↗

NASA NTRS1982

Suppression of osteoblast differentiation during weightlessness

It is pointed out that associated with weightlessness is a marked depression or arrest of bone formation. Although the mechanism of this effect is unknown, it probably involves a failure of osteogenic induction. The present study's objective is to determine if weightlessness alters osteoblast differentiation, as evidenced by a change in relative distribution of large to small nuclei in rat moral periodontal ligament of the maxilla. In conjunction with the U.S./USSR Biological Satellite Program, male Wistar rats were flown aboard a modified Soviet Vostok spacecraft (Cosmos 1129). The results of the study are discussed. Morphometric investigations suggest that depleted numbers of preosteoblasts may be an important factor in the inhibition of bone formation during weightlessness.

Roberts, W. E.↗

NASA NTRS1983

The distribution of stars in the Galaxy

A discussion is presented of the basic ideas underlying the use of star counts to determine galactic parameters. Previous work using star counts is reviewed, and possible future observational programs that will be important in increasing the knowledge of the stellar content of the galaxy are indicated. The techniques used in star counts are illustrated by applications to the differential number-magnitude counts in SA 57, the frequency-color diagrams in SA 57 and SA 68, the paucity of intermediate population stars in the range M(V) = 5-8, and the M/L ratio for the unseen matter in the halo.

Bahcall, J. N.↗

NASA NTRS1990

Photoelectrochemical fabrication of spectroscopic diffraction gratings, phase 2

This program was directed toward the production of Echelle diffraction gratings by a light-driven, electrochemical etching technique (photoelectrochemical etching). Etching is carried out in single crystal materials, and the differential rate of etching of the different crystallographic planes used to define the groove profiles. Etching of V-groove profiles was first discovered by us during the first phase of this project, which was initially conceived as a general exploration of photoelectrochemical etching techniques for grating fabrication. This highly controllable V-groove etching process was considered to be of high significance for producing low pitch Echelles, and provided the basis for a more extensive Phase 2 investigation.

Rauh, R. David↗

NASA NTRS1992

Negative Differential Resistance (NDR) frequency conversion with gain

The dependence of the I-V characteristic of the negative differential resistance (NDR) devices on the power level and frequency of the rf input signal has been theoretically analyzed with a modified large- and small-signal nonlinear circuit analysis program. The NDR devices we used in this work include both the tunnel diode (without the antisymmetry in the I-V characteristic) and resonant-tunneling devices (with the antisymmetry in the I-V characteristic). Absolute negative conductance can be found from a zero-biased resonant tunneling device when the applied pump power is within a small range. This study verifies the work of Sollner et al. Variable negative conductances at the fundamental and harmonic frequencies can also be obtained from both the unbiased and biased tunnel diodes. The magnitude of the negative conductances can be adjusted by varying the pump amplitude -- a very useful circuit property. However, the voltage range over which the negative conductance occurs moves towards the more positive side of the voltage axis with increasing frequency. Furthermore, the range of the pumping amplitude to obtain negative conductance varies with the parasitics (resistance and capacitance) of the device. The theoretical observation of the dependence of the I-V characteristic of the NDR devices on the power and frequency of the applied pump signal is supported by the experimental results. In addition, novel functions of a NDR device such as self-oscillating frequency multiplier and mixer with gain have been experimentally demonstrated. The unbiased oscillator have also been successfully realized with a NDR device with an antisymmetrical I-V characteristic. Finally, the applications of these device functions will be discussed.

Hwu, R. J.↗

NASA NTRS1998

Spacecraft Charging and the Microwave Anisotropy Probe Spacecraft

The Microwave Anisotropy Probe (MAP), a MIDEX mission built in partnership between Princeton University and the NASA Goddard Space Flight Center (GSFC), will study the cosmic microwave background. It will be inserted into a highly elliptical earth orbit for several weeks and then use a lunar gravity assist to orbit around the second Lagrangian point (L2), 1.5 million kilometers, anti-sunward from the earth. The charging environment for the phasing loops and at L2 was evaluated. There is a limited set of data for L2; the GEOTAIL spacecraft measured relatively low spacecraft potentials (approx. 50 V maximum) near L2. The main area of concern for charging on the MAP spacecraft is the well-established threat posed by the "geosynchronous region" between 6-10 Re. The launch in the autumn of 2000 will coincide with the falling of the solar maximum, a period when the likelihood of a substorm is higher than usual. The likelihood of a substorm at that time has been roughly estimated to be on the order of 20% for a typical MAP mission profile. Because of the possibility of spacecraft charging, a requirement for conductive spacecraft surfaces was established early in the program. Subsequent NASCAP/GEO analyses for the MAP spacecraft demonstrated that a significant portion of the sunlit surface (solar cell cover glass and sunshade) could have nonconductive surfaces without significantly raising differential charging. The need for conductive materials on surfaces continually in eclipse has also been reinforced by NASCAP analyses.

Timothy, VanSant J.↗

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