Scientific programming
Scientific programming of transformations of direction fields and autonomous systems of ordinary differential equations - Optimization of electron-optical potential for star tracker
STAR TRACKER↗
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.
Feasibility study of a bidirectional jet flap device for application to helicopter rotor blades. Phase 2: Lift controller development
A bidirectional jet flap device called the variable deflection thruster (VDT) has been investigated for possible application to helicopter rotors. This investigation included the development and testing of a fluidic lift control system for the VDT-blade model making use of the test result that VDT-blade lift can be sensed from the differential pressure at midchord. This study constitutes a long-range program to develop blown control techniques for stabilizing the higher harmonic modes of helicopter rotors. Wind tunnel tests were conducted using a three-sectioned, two-dimensional VDT-blade model having individually controlled VDT jet flaps in each section. Steady-state tests were conducted without the fluidic lift controller (open loop) for both full-span blowing and for the model center section blowing only. Steady-state tests were conducted with the center section blowing only using the fluidic lift controller (close-loop) to control the lift on the model center section. Dynamic tests were conducted using the complete model with the VDT jet in the model center section oscillating at various frequencies and also using the model center section alone on a single endplate to obtain finite-aspect-ratio effects. Fair agreement was obtained between theory and experimental results.
Rose, R. E.↗
Integral-matrix procedure for boundary-layer problems
Program, BLIMP, provides fast, highly accurate solution to general class of gas-phase boundary layer flow problems encompassing broad range of boundary conditions. Program is capable of obtaining accurate and economical solutions to governing differential equations of momentum, energy, and species.
Gross, K. W.↗
Programmable controller for solar heating
Versatile microprocessor-based unit accepts sensor inputs and generates programmed control signals. Typical of possible applications would be to monitor differential temperature measurements in solar-heating systems, to turn on pumps and backup systems, and off-peak control for backup systems.
Source record↗
Calculation of sheath and wake structure about a pillbox-shaped spacecraft in a flowing plasma
A computer program was used for studies of the disturbed zones around bodies in flowing plasmas, particularly spacecraft and their associated sheaths and wakes. The program solved a coupled Poisson-Vlasov system of nonlinear partial differential integral equations to obtain distributions of electric potential and ion and electron density about a finite length cylinder in a plasma flow at arbitrary ion Mach numbers. The approach was applicable to a larger range of parameters than other available approaches. In sample calculations, bodies up to 100 Debye lengths in radius were treated, that is, larger than any previously treated realistically. Applications were made to in-situ satellite experiments.
Parker, L. W.↗
Exact differential equation for the density and ionization energy of a many-particle system
The present investigation is concerned with relations studied by Hohenberg and Kohn (1964) and Kohn and Sham (1965). The properties of a ground-state many-electron system are determined by the electron density. The correct differential equation for the density, as dictated by density-functional theory, is presented. It is found that the ground-state density n of a many-electron system obeys a Schroedinger-like differential equation which may be solved by standard Kohn-Sham programs. Results are connected to the traditional exact Kohn-Sham theory. It is pointed out that the results of the current investigations are readily extended to spin-density functional theory.
Levy, M.↗
A Meteorological (humidity, temperature, aerosols)) mobile dial system: Concepts and design
Since 1982 a program was conducted to develop a mobile meteorological (humidity, temperature, aerosols) Differential Absorption Lidar (DIAL) devoted to the studies of the nuclear power plant atmospheric surroundings. The measurement objectives are defined according to the user needs and the lidar feasibility. The concepts and design adopted to meet both the requirement and the measurement objectives are described. Each sub-system is addressed sequentially: transmitting system, receiving system, detection system, and post detection.
Cahen, C.↗
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.↗
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.↗
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.↗