Search NASA⌕ Search

SEARCH · Search NASA

Results for “Constraint programming”

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

Robustness, generality and efficiency of optimization algorithms in practical applications

The theoretical foundations of two approaches, sequential quadratic programming (SQP) and optimality criteria (OC), are analyzed and compared, with emphasis on the critical importance of parameters such as accuracy, generality, robustness, efficiency, and ease of use in large scale structural optimization. A simplified fighter wing and active control of space structures are considered with other example problems. When applied to general system identification problems, the OC methods are shown to lose simplicity and demonstrate lack of generality, accuracy and robustness. It is concluded that the SQP method with a potential constraint strategy is a better choice as compared to the currently prevalent mathematical programming and OC approaches.

Thanedar, P. B.↗

Distributed Spatiotemporal Motion Planning for Spacecraft Swarms in Cluttered Environments

This paper focuses on trajectory planning for spacecraft swarms in cluttered environments, like debris fields or the asteroid belt. Our objective is to reconfigure the spacecraft swarm to a desired formation in a distributed manner while minimizing fuel and avoiding collisions among themselves and with obstacles. In our prior work we proposed a novel distributed guidance algorithm for spacecraft swarms in static environments. In this paper, we present the Multi-Agent Moving-Obstacles Spherical Expansion and Sequential Convex Programming (MAMO SE-SCP) algorithm that extends our prior work to include spatiotemporal constraints such as time-varying, moving obstacles and desired time-varying terminal positions. In the MAMO SE-SCP algorithm, each agent uses a spherical-expansion-based sampling algorithm to cooperatively explore the time-varying environment, a distributed assignment algorithm to agree on the terminal position for each agent, and a sequential-convex-programming-based optimization step to compute the locally-optimal trajectories from the current location to the assigned time-varying terminal position while avoiding collision with other agents and moving obstacles. Simulation results demonstrate that the proposed distributed algorithm can be used by a spacecraft swarm to achieve a time-varying, desired formation around an object of interest in a dynamic environment with many moving and tumbling obstacles.

Bandyopadhyay, Saptarshi↗

Strategies for Validation Testing of Ground Systems

In order to accomplish the full Vision for Space Exploration announced by former President George W. Bush in 2004, NASA will have to develop a new space transportation system and supporting infrastructure. The main portion of this supporting infrastructure will reside at the Kennedy Space Center (KSC) in Florida and will either be newly developed or a modification of existing vehicle processing and launch facilities, including Ground Support Equipment (GSE). This type of large-scale launch site development is unprecedented since the time of the Apollo Program. In order to accomplish this successfully within the limited budget and schedule constraints a combination of traditional and innovative strategies for Verification and Validation (V&V) have been developed. The core of these strategies consists of a building-block approach to V&V, starting with component V&V and ending with a comprehensive end-to-end validation test of the complete launch site, called a Ground Element Integration Test (GEIT). This paper will outline these strategies and provide the high level planning for meeting the challenges of implementing V&V on a large-scale development program. KEY WORDS: Systems, Elements, Subsystem, Integration Test, Ground Systems, Ground Support Equipment, Component, End Item, Test and Verification Requirements (TVR), Verification Requirements (VR)

Annis, Tammy↗

Use of optimization to predict the effect of selected parameters on commuter aircraft performance

An optimizing computer program determined the turboprop aircraft with lowest direct operating cost for various sets of cruise speed and field length constraints. External variables included wing area, wing aspect ratio and engine sea level static horsepower; tail sizes, climb speed and cruise altitude were varied within the function evaluation program. Direct operating cost was minimized for a 150 n.mi typical mission. Generally, DOC increased with increasing speed and decreasing field length but not by a large amount. Ride roughness, however, increased considerably as speed became higher and field length became shorter.

Wells, V. L.↗

The usage of substructuring analyses in the Get Away Special (GAS) program

The use of automatic multi-stage substructing analysis is demonstrated for a hypothetical case of a GAS container supported by structural channels with a simulated experimental package inside the container. The GAS program purpose is stated and potential candidate structures to support experimental packages are discussed. The GAS container model and the substructuring analysis capabilities of NASTRAN make it possible to study the experiments inside the container as well as the design constraints resulting from the support structures holding the containers. The use of substructuring in the GAS program could be an important factor in increasing the number of flight opportunities.

Ferragut, N. J.↗

Program Predicts Time Courses of Human/Computer Interactions

CPM X is a computer program that predicts sequences of, and amounts of time taken by, routine actions performed by a skilled person performing a task. Unlike programs that simulate the interaction of the person with the task environment, CPM X predicts the time course of events as consequences of encoded constraints on human behavior. The constraints determine which cognitive and environmental processes can occur simultaneously and which have sequential dependencies. The input to CPM X comprises (1) a description of a task and strategy in a hierarchical description language and (2) a description of architectural constraints in the form of rules governing interactions of fundamental cognitive, perceptual, and motor operations. The output of CPM X is a Program Evaluation Review Technique (PERT) chart that presents a schedule of predicted cognitive, motor, and perceptual operators interacting with a task environment. The CPM X program allows direct, a priori prediction of skilled user performance on complex human-machine systems, providing a way to assess critical interfaces before they are deployed in mission contexts.

Vera, Alonso↗

New evidence favoring multilevel decomposition and optimization

A new multilevel optimization technique based on a global sensitivity matrix which uses behavior variables in addition to design variables and constraints to decompose the problem is proposed. The technique simplifies the decomposition of the design problem and the programming task and improves the convergence speed of multilevel optimization compared to conventional optimization. The technique is particularly well suited to problems with large numbers of design variables and with computationally expensive constraints.

Padula, Sharon L.↗

A Roadmap for using Agile Development in a Traditional System

I. Ensemble Development Group: a) Produces activity planning software for in spacecraft; b) Built on Eclipse Rich Client Platform (open source development and runtime software); c) Funded by multiple sources including the Mars Technology Program; d) Incorporated the use of Agile Development. II. Next Generation Uplink Planning System: a) Researches the Activity Planning and Sequencing Subsystem for Mars Science Laboratory (APSS); b) APSS includes Ensemble, Activity Modeling, Constraint Checking, Command Editing and Sequencing tools plus other uplink generation utilities; c) Funded by the Mars Technology Program; d) Integrates all of the tools for APSS.

uplink planning systems↗

Structural tailoring of advanced turboprops

A computer program has been developed for the performance of numerical optimizations of highly swept propfan blades by minimizing an objective function that is defined either as direct operating cost or the aeroelastic difference between a blade and its scaled model. Three component analysis categories are employed: an optimization algorithm, approximate analysis procedures for objective function and constraint evaluation, and refined analysis procedures for optimum design validation. The analyses conducted by the program encompass aerodynamic efficiency evaluation, finite element stress and vibration analysis, acoustics, flutter, and forced response life prediction.

Brown, K. W.↗

Applications of a quadratic extended interior penalty function for structural optimization

A quadratic extended interior penalty function formulation especially well suited for second-order unconstrained optimization procedures is presented. Analytical derivatives of constraints and an approximate analysis technique are used. Minimum-mass design results are presented which indicate that the combination of these procedures can help make mathematical programming a useful optimization tool for large-order structural design problems with a large number of design variables and multiple constraints. Examples include statically loaded high- and low-aspect-ratio wings simultaneously subjected to stress, displacement, minimum gage and, in some cases, maximum strain constraints.

Haftka, R. T.↗

An optimality criterion for sizing members of heated structures with temperature constraints

A thermal optimality criterion is presented for sizing members of heated structures with multiple temperature constraints. The optimality criterion is similar to an existing optimality criterion for design of mechanically loaded structures with displacement constraints. Effectiveness of the thermal optimality criterion is assessed by applying it to one- and two-dimensional thermal problems where temperatures can be controlled by varying the material distribution in the structure. Results obtained from the optimality criterion agree within 2 percent with results from a closed-form solution and with results from a mathematical programming technique. The thermal optimality criterion augments existing optimality criteria for strength and stiffness related constraints and offers the possibility of extension of optimality techniques to sizing structures with combined thermal and mechanical loading.

Rao, G. V.↗

Spike: Artificial intelligence scheduling for Hubble space telescope

Efficient utilization of spacecraft resources is essential, but the accompanying scheduling problems are often computationally intractable and are difficult to approximate because of the presence of numerous interacting constraints. Artificial intelligence techniques were applied to the scheduling of the NASA/ESA Hubble Space Telescope (HST). This presents a particularly challenging problem since a yearlong observing program can contain some tens of thousands of exposures which are subject to a large number of scientific, operational, spacecraft, and environmental constraints. New techniques were developed for machine reasoning about scheduling constraints and goals, especially in cases where uncertainty is an important scheduling consideration and where resolving conflicts among conflicting preferences is essential. These technique were utilized in a set of workstation based scheduling tools (Spike) for HST. Graphical displays of activities, constraints, and schedules are an important feature of the system. High level scheduling strategies using both rule based and neural network approaches were developed. While the specific constraints implemented are those most relevant to HST, the framework developed is far more general and could easily handle other kinds of scheduling problems. The concept and implementation of the Spike system are described along with some experiments in adapting Spike to other spacecraft scheduling domains.

Johnston, Mark↗

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.↗

Potential advantages of solar electric propulsion for outer planet orbiters.

Past studies of solar electric propulsion for outer planet orbiters have generally emphasized the advantages of flight time reduction and payload increases. However, several subtle advantages exist, which may become important in an environment of increasingly difficult requirements as ways to extend current technology are sought. These advantages accrue primarily because of the inherent capability, unique to electric propulsion, to efficiently shape a trajectory while enroute. Stressed in this paper are: the ability to meet orbital constraints due to assumed radiation belts, science flexibility in a dual launch program, increased numbers of observational passes, and the lengthening of launch periods. These are examined for years representative of relatively easy and difficult ballistic missions. The results indicate that an early investment in solar electric technology will provide a strong performance foundation for a long range outer planet exploration program which evolves from current spacecraft technology.

Sauer, C. G.↗

Variable-cycle engines for supersonic cruising aircraft

The paper reviews the evolution and current status of selected recent variable-cycle engine (VCE) studies and describes how the results are influenced by airplane requirements. The engine/airplane studies are intended to identify promising VCE concepts, simplify their designs and identify the potential benefits in terms of aircraft performance. This includes range, noise, emissions, and the time and effort it may require to ensure technical readiness of sufficient depth to satisfy reasonable economic, performance, and environmental constraints. A brief overview of closely-related, on-going technology programs in acoustics and exhaust emissions is presented. It is shown that realistic technology advancements in critical areas combined with well matched aircraft and selected VCE concepts can lead to significantly improved economic and environmental performance relative to first-generation SST predictions.

Willis, E. A.↗

General constraints on the Viking biology investigation

The paper discusses some of the constraints pertaining to the Viking mission for detection of life on Mars, within which the Viking experiments were conceived, designed, and developed. The most important limitation to the entire study is the complete information about the nature of Mars, such as the chemical composition of the surface material of Mars and the exact identification of the constituents of that planet. Ways in which celestial mechanics places severe limitations on the Viking biology investigation are discussed. Major engineering constraints are examined relative to the accomodation of biology instrument inside the Viking lander and to the design of the instrument itself. Other constraints discussed concern the operational aspects of the mission and the testing program.

Klein, H. P.↗

An automated procedure for preliminary design of primary structure for transport Aircraft

A multistation structural synthesis procedure, designed to perform structural sizing and detail design of boxbeam structure, is presented. The design procedure combines the use of an iterative sizing technique for distributing material to structural elements with a nonlinear programming technique to finding efficient structural element designs of a given weight. Constraints based on fatigue and fracture criteria and static strength criteria under multiple loading conditions are considered, as well as constraints on the upper and lower bounds of the actual design variables. Emphasis is placed on the overall design procedure and the technique used to include the fatigue and fracture criteria.

Kruse, G. S.↗

NASA broadened-specification fuels combustion technology program

The broadened-Specification Fuels Combustion Technology program's purpose is to evolve and demonstrate the technology required to enable current and next generation high-thrust, high-bypass-ratio turbofan engines to use fuels with broadened properties and to verify the evolved technology in full scale engine tests. The three phases of the program are combustor concept screening, combustor optimization testing, and engine verification testing. Constraints for designing combustion systems are outlined and problems to be expected in the use of broadened properties fuels are listed.

Fear, J. S.↗