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 307 records · Page 17
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Model reference adaptive control of robots

This project presents the results of controlling two types of robots using new Command Generator Tracker (CGT) based Direct Model Reference Adaptive Control (MRAC) algorithms. Two mathematical models were used to represent a single-link, flexible joint arm and a Unimation PUMA 560 arm; and these were then controlled in simulation using different MRAC algorithms. Special attention was given to the performance of the algorithms in the presence of sudden changes in the robot load. Previously used CGT based MRAC algorithms had several problems. The original algorithm that was developed guaranteed asymptotic stability only for almost strictly positive real (ASPR) plants. This condition is very restrictive, since most systems do not satisfy this assumption. Further developments to the algorithm led to an expansion of the number of plants that could be controlled, however, a steady state error was introduced in the response. These problems led to the introduction of some modifications to the algorithms so that they would be able to control a wider class of plants and at the same time would asymptotically track the reference model. This project presents the development of two algorithms that achieve the desired results and simulates the control of the two robots mentioned before. The results of the simulations are satisfactory and show that the problems stated above have been corrected in the new algorithms. In addition, the responses obtained show that the adaptively controlled processes are resistant to sudden changes in the load.

Steinvorth, Rodrigo↗
DOE OSTI2020

COHORT: Coordination of Heterogeneous Thermostatically Controlled Loads for Demand Flexibility

Demand flexibility is increasingly important for power grids. Careful coordination of thermostatically controlled loads (TCLs) can modulate energy demand, decrease operating costs, and increase grid resiliency. We propose a novel distributed control framework for the Coordination Of HeterOgeneous Residential Thermostatically controlled loads (COHORT). COHORT is a practical, scalable, and versatile solution that coordinates a population of TCLs to jointly optimize a grid-level objective, while satisfying each TCL’s end-use requirements and operational constraints. To achieve that, we decompose the grid-scale problem into subproblems and coordi- nate their solutions to find the global optimum using the alternating direction method of multipliers (ADMM). The TCLs’ local problems are distributed to and computed in parallel at each TCL, making COHORT highly scalable and privacy-preserving. While each TCL poses combinatorial and non-convex constraints, we characterize these constraints as a convex set through relaxation, thereby making COHORT computationally viable over long planning horizons. After coordination, each TCL is responsible for its own control and tracks the agreed-upon power trajectory with its preferred strategy. In this work, we translate continuous power back to discrete on/off actuation, using pulse width modulation. COHORT is generalizable to a wide range of grid objectives, which we demonstrate through three distinct use cases: generation following, minimizing ramping, and peak load curtailment. In a notable experiment, we validated our approach through a hardware-in-the-loop simulation, including a real-world air conditioner (AC) controlled via a smart thermostat, and simulated instances of ACs modeled after real-world data traces. During the 15-day experimental period, COHORT reduced daily peak loads by an average of 12.5% and maintained comfortable temperatures.

demand response↗
DOE OSTI2020

Physics-informed semantic inpainting: Application to geostatistical modeling

A fundamental problem in geostatistical modeling is to infer the heterogeneous geological field based on limited measurements and some prior spatial statistics. Semantic inpainting, a technique for image processing using deep generative models, has been recently applied for this purpose, demonstrating its effectiveness in dealing with complex spatial patterns. However, the original semantic inpainting framework incorporates only information from direct measurements, while in geostatistics indirect measurements are often plentiful. In this work, to overcome this limitation, we propose a physics-informed semantic inpainting framework, employing the Wasserstein Generative Adversarial Network with Gradient Penalty (WGAN-GP) and jointly incorporating the direct and indirect measurements by exploiting the underlying physical laws. Our simulation results for a high-dimensional problem with 512 dimensions show that in the new method, the physical conservation laws are satisfied and contribute in enhancing the inpainting performance compared to using only the direct measurements.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2023

Semidefinite programming algorithm for the quantum mechanical bootstrap

Here, we present a semidefinite programming algorithm to find eigenvalues of Schrödinger operators within the bootstrap approach to quantum mechanics. The bootstrap approach involves two ingredients: a nonlinear set of constraints on the variables (expectation values of operators in an energy eigenstate), plus positivity constraints (unitarity) that need to be satisfied. By fixing the energy we linearize all the constraints and show that the feasibility problem can be presented as an optimization problem for the variables that are not fixed by the constraints and one additional slack variable that measures the failure of positivity. To illustrate the method we are able to obtain high-precision, sharp bounds on eigenenergies for arbitrary confining polynomial potentials in one dimension.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1973

Remarks on vortex-lattice methods.

Results are presented of some numerical experiments on simple planar configurations. The experiments serve to establish more precisely some ground rules for optimum lattice arrangements. In particular, the location of both the horseshoe vortex elements and the control points at which the surface boundary conditions are to be satisfied is uniquely determined. Questions of lattice arrangement are discussed together with numerical results and problems of control point location.

Hough, G. R.↗
NASA NTRS1975

An algorithm for the space shuttle scheduling problem

The problem of determining launch times for a set of missions is considered. Launch times must satisfy early start time and resource constraints. The investigation reported is concerned with the minimization of the number of missions which are launched after specified late start times. An algorithm is presented which, under certain restrictive assumptions, provides an optimal solution. If the restrictive assumptions are not satisfied, the algorithm may be used to obtain a lower bound on the number of missions flown late.

Fisher, M. L.↗
NASA NTRS1979

Diffusion approximation for large absorption in radiative transfer

A new diffusion model is developed for radiative transfer in particulate media. It includes the effects of higher Legendre moments while avoiding the mathematical complexities of solving multiple coupled differential moment equations and satisfying higher-order boundary conditions. The method accurately extrapolates the conventional Eddington approximation to problems involving large absorption. Although the simplifying assumptions limit the model to nonbeam incidence and spatial homogeneity of the scattering material, they are nonrestrictive with regard to the size and shape of the medium, the character of background reflections, and the type of phase function.

Meador, W. E.↗
NASA NTRS1987

Timescales for planetary accretion and the structure of the protoplanetary disk

No self-consistent scenario for all stages of planetary accretion which satisfies observational constraints currently exists. An attempt is accordingly made here to resolve the timescale problems and to outline a planet formation scenario consistent with current theories of star formation as well as related models of the protoplanetary disk. For accretion to have proceeded in the manner presently hypothesized, the surface mass density of planetessimals would have had to to be relatively uniform in the Venus-Jupiter region of the protoplanetary disk, consistent with viscous accretion disk models of the solar nebula. The outer regions of the nebula would still have contained enough solid matter to account for the growth of Uranus and Neptune in 5 to 500 million years.

Lissauer, Jack J.↗
NASA NTRS1991

Sensible heat receiver for solar dynamic space power system

A sensible heat receiver considered in this study uses a vapor grown carbon fiber-carbon (VGCF/C) composite as the thermal storage media and was designed for a 7 kW Brayton engine. The proposed heat receiver stores the required energy to power the system during eclipse in the VGCF/C composite. The heat receiver thermal analysis was conducted through the Systems Improved Numerical Differencing Analyzer and Fluid Integrator (SINDA) software package. The sensible heat receiver compares well with other latent and advanced sensible heat receivers analyzed in other studies while avoiding the problems associated with latent heat storage salts and liquid metal heat pipes. The concept also satisfies the design requirements for a 7 kW Brayton engine system. The weight and size of the system can be optimized by changes in geometry and technology advances for this new material.

Perez-Davis, Marla E.↗
NASA NTRS1991

A multi-point inverse airfoil design method based on conformal mapping

An exact method of multipoint inverse airfoil design for incompressible flow is presented. Multipoint design is handled by dividing the airfoil into a number of desired segments. For each segment the velocity distribution is prescribed together with an angle of attack at which the prescribed velocity distribution is to be achieved. In this manner, multipoint design objectives can be taken into account in the initial specification of the velocity distribution. In order for the multipoint inverse airfoil design problem to be well posed, three integral constraints and several conditions arise which must be satisfied. Further restrictions are imposed if the airfoil is to have a specified pitching moment, thickness ratio, or other constraints. The system of equations is solved partly as a linear system and partly through multidimensional Newton iteration. Since the velocity distribution is prescribed about the circle in the angular coordinate, specification of the velocity in terms of arc length is handled through the multidimensional Newton iteration as well. The current formulation sets the stage for a more general multipoint inverse airfoil design method in which it will be possible to specify the velocity distribution, some boundary-layer development, or the surface geometry along a segment.

Selig, Michael S.↗
NASA NTRS1991

Sensible heat receiver for solar dynamic space power system

A sensible heat receiver is considered which uses a vapor grown carbon fiber-carbon (VGCF/C) composite as the thermal storage medium and which was designed for a 7-kW Brayton engine. This heat receiver stores the required energy to power the system during eclipse in the VGCF/C composite. The heat receiver thermal analysis was conducted through the Systems Improved Numerical Differencing Analyzer and Fluid Integrator (SINDA) software package. The sensible heat receiver compares well with other latent and advanced sensible heat receivers analyzed in other studies, while avoiding the problems associated with latent heat storage salts and liquid metal heat pipes. The concept also satisfies the design requirements for a 7-kW Brayton engine system. The weight and size of the system can be optimized by changes in geometry and technology advances for this new material.

Perez-Davis, Marla E.↗
NASA NTRS2009

Arm Locking for the Laser Interferometer Space Antenna

The Laser Interferometer Space Antenna (LISA) mission is a planned gravitational wave detector consisting of three spacecraft in heliocentric orbit. Laser interferometry is used to measure distance fluctuations between test masses aboard each spacecraft to the picometer level over a 5 million kilometer separation. Laser frequency fluctuations must be suppressed in order to meet the measurement requirements. Arm-locking, a technique that uses the constellation of spacecraft as a frequency reference, is a proposed method for stabilizing the laser frequency. We consider the problem of arm-locking using classical optimal control theory and find that our designs satisfy the LISA requirements.

Maghami, P. G.↗
NASA NTRS1993

Approximate optimal guidance for the advanced launch system

A real-time guidance scheme for the problem of maximizing the payload into orbit subject to the equations of motion for a rocket over a spherical, non-rotating earth is presented. An approximate optimal launch guidance law is developed based upon an asymptotic expansion of the Hamilton - Jacobi - Bellman or dynamic programming equation. The expansion is performed in terms of a small parameter, which is used to separate the dynamics of the problem into primary and perturbation dynamics. For the zeroth-order problem the small parameter is set to zero and a closed-form solution to the zeroth-order expansion term of Hamilton - Jacobi - Bellman equation is obtained. Higher-order terms of the expansion include the effects of the neglected perturbation dynamics. These higher-order terms are determined from the solution of first-order linear partial differential equations requiring only the evaluation of quadratures. This technique is preferred as a real-time, on-line guidance scheme to alternative numerical iterative optimization schemes because of the unreliable convergence properties of these iterative guidance schemes and because the quadratures needed for the approximate optimal guidance law can be performed rapidly and by parallel processing. Even if the approximate solution is not nearly optimal, when using this technique the zeroth-order solution always provides a path which satisfies the terminal constraints. Results for two-degree-of-freedom simulations are presented for the simplified problem of flight in the equatorial plane and compared to the guidance scheme generated by the shooting method which is an iterative second-order technique.

Feeley, T. S.↗
NASA NTRS1996

Effective Numerical Methods for Solving Elliptical Problems in Strengthened Sobolev Spaces

Fourth-order elliptic boundary value problems in the plane can be reduced to operator equations in Hilbert spaces G that are certain subspaces of the Sobolev space W(sub 2)(exp 2)(Omega) is identical with G(sup (2)). Appearance of asymptotically optimal algorithms for Stokes type problems made it natural to focus on an approach that considers rot w is identical with (D(sub 2)w - D(sub 1)w) is identical with vector of u as a new unknown vector-function, which automatically satisfies the condition div vector of u = 0. In this work, we show that this approach can also be developed for an important class of problems from the theory of plates and shells with stiffeners. The main mathematical problem was to show that the well-known inf-sup condition (normal solvability of the divergence operator) holds for special Hilbert spaces. This result is also essential for certain hydrodynamics problems.

D'yakonov, Eugene G.↗
NASA NTRS2004

Fleet Assignment Using Collective Intelligence

Product distribution theory is a new collective intelligence-based framework for analyzing and controlling distributed systems. Its usefulness in distributed stochastic optimization is illustrated here through an airline fleet assignment problem. This problem involves the allocation of aircraft to a set of flights legs in order to meet passenger demand, while satisfying a variety of linear and non-linear constraints. Over the course of the day, the routing of each aircraft is determined in order to minimize the number of required flights for a given fleet. The associated flow continuity and aircraft count constraints have led researchers to focus on obtaining quasi-optimal solutions, especially at larger scales. In this paper, the authors propose the application of this new stochastic optimization algorithm to a non-linear objective cold start fleet assignment problem. Results show that the optimizer can successfully solve such highly-constrained problems (130 variables, 184 constraints).

Antoine, Nicolas E.↗
NASA NTRS1981

Operational problems experienced by single pilots in instrument meteorological conditions

The development and implementation of a search strategy to extract pertinent reports from the Aviation Safety Reporting System-2 (ASRS-2) database are described. For any particular occurence to be pertinent to the study, it must have satisfied the following conditions: the aircraft must be of the type usually flown by a single pilot; operation on an IFR flight plan in instrument meteorological conditions; pilot experienced an operational problem. The occurances consist of reports by the pilot about his own performance, by the pilot about the system performance, or by an air traffic controller about a pilot's performance.

Weislogel, S.↗
NASA NTRS1993

On the accurate long-time solution of the wave equation in exterior domains: Asymptotic expansions and corrected boundary conditions

We consider the solution of scattering problems for the wave equation using approximate boundary conditions at artificial boundaries. These conditions are explicitly viewed as approximations to an exact boundary condition satisfied by the solution on the unbounded domain. We study the short and long term behavior of the error. It is provided that, in two space dimensions, no local in time, constant coefficient boundary operator can lead to accurate results uniformly in time for the class of problems we consider. A variable coefficient operator is developed which attains better accuracy (uniformly in time) than is possible with constant coefficient approximations. The theory is illustrated by numerical examples. We also analyze the proposed boundary conditions using energy methods, leading to asymptotically correct error bounds.

Hagstrom, Thomas↗
DOE OSTI2021

A Consistent BGK Model with Velocity-Dependent Collision Frequency for Gas Mixtures

Abstract We derive a multi-species BGK model with velocity-dependent collision frequency for a non-reactive, multi-component gas mixture. The model is derived by minimizing a weighted entropy under the constraint that the number of particles of each species, total momentum, and total energy are conserved. We prove that this minimization problem admits a unique solution for very general collision frequencies. Moreover, we prove that the model satisfies an H-Theorem and characterize the form of equilibrium.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗