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 415 records · Page 23

Mechanical Properties Of Large Sodium Iodide Crystals

Report presents data on mechanical properties of large crystals of thallium-doped sodium iodide. Five specimens in shape of circular flat plates subjected to mechanical tests. Presents test results for each specimen as plots of differential pressure versus center displacement and differential pressure versus stress at center. Also tabulates raw data. Test program also developed procedure for screening candidate crystals for gamma-ray sensor. Procedure eliminates potentially weak crystals before installed and ensures material yielding kept to minimum.

Lee, Henry M.↗

Year-round measurements of ozone at 66 deg S with a visible spectrometer

In March 1990, a zenith-sky UV-visible spectrometer of the design 'Systeme Automatique d'Obervation Zenithal' (SAOZ) was installed at Faraday in Antarctica (66.3 deg S, 64.3 deg W). SAOZ records spectra between 290 and 600 nm during daylight. Its analysis program fits laboratory spectra of constituents, at various wavelengths, to the differential of the ratio of the observed spectrum and a reference spectrum. The least-squares fitting procedure minimizes the sum-of-squares of residuals. Ozone is deduced from absorption in its visible bands between 500 and 560 nm. The fortunate colocation of this SAOZ with the well-calibrated Dobson at Faraday has allowed us to examine the calibration of the zero of the SAOZ, difficult at visible wavelengths because of the small depth of absorption. Here we describe recent improvements and limitations to this calibration, and discuss SAOZ measurements of ozone during winter in this important location at the edge of the Antarctic vortex.

Roscoe, Howard K.↗

Transport delays associated with NASA Langley Flight Simulation Facility

This paper describes the transport delays associated with flight simulation programs currently operating at the NASA Langley Research Center (LaRC). Formulas are presented for calculating a rough estimate of the transport delay for a particular simulation. Various simulation programs that used the Flight Simulation Facility at LaRC, during the period of October 1993 to March 1994, were tested to determine the transport delays associated with the simulation program and any associated hardware. Several simulators were tested, including the Differential Maneuvering Simulator (DMS), the Visual Motion Simulator (VMS), and the Transport System Research Vehicle (TSRV).

Smith, R. Marshall↗

Digital signal processing in the radio science stability analyzer

The Telecommunications Division has built a stability analyzer for testing Deep Space Network installations during flight radio science experiments. The low-frequency part of the analyzer operates by digitizing wave signals with bandwidths between 80 Hz and 45 kHz. Processed outputs include spectra of signal, phase, amplitude, and differential phase; time series of the same quantities; and Allan deviation of phase and differential phase. This article documents the digital signal-processing methods programmed into the analyzer.

Greenhall, C. A.↗

Optimal aeroassisted orbital transfer with plane change using collocation and nonlinear programming

The fuel optimal control problem arising in the non-planar orbital transfer employing aeroassisted technology is addressed. The mission involves the transfer from high energy orbit (HEO) to low energy orbit (LEO) with orbital plane change. The basic strategy here is to employ a combination of propulsive maneuvers in space and aerodynamic maneuvers in the atmosphere. The basic sequence of events for the aeroassisted HEO to LEO transfer consists of three phases. In the first phase, the orbital transfer begins with a deorbit impulse at HEO which injects the vehicle into an elliptic transfer orbit with perigee inside the atmosphere. In the second phase, the vehicle is optimally controlled by lift and bank angle modulations to perform the desired orbital plane change and to satisfy heating constraints. Because of the energy loss during the turn, an impulse is required to initiate the third phase to boost the vehicle back to the desired LEO orbital altitude. The third impulse is then used to circularize the orbit at LEO. The problem is solved by a direct optimization technique which uses piecewise polynomial representation for the state and control variables and collocation to satisfy the differential equations. This technique converts the optimal control problem into a nonlinear programming problem which is solved numerically. Solutions were obtained for cases with and without heat constraints and for cases of different orbital inclination changes. The method appears to be more powerful and robust than other optimization methods. In addition, the method can handle complex dynamical constraints.

Shi, Yun. Y.↗

Automating the parallel processing of fluid and structural dynamics calculations

The NASA Lewis Research Center is actively involved in the development of expert system technology to assist users in applying parallel processing to computational fluid and structural dynamic analysis. The goal of this effort is to eliminate the necessity for the physical scientist to become a computer scientist in order to effectively use the computer as a research tool. Programming and operating software utilities have previously been developed to solve systems of ordinary nonlinear differential equations on parallel scalar processors. Current efforts are aimed at extending these capabilities to systems of partial differential equations, that describe the complex behavior of fluids and structures within aerospace propulsion systems. This paper presents some important considerations in the redesign, in particular, the need for algorithms and software utilities that can automatically identify data flow patterns in the application program and partition and allocate calculations to the parallel processors. A library-oriented multiprocessing concept for integrating the hardware and software functions is described.

Arpasi, Dale J.↗

Automating the parallel processing of fluid and structural dynamics calculations

The NASA Lewis Research Center is actively involved in the development of expert system technology to assist users in applying parallel processing to computational fluid and structural dynamic analysis. The goal of this effort is to eliminate the necessity for the physical scientist to become a computer scientist in order to effectively use the computer as a research tool. Programming and operating software utilities have previously been developed to solve systems of ordinary nonlinear differential equations on parallel scalar processors. Current efforts are aimed at extending these capabilties to systems of partial differential equations, that describe the complex behavior of fluids and structures within aerospace propulsion systems. This paper presents some important considerations in the redesign, in particular, the need for algorithms and software utilities that can automatically identify data flow patterns in the application program and partition and allocate calculations to the parallel processors. A library-oriented multiprocessing concept for integrating the hardware and software functions is described.

Arpasi, Dale J.↗

Distributed Solar Incentive Programs: Recent Experience and Best Practices for Design and Implementation

Based on lessons from recent program experience, this report explores best practices for designing and implementing incentives for small and mid-sized residential and commercial distributed solar energy projects. The findings of this paper are relevant to both new incentive programs as well as those undergoing modifications. The report covers factors to consider in setting and modifying incentive levels over time, differentiating incentives to encourage various market segments, administrative issues such as providing equitable access to incentives and customer protection. It also explores how incentive programs can be designed to respond to changing market conditions while attempting to provide a longer-term and stable environment for the solar industry. The findings are based on interviews with program administrators, regulators, and industry representatives as well as data from numerous incentive programs nationally, particularly the largest and longest-running programs. These best practices consider the perspectives of various stakeholders and the broad objectives of reducing solar costs, encouraging long-term market viability, minimizing ratepayer costs, and protecting consumers.

14 SOLAR ENERGY↗

Monitoring solar-type stars for luminosity variations

Since 1984, researchers have made more than 1500 differential photometric b (471 nm) and y (551 nm) measurements of three dozen solar-like lower main sequence stars whose chromospheric activity was previosly studied by O. C. Wilson. Here, researchers describe their methodology and the statistical tests used to distinguish intrinsic stellar variability from observational and instrument errors. The incidence of detected variability among the program and comparison stars is summarized. Among the 100 plus pairs of stars measured differentially, only a dozen were found that were unusually constant, with peak-to-peak amplitudes of seasonal mean brightness smaller than 0.3 percent (0.003 mag) over a two-to-three-year interval.

Lockwood, G. W.↗

CCAR1 is required for Ngn3-mediated endocrine differentiation

Highlights: Black-Right-Pointing-Pointer We identify CCAR1 to directly interact with Ngn3. Black-Right-Pointing-Pointer CCAR1 is co-localized with Ngn3 in the nucleus. Black-Right-Pointing-Pointer CCAR1 cooperates with Ngn3 in activating NeuroD expression. Black-Right-Pointing-Pointer CCAR1 is required for Ngn3-mediated PANC-1 transdifferentiation. -- Abstract: Neurogenin3 (Ngn3) is a basic helix-loop-helix transcription factor that specifies pancreatic endocrine cell fates during pancreas development. It can also initiate a transdifferentiation program when expressed in pancreatic exocrine and ductal cells. However, how Ngn3 initiates a transcriptional cascade to achieve endocrine differentiation is still poorly understood. Here, we show that cell cycle and apoptosis regulator 1 (CCAR1), which is a transcriptional coactivator for nuclear receptors, also interacts with Ngn3. The association between Ngn3 and CCAR1 was verified by pull-down assays and co-immunoprecipitation analyses. Using gene reporter assays, we found that CCAR1 is essential for Ngn3 to activate the expression of the reporter genes containing the NeuroD promoter. Moreover, down-regulation of endogenous CCAR1 in the PANC-1 pancreatic ductal cell line inhibits the transdifferentiation program initiated by Ngn3. CCAR1 is, therefore, a novel partner of Ngn3 in mediating endocrine differentiation.

60 APPLIED LIFE SCIENCES↗

Disruption of canonical TGFβ-signaling in murine coronary progenitor cells by low level arsenic

Exposure to arsenic results in several types of cancers as well as heart disease. A major contributor to ischemic heart pathologies is coronary artery disease, however the influences by environmental arsenic in this disease process are not known. Similarly, the impact of toxicants on blood vessel formation and function during development has not been studied. During embryogenesis, the epicardium undergoes proliferation, migration, and differentiation into several cardiac cell types including smooth muscle cells which contribute to the coronary vessels. The TGFβ family of ligands and receptors is essential for developmental cardiac epithelial to mesenchymal transition (EMT) and differentiation into coronary smooth muscle cells. In this in vitro study, 18 hour exposure to 1.34 μM arsenite disrupted developmental EMT programming in murine epicardial cells causing a deficit in cardiac mesenchyme. The expression of EMT genes including TGFβ2, TGFβ receptor-3, Snail, and Has-2 are decreased in a dose-dependent manner following exposure to arsenite. TGFβ2 cell signaling is abrogated as detected by decreases in phosphorylated Smad2/3 when cells are exposed to 1.34 μM arsenite. There is also loss of nuclear accumulation pSmad due to arsenite exposure. These observations coincide with a decrease in vimentin positive mesenchymal cells invading three-dimensional collagen gels. However, arsenite does not block TGFβ2 mediated smooth muscle cell differentiation by epicardial cells. Overall these results show that arsenic exposure blocks developmental EMT gene programming in murine coronary progenitor cells by disrupting TGFβ2 signals and Smad activation, and that smooth muscle cell differentiation is refractory to this arsenic toxicity. - Highlights: • Arsenic blocks TGFβ2 induced expression of EMT genes. • Arsenic blocks TGFβ2 triggered Smad2/3 phosphorylation and nuclear translocation. • Arsenic blocks epicardial cell differentiation into cardiac mesenchyme. • Arsenic does not block TGFβ2 induced smooth muscle cell differentiation.

60 APPLIED LIFE SCIENCES↗

Glass structure and crystallization in boro-alumino-silicate glasses containing rare earth and transition metal cations: a US-UK collaborative program

Nuclear wastes generated from reprocessing of used nuclear fuel tend to contain a large fraction of rare earth (RE, e.g., Nd3+), transition (TM, e.g., Mo6+, Zr4+), alkali (A, e.g., Cs+), and alkaline earth cations (AE, e.g., Ba2+, Sr2+). Various strategies have been considered for immobilizing such waste streams, varying from nominally crystal-free glass to glass-ceramic to multi-phase ceramic waste forms. For glass and glass-ceramic waste forms, the added glass-forming system is generally alkali-alkaline earth-aluminoborosilicate (i.e., Na-Ca-Al-B-Si oxide). In a US-UK collaborative project, summarized here, we investigated the glass structure and crystallization dependence on compositional changes in simulated nuclear waste glasses and glass-ceramics. Compositions ranged in complexity from five – to – eight oxides. Specifically, the roles of Mo and rare earths are investigated, since a proposed glass-ceramic waste form contains crystalline phases such as powellite [(AE,A,RE)MoO4] and oxyapatite [(RE,AE,A)10Si6O26], and the precipitation of molybdenum phases is known to be affected by the rare earth concentration in the glass. Additionally, the effects of other chemical additions have been systematically investigated, including Zr, Ru, P, and Ti. A series of studies were also undertaken to ascertain the effect of the RE size on glass structure and on partitioning to crystal phases, investigating similarities and differences in glasses containing single RE oxides of Sc, Y, La, Ce, Nd, Sm, Er, Yb, or Lu. Finally, the effect of charge compensation was investigated by considering not only the commonly assessed peralkaline glass but also metaluminous and peraluminous compositions. Glass structure and crystallization studies were conducted by spectroscopic methods (i.e., Raman, X-ray absorption, nuclear magnetic resonance (NMR), optical absorption, photoluminescence, photoluminescence excitation, X-ray photoelectron spectroscopy), microscopy (i.e., scanning electron microscopy, transmission electron microscopy, electron probe microanalysis), scattering (i.e., X-ray and neutron diffraction, small angle measurements), and physical characterization (i.e., differential thermal analysis, liquidus, viscosity, density). This paper will give an overview of the research program and some example unpublished results on glass-ceramic crystallization kinetics, microstructure, and Raman spectra, as well as some examples of the effects of rare earths on the absorption, luminescence, and NMR spectra of starting glasses. The formal collaboration described here has resulted in the generation of a large number of results, some of which are still in the process of being published as separate studies.

McCloy, John S.↗

A Temporal Differential Dynamic Logic Formal Embedding

Differential dynamic logic is a formal framework to specify and reason about hybrid programs (HPs). The core of dL is a proof calculus that contains a collection of axioms and rules for the rigorous verification of properties of HPs. Recently, dL has been embedded within the theorem prover Prototype Verification System (PVS) resulting in the tool Plaidypvs2. The integration of dL into PVS expands its expressive power; user defined functions, such as trigonometric and other transcendental functions, can be used inside the dL framework, and meta-reasoning about HPs can be performed, including reasoning about entire classes of HPs, specified using dependent types in PVS. The differential temporal dynamic logic (dTL2) extends dL with temporal logic operators to reason about all the states reachable during the execution of an HP. This paper presents a work in progress focusing on embedding dTL2 in PVS as an extension of Plaidypvs. Plaidypvs is expanded with the formalization of a trace semantics for HPs, the definition of the LTL temporal operators eventually and globally, and the implementation of the proof calculus for dTL2. This new embedding has the same capabilties as Plaidypvs, which allows user defined functions and meta-reasoning of properties of HPs. To the best of the authors’ knowledge this is the first implementation of dTL2.

differential dynamic logic↗

The PARADIGM Project: Case Study in Balancing Experiment Uncertainty with Design simplicity

Accurate nuclear data are required for simulations of many applications including nuclear criticality safety. Actinide nuclear data at intermediate energies (from 1 to 100s of keV) are imprecise and inaccurate, because of scarce differential data, and an insufficient theory approach to capture the structures expected in the data to yield evaluated nuclear data, and lack of integral data for proper validation. This is a known deficiency but has proved challenging to address. More specifically, only 5% of integral experiments in the International Criticality Safety Benchmark Evaluation Project (ICSBEP) benchmark suite address intermediate energies (Fig. 1). Associated calculated effective multiplication factor, k eff , values for these experiments are far outside the experimental uncertainties and are 25× further from experiment than for fast energies. These differences could either stem from systematic biases in nuclear data, experiments or both. The goal of the PARADIGM (PARallel Approach of Differential and InteGral Measurements) project is to significantly reduce (by more than tens of percent) the uncertainties of intermediate energy actinide nuclear data. The PARADIGM project designed and intends to execute LANSCE (Los Alamos Neutron Science CEnter) and NCERC (National Criticality Experiments Research Center) intermediate experiments in parallel. They will specifically address a high priority nuclear data need—reducing bias and uncertainty in intermediate plutonium nuclear data. The two experiment will achieve that by informing each other and nuclear theory. By doing all these steps in parallel, the timeline to deliver improved nuclear data to users will significantly be reduced. This work will focus on the integral experiment final design and the balance of design and modeling simplicity while minimizing experiment uncertainty.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

FAA navigation program

The FAA navigation program, which includes two major activity areas: those associated with certification of navigation systems to meet current requirements and those associated with building the data base needed to define future system improvements is examined. The near term activities, including the VORTAC upgrading program, the development of the technical data base needed for certification of LORAN C and OMEGA as a part of the current air navigation system, and the development of area navigation standards are examined in regard to cost factors and user requirements. Future system activities discussed include analysis of alternative system configurations made up of system elements including VORTAC VOR-DME, OMEGA and differential OMEGA, LORAN C, and GPS. The interrelationships between the near and far term programs are discussed. A helicopter IFR program which includes an assessment of the operational suitability of several navigation system alternatives for meeting helicopter navigation requirements for CONUS and offshore operations is reported.

Blake, N. A.↗

Automatic differentiation evaluated as a tool for rotorcraft design and optimization

This paper investigates the use of automatic differentiation (AD) as a means for generating sensitivity analyses in rotorcraft design and optimization. This technique transforms an existing computer program into a new program that performs sensitivity analysis in addition to the original analysis. The original FORTRAN program calculates a set of dependent (output) variables from a set of independent (input) variables, the new FORTRAN program calculates the partial derivatives of the dependent variables with respect to the independent variables. The AD technique is a systematic implementation of the chain rule of differentiation, this method produces derivatives to machine accuracy at a cost that is comparable with that of finite-differencing methods. For this study, an analysis code that consists of the Langley-developed hover analysis HOVT, the comprehensive rotor analysis CAMRAD/JA, and associated preprocessors is processed through the AD preprocessor ADIFOR 2.0. The resulting derivatives are compared with derivatives obtained from finite-differencing techniques. The derivatives obtained with ADIFOR 2.0 are exact within machine accuracy and do not depend on the selection of step-size, as are the derivatives obtained with finite-differencing techniques.

Walsh, Joanne L.↗

An Interactive MATLAB Program for Fitting Transfer Functions to Frequency Responses

A computer program called FRFit (Frequency Response Fitting) is described for fitting single-input single-output transfer function models to empirical frequency response data. The program is interactive in that the user specifies ``elementary factors'' (gain, delay, pure differentiators and integrators, and first- and second-order zeros and poles) by entering numerical values or moving sliders in a graphical user interface. A nonlinear optimization can then be performed to obtain maximum likelihood estimates of transfer function parameters and uncertainties to provide feedback on the modeling and refine estimates. Several examples are discussed, including the identification of aircraft pitch dynamics from simulation data and data reported in the literature, approximating Theodorsen's function of unsteady aerodynamics, and obtaining a reduced-order model of a computational fluid dynamics code describing the unsteady aerodynamics around an aeroelastic wing. The program has some usefulness as a teaching aid, and can be applied to model structure determination, reduced-order modeling, preliminary analysis, and simple system identification problems. The program was written in MATLAB and is planned for public release through the NASA Software Catalog.

System identification↗

An adaptive maneuvering logic computer program for the simulation of one-on-one air-to-air combat. Volume 1: General description

A technique for computer simulation of air combat is described. Volume 1 decribes the computer program and its development in general terms. Two versions of the program exist. Both incorporate a logic for selecting and executing air combat maneuvers with performance models of specific fighter aircraft. In the batch processing version the flight paths of two aircraft engaged in interactive aerial combat and controlled by the same logic are computed. The realtime version permits human pilots to fly air-to-air combat against the adaptive maneuvering logic (AML) in Langley Differential Maneuvering Simulator (DMS). Volume 2 consists of a detailed description of the computer programs.

Burgin, G. H.↗