Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “constraint decomposition”

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 37 records · Page 2

Control system software, simulation, and robotic applications

All essential existing capabilities needed to create a man-machine interaction dynamics and performance (MMIDAP) capability are reviewed. The multibody system dynamics software program Order N DISCOS will be used for machine and musculo-skeletal dynamics modeling. The program JACK will be used for estimating and animating whole body human response to given loading situations and motion constraints. The basic elements of performance (BEP) task decomposition methodologies associated with the Human Performance Institute database will be used for performance assessment. Techniques for resolving the statically indeterminant muscular load sharing problem will be used for a detailed understanding of potential musculotendon or ligamentous fatigue, pain, discomfort, and trauma. The envisioned capacity is to be used for mechanical system design, human performance assessment, extrapolation of man/machine interaction test data, biomedical engineering, and soft prototyping within a concurrent engineering (CE) system.

Frisch, Harold P.↗

Integrated controls-structures optimization of a large space structure

General-purpose control and structural codes are applied to a large detailed structural model including objective and constraint functions derived from actual design specifications. The approach is to divide the problem into a controls optimization step, a structural optimization step, and a system level coordination step. The objective is to minimize mass and power consumption with constraints on vibration characteristics, strength, and damping. This decomposition and optimization approach significantly enhances the design of a structure based on the COFS-I Mast Flight System, which is selected as a demonstration problem.

Pasula, S. L.↗

A Graph Based Backtracking Algorithm for Solving General CSPs

Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to constraints. While solving a CSP is an NP-complete task in general, tractable classes of CSPs have been identified based on the structure of the underlying constraint graphs. Much effort has been spent on exploiting structural properties of the constraint graph to improve the efficiency of finding a solution. These efforts contributed to development of a class of CSP solving algorithms called decomposition algorithms. The strength of CSP decomposition is that its worst-case complexity depends on the structural properties of the constraint graph and is usually better than the worst-case complexity of search methods. Its practical application is limited, however, since it cannot be applied if the CSP is not decomposable. In this paper, we propose a graph based backtracking algorithm called omega-CDBT, which shares merits and overcomes the weaknesses of both decomposition and search approaches.

Pang, Wanlin↗

Conservative treatment of boundary interfaces for overlaid grids and multi-level grid adaptations

Conservative algorithms for boundary interfaces of overlaid grids are presented. The basic method is zeroth order, and is extended to a higher order method using interpolation and subcell decomposition. The present method, strictly based on a conservative constraint, is tested with overlaid grids for various applications of unsteady and steady supersonic inviscid flows with strong shock waves. The algorithm is also applied to a multi-level grid adaptation in which the next level finer grid is overlaid on the coarse base grid with an arbitrary orientation.

Moon, Young J.↗

Conservative treatment of boundary interfaces for overlaid grids and multi-level grid adaptations

Conservative algorithms for boundaray interfaces of overlaid grids are presented. The basic method is zeroth order, and is extended to a higher order method using interpolation and subcell decomposition. The present method, strictly based on a conservative constraint, is tested with overlaid grids for various applications of unsteady and steady supersonic inviscid flows with strong shock waves. The algorithm is also applied to a multi-level grid adaptation in which the next level finer grid is overlaid on the coarse base grid with an arbitrary orientation.

Moon, Young J.↗

Arcjet load characteristics

Experiments were conducted to define the interface characteristics and constraints of 1 kW class arcjets run on simulated decomposition products of hydrazine and power processors. The impacts of power supply output current ripple on arcjet performance were assessed by variation of the ripple frequency from 100 Hz to 100 kHz with 10 percent peak-to-peak ripple amplitude at 1.2 kW. Ripple had no significant effects on thrust, specific impulse or efficiency. The impact of output ripple on thruster lifetime was not assessed. The static and dynamic impedances of the arcjet were quantified with two thrusters of nearly identical configuration. Superposition of an AC component on the DC arc current was used to characterize the dynamic impedance as a function of flow rate and DC current level. A mathematical model was formulated from these data. Both the static and dynamic impedance magnitude were found to be dependent on mass flow rate. The amplitude of the AC component was found to have little effect on the dynamic impedance. Reducing the DC level from 10 to 8 amps led to a large change in the magnitude of the dynamic impedance with no observable phase change. The impedance data compared favorably between the two thrusters.

Hamley, John A.↗

Arcjet load characteristics

Experiments were conducted to define the interface characteristics and constraints of 1 kW class arcjets run on simulated decomposition products of hydrazine and power processors. The impacts of power supply output current ripple on arcjet performance were assessed by variation of the ripple frequency from 100 Hz to 100 kHz with 10 percent peak-to-peak ripple amplitude at 1.2 kW. Ripple had no significant effects on thrust, specific impulse or efficiency. The impact of output ripple on thruster lifetime was not assessed. The static and dynamic impedances of the arcjet were quantitied with two thrusters of nearly identical configuration. Superposition of an AC component on the DC arc current was used to characterize the dynamic impedance as a function of flow rate and DC current level. A mathematical model was formulated from these data. Both the static and dynamic impedance magnitude were found to be dependent on mass flow rate. The amplitude of the AC component was found to have little effect on the dynamic impedance. Reducing the DC level from 10 to 8 amps led to a large change in the magnitude of the dynamic impedance with no observable phase change. The impedance data compared favorably between the two thrusters.

Hamley, John A.↗

Assimilation of solids during ascent of magmas from the Bartoy Field of the Baikal Region, Siberia

Most investigators ascribe mare basalt magma genesis to partial melting at depths of approximately 130 to greater than 400 km within the cumulate pile deposited from a lunar magma ocean. Mare basalts share with mid-ocean ridge basalts the characteristic of relative depletion in LREE and other incompatible trace elements that arises from melting within 'used' mantle, from which crust-forming elements have already been separated. Some mare basalt types do not show the classical, La-Nd depleted mare basalt REE distributions; however, some types are isotopically heterogeneous. These differences have been ascribed to assimilation, mainly AFC-style, of KREEPy highland material overlying the source region. Might such assimilation occur during magma ascent through the KREEPy material? To gain information from a terrestrial setting on possible assimilation during ascent, we have studied a suite of Quaternary nepheline-hawalites and nepheline-mugearites from the Bartoy cinder cone complex of the Baikal Rift, Siberia. The Bartoy magmas originated from greater than 80 km deep, and erupted through thick Archean crust. We find evidence for assimilation of approximately 31 wt. percent xenocrysts of garnet, aluminous clinopyroxene, kaersutite, and olivine, all presumably from the basalt source region, but no appreciable assimilation of overlying crust, consistent with isotopic constraints. Magmatic superheat made available by rapid ascent and decomposition accounts adequately for the energy of assimilation; no accompanying fractional crystallization is required or evident.

Haas, Johnson R.↗

Abstract-Reasoning Software for Coordinating Multiple Agents

A computer program for scheduling the activities of multiple agents that share limited resources has been incorporated into the Automated Scheduling and Planning Environment (ASPEN) software system, aspects of which have been reported in several previous NASA Tech Briefs articles. In the original intended application, the agents would be multiple spacecraft and/or robotic vehicles engaged in scientific exploration of distant planets. The program could also be used on Earth in such diverse settings as production lines and military maneuvers. This program includes a planning/scheduling subprogram of the iterative repair type that reasons about the activities of multiple agents at abstract levels in order to greatly improve the scheduling of their use of shared resources. The program summarizes the information about the constraints on, and resource requirements of, abstract activities on the basis of the constraints and requirements that pertain to their potential refinements (decomposition into less-abstract and ultimately to primitive activities). The advantage of reasoning about summary information is that time needed to find consistent schedules is exponentially smaller than the time that would be needed for reasoning about the same tasks at the primitive level.

Clement, Bradley↗

A VLSI decomposition of the deBruijn graph

A new Viterbi decoder for convolutional codes with constraint lengths up to 15, called the Big Viterbi Decoder, is under development for the Deep Space Network. It will be demonstrated by decoding data from the Galileo spacecraft, which has a rate 1/4, constraint-length 15 convolutional encoder on board. Here, the mathematical theory underlying the design of the very-large-scale-integrated (VLSI) chips that are being used to build this decoder is explained. The deBruijn graph B sub n describes the topology of a fully parallel, rate 1/v, constraint length n+2 Viterbi decoder, and it is shown that B sub n can be built by appropriately wiring together (i.e., connecting together with extra edges) many isomorphic copies of a fixed graph called a B sub n building block. The efficiency of such a building block is defined as the fraction of the edges in B sub n that are present in the copies of the building block. It is shown, among other things, that for any alpha less than 1, there exists a graph G which is a B sub n building block of efficiency greater than alpha for all sufficiently large n. These results are illustrated by describing a special hierarchical family of deBruijn building blocks, which has led to the design of the gate-array chips being used in the Big Viterbi Decoder.

Collins, O.↗

Effect of contrast on the perceived direction of a moving plaid

A series of experiments examining the effect of contrast on the perception of moving plaids is performed. This was done to test the hypothesis put forth by Adelson and Movshon (1982) that the human visual system determines the direction of a moving plaid in a two-staged process: decomposition into component motion followed by application of the intersection of constraints rule. When the gratings within the plaid are of different contrast, the perceived direction is not predicted by the intersection of constraints rule. There is a strong (up to 20 deg) bias in the direction of the higher-contrast grating. A revised model, which incorporates a contrast-dependent weighting of perceived grating speed as observed for one-dimensional patterns (Thompson, 1982), can quantitatively predict most of the results. Results are discussed in the context of various models of human visual motion processing and of physiological responses of neurons in the primate visual system.

Stone, L. S.↗

Direct handling of equality constraints in multilevel optimization

In recent years there have been several hierarchic multilevel optimization algorithms proposed and implemented in design studies. Equality constraints are often imposed between levels in these multilevel optimizations to maintain system and subsystem variable continuity. Equality constraints of this nature will be referred to as coupling equality constraints. In many implementation studies these coupling equality constraints have been handled indirectly. This indirect handling has been accomplished using the coupling equality constraints' explicit functional relations to eliminate design variables (generally at the subsystem level), with the resulting optimization taking place in a reduced design space. In one multilevel optimization study where the coupling equality constraints were handled directly, the researchers encountered numerical difficulties which prevented their multilevel optimization from reaching the same minimum found in conventional single level solutions. The researchers did not explain the exact nature of the numerical difficulties other than to associate them with the direct handling of the coupling equality constraints. The coupling equality constraints are handled directly, by employing the Generalized Reduced Gradient (GRG) method as the optimizer within a multilevel linear decomposition scheme based on the Sobieski hierarchic algorithm. Two engineering design examples are solved using this approach. The results show that the direct handling of coupling equality constraints in a multilevel optimization does not introduce any problems when the GRG method is employed as the internal optimizer. The optimums achieved are comparable to those achieved in single level solutions and in multilevel studies where the equality constraints have been handled indirectly.

Renaud, John E.↗

Notes on implementation of Coulomb friction in coupled dynamical simulations

A coupled dynamical system is defined as an assembly of rigid/flexible bodies that may be coupled by kinematic connections. The interfaces between bodies are modeled using hinges having 0 to 6 degrees of freedom. The equations of motion are presented for a mechanical system of n flexible bodies in a topological tree configuration. The Lagrange form of the D'Alembert principle was employed to derive the equations. The equations of motion are augmented by the kinematic constraint equations. This augmentation is accomplished via the method of singular value decomposition.

Vandervoort, R. J.↗

Approximation, abstraction and decomposition in search and optimization

In this paper, I discuss four different areas of my research. One portion of my research has focused on automatic synthesis of search control heuristics for constraint satisfaction problems (CSPs). I have developed techniques for automatically synthesizing two types of heuristics for CSPs: Filtering functions are used to remove portions of a search space from consideration. Another portion of my research is focused on automatic synthesis of hierarchic algorithms for solving constraint satisfaction problems (CSPs). I have developed a technique for constructing hierarchic problem solvers based on numeric interval algebra. Another portion of my research is focused on automatic decomposition of design optimization problems. We are using the design of racing yacht hulls as a testbed domain for this research. Decomposition is especially important in the design of complex physical shapes such as yacht hulls. Another portion of my research is focused on intelligent model selection in design optimization. The model selection problem results from the difficulty of using exact models to analyze the performance of candidate designs.

Ellman, Thomas↗

On the decentralized control of large-scale systems

The decentralized control of stochastic large scale systems was considered. Particular emphasis was given to control strategies which utilize decentralized information and can be computed in a decentralized manner. The deterministic constrained optimization problem is generalized to the stochastic case when each decision variable depends on different information and the constraint is only required to be satisfied on the average. For problems with a particular structure, a hierarchical decomposition is obtained. For the stochastic control of dynamic systems with different information sets, a new kind of optimality is proposed which exploits the coupled nature of the dynamic system. The subsystems are assumed to be uncoupled and then certain constraints are required to be satisfied, either in a off-line or on-line fashion. For off-line coordination, a hierarchical approach of solving the problem is obtained. The lower level problems are all uncoupled. For on-line coordination, distinction is made between open loop feedback optimal coordination and closed loop optimal coordination.

Chong, C.↗

An Algorithm for Integrated Subsystem Embodiment and System Synthesis

Consider the statement,'A system has two coupled subsystems, one of which dominates the design process. Each subsystem consists of discrete and continuous variables, and is solved using sequential analysis and solution.' To address this type of statement in the design of complex systems, three steps are required, namely, the embodiment of the statement in terms of entities on a computer, the mathematical formulation of subsystem models, and the resulting solution and system synthesis. In complex system decomposition, the subsystems are not isolated, self-supporting entities. Information such as constraints, goals, and design variables may be shared between entities. But many times in engineering problems, full communication and cooperation does not exist, information is incomplete, or one subsystem may dominate the design. Additionally, these engineering problems give rise to mathematical models involving nonlinear functions of both discrete and continuous design variables. In this dissertation an algorithm is developed to handle these types of scenarios for the domain-independent integration of subsystem embodiment, coordination, and system synthesis using constructs from Decision-Based Design, Game Theory, and Multidisciplinary Design Optimization. Implementation of the concept in this dissertation involves testing of the hypotheses using example problems and a motivating case study involving the design of a subsonic passenger aircraft.

Lewis, Kemper↗

Measurements of Trace Gases in the Tropical Tropopause Layer

A unique dataset of airborne in situ observations of HCl, O3, HNO3, H2O, CO, CO2 and CH3Cl has been made in and near the tropical tropopause layer (TTL). A total of 16 profiles across the tropopause were obtained at latitudes between 10degN and 3degs from the NASA WB-57F high-altitude aircraft flying from Costa Rica. Few in situ measurements of these gases, particularly HCl and HNO3, have been reported for the TTL. The general features of the trace gas vertical profiles are consistent with the concept of the TTL as distinct from the lower troposphere and lower stratosphere. A combination of the tracer profiles and correlations with O3 is used to show that a measurable amount of stratospheric air is mixed into this region. The HCl measurements offer an important constraint on stratospheric mixing into the TTL because once the contribution from halocarbon decomposition is quantified, the remaining HCl (>60% in this study) must have a stratospheric source. Stratospheric HCl in the TTL brings with it a proportional amount of stratospheric O3. Quantifying the sources of O3 in the TTL is important because O3 is particularly effective as a greenhouse gas in the tropopause region.

Marcy, T. P.↗

A Tool for Model-Based Generation of Scenario-driven Electric Power Load Profiles

Power consumption during all phases of spacecraft flight is of great interest to the aerospace community. As a result, significant analysis effort is exerted to understand the rates of electrical energy generation and consumption under many operational scenarios of the system. Previously, no standard tool existed for creating and maintaining a power equipment list (PEL) of spacecraft components that consume power, and no standard tool existed for generating power load profiles based on this PEL information during mission design phases. This paper presents the Scenario Power Load Analysis Tool (SPLAT) as a model-based systems engineering tool aiming to solve those problems. SPLAT is a plugin for MagicDraw (No Magic, Inc.) that aids in creating and maintaining a PEL, and also generates a power and temporal variable constraint set, in Maple language syntax, based on specified operational scenarios. The constraint set can be solved in Maple to show electric load profiles (i.e. power consumption from loads over time). SPLAT creates these load profiles from three modeled inputs: 1) a list of system components and their respective power modes, 2) a decomposition hierarchy of the system into these components, and 3) the specification of at least one scenario, which consists of temporal constraints on component power modes. In order to demonstrate how this information is represented in a system model, a notional example of a spacecraft planetary flyby is introduced. This example is also used to explain the overall functionality of SPLAT, and how this is used to generate electric power load profiles. Lastly, a cursory review of the usage of SPLAT on the Cold Atom Laboratory project is presented to show how the tool was used in an actual space hardware design application.

power load profile↗