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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 163 records · Page 9

All sources NASA NTRS DOE OSTI

NASA NTRS1980

Application of an advanced trajectory optimization method to ramjet propelled missiles

The mission performance characteristics of ramjet-propelled missiles are highly dependent upon the trajectory flown. Integration of the trajectory profile with the ramjet propulsion system performance characteristics to achieve optimal missile performance is very complex. Past trajectory optimization methods have been extremely problem dependent and require a high degree of familiarity to achieve success. A general computer code (CTOP) has been applied to ramjet-powered missiles to compute open-loop optimal trajectories. CTOP employs Chebyshev polynomial representations of the states and controls. This allows a transformation of the continuous optimal control problem to one of parameter optimization. With this method, the trajectory boundary conditions are always satisfied. State dynamics and path constraints are enforced via penalty functions. The presented results include solutions to minimum fuel-to-climb, minimum time-to-climb, and minimum time-to-target intercept problems.

Paris, S. W.↗

NASA NTRS1995

Planning as a Precursor to Scheduling for Space Station Payload Operations

Contemporary schedulers attempt to solve the problem of best fitting a set of activities into an available timeframe while still satisfying the necessary constraints. This approach produces results which are optimized for the region of time the scheduler is able to process, satisfying the near term goals of the operation. In general the scheduler is not able to reason about the activities which precede or follow the window into which it is inputs to scheduling so that the intermediate placing activities. This creates a problem for operations which are composed of many activities spanning long durations (which exceed the scheduler's reasoning horizon) such as the continuous operations environment for payload operations on the Space Station. Not only must the near term scheduling objectives be met, but somehow the results of near term scheduling must be made to support the attainment of long term goals.

Howell, Eric↗

NASA NTRS1992

On recontamination and directional-bias problems in Monte Carlo simulation of PDF turbulence models

Turbulent combustion can not be simulated adequately by conventional moment closure turbulent models. The probability density function (PDF) method offers an attractive alternative: in a PDF model, the chemical source terms are closed and do not require additional models. Because the number of computational operations grows only linearly in the Monte Carlo scheme, it is chosen over finite differencing schemes. A grid dependent Monte Carlo scheme following J.Y. Chen and W. Kollmann has been studied in the present work. It was found that in order to conserve the mass fractions absolutely, one needs to add further restrictions to the scheme, namely alpha(sub j) + gamma(sub j) = alpha(sub j - 1) + gamma(sub j + 1). A new algorithm was devised that satisfied this restriction in the case of pure diffusion or uniform flow problems. Using examples, it is shown that absolute conservation can be achieved. Although for non-uniform flows absolute conservation seems impossible, the present scheme has reduced the error considerably.

Hsu, Andrew T.↗

NASA NTRS1991

On recontamination and directional-bias problems in Monte Carlo simulation of PDF turbulence models

Turbulent combustion can not be simulated adequately by conventional moment closure turbulence models. The difficulty lies in the fact that the reaction rate is in general an exponential function of the temperature, and the higher order correlations in the conventional moment closure models of the chemical source term can not be neglected, making the applications of such models impractical. The probability density function (pdf) method offers an attractive alternative: in a pdf model, the chemical source terms are closed and do not require additional models. A grid dependent Monte Carlo scheme was studied, since it is a logical alternative, wherein the number of computer operations increases only linearly with the increase of number of independent variables, as compared to the exponential increase in a conventional finite difference scheme. A new algorithm was devised that satisfies a restriction in the case of pure diffusion or uniform flow problems. Although for nonuniform flows absolute conservation seems impossible, the present scheme has reduced the error considerably.

Hsu, Andrew T.↗

NASA NTRS1972

Stability of orthotropic stiffened composite plates.

It is pointed out that the buckling problem of a plate with restrictions resulting from boundary conditions is suited for an application of Lagrangian multipliers. An approach used by Budiansky and Hu (1946) is extended to the study of orthotropic stiffened plates. The variations of the total energy with respect to the three deformation components are considered. The equilibrium equations and the boundary conditions are obtained. It is shown that the deflection functions must satisfy the equilibrium equations. The Lagrangian multipliers are then used to solve stability problems on the basis of the total energy involved, the equilibrium equations, and the boundary conditions. The theoretical analysis is supplemented by an experimental investigation.

Chiu, K. D.↗

NASA NTRS1990

Combined design of structures and controllers for optimal maneuverability

Approaches to the combined design of structures and controllers for achieving optimal maneuverability are presented. A maneuverability index which directly reflects the minimum time required to perform a given set of maneuvers is introduced. By designing the flexible appendages, the maneuver time of the spacecraft is minimized under the constraints of structural properties, and post maneuver spillover is kept within a specified bound. The spillover reduction is achieved by making use of an appropriate reduced order model. The distributed parameter design problem is approached using assumed shape functions, and finite element analysis with dynamic reduction. Solution procedures have been investigated. Approximate design methods have been developed to overcome the computational difficulties. Some new constraints on the modal frequencies of the spacecraft are introduced in the original optimization problem to facilitate the solution process. It is shown that the global optimal design may be obtained by tuning the natural frequencies to satisfy specific constraints. Researchers quantify the difference between a lower bound to the solution for maneuver time associated with the original problem and the estimate obtained from the modified problem, for a specified application requirement. Numerical examples are presented to demonstrate the capability of this approach.

Ling, Jer↗

NASA NTRS1973

Shuttle mission simulator hardware conceptual design report

The detailed shuttle mission simulator hardware requirements are discussed. The conceptual design methods, or existing technology, whereby those requirements will be fulfilled are described. Information of a general nature on the total design problem plus specific details on how these requirements are to be satisfied are reported. The configuration of the simulator is described and the capabilities for various types of training are identified.

Burke, J. F.↗

NASA NTRS1976

Evaluation of S-Band FM Direct Link Signal and System Design

The adequacy of the S-band FM downlink as part of space shuttle orbiter communication links, was assessed to satisfy all known requirements during all mission phases. Some potential performance problems are described and corrective actions are recommended when appropriate.

Source record↗

NASA NTRS1979

Energy conserving norms for the solution of hyperbolic systems of partial differential equations

The hyperbolic system of partial differential equations with a real constant square coefficient matrix A is considered. The problem of finding an energy conserving norm for the solution of the system is reduced to the problem of characterizing those matrices appearing in the boundary conditions which satisfy two specific matrix equations. Necessary and sufficient conditions on the coefficient matrix A and the matrices appearing in boundary conditions are derived for an energy conserving norm. The conditions serve as criteria on a given system which determine whether or not the solution will have its energy conserved in some norm. Examples of specific systems and boundary conditions are also provided.

Gunzburger, M. D.↗

NASA NTRS1986

A boundary element method for unsteady viscous flows

A potential vorticity method for the analysis of unsteady viscous incompressible flow past arbitrarily shaped objects is discussed which is based on the Helmholtz decomposition. It is found that the correct boundary condition to be imposed is on the normal component of the velocity for the cases of both inviscid and viscous flows. The no-slip condition is shown to be automatically satisfied for viscous flows. Numerical solutions for two-dimensional flow problems are given for attached flows in addition to those involving separation. The vorticity is confined, at least for the case of symmetric flows, to a small region in the immediate vicinity of the body, making possible the minimization of the number of node points in the field, and hence the computational time, without loss of accuracy.

Bharadvaj, B. K.↗

NASA NTRS1987

Solutions to the linear camera calibration problem

The general linear camera calibration problem is formulated and several classification schemes for various subcases of this problem are developed. For each subcase, simple solutions are found that satisfy all necessary constraints. The results improve those already in the literature with respect to simplicity, efficiency, and coverage. However, the classification scheme is not exhaustive.

Grosky, William I.↗

NASA NTRS1992

Truss topology optimization with simultaneous analysis and design

Strategies for topology optimization of trusses for minimum weight subject to stress and displacement constraints by Simultaneous Analysis and Design (SAND) are considered. The ground structure approach is used. A penalty function formulation of SAND is compared with an augmented Lagrangian formulation. The efficiency of SAND in handling combinations of general constraints is tested. A strategy for obtaining an optimal topology by minimizing the compliance of the truss is compared with a direct weight minimization solution to satisfy stress and displacement constraints. It is shown that for some problems, starting from the ground structure and using SAND is better than starting from a minimum compliance topology design and optimizing only the cross sections for minimum weight under stress and displacement constraints. A member elimination strategy to save CPU time is discussed.

Sankaranarayanan, S.↗

NASA NTRS2005

Global Survey and Statistics of Radio-Frequency Interference in AMSR-E Land Observations

Radio-frequency interference (RFI) is an increasingly serious problem for passive and active microwave sensing of the Earth. To satisfy their measurement objectives, many spaceborne passive sensors must operate in unprotected bands, and future sensors may also need to operate in unprotected bands. Data from these sensors are likely to be increasingly contaminated by RFI as the spectrum becomes more crowded. In a previous paper we reported on a preliminary investigation of RFI observed over the United States in the 6.9-GHz channels of the Advanced Microwave Scanning Radiometer (AMSR-E) on the Earth Observing System Aqua satellite. Here, we extend the analysis to an investigation of RFI in the 6.9- and 10.7-GHz AMSR-E channels over the global land domain and for a one-year observation period. The spatial and temporal characteristics of the RFI are examined by the use of spectral indices. The observed RFI at 6.9 GHz is most densely concentrated in the United States, Japan, and the Middle East, and is sparser in Europe, while at 10.7 GHz the RFI is concentrated mostly in England, Italy, and Japan. Classification of RFI using means and standard deviations of the spectral indices is effective in identifying strong RFI. In many cases, however, it is difficult, using these indices, to distinguish weak RFI from natural geophysical variability. Geophysical retrievals using RFI-filtered data may therefore contain residual errors due to weak RFI. More robust radiometer designs and continued efforts to protect spectrum allocations will be needed in future to ensure the viability of spaceborne passive microwave sensing.

microwave remote sensing↗

NASA NTRS1993

Boundary layer flow of air over water on a flat plate

A non-similar boundary layer theory for air blowing over a water layer on a flat plate is formulated and studied as a two-fluid problem in which the position of the interface is unknown. The problem is considered at large Reynolds number (based on x), away from the leading edge. A simple non-similar analytic solution of the problem is derived for which the interface height is proportional to x(sub 1/4) and the water and air flow satisfy the Blasius boundary layer equations, with a linear profile in the water and a Blasius profile in the air. Numerical studies of the initial value problem suggests that this asymptotic, non-similar air-water boundary layer solution is a global attractor for all initial conditions.

Nelson, John↗

NASA NTRS1988

Parameter estimation in nonlinear distributed systems - Approximation theory and convergence results

An abstract approximation framework and convergence theory is described for Galerkin approximations applied to inverse problems involving nonlinear distributed parameter systems. Parameter estimation problems are considered and formulated as the minimization of a least-squares-like performance index over a compact admissible parameter set subject to state constraints given by an inhomogeneous nonlinear distributed system. The theory applies to systems whose dynamics can be described by either time-independent or nonstationary strongly maximal monotonic operators defined on a reflexive Banach space which is densely and continuously embedded in a Hilbert space. It is demonstrated that if readily verifiable conditions on the system's dependence on the unknown parameters are satisfied, and the usual Galerkin approximation assumption holds, then solutions to the approximating problems exist and approximate a solution to the original infinite-dimensional identification problem.

Banks, H. T.↗

NASA NTRSDate not supplied

A Moving Discontinuous Galerkin Method with Interface Condition Enforcement for Reacting Hypersonic Flows

The necessity of enforcing conservation in computational elements or cells (element conservation) for discontinuous solutions is well understood and respected for solving conservation laws in computational fluid dynamics (CFD). In contrast, interface conservation, where the conservation across cell interfaces is enforced, is long ignored, and yet is also ruled and required by the underlying physics just like element conservation. Violation of the interface conservation across discontinuities is the root cause why an exact discontinuous solution can never be achieved in shock capturing methods. The interface conservation is examined and explored in this talk. Moving discontinuous Galerkin (MDG) finite element method with interface conservation enforcement (MDG-ICE) [1],[2] are then presented for solving compressible flow problems with discontinuities based on the observation that the interface conservation can only be satisfied, only when mesh interfaces are aligned with discontinuities. In the MDG-ICE formulation, both conservative quantities and grid geometry are considered as independent variables. A space-time DG formulation is used to solve the multi-material compressible Euler equations in the standard discontinuous solution space and the discrete grid geometry is solved using a variational formulation in a continuous space. A self-adaptive Levenberg-Marquardt method is utilized to solve the resulting over-determined system of nonlinear equations arising from the MDG-ICE formulation. A number of numerical experiments for a variety of flow problems are conducted to assess the accuracy and performance of the MDG-ICE method. Numerical results obtained indicate that the MDG-ICE method is able to deliver the designed order of both h- and p-convergence even for discontinuous solutions, and detect all types of interfaces, via interface condition enforcement and satisfy, via grid movement, the compressible Euler equations and the associated interface condition.

Discontinuous Galekin↗

NASA NTRS1974

Possibility of using sources of vacuum ultraviolet irradiation to solve problems of space material science

An urgent problem in space materials science is simulating the interaction of vacuum ultraviolet (VUV) of solar emission with solids in space conditions, that is, producing a light source with a distribution that approximates the distribution of solar energy. Information is presented on the distribution of the energy flux of VUV of solar radiation. Requirements that must be satisfied by the VUV source used for space materials science are formulated, and a critical evaluation is given of the possibilities of using existing sources for space materials science. From this evaluation it was established that none of the sources of VUV satisfies the specific requirements imposed on the simulator of solar radiation. A solution to the problem was found to be in the development of a new type of source based on exciting a supersonic gas jet flowing into vacuum with a sense electron beam. A description of this gas-jet source, along with its spectral and operation characteristics, is presented.

Verkhoutseva, E. T.↗

NASA NTRS1980

Practical solutions to the aircraft minimum fuel, fixed-range, fixed time-of-arrival trajectory optimization problem

A practical scheme is presented for generating fixed range, minimum fuel vertical flight profiles that also satisfy time-of-arrival constraints. The resulting algorithm is suitable for incorporation into an on-board flight management system. Example results show that such a capability can save up to 6% of fuel burned in flights subject to delays because of terminal area congestion.

Sorensen, J. A.↗