Search NASA⌕ Search

SEARCH · Search NASA

Results for “approximate dynamic 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 163 records · Page 9

Multilane Automated Driving With Optimal Control and Mixed-Integer Programming

Road vehicle lane changes often initiate traffic disturbances and can therefore impact road networks’ energy and time efficiency. Furthermore, unexpected changes in traffic conditions may also render lane changes counterproductive for the lane-changing vehicle. Vehicle-to-vehicle connectivity combined with anticipative control could address these challenges via improved lane change decisions by automated vehicles. In a move toward this objective, receding horizon control cast as a mixed-integer quadratic program is used to plan lane changing and acceleration in a coupled optimization. A long-term pacing module, based on Pontryagin’s minimum principle from optimal control theory, sets terminal and input references for receding horizon control to target a user’s expected travel time. To remove nonlinear vehicle dynamics from the receding horizon controller, lane change commands are passed to a pure pursuit steering module whose response is approximated by a second-order linear model. Here, comparison against a rule-based reactive algorithm in arterial and highway scenarios shows an 8.9%–13.7% reduction in energy consumption and a 5.2%–10.3% reduction in the travel time, along with navigational improvements.

33 ADVANCED PROPULSION SYSTEMS↗

Impact evaluation of composite floor sections

Graphite-epoxy floor sections representative of aircraft fuselage construction were statically and dynamically tested to evaluate their response to crash loadings. These floor sections were fabricated using a frame-stringer design typical of present aluminum aircraft without features to enhance crashworthiness. The floor sections were tested as part of a systematic research program developed to study the impact response of composite components of increasing complexity. The ultimate goal of the research program is to develop crashworthy design features for future composite aircraft. Initially, individual frames of six-foot diameter were tested both statically and dynamically. The frames were then used to construct built-up floor sections for dynamic tests at impact velocities of approximately 20 feet/sec to simulate survivable crash velocities. In addition, static tests were conducted to gain a better understanding of the failure mechanisms seen in the dynamic tests.

Boitnott, Richard L.↗

Real-time Ridesharing for Transportation Hubs with Demand and Supply Uncertainty

Transportation hubs in major cities generate a significant amount of trips by taxis and for-hail vehicles (FHV), with many of the trips sharing similar destinations. This suggests promising opportunities to leverage the collective travel needs with dedicated ridesharing solutions to reduce the externalities of excessive traffic at transportation hubs. In this study, we develop a novel dynamic ridesharing approach to serve trips from the transportation hub by considering (1) demand (new passengers) and supply (newly available vehicles) in the near future and (2) the uncertainty of future predictions. Our approach consists of two stages. In the first stage, we develop a data structure called hub mobility tree to generate potential combinations of shareable trips as candidate schedules efficiently. Then the generated schedules are used in the second stage to formulate the stochastic hub-based ridesharing problem (SHRP), which is a stochastic integer programming problem with the objective to maximize the total expected ridesharing profit over time. Due to the prohibitive number of shareable trips, we then approximately solve SHRP by the sample average approximate method (SAA), and a dual Lagrangian technique is implemented to further improve the scalability of the solution approach. We demonstrate the performances of the proposed method by simulating the ridesharing service at JFK airport using NYC taxi and FHV data. The results indicate that the proposed method outperforms the myopic ridesharing (maximize profit for a single time step) and the rolling horizon method with point estimation of future demand and supply.

dynamic ridesharing↗

A General Simulator Using State Estimation for a Space Tug Navigation System

A general simulation program is presented (GSP) involving nonlinear state estimation for space vehicle flight navigation systems. A complete explanation of the iterative guidance mode guidance law, derivation of the dynamics, coordinate frames, and state estimation routines are given so as to fully clarify the assumptions and approximations involved so that simulation results can be placed in their proper perspective. A complete set of computer acronyms and their definitions as well as explanations of the subroutines used in the GSP simulator are included. To facilitate input/output, a complete set of compatable numbers, with units, are included to aid in data development. Format specifications, output data phrase meanings and purposes, and computer card data input are clearly spelled out. A large number of simulation and analytical studies were used to determine the validity of the simulator itself as well as various data runs.

Boland, J. S., III↗

Real-time approximate optimal guidance laws for the advanced launch system

An approach to optimal ascent guidance for a launch vehicle is developed using an expansion technique. The problem is to maximize the payload put into orbit subject to the equations of motion of a rocket over a rotating spherical earth. It is assumed that the thrust and gravitational forces dominate over the aerodynamic forces. It is shown that these forces can be separated by a small parameter epsilon, where epsilon is the ratio of the atmospheric scale height to the radius of the earth. The Hamilton-Jacobi-Bellman or dynamic programming equation is expanded in a series where the zeroth-order term (epsilon = 0) can be obtained in closed form. The zeroth-order problem is that of putting maximum payload into orbit subject to the equations of motion of a rocket in a vacuum over a flat earth. The neglected inertial and aerodynamic terms are included in higher order terms of the expansion, which are determined from the solution of first-order linear partial differential equations requiring only quadrature integrations. These quadrature integrations can be performed rapidly, so that real-time approximate optimization can be used to construct the launch guidance law.

Speyer, Jason L.↗

Infrared imaging of comets

Thermal infrared imaging of comets provides fundamental information about the distribution of dust in their comae and tails. The imaging program at NASA Marshall Space Flight Center (MSFC) uses a unique 20-pixel bolometer array that was developed to image comets at 8 to 30 micrometer. These images provide the basis for: (1) characterizing the composition and size distribution of particles, (2) determining the mass-loss rates from cometary nuclei, and (3) describing the dynamics of the interaction between the dust and the solar radiation. Since the array became operational in 1985, researchers have produced a unique series of IR images of comets Giacobini-Zinner (GZ), Halley, and Wilson. That of GZ was the first groundbased thermal image ever made of a comet and was used to construct, with visible observations, an albedo map. Those data and dynamical analyses showed that GZ contained a population of large (approximately 300 micrometer), fluffy dust grains that formed a distinict inner tail. The accumulating body of images of various comets has also provided a basis for fruitfully intercomparing comet properties. Researchers also took advantage of the unique capabilities of the camera to resolve the inner, possible protoplanetary, disk of the star Beta Pictoris, while not a comet research program, that study is a fruitful additional application of the array to solar system astronomy.

Telesco, Charles M.↗

SAFSIM overview

An overview of the systems analysis flow simulator (SAFSIM) computer program is provided. SAFSIM is being developed at Sandia National Laboratories and is currently funded by the Air Force Space Nuclear Thermal Propulsion (SNTP) Program. SAFSIM is a general purpose, Fortran computer program to simulate the integrated performance of complex systems involving fluid mechanics, heat transfer, and reactor dynamics. SAFSIM provides sufficient versatility to allow the engineering simulation of almost any system. SAFSIM is based on a 1-D finite element model and provides the analyst with approximate solutions to complex problems.

Dobranich, Dean↗

An Ab Initio Multiple Cloning Method for Non-Adiabatic Excited-State Molecular Dynamics in NWChem

The recently developed ab-initio multiple cloning (AIMC) approach based on the multicongurational Ehrenfest (MCE) method provides a powerful and accurate way of describing the excited-state dynamics of molecular systems. The AIMC method is a controlled approximation to non-adiabatic dynamics with a particular strength in the proper description of decoherence effects due to branching of vibrational wavepackets at a level crossing. In this work, we report a new implementation of the AIMC algorithm in the open source NWChem computational chemistry program. The framework combines linear-response time-dependent density functional theory with Ehrenfest mean-eld theory to determine the equations of motion for classical trajectories. The multi-dimensional wave function is decomposed into a superposition of Gaussian coherent states guided by Ehrenfest trajectories (i.e., MCE approach), which can clone with fully quantum mechanical amplitudes and phases. By using an efficient time-derivative based non-adiabatic coupling approach within the AIMC method, all observable are calculated on-the-y in the non-adiabatic molecular dynamics process. As a representative example, we apply our implementation to study the ultrafast photoinduced electronic and vibrational energy transfer in a pyridine molecule. The effects of the cloning procedure on electronic and vibrational coherence, relaxation and unidirectional energy transfer are discussed. This new AIMC implementation provides a high-level non-adiabatic molecular dynamics framework for simulating photoexcited dynamics in complex molecular systems and experimentally relevant ultrafast spectroscopic probes, such as nonlinear coherent optical and X-ray signals.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

The challenge of unsteady separating flows

It is noted that the general fluid dynamic problem of unsteady separation at most practical Reynolds numbers remains an unsolved one and that no completely reliable prediction techniques exist at the present time. The modern design engineer must therefore draw from a combination of approximate theories, empirical correlations of data, and finite difference programs based on uncertain physical modeling of turbulence. An attempt is made to describe the basic features of several representative classes of problems for which unsteady effects produce strong or unusual changes in the separation characteristics of the flow. The analysis concerns itself largely with external flow, and emphasis is placed on the physical phenomena involved.

Mccroskey, W. J.↗

Development of Time-Distance Helioseismology Data Analysis Pipeline for SDO/HMI

The Helioseismic and Magnetic Imager of SDO will provide uninterrupted 4k x 4k-pixel Doppler-shift images of the Sun with approximately 40 sec cadence. These data will have a unique potential for advancing local helioseismic diagnostics of the Sun's interior structure and dynamics. They will help to understand the basic mechanisms of solar activity and develop predictive capabilities for NASA's Living with a Star program. Because of the tremendous amount of data the HMI team is developing a data analysis pipeline, which will provide maps of subsurface flows and sound-speed distributions inferred form the Doppler data by the time-distance technique. We discuss the development plan, methods, and algorithms, and present the status of the pipeline, testing results and examples of the data products.

DuVall, T. L., Jr.↗

TAILSIM Users Guide

The TAILSIM program uses a 4th order Runge-Kutta method to integrate the standard aircraft equations-of-motion (EOM). The EOM determine three translational and three rotational accelerations about the aircraft's body axis reference system. The forces and moments that drive the EOM are determined from aerodynamic coefficients, dynamic derivatives, and control inputs. Values for these terms are determined from linear interpolation of tables that are a function of parameters such as angle-of-attack and surface deflections. Buildup equations combine these terms and dimensionalize them to generate the driving total forces and moments. Features that make TAILSIM applicable to studies of tailplane stall include modeling of the reversible control System, modeling of the pilot performing a load factor and/or airspeed command task, and modeling of vertical gusts. The reversible control system dynamics can be described as two hinged masses connected by a spring. resulting in a fifth order system. The pilot model is a standard form of lead-lag with a time delay applied to an integrated pitch rate and/or airspeed error feedback. The time delay is implemented by a Pade approximation, while the commanded pitch rate is determined by a commanded load factor. Vertical gust inputs include a single 1-cosine gust and a continuous NASA Dryden gust model. These dynamic models. coupled with the use of a nonlinear database, allow the tailplane stall characteristics, elevator response, and resulting aircraft response, to be modeled. A useful output capability of the TAILSIM program is the ability to display multiple post-run plot pages to allow a quick assessment of the time history response. There are 16 plot pages currently available to the user. Each plot page displays 9 parameters. Each parameter can also be displayed individually. on a one plot-per-page format. For a more refined display of the results the program can also create files of tabulated data. which can then be used by other plotting programs. The TAILSIM program was written straightforwardly assuming the user would want to change the database tables, the buildup equations, the output parameters. and the pilot model parameters. A separate database file and input file are automatically read in by the program. The use of an include file to set up all common blocks facilitates easy changing of parameter names and array sizes.

Hiltner, Dale W.↗

TAS: 89 0227: TAS Recovery Act - Optimization and Control of Electric Power Systems: ARRA

The name SuperOPF is used to refer several projects, problem formulations and soft-ware tools intended to extend, improve and re-define some of the standard methods of optimizing electric power systems. Our work included applying primal-dual interior point methods to standard AC optimal power flow problems of large size, as well as extensions of this problem to include co-optimization of multiple scenarios. The original SuperOPF problem formulation was based on co-optimizing a base scenario along with multiple post-contingency scenarios, where all AC power flow models and constraints are enforced for each, to find optimal energy contracts, endogenously determined locational reserves and appropriate nodal energy prices for a single period optimal power flow problem with uncertainty. This led to example non-linear programming problems on the order of 1 million constraints and half a million variables. The second generation SuperOPF formulation extends this by adding multiple periods and multiple base scenarios per period. It also incorporates additional variables and constraints to model load following reserves, ramping costs, and storage resources. A third generation of the multi-period SuperOPF, adds both integer variables and a receding horizon framework in which the problem type is more challenging (mixed integer), the size is even larger, and it must be solved more frequently, pushing the limits of currently available algorithms and solvers. The consideration of transient stability constraints in optimal power flow (OPF) problems has become increasingly important in modern power systems. Transient stability constrained OPF (TSCOPF) is a nonlinear optimization problem subject to a set of algebraic and differential equations. Solving a TSCOPF problem can be challenging due to (i) the differential-equation constraints in an optimization problem, (ii) the lack of a true analytical expression for transient stability in OPF. To handle the dynamics in TSCOPF, the set of differential equations can be approximated or converted into equivalent algebraic equations before they are included in an OPF formulation. In Chapter 4, a rigorous evaluation of using a predefined and fixed threshold for rotor angles as a mean to determine transient stability of the system is developed. TSCOPF can be modeled as a large-scale nonlinear programming problem including the constraints of differential-algebraic equations (DAE). Solving a TSCOPF problem can be challenging due to (i) the differential-equation constraints in an optimization problem, (ii) the lack of a true analytical expression for transient stability constraint in OPF. Unfortunately, even the current best TSCOPF solvers still suffer from the curse of dimensionality and unacceptable computational time, especially for large-scale power systems with multiple contingencies. In chapter 5, thse issues will be addressed and a new method to incorporate the transient stability constraints will be presented.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Risk-Based Distributionally Robust Optimal Power Flow With Dynamic Line Rating

In this paper, we propose a risk-based data-driven distributionally robust approach to investigating the optimal power flow with dynamic line rating. The risk terms, including penalties for load shedding, wind generation curtailment and line overload, are embedded into the objective function. To robustify the solution, we consider a distributional uncertainty set based on the second-order moment, that captures the correlation between wind generation outputs and line ratings, and also the Wasserstein distance, that hedges against data perturbations. We show that the proposed model can be reformulated as a convex conic program. Approximations of the proposed model are suggested, which leads to a significant reduction of the number of the constraints. For practical large-scale test systems, a distributionally robust optimal power flow model with Wasserstein-distance-based distributional uncertainty set and its convex reformulation are also provided. Simulation results on the 5-bus, the IEEE 118-bus and the Polish 2736-bus test systems validate the effectiveness of the proposed models.

distributionally robust optimization↗

An MPMD approach coupling electromagnetic continuum mechanics approximations in ALEGRA

In this work, two complementary approximations for describing aspects of continuum electromagnetics in moving media are discussed: electroquasistatic and magnetoquasistatic. Each has been implemented in the finite element shock code ALEGRA for modeling dynamic electromechanical phenomena on typical engineering time scales, with fully integrated circuit coupling. The approximations can be obtained by consistent asymptotic balancing of Maxwell’s equations relative to timescales associated with magnetic diffusion, charge relaxation, and electromagnetic wave propagation. In ALEGRA, the electroquasistatic approximation is used for ferroelectric (FE) modeling, while the magnetoquasistatic approximation is used for magnetohydrodynamic (MHD) modeling. In this paper we introduce for the first time a detailed derivation of a useful quasi-steady “low-R m ” variant of the MHD approximation applicable for cases, such as with detonators, where the thermodynamic pressure arising from Joule heating dominates over magnetic forces. An additional purpose of this paper is to present a coupling mode using Multiple Program-Multiple Data (MPMD) message passing communication that allows the user to run 3D FE problems together with 2D and/or 3D MHD problems with the respective simulation domains coupled through a common circuit equation. The MPMD coupling capability is used here to model the dynamic coupling of a notional ferroelectric generator with an RP-87 exploding bridgewire detonator. The simulated bridgewire heats up and bursts under current generated by simulated depoling of the ferroelectric generator, as a demonstration of the MPMD capability.

42 ENGINEERING↗

The spin structure of the nucleon

We review the present understanding of the spin structure of protons and neutrons, the fundamental building blocks of nuclei collectively known as nucleons. The field of nucleon spin provides a critical window for testing Quantum Chromodynamics (QCD), the gauge theory of the strong interactions since it involves fundamental aspects of hadron structure, and it can be probed in detail in experiments, particularly deep inelastic lepton scattering on polarized targets. QCD was initially probed in high energy deep inelastic lepton scattering with unpolarized beams and targets. With time, interest shifted from testing perturbative QCD to illuminating the nucleon structure itself. In fact, the spin degrees of freedom of hadrons provides an essential and detailed verification of both perturbative and nonperturbative QCD dynamics. Nucleon spin was initially thought of coming mostly from the spin of its quark constituents, based on intuition from the parton model. However, the first experiments showed that this expectation was incorrect. It is now clear that nucleon physics is much more complex, involving quark orbital angular momenta as well as gluonic and sea quark contributions. Thus, the nucleon spin structure remains a most active aspect of QCD research, involving important advances such as the developments of generalized parton distributions (GPD) and transverse momentum distributions (TMD). Elastic and inelastic lepton-proton scattering, as well as photoabsorption experiments provide various ways to investigate non-perturbative QCD. Fundamental sum rules --such as the Bjorken sum rule for polarized photoabsorption on polarized nucleons-- are also in the non-perturbative domain. This realization triggered a vigorous program to link the low energy effective hadronic description of the strong interactions to fundamental quarks and gluon degrees of freedom of QCD. This has also led to the development of holographic QCD ideas based on the AdS/CFT or gauge/gravity correspondence, a novel approach providing a well-founded semiclassical approximation to QCD. Any QCD-based model of the nucleon's spin and dynamics must also successfully account for the observed spectroscopy of hadrons. Analytic calculations of the hadron spectrum, a long sought goal of QCD research, has now being realized using light-front holography and superconformal quantum mechanics, a formalism consistent with the results from nucleon spin studies. We begin this review with a phenomenological description of nucleon structure in general and of its spin structure in particular, aimed to engage non-specialist readers. A fundamental tool is Dirac's front form and light-front quantization which provides a frame-independent, relativistic description of hadron structure and dynamics, the derivation of spin-sum rules, and a direct connection to the QCD Lagrangian. Next, we discuss the nucleon spin structure at high energy, including topics such as GPDs and TMDs, as well as nucleon spin observables sensitive to final-state interactions such as the Sivers effect. We then discuss experimental and theoretical advances in the nonperturbative domain --in particular the development of light-front holographic QCD and superconformal quantum mechanics, its predictions for the spin content of nucleons, the computation of PDFs and of hadron masses.

74 ATOMIC AND MOLECULAR PHYSICS↗

A symmetric modal formulation of fluid-structure interaction, including a static approximation to higher order fluid modes

A method of fluid-structure coupling which provides symmetrical matrix equations of standard form solved by existing finite element computer programs is presented. The method postulates that the uncoupled vibration modes of the fluid or the structure be calculated before the coupled analysis. A numerical solution of vibration modes in an axisymmetric container demonstrated that a static approximation to higher order fluid modes can improve the accuracy of dynamic response computations using modal methods.

Macneal, R. H.↗

Analysis of a transport fuselage section drop test

Transport fuselage section drop tests provided useful information about the crash behavior of metal aircraft in preparation for a full-scale Boeing 720 controlled impact demonstration (CID). The fuselage sections have also provided an operational test environment for the data acquisition system designed for the CID test, and data for analysis and correlation with the DYCAST nonlinear finite-element program. The correlation of the DYCAST section model predictions was quite good for the total fuselage crushing deflection (22 to 24 inches predicted versus 24 to 26 inches measured), floor deformation, and accelerations for the floor and fuselage. The DYCAST seat and occupant model was adequate to approximate dynamic loading to the floor, but a more sophisticated model would be required for good correlation with dummy accelerations. Although a full-section model using only finite elements for the subfloor was desirable, constraints of time and computer resources limited the finite-element subfloor model to a two-frame model. Results from the two-frame model indicate that DYCAST can provide excellent correlation with experimental crash behavior of fuselage structure with a minimum of empirical force-deflection data representing structure in the analytical model.

E. L. Fasanella↗

Multiple grid problems on concurrent-processing computers

Three computer codes were studied which make use of concurrent processing computer architectures in computational fluid dynamics (CFD). The three parallel codes were tested on a two processor multiple-instruction/multiple-data (MIMD) facility at NASA Ames Research Center, and are suggested for efficient parallel computations. The first code is a well-known program which makes use of the Beam and Warming, implicit, approximate factored algorithm. This study demonstrates the parallelism found in a well-known scheme and it achieved speedups exceeding 1.9 on the two processor MIMD test facility. The second code studied made use of an embedded grid scheme which is used to solve problems having complex geometries. The particular application for this study considered an airfoil/flap geometry in an incompressible flow. The scheme eliminates some of the inherent difficulties found in adapting approximate factorization techniques onto MIMD machines and allows the use of chaotic relaxation and asynchronous iteration techniques. The third code studied is an application of overset grids to a supersonic blunt body problem. The code addresses the difficulties encountered when using embedded grids on a compressible, and therefore nonlinear, problem. The complex numerical boundary system associated with overset grids is discussed and several boundary schemes are suggested. A boundary scheme based on the method of characteristics achieved the best results.

Eberhardt, D. S.↗