Search NASA⌕ Search

SEARCH · Search NASA

Results for “satisfiability problems”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1976

Optimal command generation for tracking a class of discontinuous trajectories

Commands are found to drive a linear system to optimally track a class of prescribed trajectories, each of which contains a point of discontinuity. The paper focuses on the guidance problem of command generation, to be implemented in a feedforward fashion; the necessary additional control or feedback regulation structure is not studied in detail, but assumed to be provided in applications as a conventional error-feedback regulator. Solutions are found for the infinite-time problem which are optimal with respect to a quadratic performance criterion; suboptimal controls which satisfy a continuity condition are also found. The controls have applications to certain problems in aircraft guidance where command trajectories are piecewise continuous. Several examples are worked out in detail, with comparisons with conventional, nonfeedforward solutions to the problem, and a brief discussion of a simpler, suboptimal solution.

Weissenberger, S.↗
NASA NTRS1991

Optimal guidance of aero-assisted transfer vehicles based on matched asymptotic expansions

This paper addresses a number of issues related to the matched asymptotic expansions analysis of skip trajectories, or any class of problems that give rise to inner layers that are not associated directly with satisfying boundary conditions. The procedure for matching inner and outer solutions, and using the composite solution to satisfy boundary conditions is rigorously followed in developing a complete algebraic solution to the problem of inclination change with minimum energy loss. Repeated solution of these algebraic equations along the trajectory, treating each current state as an initial state, constitute a feedback guidance algorithm.

Calise, A. J.↗
NASA NTRS1973

A preliminary design and implementation of the low-thrust simulation and trajectory search program (LOWTRAJ)

The results are presented of one phase of research conducted for the JPL Solar Electric Propulsion (SEP) Navigation Software System development program. It deals only with the problem of designing the flight quality trajectory program, which is a major subset of the entire navigation software system. In this phase of research (breadboard development phase), attempts were made to assess the SEP trajectory software functional requirements, to investigate the program design method satisfying these requirements, to identify the primary anticipated problem areas, and to provide solutions to these problem areas. These efforts culminated in the development of a compact breadboard program. A functional description and the mathematical formulation of the program are presented.

Yen, C. L.↗
NASA NTRS2018

Use of Simple Continuum Solutions in Finite Element Alternating Method for Fracture Problems

The performance of the finite element alternating (FEAM) method for two-dimensional crack problems is studied with respect to a polynomial pressure distribution fitted to the crack face stresses. The FEAM alternates between the analytical solution of crack in an infinite plate subjected to arbitrary polynomial distribution and a finite element solution of an uncracked body to satisfy the required boundary conditions in the crack problem. In this paper, the FEAM is applied to embedded crack and edge crack problems. For embedded crack problems, all of the constant, linear, and quadratic ( N=0,1, or 2, respectively) pressure distributions yield very accurate results with this algorithm with 4 to 5 iterations. The edge crack problems, on the other hand, require much higher order polynomials distributions (N=5 to 6) to yield accurate solutions. For slant edge crack problems, the mode-I stress-intensity factors have better accuracy than the mode-II stress-intensity factors for the same convergence tolerance.

Krishnamurthy, T.↗
DOE OSTI2024

Anderson acceleration with approximate calculations: Applications to scientific computing

Here we provide rigorous theoretical bounds for Anderson acceleration (AA) that allow for approximate calculations when applied to solve linear problems. We show that, when the approximate calculations satisfy the provided error bounds, the convergence of AA is maintained while the computational time could be reduced. We also provide computable heuristic quantities, guided by the theoretical error bounds, which can be used to automate the tuning of accuracy while performing approximate calculations. For linear problems, the use of heuristics to monitor the error introduced by approximate calculations, combined with the check on monotonicity of the residual, ensures the convergence of the numerical scheme within a prescribed residual tolerance. Motivated by the theoretical studies, we propose a reduced variant of AA, which consists in projecting the least-squares used to compute the Anderson mixing onto a subspace of reduced dimension. The dimensionality of this subspace adapts dynamically at each iteration as prescribed by the computable heuristic quantities. We numerically show and assess the performance of AA with approximate calculations on: (i) linear deterministic fixed-point iterations arising from the Richardson's scheme to solve linear systems with open-source benchmark matrices with various preconditioners and (ii) non-linear deterministic fixed-point iterations arising from non-linear time-dependent Boltzmann equations.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Physics constrained learning for data-driven inverse modeling from sparse observations

Deep neural networks (DNN) have been used to model nonlinear relations between physical quantities. Those DNNs are embedded in physical systems described by partial differential equations (PDE) and trained by minimizing a loss function that measures the discrepancy between predictions and observations in some chosen norm. This loss function often includes the PDE constraints as a penalty term when only sparse observations are available. As a result, the PDE is only satisfied approximately by the solution. However, the penalty term typically slows down the convergence of the optimizer for stiff problems. We present a new approach that trains the embedded DNNs while numerically satisfying the PDE constraints. We develop an algorithm that enables differentiating both explicit and implicit numerical solvers in reverse-mode automatic differentiation. This allows the gradients of the DNNs and the PDE solvers to be computed in a unified framework. We demonstrate that our approach enjoys faster convergence and better stability in relatively stiff problems compared to the penalty method. Furthermore, our approach allows for the potential to solve and accelerate a wide range of data-driven inverse modeling, where the physical constraints are described by PDEs and need to be satisfied accurately.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS2005

Variations in the Peak Position of the 6.2 micron Interstellar Emission Feature: A Tracer of N in the Interstellar Polycyclic Aromatic Hydrocarbon Population

This paper presents the results of an investigation of the molecular characteristics that underlie the observed peak position and profile of the nominal 6.2 micron interstellar emission band generally attributed to the CC stretching vibrations of polycyclic aromatic hydrocarbons (PAHs). It begins with a summary of recent experimental and theoretical studies ofthe spectroscopic properties of large (>30 carbon atoms) PAH cations as they relate to this aspect of the astrophysical problem. It then continues with an examination of the spectroscopic properties of a number of PAH variants within the context of the interstellar 6.2 micron emission, beginning with a class of compounds known as polycyclic aromatic nitrogen heterocycles (PANHs; PAHs with one or more nitrogen atoms substituted into their carbon skeleton). In this regard, we summarize the results of recent relevant experimental studies involving a limited set of small PANHs and their cations and then report the results of a comprehensive computational study that extends that work to larger PANH cations including many nitrogen-substituted variants of coronene(+) (C24H12(+)), ovalene(+) (C32H14(+)), circumcoronene(+) (C54H18(+)), and circum-circumcoronene(+) (C96H24(+)). Finally, we report the results of more focused computational studies of selected representatives from a number of other classes of PAH variants that share one or more of the key attributes of the PANH species studied. These alternative classes of PAH variants include (1) oxygen- and silicon-substituted PAH cations; (2) PAH-metal ion complexes (metallocenes) involving the cosmically abundant elements magnesium and iron; and (3) large, asymmetric PAH cations. Overall, the studies reported here demonstrate that increasing PAH size alone is insuEcient to account for the position of the shortest wavelength interstellar 6.2 micron emission bands, as had been suggested by earlier studies. On the other hand, this work reveals that substitution of one or more nitrogen atoms within the interior of the carbon skeleton of a PAH cation induces a significant blueshift in the position of the dominant CC stretching feature of these compounds that is suf6cient to account for the position of the interstellar bands. Subsequent studies of the effects of substitution by other heteroatoms (O and Si), metal ion complexation (Fe(+), Mg(+), and Mg(2+)), and molecular symmetry variation-all of which fail to reproduce the blueshift observed in the PANH cations-indicate that N appears to be unique in its ability to accommodate the position of the interstellar 6.2 micron bands while simultaneously satisfying the other constraints of the astrophysical problem. This result implies that the peak position of the interstellar feature near 6.2 micron traces the degree of nitrogen substitution in the population, that most of the PAHs responsible for the interstellar IR emission features incorporate nitrogen within their aromatic networks, and that a lower limit of 1%-2% of the cosmic nitrogen is sequestered within the interstellar PAH population. Finally, in view of the ubiquity and abundance of interstellar PAHs and the permanent dipoles and distinctive electronic structures of these nitrogen-substituted variants, this work impacts a wide range of observational phenomena outside of the infrared region of the spectrum including the forest of unidentified molecular rotational features and the anomalous Galactic foreground emission in the microwave, and the diffuse interstellar bands (DIBs) and other structure in the interstellar extinction curve in the ulhviolet/visible. These astrophysical ramifications are discussed, and the dipole moments and rotational constants are tabulated to facilitate further investigations of the astrophysical role of nitrogen-substituted aromatic compounds.

Hudgins, Douglas M.↗
NASA NTRS1990

Finite element solution of optimal control problems with inequality constraints

A finite-element method based on a weak Hamiltonian form of the necessary conditions is summarized for optimal control problems. Very crude shape functions (so simple that element numerical quadrature is not necessary) can be used to develop an efficient procedure for obtaining candidate solutions (i.e., those which satisfy all the necessary conditions) even for highly nonlinear problems. An extension of the formulation allowing for discontinuities in the states and derivatives of the states is given. A theory that includes control inequality constraints is fully developed. An advanced launch vehicle (ALV) model is presented. The model involves staging and control constraints, thus demonstrating the full power of the weak formulation to date. Numerical results are presented along with total elapsed computer time required to obtain the results. The speed and accuracy in obtaining the results make this method a strong candidate for a real-time guidance algorithm.

Bless, Robert R.↗
DOE OSTI2022

Scalable Predictive Control and Optimization for Grid Integration of Large-Scale Distributed Energy Resources

Integrating a large number of distributed energy resources (DERs) into the power grid needs a scalable power balancing method. We formulate the power balancing problem as a look-ahead optimization problem to be solved sequentially by a power distribution system aggregator based on a model predictive control (MPC) framework. Solving large-scale look-ahead control problems requires proper configuration of the control steps. In this paper, to solve large-scale control problems, we propose a variable time granularity where control time steps nearby the current control step have finer resolutions. The aggregator objective includes maximization of power production revenue and minimization of power purchasing expense, renewable power curtailment, and mileage costs for energy storage and electric vehicle (EV) charging stations while satisfying system capacity and operational constraints. The control problem is formulated as a mixed-integer linear program (MILP) and solved using the XpressMP solver. We perform simulations considering a copper plate representation of a large distribution network consisting of 2507 devices (control-lable DERs), including curtailable photovoltaics (PVs), energy storage batteries, EV charging stations, and buildings with heating, ventilation, and air conditioning units (HVACs). We show the effectiveness of the proposed approach in managing DERs interactively for maximum energy trading profit and local supply-demand power balancing. Finally, we demonstrate that the proposed method outperforms other benchmark controllers regarding computation time without compromising operational performance.

DER↗
DOE OSTI2022

Scalable Predictive Control and Optimization for Grid Integration of Large-Scale Distributed Energy Resources: Preprint

Integration of a large number of distributed energy resources (DERs) into the power grid needs a scalable power balancing method. We formulate the power balancing problem as a look-ahead optimization problem to be solved sequentially by a power distribution system aggregator based on a model predictive control (MPC) framework. Solving large-scale look-ahead control problem requires proper configuration of the control steps. In this paper, to solve large-scale control problems, we propose a variable time granularity where control time steps nearby the current control step have finer resolutions. The aggregator objective includes maximization of power production revenue and minimization of power purchasing expense, renewable power curtailment, and mileage costs for energy storage and electric vehicle (EV) charging stations while satisfying system capacity and operational constraints. The control problem is formulated as a mixed-integer linear program (MILP) and solved using the XpressMP solver. We perform simulations considering a copper plate representation of a large distribution network consisting of 2507 devices (controllable DERs) including curtailable photovoltaics (PVs), energy storage batteries, EV charging stations, and buildings with heating, ventilation, and air conditioning units (HVACs). We show the effectiveness of the proposed approach in managing DERs interactively for maximum energy trading profit and local supply-demand power balancing. Finally, we demonstrate that the proposed method outperformed other benchmark controllers regarding computation time without compromising operational performance.

DER↗
DOE OSTI2022

Scalable Predictive Control and Optimization for Grid Integration of Large-Scale Distributed Energy Resources

Integrating a large number of distributed energy resources (DERs) into the power grid needs a scalable power balancing method. We formulate the power balancing problem as a look-ahead optimization problem to be solved sequentially by a power distribution system aggregator based on a model predictive control (MPC) framework. Solving large-scale look-ahead control problems requires proper configuration of the control steps. In this paper, to solve large-scale control problems, we propose a variable time granularity where control time steps nearby the current control step have finer resolutions. The aggregator objective includes maximization of power production revenue and minimization of power purchasing expense, renewable power curtailment, and mileage costs for energy storage and electric vehicle (EV) charging stations while satisfying system capacity and operational constraints. The control problem is formulated as a mixed-integer linear program (MILP) and solved using the XpressMP solver. We perform simulations considering a copper plate representation of a large distribution network consisting of 2507 devices (controllable DERs), including curtailable photovoltaics (PVs), energy storage batteries, EV charging stations, and buildings with heating, ventilation, and air conditioning units (HVACs). We show the effectiveness of the proposed approach in managing DERs interactively for maximum energy trading profit and local supply-demand power balancing. Finally, we demonstrate that the proposed method outperforms other benchmark controllers regarding computation time without compromising operational performance.

DER↗
DOE OSTI2022

Efficient Probabilistic Computing with Stochastic Perovskite Nickelates

Probabilistic computing has emerged as a viable approach to solve hard optimization problems. Devices with inherent stochasticity can greatly simplify their implementation in electronic hardware. In this report we demonstrate intrinsic stochastic resistance switching controlled via electric fields in perovskite nickelates doped with hydrogen. The ability of hydrogen ions to reside in various metastable configurations in the lattice leads to a distribution of transport gaps. With experimentally characterized p-bits, a shared-synapse p-bit architecture demonstrates highly parallelized and energy-efficient solutions to optimization problems such as integer factorization and Boolean satisfiability. The results introduce perovskite nickelates as scalable potential candidates for probabilistic computing and showcase the potential of light-element dopants in next-generation correlated semiconductors.

77 NANOSCIENCE AND NANOTECHNOLOGY↗
DOE OSTI2020

Scaling Turbulent Combustion Fields in Explosions

We considered the topic of explosions from spherical high-explosive (HE) charges. We studied how the turbulent combustion fields scale. On the basis of theories of dimensional analysis by Bridgman and similarity theories of Sedov and Barenblatt, we found that all fields scaled with the explosion length scale r0. This included the blast wave, the mean and root mean squared (RMS) profiles of thermodynamic variables, combustion variables, velocities, vorticity, and turbulent Reynolds stresses. This was a consequence of the formulation of the problem and our numerical method, which both satisfied the similarity conditions of Sedov. We performed numerical simulations of 1 g charges and 1 kg charges; the solutions were identical (within roundoff error) when plotted in scaled variables. We also explored scaling laws related to three-phase pyrotechnic explosions. We show that although the scaling formally broke down, the fireball still essentially scaled with the explosion length scale r0. However, the discrete Lagrange particles (DLP) (phase 2) and the heterogeneous continuum model (HCM) of the DLP wakes (phase 3) did not scale with r0, and mean and RMS profiles could differ by a factor of 10 in some regions. This was because the DLP particles and wakes introduced an additional scale that broke the similarity conditions.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS1975

Mars - Satellite origin and angular momentum

The origin of Phobos and Deimos is considered with a view to accounting for the existence of very small satellites with circular orbits in the Martian equatorial plane, and simultaneously for the suspected angular momentum deficiency of the Mars system. All models considered failed to satisfy at least one requirement, and the problem is considered more puzzling than is at first apparent. The Martian angular momentum deficiency, if physically significant, may be unrelated to the present satellites' origin, but might relate to a large ancient satellite, long ago destroyed. Accretion onto Mars of large amounts of asteroidal dust brought in by Poynting-Robertson drag may have some bearing on the angular momentum problem.

Hartmann, W. K.↗
NASA NTRS1981

Buckling and vibration of periodic lattice structures

Lattice booms and platforms composed of flexible members or large diameter rings which may be stiffened by cables in order to support membrane-like antennas or reflector surfaces are the main components of some large space structures. The nature of these structures, repetitive geometry with few different members, makes possible relatively simple solutions for buckling and vibration of a certain class of these structures. Each member is represented by a stiffness matrix derived from the exact solution of the beam column equation. This transcendental matrix gives the current member stiffness at any end load or frequency. Using conventional finite element techniques, equilibrium equations can be written involving displacements and rotations of a typical node and its neighbors. The assumptions of a simple trigonometric mode shape is found to satisfy these equations exactly; thus the entire problem is governed by just one 6 x 6 matrix equation involving the amplitude of the displacement and rotation mode shapes. The boundary conditions implied by this solution are simple supported ends for the column type configurations.

Anderson, M. S.↗
NASA NTRS1985

The stress distribution in pin-loaded orthotropic plates

The performance of mechanically fastened composite joints was studied. Specially, a single-bolt connector was modeled as a pin-loaded, infinite plate. The model that was developed used two dimensional, complex variable, elasticity techniques combined with a boundary collocation procedure to produce solutions for the problem. Through iteration, the boundary conditions were satisfied and the stresses in the plate were calculated. Several graphite epoxy laminates were studied. In addition, parameters such as the pin modulus, coefficient of friction, and pin-plate clearance were varied. Conclusions drawn from this study indicate: (1) the material properties (i.e., laminate configuration) of the plate alter the stress state and, for highly orthotropic materials, the contact stress deviates greatly from the cosinusoidal distribution often assumed; (2) friction plays a major role in the distribution of stresses in the plate; (3) reversing the load direction also greatly effects the stress distribution in the plate; (4) clearance (or interference) fits change the contact angle and thus the location of the peak hoop stress; and (5) a rigid pin appears to be a good assumption for typical material systems.

Klang, E. C.↗
NASA NTRS1985

Burner liner thermal/structural load modeling: TRANCITS program user's manual

Transfer Analysis Code to Interface Thermal/Structural Problems (TRANCITS) is discussed. The TRANCITS code satisfies all the objectives for transferring thermal data between heat transfer and structural models of combustor liners and it can be used as a generic thermal translator between heat transfer and stress models of any component, regardless of the geometry. The TRANCITS can accurately and efficiently convert the temperature distributions predicted by the heat transfer programs to those required by the stress codes. It can be used for both linear and nonlinear structural codes and can produce nodal temperatures, elemental centroid temperatures, or elemental Gauss point temperatures. The thermal output of both the MARC and SINDA heat transfer codes can be interfaced directly with TRANCITS, and it will automatically produce stress model codes formatted for NASTRAN and MARC. Any thermal program and structural program can be interfaced by using the neutral input and output forms supported by TRANCITS.

Maffeo, R.↗
NASA NTRS1986

Boundary force method for analyzing two-dimensional cracked bodies

The Boundary Force Method (BFM) was formulated for the two-dimensional stress analysis of complex crack configurations. In this method, only the boundaries of the region of interest are modeled. The boundaries are divided into a finite number of straight-line segments, and at the center of each segment, concentrated forces and a moment are applied. This set of unknown forces and moments is calculated to satisfy the prescribed boundary conditions of the problem. The elasticity solution for the stress distribution due to concentrated forces and a moment applied at an arbitrary point in a cracked infinite plate are used as the fundamental solution. Thus, the crack need not be modeled as part of the boundary. The formulation of the BFM is described and the accuracy of the method is established by analyzing several crack configurations for which accepted stress-intensity factor solutions are known. The crack configurations investigated include mode I and mixed mode (mode I and II) problems. The results obtained are, in general, within + or - 0.5 percent of accurate numerical solutions. The versatility of the method is demonstrated through the analysis of complex crack configurations for which limited or no solutions are known.

Tan, P. W.↗