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 433 records · Page 24
All sourcesNASA NTRSDOE OSTI
NASA NTRS1987

Fast-response, high-precision carbon monoxide sensor using a tunable diode laser absorption technique

A tunable diode laser instrument, denoted as DACOM (Differential Absorption CO Measurement), has been developed to meet the fast-response, high-precision CO measurement needs of the GTE (Global Tropospheric Experiment) program. Under the GTE program, DACOM participated in the three field missions of CITE 1 (Chemical Instrumentation Test and Evaluation 1), a project involving the intercomparison of trace gas measurement techniques. DACOM performance, including analyses of measurement error sources, is discussed for the ground-based mission at Wallops Island, VA (summer 1983), and two missions on the NASA CV-990 (fall 1983 and spring 1984). Examples of fast-response (about 1 s), high-precision (+ or - 1 part per billion by volume, + or - 1.5 percent of reading) airborne data are included to illustrate the capability of this instrument.

Sachse, Glen W.↗
NASA NTRS1990

Dynamics of column stability with partial end restraints

The dynamic behavior of columns with partial end restraints and loads consisting of a dead load and a pulsating load are investigated. The differential equation is solved using a lumped impulse recurrence formula relative to time coupled with a finite difference discretization along the member length. A computer program is written from which the first critical frequencies are found as a function of end stiffness. The case of a pinned ended column compares very well with the exact solution. Also, the natural frequency and buckling load formulas are derived for equal and unequal end restraints.

Gregory, Peyton B.↗
NASA NTRS1997

Combined Numerical/Analytical Perturbation Solutions of the Navier-Stokes Equations for Aerodynamic (Ejector Nozzle) Flows

In spite of the rapid advances in both scalar and parallel computational tools, the large number and breadth of variables involved in aerodynamic systems make the use of parabolized or even boundary layer fluid flow models impractical for both preliminary design and inverse design problems. Given this restriction, we have concluded that reduced or approximate models are an important family of tools for design purposes. This study of a combined perturbation/numerical modeling methodology with an application to ejector-mixer nozzles (shown schematically in the following figure) is nearing completion. The work is being funded by a grant from the NASA Lewis Research Center to Texas A&M University. These ejector-mixer nozzle models are designed to be of use to the High Speed Civil Transport Program and may be adopted by both NASA and industry. A computer code incorporating the ejector-mixer models is under development. This code, the Differential Reduced Ejector/Mixer Analysis (DREA), can be run fast enough to be used as a subroutine or to be called by a design optimization routine. Simplified conservation equations--x-momentum, energy, and mass conservation--are used to define the model. Unlike other preliminary design models, DREA requires minimal empirical input and includes vortical mixing and a fully compressible formulation among other features. DREA is being validated by comparing it with results obtained from open literature and proprietary industry data. Preliminary results for a subsonic ejector and a supersonic ejector are shown. In addition, dedicated experiments have been performed at Texas A&M. These experiments use a hydraulic/gas flow analog to provide information about the inviscid mixing interface structure. Final validation and documentation of this work is expected by May of 1997. However, preliminary versions of DREA can be expected in early 1997. In summary, DREA provides a sufficiently detailed and realistic ejector-mixer nozzle model at a computational cost compatible with preliminary design applications.

DeChant, Lawrence J.↗
NASA NTRS2006

Space-based Networking Technology Developments in the Interplanetary Network Directorate Information Technology Program

Described recent development of communications protocols, services, and associated tools targeted to reduce risk, reduce cost and increase efficiency of IND infrastructure and supported mission operations. Space-based networking technologies developed were: a) Provide differentiated quality of service (QoS) that will give precedence to traffic that users have selected as having the greatest importance and/or time-criticality; b) Improve the total value of information to users through the use of QoS prioritization techniques; c) Increase operational flexibility and improve command-response turnaround; d) Enable new class of networked and collaborative science missions; e) Simplify applications interfaces to communications services; and f) Reduce risk and cost from a common object model and automated scheduling and communications protocols. Technologies are described in three general areas: communications scheduling, middleware, and protocols. Additionally developed simulation environment, which provides comprehensive, quantitative understanding of the technologies performance within overall, evolving architecture, as well as ability to refine & optimize specific components.

scheduling↗
NASA NTRS1985

Polyamine levels as related to growth, differentiation and senescence in protoplast-derived cultures of Vigna aconitifolia and Avena sativa

We have previously reported that aseptically cultured mesophyll protoplasts of Vigna divide rapidly and regenerate into complete plants, while mesophyll protoplasts of Avena divide only sporadically and senesce rapidly after isolation. We measured polyamine titers in such cultures of Vigna and Avena, to study possible correlations between polyamines and cellular behavior. We also deliberately altered polyamine titer by the use of selective inhibitors of polyamine biosynthesis, noting the effects on internal polyamine titer, cell division activity and regenerative events. In Vigna cultures, levels of free and bound putrescine and spermidine increased dramatically as cell division and differentiation progressed. The increase in bound polyamines was largest in embryoid-forming callus tissue while free polyamine titer was highest in root-forming callus. In Avena cultures, the levels of total polyamines decreased as the protoplast senesced. The presence of the inhibitors alpha-difluoromethyl-arginine (specific inhibitor of arginine decarboxylase), alpha-difluoromethylornithine (specific inhibitor of ornithine decarboxylase) and dicyclohexylamine (inhibitor of spermidine synthase) reduced cell division and organogenesis in Vigna cultures. Addition of low concentration of polyamines to such cultures containing inhibitors or removal of inhibitors from the culture medium restored the progress of growth and differentiation with concomitant increase in polyamine levels.

NASA Program Space Biology↗
NASA NTRS1973

Calculation of total electron excitation cross-sections and partial electron ionization cross-sections for the elements

Computer programs were used to calculate the total electron excitation cross-section for atoms and the partial ionization cross-section. The approximations to the scattering amplitude used are as follows: (1) Born, Bethe, and Modified Bethe for non-exchange excitation; (2) Ochkur for exchange excitation; and (3) Coulomb-Born of non-exchange ionization. The amplitudes are related to the differential cross-sections which are integrated to give the total excitation (or partial ionization) cross-section for the collision. The atomic wave functions used are Hartree-Fock-Slater functions for bound states and the coulomb wave function for the continuum. The programs are presented and the results are examined.

Green, T. J.↗
NASA NTRS1966

Matrix methods and automation in structural engineering

The partial differential equations of motion of shell structures subject to arbitrary loads may be extremely difficult or even impossible to solve. Since the digital computer is now an available tool for the structural engineer, current research has been directed toward methods which involve matrix formulation of large systems of algebraic equations and matrix solutions for discrete elements rather than the solution of the partial differential equations. These methods require rapid and accurate computer solutions. Recognizing the accuracy problems inherent in working with large matrices, a comprehensive survey of available computer programs was performed for large matrix inversion and for eigenvalue and eigenvector solutions under a Research Grant from the National Aeronautics and Space Administration and the techniques are developed in this paper for using these programs most efficiently for structural applications. The contents of the paper include: automation of matrix compilation, methods of very large matrix inversion and solution of simultaneous equation, and techniques for finding eigenvalues and vectors. In addition, a finite element stiffness matrix approach developed at the Denver Research Institute for both plates and shells subject to arbitrary dynamic loads is described as it was instrumented with complete automation on the digital computer.

Anita S West↗
NASA NTRS1974

A comprehensive experimental program for investigation of various Omega operational modes with selected data analysis results

The investigations considered are concerned with a better definition of the achievable accuracy and propagation characteristics of Omega and the provision of data which could be used for an analysis to study the potential application of Omega position determination to support other NASA projects. The data collection program is considered along with the experimental equipment employed. Attention is given to the design of the receiving station, aspects of data processing, position measurement errors, differential errors, problems of lane decision, and the definition of the update rate.

Lytle, C. D.↗
NASA NTRS1977

A program for the solution of integral equations

The program, first written in REDUCE, was implemented in MACSYMA with several additional techniques which are explained. By utilizing many methods, the program can obtain closed-form and series solutions to a large class of linear and nonlinear problems. One of the techniques developed, reduction to a differential equation, has not previously appeared in the literature in the general form described.

Bogen, R. A.↗
NASA NTRS1982

Approaches to environmental verification of STS free-flier and pallet payloads

This paper presents an overview of the environmental verification programs followed on an STS-launched free-flier payload, using the Tracking and Data Relay Satellite (TDRS) as an example, and a pallet payload, using the Office of Space Sciences-1 (OSS-1) as an example. Differences are assessed and rationale given as to why the differing programs were used on the two example payloads. It is concluded that the differences between the programs are due to inherent differences in the payload configuration, their respective mission performance objectives and their operational scenarios rather than to any generic distinctions that differentiate between a free-flier and a pallet payload.

Keegan, W. B.↗
NASA NTRS1986

Characterizing Semiconductor Alloys for Infrared Sensors

Report presents results of continuing program aimed at characterizing mercury/cadmium/tellurium alloys and eventually developing improved methods of preparing alloys for use as infrared sensors. Work covered by report includes series of differential thermal analysis (DTA) measurements of alloy compositions with x varied from 9 to 1 in 0.1 increments.

Lehoczky, B. S. L.↗
NASA NTRS1988

A conceptual design study for the EOS Lidar Atmospheric Sounder and Altimeter facility

A preliminary design study is presented for the Lidar Atmospheric Sounder and Altimeter (LASA), an active remote sensor for the Earth Observing System. LASA is designed to measure the global vertical distributions of aerosols, cloud top heights, atmospheric trace gases, atmospheric temperature and pressure, and the height of the PBL. The measurements are made using optical radar, differential absorption lidar, and laser altimetry. An experiment proposed for the LASA facility, the EOS Atmospheric Global Lidar Experiment (EAGLE) is described in detail. The EAGLE program is planned to determine aerosol and cloud distributions, water vapor concentrations, and temperature profiles over the troposphere and aerosol distribution over the stratosphere. The measurement techniques, receiver system, and transmitter for the EAGLE program are examined and the conceptual design of the EAGLE experiment and the LASA/EAGLE interface is outlined.

Mauldin, Lemuel E., III↗
NASA NTRS1988

Storage management in Ada. Three reports. Volume 1: Storage management in Ada as a risk to the development of reliable software. Volume 2: Relevant aspects of language. Volume 3: Requirements of the language versus manifestations of current implementations

The risk to the development of program reliability is derived from the use of a new language and from the potential use of new storage management techniques. With Ada and associated support software, there is a lack of established guidelines and procedures, drawn from experience and common usage, which assume reliable behavior. The risk is identified and clarified. In order to provide a framework for future consideration of dynamic storage management on Ada, a description of the relevant aspects of the language is presented in two sections: Program data sources, and declaration and allocation in Ada. Storage-management characteristics of the Ada language and storage-management characteristics of Ada implementations are differentiated. Terms that are used are defined in a narrow and precise sense. The storage-management implications of the Ada language are described. The storage-management options available to the Ada implementor and the implications of the implementor's choice for the Ada programmer are also described.

Auty, David↗
NASA NTRS1979

A simplified computer program for the prediction of the linear stability behavior of liquid propellant combustors

A program for predicting the linear stability of liquid propellant rocket engines is presented. The underlying model assumptions and analytical steps necessary for understanding the program and its input and output are also given. The rocket engine is modeled as a right circular cylinder with an injector with a concentrated combustion zone, a nozzle, finite mean flow, and an acoustic admittance, or the sensitive time lag theory. The resulting partial differential equations are combined into two governing integral equations by the use of the Green's function method. These equations are solved using a successive approximation technique for the small amplitude (linear) case. The computational method used as well as the various user options available are discussed. Finally, a flow diagram, sample input and output for a typical application and a complete program listing for program MODULE are presented.

Mitchell, C. E.↗
NASA NTRS1988

Does vector-free gravity simulate microgravity? Functional and morphologic attributes of clinorotated nerve and muscle grown in cell culture

Cocultured Xenopus neurons and myocytes were subjected to non-vectorial gravity by clinostat rotation to determine if microgravity, during space flights, may affect cell development and communications. Clinorotated cells showed changes consistent with the hypothesis that cell differentiation, in microgravity, is altered by interference with cytoskeleton-related mechanisms. We found: increases in the myocyte and its nuclear area, "fragmentation" of nucleoli, appearance of neuritic "aneurysms", decreased growth in the presence of "trophic" factors, and decreased yolk utilization. The effects were most notable at 1-10 rpm and depended on the onset and duration of rotation. Some parameters returned to near control values within 48 hrs after cessation of rotation. Cells from cultures rotated at higher speeds (>50 rpm) appeared comparable to controls. Compensation by centrifugal forces may account for this finding. Our data are consistent, in principle, with effects on other, flighted cells and suggest that "vector-free" gravity may simulate certain aspects of microgravity. The distribution of acetylcholine receptor aggregates, on myocytes, was also altered. This indicates that brain development, in microgravity, may also be affected.

NASA Discipline Cell Biology↗
NASA NTRSDate not supplied

Embedding Differential Dynamic Logic in PVS

Differential dynamic logic (dL) is a formal framework for specifying and reasoning about hybrid systems, i.e., dynamical systems that exhibit both continuous and discrete behaviors. These kinds of systems arise in many safety- and mission-critical applications. This paper presents a formalization of dL in the Prototype Verification System (PVS) that includes the semantics of hybrid programs and dL’s proof calculus. The formalization embeds dL into the PVS logic, resulting in a version of dL whose proof calculus is not only formally verified, but is also available for the verification of hybrid programs within PVS itself. This embedding, called Plaidypvs (Properly Assured Implementation of dL for Hybrid Program Verification and Specification), supports standard dL style proofs, but further leverages the capabilities of PVS to allow reasoning about entire classes of hybrid programs. The embedding also allows the user to import the well-established definitions and mathematical theories available in PVS.

PVS↗
NASA NTRS1979

Rail shear test method

The results of both an experimental test program and a finite element analysis of selected graphite/polyimide rail shear test specimens are discussed. The two dimensional finite element analysis includes both mechanical and thermal loading (differential expansion) of the specimens and their elastic rails. Parameters in this analysis of unidirectional and symmetric, balanced angle-ply laminates include ply layup angles, the effect of flexible rails, the method of load introduction to the specimen and the effect of uniform heating of the specimen and rails. Two types of tensile rail shear fixtures were investigated experimentally: a uniform thickness, bolted-rail shear fixture loaded diagonally across the specimen test section; and a tapered thickness, bonded-rail shear fixture loaded axially along the center-line of the specimen test section. Test results include room-temperature and 589K strain data taken from the center of the specimen test section during loading.

Garcia, R.↗