Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Differential”

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 1,009 records · Page 56
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Differential Phase Interferometry with the Keck Telescopes

We summarize the Differential Phase (DP) technique as well as the planned implementation at the Keck Interferometer. Multicolor phase measurements are potentially a powerful astrophysical probe - and can allow ground-based direct detection of extrasolar planets. Better than 0.1 mrad phase measurements in the infrared can allow the Keck Interferometer to detect radiation from the so-called hot-Jupiter or 'Roaster' class of planets. At JPL, we are presently developing and testing instrumentation that will enable these extremely sensitive measurements. First on-sky observations are expected to start in mid-2004. In this article we describe DP and other related techniques, provide an outline of the instrument and present results from preliminary laboratory experiments.

differential phase↗
NASA NTRS2012

Mars Science Laboratory Differential Restraint: The Devil is in the Details

The Differential Restraint, a mechanism used on the Mars Science Laboratory (MSL) rover to maintain symmetry of the mobility system during the launch, cruise, and entry descent and landing phases of the MSL mission, completed nearly three full design cycles before a finalized successful design was achieved. This paper address the lessons learned through these design cycles, including three major design elements that can easily be overlooked during the design process, including, tolerance stack contribution to load path, the possibility of Martian dirt as a failure mode, and the effects of material properties at temperature extremes.

Entry Descent and Landing (EDL)↗
NASA NTRS2015

Differential Deposition for Surface Figure Corrections in Grazing Incidence X-Ray Optics

Differential deposition corrects the low- and mid- spatial-frequency deviations in the axial figure of Wolter-type grazing incidence X-ray optics. Figure deviations is one of the major contributors to the achievable angular resolution. Minimizing figure errors can significantly improve the imaging quality of X-ray optics. Material of varying thickness is selectively deposited, using DC magnetron sputtering, along the length of optic to minimize figure deviations. Custom vacuum chambers are built that can incorporate full-shell and segmented Xray optics. Metrology data of preliminary corrections on a single meridian of full-shell x-ray optics show an improvement of mid-spatial frequencies from 6.7 to 1.8 arc secs HPD. Efforts are in progress to correct a full-shell and segmented optics and to verify angular-resolution improvement with X-ray testing.

X-Ray Optics↗
NASA NTRSDate not supplied

Analysis of the Amplitude Response of a Two-Point and a Two-Line/Multi-Point Focused Laser Differential Interferometer

Experiments were performed with two different focused laser differential interferometer (FLDI) instruments to assess the amplitude response of each instrument to a traveling shock-wave generated by a laser spark. The first FLDI instrument generated two measurement points, with each measurement point providing sensitivity to density fluctuations induced by the shockwave. By performing a cross-correlation between the signals obtained from each measurement point, the phase velocity of density fluctuations can be obtained. The second FLDI instrument generated two measurement lines that are oriented either parallel or orthogonal to the shockwave direction of travel with the resulting interference pattern sampled at multiple equally-spaced points along each line. As a result, this instrument provides density fluctuation measurement capability at multiple points simultaneously. When the measurement lines are oriented parallel to the shockwave direction of travel, the phase velocity, rate of change of the phase velocity, and acceleration of density fluctuations traveling along each line can be obtained by performing a cross-correlation between points along a single line. When the measurement lines are oriented orthogonal to the shockwave direction of travel, the spatially-varying phase velocity can be obtained by performing a cross-correlation between points at the same relative location on each measurement line. Computations of the shockwave generated by the laser spark are used to simulate the response of each instrument and are compared to the experimental results. High-speed Schlieren imaging has also been performed and is compared with the FLDI measurements and computational results.

Focused Laser Differential Interferometer↗
NASA NTRSDate not supplied

Metal-silicate Partitioning of Re, Ru, Pt, Os, Ti, Nb, and Ta in Reduced Differentiated Planetary Bodies

Siderophile (iron-loving) elements are strongly fractionated during differentiation of planetary bodies into core and mantle [1]. Because the fractionation is controlled by the pressure, temperature, redox conditions, and composition, this group of elements can provide important constraints on the conditions of accretion and core formation in early solar system bodies (planetesimals) and planets (Earth, Mercury, Venus)[2]. At the reducing conditions thought to prevail in the early solar system, Si is known to alloy with FeNi metallic liquids (e.g., [3]) affecting the activity coefficients of siderophile elements in FeNi liquids and thus ultimately their detailed partitioning between metal and silicate melt. The effect of Si can be significant for some siderophile elements, as demonstrated previously by (e.g., [4]: Ni, Co; [5,6]: Ge, As, Sb, Pd, Pt, Au). The effect of Si has not yet been determined for several key groups of siderophile elements including the highly siderophile Re, Ru and Os, and the weakly siderophile Ta, Nb, and Ti. Here, we report new experiments designed to quantify the effect of Si on the partitioning of Re, Pt, Os, Ru, Ti, Ta and Nb between metal and silicate melts. The results will be used to evaluate metal/silicate equilibrium for Nb, Ta, Ti and Nb/Ta ratios in planetary mantles, mantle concentrations of Ru, Re, Pt, Os during accretion, the evolution of Re/Os, Pt/Os ratios in magma oceans, and the role of late veneer in establishing Re and Ru abundances in the terrestrial mantle.

core formation↗
NASA NTRS1994

Optimal Low Thrust Trajectories Using Differential Inclusion Concepts

A direct optimization method based on differential inclusion concepts has been developed and used to compute low thrust trajectories. This new formulation removes explicit control dependence from the problem statement thereby reducing the dimension of the parameter space of the resulting nonlinear programming problem. A simple example of a two-dimensional gravity-free trajectory involving a maximum velocity transfer to a rectilinear path is discussed. Three interplanetary trajectory examples, an Earth-Mars constant specific impulse transfer, and Earth-Jupiter constant specific impulse transfer, and an Earth-Venus-Mars variable specific impulse gravity assist, are also included. An analysis of the technique's performance is provided.

low↗
NASA NTRS1994

(abstract) Optimal Low Thrust Trajectories Using Differential Inclusion Concepts

Low thrust propulsion systems typically have their greatest benefit for high energy missions or missions with large post-launch maneuver requirements. Missions which have been examined include main belt asteroid rendezvous, comet rendezvous, outer planet and Mercury orbiters, Pluto flyby, and solar probe missions. Low thrust mission design software used to determine these trajectories is based on two distinct formulations of the optimal control problem: the indirect and direct methods. The traditional approach (indirect) is to use the calculus of variations to obtain first order necessary conditions on the states and costates. In contrast, direct methods are conceptually different in that no explicit integration takes place. A direct method based on differential inclusion concepts has been developed and successfully used to compute low thrust trajectories. This new approach removes explicit control dependence from the problem thereby reducing the dimension of the parameter space for the nonlinear programming problem. Also when compared to other direct methods, fewer nonlinear constraints are required to represent the dynamics of the problem.

low↗
NASA NTRS2021

Simultaneous Focused Laser Differential Interferometry and High-Speed Schlieren in a Mach 6 Flow

An instrument is demonstrated that is capable of simultaneous and independent flow density fluctuation measurements over the same line-of-sight by combining two optical techniques: focused laser differential interferometry (FLDI) and high-speed schlieren (HSS). The FLDI instrument measures fluctuations at a single point in the flowfield at 10 MHz, with the resulting signal most sensitive in the region nearest the focal plane of the FLDI laser beam. The HSS instrument acquires images at 20 kHz along the same optical axis as the FLDI beam, but with the resulting signal path averaged over the entire HSS line-of-sight. The introduction of the HSS optics into the FLDI beam path provides two high-quality measurement capabilities in a single system with no degradation of performance relative to stand-alone FLDI or HSS instruments.

Focused Laser Differential Interferometry↗
NASA NTRSDate not supplied

Path Planning: Differential Dynamic Programming and Model Predictive Path Integral Control on VTOL Aircraft

This paper explores two optimal control approaches, widely used in robotics, to establish their viability as real-time trajectory planners for vehicle configurations envisioned for the emerging aviation sector of Urban Air Mobility (UAM). Differential Dynamic Programming (DDP) enables planning over highly nonlinear dynamics using second-order approximations along a nominal trajectory, and displays quadratic convergence to a local solution. Model Predictive Path Integral (MPPI) is a stochastic sampling-based algorithm that can optimize for general cost criteria, including potentially highly nonlinear formulations, and supports parallel computation through the use of modern GPU hardware. In this work, DDP and MPPI were implemented using model predictive control (MPC), and the results indicate they are able to successfully transition the aircraft over different flight envelopes and generate trajectories unique to UAM vehicles.

Differential Dynamic Programming↗
NASA NTRS2022

Towards an Implementation of Differential Dynamic Logic in PVS

This paper describes an ongoing effort to embed and verify differential dynamic logic (dL) in the Prototype Verification System (PVS). dL is a logic for specifying and formally reasoning about hybrid systems, which employ both continuous and discrete dynamics. There are several benefits of this effort. First, the embedding of dL in PVS offers an independent formal verification of the semantics and rules of dL. Second, the embedding is fully operational within PVS, giving PVS practitioners the ability to use dL in the formal specification and verification process. Third, the rich specification language, type system, and powerful interactive prover of PVS can be used on dL objects. In addition to the embedding and verification of dL, a custom extension for Visual Studio Code has been developed, so that a stylized dL syntax can be used to specify hybrid programs and their properties.

Differential Dynamic Logic↗
NASA NTRSDate not supplied

Combined Bernstein Polynomial, Optimal Reciprocal Collision Avoidance, Differential Dynamic Programming for Trajectory Replanning and Collision Avoidance for UAM Vehicles

This paper presents an integration of Differential Dynamic Programming (DDP) with the Optimal Reciprocal Collision Avoidance (ORCA) algorithm as the basis for a new algorithm, titled Combined Bernstein Polynomial Optimal Reciprocal Collision Avoidance DDP (COBRA-DDP), for trajectory replanning and collision avoidance for Urban Air Mobility (UAM) vehicles. State-constrained variants of DDP provide the ability to plan trajectories while avoiding obstacles, but these methods require a large increase in computational time per iteration which hinders the overall speed of the algorithm. ORCA utilizes simplified dynamics to recognize potential collisions along a trajectory and provides an optimal velocity for the avoidance of multiple vehicles. These velocity commands, however, may not result in a dynamically feasible trajectory for DDP to plan around. As such, a Bernstein polynomial curve that considers the general dynamic constraints of the vehicle is generated to approximate a trajectory based on the velocity commands. COBRA-DDP optimizes this suggested trajectory via unconstrained DDP to provide a dynamically feasible trajectory that provides collision avoidance. This new trajectory can be applied to the vehicle or used to warm start the state constrained DDP algorithms to decrease computation time. Its benefits and effectiveness of the algorithm are demonstrated on a UAM Vertical Takeoff and Landing (VTOL) vehicle simulation with highly nonlinear dynamics.

Optimal Reciprocal Collision Avoidance↗
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 NTRSDate not supplied

Differential Equation Approximation Using Gradient-Boosted Quantile Regression

The operation of cyber-physical-human (CPH) systems is subject to various epistemic and aleatory uncertainties. Overall trustworthiness of CPH systems relies on the trustworthiness of its components and their interactions. It is important that computational models comprising the cyber component of CPH provide predictions accompanied by a measure of confidence in model outcomes. Uncertainty quantification (UQ) and propagation are especially important in safety critical CPH systems. Gradient-boosted trees is a modeling approach capable both of learning the dynamics of a system and performing UQ. In this paper, we devise a method for using gradient boosting to learn the dynamics of a second order differential equation and estimate uncertainty at the same time. We do this by creating a custom loss function that trains the model to approximate the second derivative of a noisy time series, and to penalize based on a parameter that corresponds to the desired quantile. The resulting gradient boosting model can simulate stochastic trajectories of the system given a single starting point, that is, it can estimate both the expected trajectory and its uncertainty. We show that the uncertainty estimation is well calibrated and that the model can learn the dynamics even in the presence of noise. We demonstrate the approach on a simple cartpole system.

Autonomous systems↗
NASA NTRS2026

High Temperature Dielectric Properties and Differential Scanning Calorimetry of Lunar Simulants

To guide development of microwave process technology that could be used during in situ construction on the Moon, we measured the high-temperature basic dielectric properties (εʹ and εʺ) of 17 lunar simulants and related materials. In order to confidently use these data one needs to understand the data’s strengths and weaknesses. Therefore, a goal of this publication is to provide insights into the comparative effects of sample composition, pre-treatments, experimental variables, high temperatures, and other factors on the measured response. The dielectric measurements were performed using the cavity perturbation method over a temperature range between room temperature to 1000 °C, or higher, and provided the real and imaginary components of permittivity at six frequencies. The utility of the original values was limited by the varying density of the pellets used in the measurement. Therefore, all of the εʹ and εʺ measurements at the frequency of 2466 MHz have been scaled to a constant density, 1.75 g/cm 3 . Here the data are presented as graphs chosen to aid analysis within and across simulant groups. To gain additional insight into the processes happening at the elevated temperatures in the dielectric measurements, heat capacity data was obtained using differential scanning calorimetry (DSC) on several of the simulant materials. Our data show that over the frequency range 397 MHz – 2985 MHz a material’s behavior does not greatly change, as compared to the scale of differences observed between lunar mare and highland simulants at high temperatures. For example at 1000 °C, the mare simulant JSC-1A absorbs 10 times more power than the highland simulant NUW-LHT-5M. We observe that as melting temperatures are reached both permittivity and dielectric loss rise non-linearly, helping to explain thermal runaway during microware heating. Our data show that even less than a few weight % of many non-lunar minerals, and the use of mixtures in simulants can affect the dielectric behavior at higher temperatures. A comparison of our results with published dielectric data for Apollo samples and with remote sensing of the Moon supports the conclusion the simulants and lunar material at room temperature have very similar dielectric values.

Differential Scanning Calorimetry↗
DOE OSTI2022

POSTER: Automatic Differentiation of Parallel Loops with Formal Methods

The accompanying poster to this short paper presents a combination of reverse mode AD and formal methods to enable efficient differentiation of (or backpropagation through) shared-memory parallel code. Compared to the state of the art, our approach can more often avoid the need for atomic updates or private data copies during the parallel derivative computation, even in the presence of unstructured or data-dependent data access patterns. This is achieved by gathering information about the memory access patterns from the input program, which is assumed to be correctly parallelized. This information is then used to build a model of assertions in a theorem prover, which can be used to check the safety of shared memory accesses during the parallel derivative computation

Automatic Differentiation↗
DOE OSTI2023

Primal-Dual Differentiable Programming for Distribution System Critical Load Restoration: Preprint

Swift and reliable critical load restoration (CLR) can help make a distribution system resilient towards extreme events. To optimally achieve that, alongside practical concerns such as limiting online computational burden, some studies leverage model-free reinforcement learning (RL) to train control policies. Despite the advantages provided by RL algorithms, these approaches suffer from two issues: 1) the lack of a proper mechanism for constraint enforcement, and 2) poor sample efficiency. Therefore, in this paper, a primal-dual differentiable programming (PDDP) method is developed for guiding the training leading to a constraint-satisfying policy. Additionally, the model-based nature of the proposed method aims at improving sample efficiency. The experiment on a CLR problem demonstrates that PDDP can effectively train a control policy that both achieves desirable performance and satisfies required constraints.

differentiable programming↗