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 505 records · Page 28

All sources NASA NTRS DOE OSTI

NASA NTRS1976

Minimum wave drag for arbitrary arrangements of wings and bodies

Various arrangements of wings and bodies designed to provide favorable wave interference at supersonic speeds lead to the problem of determining the minimum possible value of the wave resistance obtainable by any disposition of the elements of an aircraft within a definitely prescribed region. Under the assumptions that the total lift and the total volume of the aircraft are given, conditions that must be satisfied if the drag is to be a minimum are found. The report concludes with a discussion of recent developments of the theory which lead to an improved understanding of the drag associated with the production of lift.

Jones, R. T.↗

NASA NTRS1985

Static and dynamic high power, space nuclear electric generating systems

Space nuclear electric generating systems concepts have been assessed for their potential in satisfying future spacecraft high power (several megawatt) requirements. Conceptual designs have been prepared for reactor power systems using the most promising static (thermionic) and the most promising dynamic conversion processes. Component and system layouts, along with system mass and envelope requirements have been made. Key development problems have been identified and the impact of the conversion process selection upon thermal management and upon system and vehicle configuration is addressed.

Wetch, J. R.↗

NASA NTRS1988

Robust control with structured perturbations

Two important problems in the area of control systems design and analysis are discussed. The first is the robust stability using characteristic polynomial, which is treated first in characteristic polynomial coefficient space with respect to perturbations in the coefficients of the characteristic polynomial, and then for a control system containing perturbed parameters in the transfer function description of the plant. In coefficient space, a simple expression is first given for the l(sup 2) stability margin for both monic and non-monic cases. Following this, a method is extended to reveal much larger stability region. This result has been extended to the parameter space so that one can determine the stability margin, in terms of ranges of parameter variations, of the closed loop system when the nominal stabilizing controller is given. The stability margin can be enlarged by a choice of better stabilizing controller. The second problem describes the lower order stabilization problem, the motivation of the problem is as follows. Even though the wide range of stabilizing controller design methodologies is available in both the state space and transfer function domains, all of these methods produce unnecessarily high order controllers. In practice, the stabilization is only one of many requirements to be satisfied. Therefore, if the order of a stabilizing controller is excessively high, one can normally expect to have a even higher order controller on the completion of design such as inclusion of dynamic response requirements, etc. Therefore, it is reasonable to have a lowest possible order stabilizing controller first and then adjust the controller to meet additional requirements. The algorithm for designing a lower order stabilizing controller is given. The algorithm does not necessarily produce the minimum order controller; however, the algorithm is theoretically logical and some simulation results show that the algorithm works in general.

Keel, Leehyun↗

NASA NTRS1957

Minimum Wave Drag for Arbitrary Arrangements of Wings and Bodies

Studies of various arrangements of wings and bodies designed to provide favorable wave interference at supersonic speeds lead to the problem of determining the minimum possible valve of the wave resistance obtainable by any disposition of the elements of an aircraft within a definitely prescribed region. Under the assumptions that the total lift and the total volume of the aircraft are given, conditions that must be satisfied if the drag is to be a minimum are found. The report concludes with a discussion of recent developments of the theory which lead to an improved understanding of the drag associated with the production of lift.

Jones, Robert T↗

NASA NTRS2012

Parametric Deformation of Discrete Geometry for Aerodynamic Shape Design

We present a versatile discrete geometry manipulation platform for aerospace vehicle shape optimization. The platform is based on the geometry kernel of an open-source modeling tool called Blender and offers access to four parametric deformation techniques: lattice, cage-based, skeletal, and direct manipulation. Custom deformation methods are implemented as plugins, and the kernel is controlled through a scripting interface. Surface sensitivities are provided to support gradient-based optimization. The platform architecture allows the use of geometry pipelines, where multiple modelers are used in sequence, enabling manipulation difficult or impossible to achieve with a constructive modeler or deformer alone. We implement an intuitive custom deformation method in which a set of surface points serve as the design variables and user-specified constraints are intrinsically satisfied. We test our geometry platform on several design examples using an aerodynamic design framework based on Cartesian grids. We examine inverse airfoil design and shape matching and perform lift-constrained drag minimization on an airfoil with thickness constraints. A transport wing-fuselage integration problem demonstrates the approach in 3D. In a final example, our platform is pipelined with a constructive modeler to parabolically sweep a wingtip while applying a 1-G loading deformation across the wingspan. This work is an important first step towards the larger goal of leveraging the investment of the graphics industry to improve the state-of-the-art in aerospace geometry tools.

Anderson, George R.↗

NASA NTRS1972

The DOPEX Code: an Application of the Method of Steepest Descent to Laminated-Shield-Weight Optimization with Several Constraints

A two- or three-constraint, two-dimensional radiation shield weight optimization procedure and a computer program, DOPEX, is described. The DOPEX code uses the steepest descent method to alter a set of initial (input) thicknesses for a shield configuration to achieve a minimum weight while simultaneously satisfying dose constaints. The code assumes an exponential dose-shield thickness relation with parameters specified by the user. The code also assumes that dose rates in each principal direction are dependent only on thicknesses in that direction. Code input instructions, FORTRAN 4 listing, and a sample problem are given. Typical computer time required to optimize a seven-layer shield is about 0.1 minute on an IBM 7094-2.

Lahti, G. P.↗

NASA NTRS1993

Tantalum/Copper X-Ray Targets

Lewis Research Center developed unique solution to subsidiary problem of fabrication of x-ray target. Plasma spraying enabled fabrication of lightweight, high-performance targets. Power settings, atmosphere-control settings, rate of deposition, and other spraying parameters developed. Thin coats of tantalum successfully deposited on copper targets. Targets performed successfully in tests and satisfied all criteria expressed in terms of critical parameters. Significantly reduces projected costs of fabrication of targets and contributes to development of improved, long-lived, lightweight x-ray system.

Waters, William J.↗

NASA NTRS2003

Piezoelectrically Actuated Shutter for High Vacuum

A piezoelectrically actuated shutter is undergoing development for use in experiments on laser cooling of atoms. The shutter is required to be compatible with ultrahigh vacuum [pressure of 10(exp -9) torr (.1.3 x 10(exp -7) Pa) or less] and to be capable of performing reliably in the vacuum for at least one year. In operation, the shutter would enable the collection and launch of successive samples of cold atoms and would enable the interrogation of the immediately preceding sample while preventing disturbance of the atoms of that sample by light from the collection region. A major constraint is imposed on the design and operation of the shutter by a requirement that it not generate a magnetic field large enough to perturb an atomic clock. An electromagnetically actuated shutter could satisfy all requirements except this one. Hence, it was decided to use piezoelectric instead of electromagnetic actuation. The shutter (see figure) includes two commercial piezoelectrically driven flexure stages that produce a travel of 0.5 mm. Levers mechanically amplify the travel to the required level of 1 cm. Problems that remained to be addressed at the time of reporting the information for this article included lifetime testing and correction of a tendency for shutter blades to bounce open.

Thompson, Robert↗

NASA NTRS1985

A Study on the Control of Third Generation Spacecraft

An overview of some studies which have recently been carried out on the control of third generation spcecraft, as modelled by the MSAT space vehicle configuration, is made. This spacecraft is highly nonsymmetrical and has appendages which cannot in general be assumed to be rigid. In particular, it is desired to design a controller for MSAT which stabilizes the system and satisfies certain attitude control, shape control, and possibly stationkeeping requirements; in addition, it is desired that the resultant controller should be robust and avoid any undesirable spill over effects. In addition, the controller obtained should have minimum complexity. The method of solution adopted to solve this class of problems is to formulate the problem as a robust servomechanism problem, and thence to obtain existence conditions and a controller characterization to solve the problem. The final controller obtained for MSAT has a distributed control configuration and appears to be quite satisfactory.

Davison, E. J.↗

NASA NTRS1987

Trimodal interpretation of constraints for planning

Constraints are used in the CAMPS knowledge based planning system to represent those propositions that must be true for a plan to be acceptable. CAMPS introduces the make-mode for interpreting a constraint. Given an unsatisfied constraint, make evaluation mode suggests planning actions which, if taken, would result in a modified plan in which the constraint in question may be satisfied. These suggested planning actions, termed delta-tuples, are the raw material of intelligent plan repair. They are used both in debugging an almost-right plan and in replanning due to changing situations. Given a defective plan in which some set of constraints are violated, a problem solving strategy selects one or more constraints as a focus of attention. These selected constraints are evaluated in the make-mode to produce delta-tuples. The problem solving strategy then reviews the delta-tuples according to its application and problem-specific criteria to find the most acceptable change in terms of success likelihood and plan disruption. Finally, the problem solving strategy makes the suggested alteration to the plan and then rechecks constraints to find any unexpected consequences.

Krieger, David↗

NASA NTRS1990

Global optimization methods for engineering design

The problem is to find a global minimum for the Problem P. Necessary and sufficient conditions are available for local optimality. However, global solution can be assured only under the assumption of convexity of the problem. If the constraint set S is compact and the cost function is continuous on it, existence of a global minimum is guaranteed. However, in view of the fact that no global optimality conditions are available, a global solution can be found only by an exhaustive search to satisfy Inequality. The exhaustive search can be organized in such a way that the entire design space need not be searched for the solution. This way the computational burden is reduced somewhat. It is concluded that zooming algorithm for global optimizations appears to be a good alternative to stochastic methods. More testing is needed; a general, robust, and efficient local minimizer is required. IDESIGN was used in all numerical calculations which is based on a sequential quadratic programming algorithm, and since feasible set keeps on shrinking, a good algorithm to find an initial feasible point is required. Such algorithms need to be developed and evaluated.

Arora, Jasbir S.↗

NASA NTRS1993

Robust controllers for the Middeck Active Control Experiment using Popov controller synthesis

Recent work in robust control with real parameter uncertainties has focused on absolute stability and its connections to real mu theory. In particular, the research has investigated the Popov stability criterion and its associated Lur'e-Postnikov Liapunov functions. State space representations of this Popov stability analysis tests are included in an H2 design formulation to provide a powerful technique for robust controller synthesis. This synthesis approach uses a state space optimization procedure to design controllers that minimize an overbound of an H2 cost functional and satisfy stability analysis tests based on the Popov multiplier. The controller and stability multiplier coefficients are optimized simultaneously, which avoids the iteration and curve-fitting procedures required by the D-K algorithm of mu synthesis. While previous work has demonstrated this synthesis approach on benchmark control problems, the purpose of this paper is to use Popov controller synthesis to design robust compensators for the Middeck Active Control Experiment (MACE).

How, Jonathan P.↗

NASA NTRS2000

A Parallel Approach To Optimum Actuator Selection With a Genetic Algorithm

Recent discoveries in smart technologies have created a variety of aerodynamic actuators which have great potential to enable entirely new approaches to aerospace vehicle flight control. For a revolutionary concept such as a seamless aircraft with no moving control surfaces, there is a large set of candidate locations for placing actuators, resulting in a substantially larger number of combinations to examine in order to find an optimum placement satisfying the mission requirements. The placement of actuators on a wing determines the control effectiveness of the airplane. One approach to placement Maximizes the moments about the pitch, roll, and yaw axes, while minimizing the coupling. Genetic algorithms have been instrumental in achieving good solutions to discrete optimization problems, such as the actuator placement problem. As a proof of concept, a genetic has been developed to find the minimum number of actuators required to provide uncoupled pitch, roll, and yaw control for a simplified, untapered, unswept wing model. To find the optimum placement by searching all possible combinations would require 1,100 hours. Formulating the problem and as a multi-objective problem and modifying it to take advantage of the parallel processing capabilities of a multi-processor computer, reduces the optimization time to 22 hours.

Rogers, James L.↗

NASA NTRS1973

Flight investigation of a structural mode control system for the XB-70 aircraft

A flight investigation of a structural mode control system termed identical location of accelerometer and force (ILAF) was conducted on the XB-70-1 airplane. During the first flight tests, the ILAF system encountered localized structural vibration problems requiring a revision of the compensating network. After modification, successful structural mode control that did not adversely affect the rigid body dynamics was demonstrated. The ILAF system was generally more effective in supersonic than subsonic flight, because the conditions for which the system was designed were more nearly satisfied at supersonic speeds. The results of a turbulence encounter at a Mach number of 1.20 and an altitude of 9754 meters indicated that the ILAF system was effective in reducing the vehicle's response at this flight condition. An analytical study showed that the addition of a small canard to the modal suppression system would greatly improve the automatic control of the higher frequency symmetric modes.

Lock, W. P.↗

NASA NTRS1980

Problem solving in a distributed environment

Distributed problem solving is anayzed as a blend of two disciplines: (1) problem solving and ai; and (2) distributed systems (monitoring). It may be necessary to distribute because the application itself is one of managing distributed resources (e.g., distributed sensor net) and communication delays preclude centralized processing, or it may be desirable to distribute because a single computational engine may not satisfy the needs of a given task. In addition, considerations of reliability may dictate distribution. Examples of multi-process language environment are given.

Rashid, R. F.↗

NASA NTRS2003

Finite-Element Methods for Real-Time Simulation of Surgery

Two finite-element methods have been developed for mathematical modeling of the time-dependent behaviors of deformable objects and, more specifically, the mechanical responses of soft tissues and organs in contact with surgical tools. These methods may afford the computational efficiency needed to satisfy the requirement to obtain computational results in real time for simulating surgical procedures as described in Simulation System for Training in Laparoscopic Surgery (NPO-21192) on page 31 in this issue of NASA Tech Briefs. Simulation of the behavior of soft tissue in real time is a challenging problem because of the complexity of soft-tissue mechanics. The responses of soft tissues are characterized by nonlinearities and by spatial inhomogeneities and rate and time dependences of material properties. Finite-element methods seem promising for integrating these characteristics of tissues into computational models of organs, but they demand much central-processing-unit (CPU) time and memory, and the demand increases with the number of nodes and degrees of freedom in a given finite-element model. Hence, as finite-element models become more realistic, it becomes more difficult to compute solutions in real time. In both of the present methods, one uses approximate mathematical models trading some accuracy for computational efficiency and thereby increasing the feasibility of attaining real-time up36 NASA Tech Briefs, October 2003 date rates. The first of these methods is based on modal analysis. In this method, one reduces the number of differential equations by selecting only the most significant vibration modes of an object (typically, a suitable number of the lowest-frequency modes) for computing deformations of the object in response to applied forces.

Basdogan, Cagatay↗

NASA NTRS1981

Implementation of nonreflective boundary condition at the outflow boundary

Numerical techniques for the solution of free surface flows about a disturbance on or near a free surface were developed. Any disturbance moving on or near a liquid surface generates surface waves that propagate away from the disturbance. The potential flow problems in which the evolution of free surface waves is the principal phenomenon of interest are considered. The distinct feature of these problems is that the position of the surface is also unknown and is to be determined as part of the solution. Two boundary conditions are required at the free surface since there are two unknown functions there, the free surface height and the potential function. The required boundary conditions are satisfied by the kinematic condition which states that no flow can cross the surface and the dynamic condition which matches the fluid pressure to the pressure acting on the surface through Bernoulli's equation.

Hall, D. R.↗

NASA NTRS1992

A multiple scales approach to sound generation by vibrating bodies

The problem of determining the acoustic field in an inviscid, isentropic fluid generated by a solid body whose surface executes prescribed vibrations is formulated and solved as a multiple scales perturbation problem, using the Mach number M based on the maximum surface velocity as the perturbation parameter. Following the idea of multiple scales, new 'slow' spacial scales are introduced, which are defined as the usual physical spacial scale multiplied by powers of M. The governing nonlinear differential equations lead to a sequence of linear problems for the perturbation coefficient functions. However, it is shown that the higher order perturbation functions obtained in this manner will dominate the lower order solutions unless their dependence on the slow spacial scales is chosen in a certain manner. In particular, it is shown that the perturbation functions must satisfy an equation similar to Burgers' equation, with a slow spacial scale playing the role of the time-like variable. The method is illustrated by a simple one-dimenstional example, as well as by three different cases of a vibrating sphere. The results are compared with solutions obtained by purely numerical methods and some insights provided by the perturbation approach are discussed.

Geer, James F.↗