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 433 records · Page 24
All sourcesNASA NTRSDOE OSTI
NASA NTRS1981

Spacelab 2 pointed experiments

Thirteen experiments have been selected for development for the multidisciplinary Spacelab 2 mission. They include three solar physics instruments and an atmospheric physics investigation mounted on the Instrument Pointing System (IPS), a two-axis gimballed X-ray experiment, an infrared telescope scanned about a single axis, and several fixed instruments. Integration of the IPS with its instruments and integration of the entire experiment complement into a flight mission has been a most demanding, complex task which has evolved as the Shuttle carrier vehicle, Spacelab, the IPS, and the experiments have matured. Mechanical interactions between all of these elements, thermal design restrictions, Shuttle and IPS operational constraints, mission duration, pointed instrument collision avoidance, and many other factors have impacted the scientific and engineering objectives of all of the experiments. Not all of the impacts have been adverse, however, and four types of joint science between previously unrelated experiments have so far been generated. This paper summarizes the current state of mission planning, particularly as it relates to the achievement of the scientific and engineering objectives of the pointed experiments. It discusses some of the compromises that have been made to satisfy the diverse requirements and capabilities of the hardware, the planning to date for joint solar observations from the IPS, and some system problems which remain.

Urban, E. W.↗
NASA NTRS1980

Periodic solutions of the Riccati equation

It is shown that the Riccati equations of control theory are generically Morse-Smale. The existence of periodic solutions is explicitly demonstrated. The principal contribution here is thought to be the presentation of a mathematical structure in which to study the Riccati equation. Mathematical structures already in the literature are systematically exploited. It is also shown that most problems of the Riccati equation can be reduced to problems in linear algebra. A framework is developed for studying the Riccati equation, and the proof that the Morse-Smale conditions are satisfied is outlined.

Hermann, R.↗
NASA NTRS1984

Millimeter wave transmission systems and related devices

A survey was made of the state-of-the-art in millimeter (20 GHz to 300 GHz) wave transmission systems and related devices. The survey includes summaries of analytical studies and theoretical results that were obtained for various transmission line structures. This material was supplemented by further analysis where appropriate. The transmission line structures are evaluated in terms of electrical performance, ease of manufacture, usefulness for building other devices and compatibility with solid state devices. Descriptions of waveguide transmission lines which have commonly been used in the microwave frequency range are provided along with special attention given to the problems that these guides face when their use is extended into the millimeter wave range. Also, guides which have been introduced specifically to satisfy the requirements of millimeter wave transmission are discussed in detail.

Hebert, L. M.↗
NASA NTRS1985

Assessment of discretization schemes to reduce numerical diffusion in the calculation of complex flows

Comprehensive criteria for evaluating finite-difference schemes to reduce numerical diffusion in the solution of the Reynolds averaged Navier-Stokes equations have been established in this study. Several candidate schemes have been examined, based on these criteria. Taylor series analyses, model problem studies and examination of the difference equations have been used to assess the schemes. Two schemes, which showed the most promise, and satisfied a majority of the criteria, are recommended for incorporation into two dimensional and three dimensional computer codes for further evaluation.

Syed, S. A.↗
NASA NTRS1984

Application of optimization techniques to the design of a flutter suppression control law for the DAST ARW-2

The design of a candidate flutter suppression (FS) control law for the symmetric degrees of freedom for the DAST ARW-2 aircraft is discussed. The results illustrate the application of several currently employed control law design techniques. Subsequent designs, obtained as the mathematical model of the ARW-2 is updated, are expected to employ similar methods and to provide a control law whose performance will be flight tested. This study represents one of the steps necessary to provide an assessment of the validity of applying current control law synthesis and analysis techniques in the design of actively controlled aircraft. Mathematical models employed in the control law design and evaluation phases are described. The control problem is specified by presenting the flutter boundary predicted for the uncontrolled aircraft and by defining objectives and constraints that the controller should satisfy. A full-order controller is obtained by using Linear Quadratic Gaussian (LQG) techniques. The process of obtaining an implementable reduced-order controller is described. One example is also shown in which constrained optimization techniques are utilized to explicitly include robustness criteria within the design algorithm.

Adams, W. M., Jr.↗
NASA NTRS1991

Integrated trajectory and control analysis for generic hypersonic vehicles

A tool which supports integrated assessment of air-breathing hypersonic vehicle trajectory management and control strategy has been developed by Hattis and Malchow (1991). Using a two-point boundary value problem solution technique, the tool can construct an entire near-minimum-fuel trajectory and desired control strategy from takeoff to orbit, while satisfying physically derived inequality constraints and while achieving efficient propulsive mode phasing. A strategy is also formulated to construct preliminary trajectory and control history representations with less computational burden than required for the overall flight profile assessment. A tabulated example hypersonic vehicle model has been used to demonstrate the integrated analysis methodology. To assure good numerical behavior when the algorithm uses tabulated model data, a multidimensional cubic spline curve smoothing routine has been developed. A dynamic-pressure-constrained, near-fuel-optimal trajectory was computed to provide examples of information that the methodology can provide. Previously unspecified propulsive discontinuities were located, flight regimes demanding rapid attitude changes were identified, available and closed-loop controller authority was ascertained, and inadequacies in vehicle and specific subsystem model representations were determined.

Hattis, Philip D.↗
NASA NTRS1991

A new finite element formulation for computational fluid dynamics. X - The compressible Euler and Navier-Stokes equations

A space-time element method is presented for solving the compressible Euler and Navier-Stokes equations. The proposed formulation includes the variational equation, predictor multi-corrector algorithms and boundary conditions. The variational equation is based on the time-discontinuous Galerkin method, in which the physical entropy variables are employed. A least-squares operator and a discontinuity-capturing operator are added, resulting in a high-order accurate and unconditionally stable method. Implicit/explicit predictor multi-corrector algorithms, applicable to steady as well as unsteady problems, are presented; techniques are developed to enhance their efficiency. Implementation of boundary conditions is addressed; in particular, a technique is introduced to satisfy nonlinear essential boundary conditions, and a consistent method is presented to calculate boundary fluxes. Numerical results are presented to demonstrate the performance of the method.

Shakib, Farzin↗
NASA NTRS1991

New developments in astrodynamics algorithms for autonomous rendezvous

A the core of any autonomous rendezvous guidance system must be two algorithms for solving Lambert's and Kepler's problems, the two fundamental problems in classical astrodynamics. Lambert's problem is to determine the trajectory connecting specified initial and terminal position vectors in a specified transfer time. The solution is the initial and terminal velocity vectors. Kepler's problem is to determine the trajectory that stems from a given initial state (position and velocity). The solution is the state of an earlier or later specified time. To be suitable for flight software, astrodynamics algorithms must be totally reliable, compact, and fast. Although solving Lambert's and Kepler's problems has challenged some of the world's finest minds for over two centuries, only in the last year have algorithms appeared that satisfy all three requirements just stated. This paper presents an evaluation of the most highly regarded Lambert and Kepler algorithms.

Klumpp, Allan R.↗
NASA NTRS1992

Non-iterative computation of the infimum in H-infinity-optimization for plants with invariant zeros on the j-omega axis

A simple and noniterative procedure for the computation of the exact value of the infimum in the singular H-infinity optimization problem is presented. The problem formulation is general, and no restrictions are placed on the finite and infinite zero structures of the system and on the direct feedthrough terms between the control input and the controlled output variables and between the disturbance input and the measurement output variables. The method is applicable to a class of singular H-infinity optimization problems for which the transfer functions from the control input to the controlled output and from the disturbance input to the measurement output satisfy certain geometric conditions. In particular, the authors extend the result of B. M. Chen et al. (1991) by allowing these two transfer functions to have invariant zeros on the j-omega axis.

Chen, Ben M.↗
NASA NTRS1993

Noniterative computation of infimum in H(infinity) optimisation for plants with invariant zeros on the j(omega)-axis

A simple and noniterative procedure for the computation of the exact value of the infimum in the singular H(infinity)-optimization problem is presented, as a continuation of our earlier work. Our problem formulation is general and we do not place any restrictions in the finite and infinite zero structures of the system, and the direct feedthrough terms between the control input and the controlled output variables and between the disturbance input and the measurement output variables. Our method is applicable to a class of singular H(infinity)-optimization problems for which the transfer functions from the control input to the controlled output and from the disturbance input to the measurement output satisfy certain geometric conditions. In particular, the paper extends the result of earlier work by allowing these two transfer functions to have invariant zeros on the j(omega) axis.

Chen, B. M.↗
NASA NTRS2018

High-Order Stabilized Finite Elements on Dynamic Meshes

The development of dynamic mesh capability for turbulent flow simulations using the Streamlined Upwind Petrov-Galerkin (SUPG) discretization is described. The current work extends previous research to include high-order spatial accuracy, including the satisfaction of the discrete geometric conservation law (GCL) on curved elements. Two closely-related schemes are described and the ability of these schemes to satisfy the GCL, while also maintaining temporal accuracy and conservation is assessed. Studies indicate that although one scheme discretizes the time derivative in conservative form, both schemes exhibit temporal conservation errors that decrease according to the expected design order of accuracy. The source of the temporal conservation errors is examined, and it is demonstrated that many finite-volume and finite-element schemes can also be expected to have difficulty strictly satisfying conservation in time. The effects on conservation are examined and, while present in the simulations, are seen to be negligible for the problems considered.

Anderson, W. Kyle↗
DOE OSTI2024

FARM User Guidance and Instructions

The FARM (Feasible Actuator Range Modifier) module is a component of the RAVEN-based FORCE framework for the analysis of Integrated Energy Systems (IES). FARM aids HERON in the solution of the power dispatch problem by evaluating feasible set-point signals to be issued to the control systems of the different IES unit components. Set-points need to satisfy limits on both production variables (i.e., the variables to be optimized such as the electrical power, etc.) and process variables tied to the service life of equipment (e.g., steam flowrate, vessel pressure, turbine firing temperature, etc.). To enforce all these limits, a two-stage approach is adopted. First, the power dispatcher algorithm in HERON module estimates set-points that meet the constraints on the production variables, e.g., power levels and power ramp rate limits. These constraints are called explicit constraints. Then, if necessary, FARM adjusts these set-points to ensure the respect of the limits on the process variables of interest, given the knowledge of the system dynamics acquired through machine learning algorithms. These constraints are called implicit constraints. From this standpoint, FARM constitutes a bridge between the HERON power dispatcher that adopts a simplified description of the IES unit (low-resolution physics) and the HYBRID high-fidelity models (high-resolution physics). In this report, the general workflow and the software requirements of FARM module are summarized, and the detailed instructions for installing FARM software, running built-in example cases, deriving Linear Parameter-Varying (LPV) state-space models, and using FARM for user-defined power dispatch problems are provided.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
NASA NTRS1994

A new approach to the photon localization problem

Since wavelets form a representation of the Poincare group, it is possible to construct a localized superposition of light waves with different frequencies in a Lorentz-covariant manner. This localized wavelet satisfies a Lorentz-invariant uncertainty relation, and also the Lorentz-invariant Parseval's relation. A quantitative analysis is given for the difference between photons and localized waves. It is then shown that this localized entity corresponds to a relativistic photon with a sharply defined momentum in the non-localization limit. Waves are not particles. It is confirmed that the wave-particle duality is subject to the uncertainty principle.

Han, D.↗
NASA NTRS1999

Further Development, Support and Enhancement of CONDUIT

From the first airplanes steered by handles, wheels, and pedals to today's advanced aircraft, there has been a century of revolutionary inventions, all of them contributing to flight quality. The stability and controllability of aircraft as they appear to a pilot are called flying or handling qualities. Many years after the first airplanes flew, flying qualities were identified and ranked from desirable to unsatisfactory. Later on engineers developed design methods to satisfy these practical criteria. CONDUIT, which stands for Control Designer's Unified Interface, is a modern software package that provides a methodology for optimization of flight control systems in order to improve the flying qualities. CONDUIT is dependent on an the optimization engine called CONSOL-OPTCAD (C-O). C-O performs multicriterion parametric optimization. C-O was successfully tested on a variety of control problems. The optimization-based computational system, C-O, requires a particular control system description as a MATLAB file and possesses the ability to modify the vector of design parameters in an attempt to satisfy performance objectives and constraints specified by the designer, in a C-type file. After the first optimization attempts on the UH-60A control system, an early interface system, named GIFCORCODE (Graphical Interface for CONSOL-OPTCAD for Rotorcraft Controller Design) was created.

Veronica, Moldoveanu↗
DOE OSTI2020

A robust offering strategy for wind producers considering uncertainties of demand response and wind power

This paper proposes a risk-constrained decision-making approach for a wind power producer participating in the day-ahead market. In the developed model, a flexible demand response trading scheme between the wind power producer and different customers is employed. Through the proposed demand response mechanism, the wind power producer is able to trade demand response resource internally with different customers, and then trade energy externally with the market to increase the expected profit and the wind energy utilization. The uncertainties in the wind power and demand response are modeled by using the information gap decision theory approach from risk averse (robust) and risk-seeking (opportunistic) perspectives. The objective of the robust model is to maximize the robust level while satisfying the desired profit, whereas the opportunistic model aims to evaluate the possibility of achieving windfall profits with favorable uncertainties. The overall offering strategy problem is modeled as a bi-objective mixed integer nonlinear programming, which is linearized by proper techniques and solved efficiently by using the normal boundary intersection technique. In this work, simulation results show that utilizing demand response resource to mitigate wind power deviations can increase a wind power producer's profit and reduce potential risks. In addition, the results demonstrate that the proposed bi-objective optimization approach enables the wind power producer to select appropriate offering decisions with respect to uncertainties.

17 WIND ENERGY↗
DOE OSTI2026

A novel conditional formulation of the Vlasov–Ampère equations: a conservative, positivity, asymptotic and Gauss law preserving scheme

We propose a novel reformulation of the Vlasov–Ampère equations for plasmas that reveals discrete symmetries that enables simultaneous conservation of mass, momentum and energy; preservation of Gauss’s law; positivity of the distribution function; and consistency with quasi-neutral asymptotics. The approach employs variable and coordinate transformations to yield a coupled system comprising a modified Vlasov equation and associated moment–field equations. The modified Vlasov equation advances a conditional distribution function that excludes mass, momentum and energy densities, which are instead evolved through moment equations enforcing the relevant symmetries, conservation laws and involution constraints. This reformulation aligns naturally with a recent slow-manifold reduction technique, which separates fast electron time scales and simplifies the treatment of the quasi-neutral limit within the reduced moment–field subsystem. Using this framework, we develop a numerical method for the reduced 1D1V subsystem that, for the first time in the literature, satisfies all key physical constraints while maintaining a quasi-neutral asymptotic behaviour. The advantages of the method are demonstrated on canonical electrostatic test problems, including the multiscale ion acoustic shock wave.

1D1V↗
NASA NTRS1975

Design criteria monograph on axial flow turbines

Monograph provides guidelines for predicting turbine performance, sizing gas-path elements, and avoiding problems associated with mechanical design and development. Material in monograph is organized along lines of design and development effort necessary to produce turbine that satisfies requirements imposed on it.

Source record↗
NASA NTRS1980

Transmitted sound field due to an impulsive line acoustic source bounded by a plate followed by a vortex sheet

The propagation of sound due to a line acoustic source in the moving stream across a semiinfinite vortex sheet which trails from a rigid plate is examined in a linear theory for the subsonic case. A solution for the transmitted sound field is obtained with the aid of multiple integral transforms and the Wiener-Hopf technique for both the steady state (time harmonic) and initial value (impulsive source) situations. The contour of inverse transform and hence the decomposition of the functions are determined through causality and radiation conditions. The solution obtained satisfies causality and the full Kutta conditions. The transmitted sound field is composed of two waves in both the stady state and initial value problems. One is the wave scattered from the edge of the plate which is associated with the bow wave and the instability wave. These waves exist in the downstream sectors. The other is the wave transmitted through the vortex sheet which is also associated with the instability wave. Regional divisions of the transmitted sound field are identified.

Miura, T.↗