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
All sourcesNASA NTRSDOE OSTI
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.↗
NASA NTRS1984

NASA space biology accomplishments, 1983-84

Approximately 42 project summaries from NASA's Space Biology Program are presented. Emphasis is placed on gravitational effects on plant and animal life. The identification of gravity perception; the effects of weightlessness on genetic integrity, cellular differentiation, reproduction, development, growth, maturation, and senescence; and how gravity affects and controls physiology, morphology, and behavior of organisms are studied.

Halstead, T. W.↗
NASA NTRS1985

Optimal cure cycle design for autoclave processing of thick composites laminates: A feasibility study

The thermal analysis and the calculation of thermal sensitivity of a cure cycle in autoclave processing of thick composite laminates were studied. A finite element program for the thermal analysis and design derivatives calculation for temperature distribution and the degree of cure was developed and verified. It was found that the direct differentiation was the best approach for the thermal design sensitivity analysis. In addition, the approach of the direct differentiation provided time histories of design derivatives which are of great value to the cure cycle designers. The approach of direct differentiation is to be used for further study, i.e., the optimal cycle design.

Hou, Jean W.↗
NASA NTRS1988

Higher order sensitivity of solutions to convex programming problems without strict complementarity

Consideration is given to a family of convex programming problems which depend on a vector parameter. It is shown that the solutions of the problems and the associated Lagrange multipliers are arbitrarily many times directionally differentiable functions of the parameter, provided that the data of the problems are sufficiently regular. The characterizations of the respective derivatives are given.

Malanowski, Kazimierz↗