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 505 records · Page 28

Analysis and Optimization of "Full-Length" Diodes

A method of analyzing the axial variation of the heat generation rate, temperature, voltage, current density and emitter heat flux in a thermionic converter is described. The method is particularly useful for the case of "long" diodes, each extending over the full length of the reactor core. For a given diode geometry and fuel distribution, the analysis combines a nuclear solution of the axial fission density profile with the iterative solution of four differential equations representing the thermal, electrical, and thermionic interactions within the diode. The digital computer program developed to solve these equations can also perform a design optimization with respect to lead resistance, load voltage, and emitter thickness, for a specified maximum emitter temperature. Typical results are presented, and the use of this analysis for predicting the diode operating characteristics is illustrated.

Full Length Diodes↗

Marshall system for aerospace system simulation (MARSYAS), user's manual

The capabilities of the Marshall system for aerospace system simulation (MARSYAS) and how to use it are described. MARSYAS is a software system that allows easy setup and control of the simulation of the dynamics of large physical systems on a digital computer. The physical systems are modeled in the form of block diagrams or equations. The blocks can have multiple inputs and multiple outputs, and they can be nested to form hierarchies. The block diagrams can contain transfer functions, nonlinear and logical functions, equations, analog computer elements and FORTRAN programs. The input format of the equations can be combinations of nonlinear, time-varying differential equations and algebraic equations in their original format. MARSYAS could also serve as a storage and retrieval system for models as a basis for a model configuration control system on a central time-shared computer. The outputs of the simulation system can be not only time-responses but also other analysis data such as frequency response, power spectrum and stability parameters. The MARSYAS translator is written in FORTRAN running on the Univac 1108 computer under the EXEC 8 operating system.

Ventre, A.↗

General instability analysis

HOLBOAT computer program provides instability analysis of inhomogeneous, anisotropic, right-circular cylinder or segment under combined loading. Program is based on Kirchhoff-Love hypothesis, general anisotropic constitutive equations, and Flugge's differential equations of equilibrium.

Bianca, C. J.↗

Spacecraft charging results for the DSCS-3 satellite

Spacecraft charging results are presented for the DSCS-3 satellite for a severe geomagnetic substorm. Spacecraft charging results were obtained by the use of the electrostatic charging analysis program (ESCAP). The ESCAP computer code which can determine both the transient or steady state differential charging potentials was an engineering design tool that utilized a circuit theory approach to spacecraft charging. Using the ESCAP code, the steady state (static) differential potentials of the outer spacecraft surfaces and metallic structure were obtained for the DSCS-3 satellite when under the influence of a severe geomagnetic substorm during the local midnight-to-dawn quadrant of its geosynchronous orbital path. The results indicated that, in the steady state, most of the DSCS-3 outer surface materials will not achieve differential potentials large enough to produce an electrostatic discharge.

Massaro, M. J.↗

Grid generation in three dimensions by Poisson equations with control of cell size and skewness at boundary surfaces

An algorithm for generating computational grids about arbitrary three-dimensional bodies is developed. The elliptic partial differential equation (PDE) approach developed by Steger and Sorenson and used in the NASA computer program GRAPE is extended from two to three dimensions. Forcing functions which are found automatically by the algorithm give the user the ability to control mesh cell size and skewness at boundary surfaces. This algorithm, as is typical of PDE grid generators, gives smooth grid lines and spacing in the interior of the grid. The method is applied to a rectilinear wind-tunnel case and to two body shapes in spherical coordinates.

Sorenson, R. L.↗

Reducing the Volume of NASA Earth-Science Data

A computer program reduces data generated by NASA Earth-science missions into representative clusters characterized by centroids and membership information, thereby reducing the large volume of data to a level more amenable to analysis. The program effects an autonomous data-reduction/clustering process to produce a representative distribution and joint relationships of the data, without assuming a specific type of distribution and relationship and without resorting to domain-specific knowledge about the data. The program implements a combination of a data-reduction algorithm known as the entropy-constrained vector quantization (ECVQ) and an optimization algorithm known as the differential evolution (DE). The combination of algorithms generates the Pareto front of clustering solutions that presents the compromise between the quality of the reduced data and the degree of reduction. Similar prior data-reduction computer programs utilize only a clustering algorithm, the parameters of which are tuned manually by users. In the present program, autonomous optimization of the parameters by means of the DE supplants the manual tuning of the parameters. Thus, the program determines the best set of clustering solutions without human intervention.

Lee, Seungwon↗

Interactive computerized air combat opponent

A computer program developed to fly interactive one-on-one simulated air combat maneuvers against human pilots is described. The program which is called Adaptive Maneuvering Logic (AML), is being used in the National Aeronautics and Space Administration (NASA) Langley Research Center's Differential Maneuvering Simulator. The basic control logic evaluates the relative states of the two aircraft and reacts by choosing the best of several elemental maneuvers. Pilot comments and results obtained when the computer was flown against combat-qualified fighter pilots indicate that the program performs realistic maneuvers and offers a very competitive standard pilot.

Hankins, W. W., III↗

Stochastic Differential Games for Fully Coupled FBSDEs with Jumps

This paper is concerned with stochastic differential games (SDGs) defined through fully coupled forward-backward stochastic differential equations (FBSDEs) which are governed by Brownian motion and Poisson random measure. The upper and the lower value functions are defined by the doubly controlled fully coupled FBSDEs with jumps. Using a new transformation introduced in Buchdahn (Stocha Process Appl 121:2715–2750, 2011), we prove that the upper and the lower value functions are deterministic. Then, after establishing the dynamic programming principle for the upper and the lower value functions of this SDGs, we prove that the upper and the lower value functions are the viscosity solutions to the associated upper and the lower second order integral-partial differential equations of Isaacs’ type combined with an algebraic equation, respectively. Furthermore, for a special case (when σ and h do not depend on (y,z,k)), under the Isaacs’ condition, we get the existence of the value of the game.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

A Tale from the Trenches: Applying Metamorphic and Differential Testing to Bioinformatics Software

Metamorphic and differential testing have been proposed as best practices for testing software that is difficult to test, such as for programs in scientific domains. An assumption is that these approaches can be easily customized and applied to almost any domain. However, scientific software is often data-driven, and metamorphic relations may require significant domain knowledge to develop. In addition, tools are often written for ad-hoc experimentation by the scientists and often embed many assumptions about the importance and representation of different natural phenomena. In this paper, we present our experience applying both metamorphic and differential testing to a set of four computational biology tools that predict the growth of an organism. While our original goal was to evaluate these techniques to improve our system-level testing, we encountered multiple roadblocks along the way. Although we did find faults (some confirmed by developers), we also uncovered a set of challenges, including the considerable manual effort required for (a) defining domain-specific tests, (b) validating correctness, and (c) distinguishing between issues stemming from poor data and those arising from incorrect software.

Marsh, Alexis L [Iowa State University/Ames Labora↗

Inversion of gravity and bathymetry in oceanic regions for long-wavelength variations in upper mantle temperature and composition

Long-wavelength variations in geoid height, bathymetry, and SS-S travel times are all relatable to lateral variations in the characteristic temperature and bulk composition of the upper mantle. The temperature and composition are in turn relatable to mantle convection and the degree of melt extraction from the upper mantle residuum. Thus the combined inversion of the geoid or gravity field, residual bathymetry, and seismic velocity information offers the promise of resolving fundamental aspects of the pattern of mantle dynamics. The use of differential body wave travel times as a measure of seismic velocity information, in particular, permits resolution of lateral variations at scales not resolvable by conventional global or regional-scale seismic tomography with long-period surface waves. These intermediate scale lengths, well resolved in global gravity field models, are crucial for understanding the details of any chemical or physical layering in the mantle and of the characteristics of so-called 'small-scale' convection beneath oceanic lithosphere. In 1991 a three-year project to the NASA Geophysics Program was proposed to carry out a systematic inversion of long-wavelength geoid anomalies, residual bathymetric anomalies, and differential SS-S travel time delays for the lateral variation in characteristic temperature and bulk composition of the oceanic upper mantle. The project was funded as a three-year award, beginning on 1 Jan. 1992.

Solomon, Sean C.↗

SOLAR CYCLE VARIABILITY AND SURFACE DIFFERENTIAL ROTATION FROM Ca II K-LINE TIME SERIES DATA

Analysis of over 36 yr of time series data from the NSO/AFRL/Sac Peak K-line monitoring program elucidates 5 components of the variation of the 7 measured chromospheric parameters: (a) the solar cycle (period {approx} 11 yr), (b) quasi-periodic variations (periods {approx} 100 days), (c) a broadband stochastic process (wide range of periods), (d) rotational modulation, and (e) random observational errors, independent of (a)-(d). Correlation and power spectrum analyses elucidate periodic and aperiodic variation of these parameters. Time-frequency analysis illuminates periodic and quasi-periodic signals, details of frequency modulation due to differential rotation, and in particular elucidates the rather complex harmonic structure (a) and (b) at timescales in the range {approx}0.1-10 yr. These results using only full-disk data suggest that similar analyses will be useful for detecting and characterizing differential rotation in stars from stellar light curves such as those being produced by NASA's Kepler observatory. Component (c) consists of variations over a range of timescales, in the manner of a 1/f random process with a power-law slope index that varies in a systematic way. A time-dependent Wilson-Bappu effect appears to be present in the solar cycle variations (a), but not in the more rapid variations of the stochastic process (c). Component (d) characterizes differential rotation of the active regions. Component (e) is of course not characteristic of solar variability, but the fact that the observational errors are quite small greatly facilitates the analysis of the other components. The data analyzed in this paper can be found at the National Solar Observatory Web site http://nsosp.nso.edu/cak{sub m}on/, or by file transfer protocol at ftp://ftp.nso.edu/idl/cak.parameters.

79 ASTRONOMY AND ASTROPHYSICS↗

Non-contact temperature measurement requirements of ground-based research and flight programs at JPL

The Modular Containerless Processing Facility project is responsible for the development of flight equipment and of the accompanying scientific and technological research necessary to carry out containerless investigations in the low gravity of earth orbit. The requirement for sample temperature measurement is just one of the many physical properties determination needs that must be satisfied before the useful exploitation of low gravity and containerless experimentation techniques can be achieved. The specific implementation of temperature measurement for the ground-based research program is different from that of the flight hardware development project. The needs of the latter must also be differentiated according to the chronological order of the relevant space flight missions. Immediate demands of Spacelab instruments must be addressed by the adaptation of existing reliable technology to the special and restrictive on-orbit environment, while more advanced and yet unperfected techniques will be assigned to enterprises further in the future. The wide range of application of the containerless methods to the study of phenomena involving different states of matter and environmental conditions requires the satisfaction of a variety of boundary conditions through different approaches. An important issue to be resolved will be whether an integrated program dedicated to solve the problems of all the microgravity experimental effort will allow the solution of specific demands of existing as well as future flight equipment.

Trinh, E. H.↗

Proceedings of the 39th Lunar and Planetary Science Conference

Sessions with oral presentations include: A SPECIAL SESSION: MESSENGER at Mercury, Mars: Pingos, Polygons, and Other Puzzles, Solar Wind and Genesis: Measurements and Interpretation, Asteroids, Comets, and Small Bodies, Mars: Ice On the Ground and In the Ground, SPECIAL SESSION: Results from Kaguya (SELENE) Mission to the Moon, Outer Planet Satellites: Not Titan, Not Enceladus, SPECIAL SESSION: Lunar Science: Past, Present, and Future, Mars: North Pole, South Pole - Structure and Evolution, Refractory Inclusions, Impact Events: Modeling, Experiments, and Observations, Mars Sedimentary Processes from Victoria Crater to the Columbia Hills, Formation and Alteration of Carbonaceous Chondrites, New Achondrite GRA 06128/GRA 06129 - Origins Unknown, The Science Behind Lunar Missions, Mars Volcanics and Tectonics, From Dust to Planets (Planetary Formation and Planetesimals):When, Where, and Kaboom! Astrobiology: Biosignatures, Impacts, Habitability, Excavating a Comet, Mars Interior Dynamics to Exterior Impacts, Achondrites, Lunar Remote Sensing, Mars Aeolian Processes and Gully Formation Mechanisms, Solar Nebula Shake and Bake: Mixing and Isotopes, Lunar Geophysics, Meteorites from Mars: Shergottite and Nakhlite Invasion, Mars Fluvial Geomorphology, Chondrules and Chondrule Formation, Lunar Samples: Chronology, Geochemistry, and Petrology, Enceladus, Venus: Resurfacing and Topography (with Pancakes!), Overview of the Lunar Reconnaissance Orbiter Mission, Mars Sulfates, Phyllosilicates, and Their Aqueous Sources, Ordinary and Enstatite Chondrites, Impact Calibration and Effects, Comparative Planetology, Analogs: Environments and Materials, Mars: The Orbital View of Sediments and Aqueous Mineralogy, Planetary Differentiation, Titan, Presolar Grains: Still More Isotopes Out of This World, Poster sessions include: Education and Public Outreach Programs, Early Solar System and Planet Formation, Solar Wind and Genesis, Asteroids, Comets, and Small Bodies, Carbonaceous Chondrites, Chondrules and Chondrule Formation, Chondrites, Refractory Inclusions, Organics in Chondrites, Meteorites: Techniques, Experiments, and Physical Properties, MESSENGER and Mercury, Lunar Science Present: Kaguya (SELENE) Results, Lunar Remote Sensing: Basins and Mapping of Geology and Geochemistry, Lunar Science: Dust and Ice, Lunar Science: Missions and Planning, Mars: Layered, Icy, and Polygonal, Mars Stratigraphy and Sedimentology, Mars (Peri)Glacial, Mars Polar (and Vast), Mars, You are Here: Landing Sites and Imagery, Mars Volcanics and Magmas, Mars Atmosphere, Impact Events: Modeling, Experiments, and Observation, Ice is Nice: Mostly Outer Planet Satellites, Galilean Satellites, The Big Giant Planets, Astrobiology, In Situ Instrumentation, Rocket Scientist's Toolbox: Mission Science and Operations, Spacecraft Missions, Presolar Grains, Micrometeorites, Condensation-Evaporation: Stardust Ties, Comet Dust, Comparative Planetology, Planetary Differentiation, Lunar Meteorites, Nonchondritic Meteorites, Martian Meteorites, Apollo Samples and Lunar Interior, Lunar Geophysics, Lunar Science: Geophysics, Surface Science, and Extralunar Components, Mars, Remotely, Mars Orbital Data - Methods and Interpretation, Mars Tectonics and Dynamics, Mars Craters: Tiny to Humongous, Mars Sedimentary Mineralogy, Martian Gullies and Slope Streaks, Mars Fluvial Geomorphology, Mars Aeolian Processes, Mars Data and Mission,s Venus Mapping, Modeling, and Data Analysis, Titan, Icy Dwarf Satellites, Rocket Scientist's Toolbox: In Situ Analysis, Remote Sensing Approaches, Advances, and Applications, Analogs: Sulfates - Earth and Lab to Mars, Analogs: Remote Sensing and Spectroscopy, Analogs: Methods and Instruments, Analogs: Weird Places!. Print Only Early Solar System, Solar Wind, IDPs, Presolar/Solar Grains, Stardust, Comets, Asteroids, and Phobos, Venus, Mercury, Moon, Meteorites, Mars, Astrobiology, Impacts, Outer Planets, Satellites, and Rings, Support for Mission Operations, Analog Education and Public Outreach.

Source record↗

Does Peer Review of Radiation Plans Affect Clinical Care? A Systematic Review of the Literature

Purpose: Peer review is a recommended component of quality assurance in radiation oncology; however, it is resource-intensive and its effect on patient care is not well understood. We conducted a systematic review of the published data to assess the reported clinical impact of peer review on radiation treatment plans. Methods and Materials: A systematic review of published English studies was performed in accordance with the PRISMA guidelines using the MEDLINE and EMBASE databases and abstracts published from major radiation oncology scientific meeting proceedings. For inclusion, the studies were required to report the effect of peer review on ≥1 element of treatment planning (eg, target volume or organ-at-risk delineation, dose prescription or dosimetry). Results: The initial search strategy identified 882 potentially eligible studies, with 11 meeting the inclusion criteria for full-text review and final analysis. Across a total of 11,491 patient cases, peer review programs led to modifications in a weighted mean of 10.8% of radiation treatment plans. Five studies differentiated between major and minor changes and reported weighted mean rates of change of 1.8% and 7.3%, respectively. The most common changes were related to target volume delineation (45.2% of changed plans), dose prescription or written directives (24.4%), and non-target volume delineation or normal tissue sparing (7.5%). Conclusions: Our findings suggest that peer review leads to changes in clinical care in approximately 1 of every 9 cases overall. This is similar to the reported rates of change in peer review studies from other oncology-related specialties, such as radiology and pathology.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

On optimal control of hybrid dynamical systems using complementarity constraints

Optimal control for switch-based dynamical systems is a challenging problem in the process control literature. In this study, we model these systems as hybrid dynamical systems with finite number of unknown switching points and reformulate them using non-smooth and non-convex complementarity constraints as a mathematical program with complementarity constraints (MPCC). We utilize a moving finite element based strategy to discretize the differential equation system to accurately locate the unknown switching points at the finite element boundary and achieve high-order accuracy at intermediate non-collocation points. We propose a globalization approach to solve the discretized MPCC problem using a mixed NLP/MILP-based strategy to converge to a non-spurious first-order optimal solution. The method is tested on three dynamic optimization examples, including a gas–liquid tank model and an optimal control problem with a sliding mode solution.

97 MATHEMATICS AND COMPUTING↗

The Princess Project: From Differential to Integral Experiments

Following the shutdown of the CEA Valduc experimental facilities, where, for more than 50 years, IRSN used to perform experiments related to criticality safety, IRSN initiated a new project named PRINCESS (PRoject for IRSN Neutron physics and Criticality Experimental data Supporting Safety). The objective is to continue collecting experimental data necessary for the IRSN missions in nuclear safety. For this purpose, collaborations with various national and international laboratories have been established. The PRINCESS project covers various nuclear physics fields from nuclear data to criticality-safety and reactor physics providing information to both differential and integral data improvements.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Dynamics of an Adiabatic Point Reactor

Here, the problem of adiabatic excursions in a reactor is studied in general. We let the prompt temperature reactivity feedback be an unspecified function of temperature, ρ = ρ 0 = ρ 0 + f(T), where ρ is total reactivity, ρ 0 initial step reactivity and f(T) the feedback function. The similarity of the behavior of the reactor for different f(T) is established by means of a topological (qualitative) analysis. A quantitative asymptotic solution of the non-linear system of DE describing the reactor is presented. In delayed critical excursions, the delayed neutrons play a determining role. In the first part of a prompt excursion, the delayed-neutron source is nil; however this is not so in the second part, where it contributes appreciably to the excursion. These conclusions are shown to be valid in general, and allow us to write down almost directly the (approximate) quantitative solution of the non-linear system for any f(T). These results are correlated with the experimental data for the adiabatic excursions of a UO 2 core in SPERT I; in this case the (prompt) dependence of the reactivity on energy is of the form ρ = ρ 0 - 4.588 × 10 -4 E 0.74 .

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗