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 289 records · Page 16

Waves in space plasma dipole antenna subsystem

The Waves In Space Plasma (WISP) flight experiment requires a 50-meter-long deployable dipole antenna subsystem (DASS) to radiate radio frequencies from the STS Orbiter cargo bay. The transmissions are to excite outer ionospheric plasma between the dipole and a free-flying receiver (Spartan) for scientific purposes. This report describes the singular DASS design requirements and how the resulting design satisfies them. A jettison latch is described in some detail. The latch releases the antenna in case of any problems which might prevent the bay doors from closing for re-entry and landing of the Orbiter.

Thomson, Mark↗

Timing analysis by model checking

The safety of modern avionics relies on high integrity software that can be verified to meet hard real-time requirements. The limits of verification technology therefore determine acceptable engineering practice. To simplify verification problems, safety-critical systems are commonly implemented under the severe constraints of a cyclic executive, which make design an expensive trial-and-error process highly intolerant of change. Important advances in analysis techniques, such as rate monotonic analysis (RMA), have provided a theoretical and practical basis for easing these onerous restrictions. But RMA and its kindred have two limitations: they apply only to verifying the requirement of schedulability (that tasks meet their deadlines) and they cannot be applied to many common programming paradigms. We address both these limitations by applying model checking, a technique with successful industrial applications in hardware design. Model checking algorithms analyze finite state machines, either by explicit state enumeration or by symbolic manipulation. Since quantitative timing properties involve a potentially unbounded state variable (a clock), our first problem is to construct a finite approximation that is conservative for the properties being analyzed-if the approximation satisfies the properties of interest, so does the infinite model. To reduce the potential for state space explosion we must further optimize this finite model. Experiments with some simple optimizations have yielded a hundred-fold efficiency improvement over published techniques.

Naydich, Dimitri↗

Hard and Soft Constraints in Reliability-Based Design Optimization

This paper proposes a framework for the analysis and design optimization of models subject to parametric uncertainty where design requirements in the form of inequality constraints are present. Emphasis is given to uncertainty models prescribed by norm bounded perturbations from a nominal parameter value and by sets of componentwise bounded uncertain variables. These models, which often arise in engineering problems, allow for a sharp mathematical manipulation. Constraints can be implemented in the hard sense, i.e., constraints must be satisfied for all parameter realizations in the uncertainty model, and in the soft sense, i.e., constraints can be violated by some realizations of the uncertain parameter. In regard to hard constraints, this methodology allows (i) to determine if a hard constraint can be satisfied for a given uncertainty model and constraint structure, (ii) to generate conclusive, formally verifiable reliability assessments that allow for unprejudiced comparisons of competing design alternatives and (iii) to identify the critical combination of uncertain parameters leading to constraint violations. In regard to soft constraints, the methodology allows the designer (i) to use probabilistic uncertainty models, (ii) to calculate upper bounds to the probability of constraint violation, and (iii) to efficiently estimate failure probabilities via a hybrid method. This method integrates the upper bounds, for which closed form expressions are derived, along with conditional sampling. In addition, an l(sub infinity) formulation for the efficient manipulation of hyper-rectangular sets is also proposed.

Crespo, L.uis G.↗

Observations on computational methodologies for use in large-scale, gradient-based, multidisciplinary design

Various computational methodologies relevant to large-scale multidisciplinary gradient-based optimization for engineering systems design problems are examined with emphasis on the situation where one or more discipline responses required by the optimized design procedure involve the solution of a system of nonlinear partial differential equations. Such situations occur when advanced CFD codes are applied in a multidisciplinary procedure for optimizing an aerospace vehicle design. A technique for satisfying the multidisciplinary design requirements for gradient information is presented. The technique is shown to permit some leeway in the CFD algorithms which can be used, an expansion to 3D problems, and straightforward use of other computational methodologies.

Newman, P. A.↗

Viscous stability theory for thermally stratified flow - Discontinuous jets and shear layers.

The method used by Drazin to investigate the stability of unbounded, viscous, homogeneous, parallel shear flow to small wavenumber disturbances is extended to study the effect of thermal stratification on the stability of unbounded jets and shear layers. By this method the stability characteristics of continuous profiles are inferred from the stability characteristics of discontinuous profiles. The characteristic value problem for discontinuous jet and shear layers is posed by the requirement that the solutions of the governing differential equation satisfy the matching conditions and boundedness conditions for layers that extend to infinity. The analysis leads to a characteristic determinant which is required to vanish for the characteristic values of the parameters: the Reynolds number, the wavenumber, and the wave speed. The stabilizing effect of the thermal stratification as parameterized by the Richardson number was found to be most stabilizing for small wavenumber (large-scale) disturbances.

Gage, K. S.↗

Planning and managing future space facility projects

To learn how ground-based personnel of a space project plan and organize their work and how such planning and organizing relate to work outcomes, longitudinal study of the management and execution of the Space Lab Mission Development Test 3 (SMD 3) was performed at NASA Ames Research Center. A view of the problems likely to arise in organizations and some methods of coping with these problems are presented as well as the conclusions and recommendations that pertain strictly to SMD 3 management. Emphasis is placed on the broader context of future space facility projects and additional problems that may be anticipated. A model of management that may be used to facilitate problem solving and communication - management by objectives (MBO) is presented. Some problems of communication and emotion management that MBO does not address directly are considered. Models for promoting mature, constructive and satisfying emotional relationships among group members are discussed.

Sieber, J. E.↗

Finite elements for contact problems in two-dimensional elastodynamics

A finite element approach for contact problems in two dimensional elastodynamics was proposed. Sticking, sliding, and frictional contact were taken into account. The method consisted of a modification of the shape functions, in the contact region, in order to involve the nodes of the contacting body. The formulation was symmetric (both bodies were contactors and targets), in order to avoid interpenetration. Compatibility over the interfaces was satisfied. The method was applied to the impact of a block on a rigid target. It is shown that the formulation can be applied to fluid structure interaction, and to problems involving material nonlinearity.

Zimmermann, T. K.↗

The Use, Evolution and Lessons Learnt of Deployable Static Solar Array Mechanisms

This paper focuses on the mechanisms incorporated into SSTL's static deployable arrays; namely the sprung-hinges and hold down and release mechanism (HDRM). Combined, the HDRM and hinges form the hold down release system (HDRS). The deployable static solar array HDRS has been successfully used on several missions, first launched upon the DMC-CFESAT spacecraft in 2007 for a U.S. customer (Figure 1), and later used on DMC-UK2 and EXACTVIEW-1 launched in 2009 and 2012, respectively. The simple, robust and low-cost solution HDRS has been evident in allowing missions to satisfy an ever increasing power demand, allowing the solar arrays to increase in size and have a preferable sun angle for increased cell efficiency. The system is now being employed on the first mission out of SSTL's U.S. office (SST-US) on the Orbital Test Bed platform. This paper shall cover details of the original design and development program, problems incurred on latter missions, and evolution of the HDRS for the present Orbital Test Bed mission. Both the original development and recent evolutions have taken place in rapid timescales, to satisfy the high-turnaround of SSTL missions.

Ferris, Mark↗

An Approach to Reasoning Service Migration in Data and Reasoning Fabric (DRF) Implementation

In this paper we consider service placement problem for Data and Reasoning Fabric (DRF) enabled airspace operations assuming a fixed cloud/edge infrastructure with allocated computing, storage and power resources, where cloud/edge servers, and communication stations are in a wired connected network, while vehicles use a wireless network for communication. The objective is to automatically select the best location for the requested service execution, which achieves minimum cost while satisfying the user quality of service (QoS) and available resources constraints. To this end, we estimate for each potential location the response time, consumed energy and total cost; formulate an optimization problem for cost minimization given the users QoS constraints and network infrastructure limitations; and solve it using nonlinear programming tools. The approach is applied to trajectory re-planning use case to handle a no-fly zone contingency in real time.

Vahram Stepanyan↗

A general algorithm for solving the algebraic Riccati equation

The generalized eigenvalue problem provides a suitable framework for reliable solutions of many system theoretic, control, and estimation problems. A general algorithm for solving the matrix algebraic Riccati equation (ARE) which utilizes a pencil structure is described here. This algorithm avoids unnecessary inversion of cost or transition matrices, making it a numerically sound way to solve for the gains and/or ARE with singular quadratic costs, for cases satisfying detectability and stabilizability conditions. Examples are solution with discrete dead-beat control, noiseless measurements in Kalman filters and time-delays in discrete-time systems, which cause difficulties in the Hamiltonian standard eigenvalue problem formulation. The ARE algorithm implementatiton and numerical examples are shown.

Walker, R. A.↗

Preliminary Work for Examining the Scalability of Reinforcement Learning

Researchers began studying automated agents that learn to perform multiple-step tasks early in the history of artificial intelligence (Samuel, 1963; Samuel, 1967; Waterman, 1970; Fikes, Hart & Nilsonn, 1972). Multiple-step tasks are tasks that can only be solved via a sequence of decisions, such as control problems, robotics problems, classic problem-solving, and game-playing. The objective of agents attempting to learn such tasks is to use the resources they have available in order to become more proficient at the tasks. In particular, each agent attempts to develop a good policy, a mapping from states to actions, that allows it to select actions that optimize a measure of its performance on the task; for example, reducing the number of steps necessary to complete the task successfully. Our study focuses on reinforcement learning, a set of learning techniques where the learner performs trial-and-error experiments in the task and adapts its policy based on the outcome of those experiments. Much of the work in reinforcement learning has focused on a particular, simple representation, where every problem state is represented explicitly in a table, and associated with each state are the actions that can be chosen in that state. A major advantage of this table lookup representation is that one can prove that certain reinforcement learning techniques will develop an optimal policy for the current task. The drawback is that the representation limits the application of reinforcement learning to multiple-step tasks with relatively small state-spaces. There has been a little theoretical work that proves that convergence to optimal solutions can be obtained when using generalization structures, but the structures are quite simple. The theory says little about complex structures, such as multi-layer, feedforward artificial neural networks (Rumelhart & McClelland, 1986), but empirical results indicate that the use of reinforcement learning with such structures is promising. These empirical results make no theoretical claims, nor compare the policies produced to optimal policies. A goal of our work is to be able to make the comparison between an optimal policy and one stored in an artificial neural network. A difficulty of performing such a study is finding a multiple-step task that is small enough that one can find an optimal policy using table lookup, yet large enough that, for practical purposes, an artificial neural network is really required. We have identified a limited form of the game OTHELLO as satisfying these requirements. The work we report here is in the very preliminary stages of research, but this paper provides background for the problem being studied and a description of our initial approach to examining the problem. In the remainder of this paper, we first describe reinforcement learning in more detail. Next, we present the game OTHELLO. Finally we argue that a restricted form of the game meets the requirements of our study, and describe our preliminary approach to finding an optimal solution to the problem.

Clouse, Jeff↗

An efficient method for solving the steady Euler equations

An efficient numerical procedure for solving a set of nonlinear partial differential equations is given, specifically for the steady Euler equations. Solutions of the equations were obtained by Newton's linearization procedure, commonly used to solve the roots of nonlinear algebraic equations. In application of the same procedure for solving a set of differential equations we give a theorem showing that a quadratic convergence rate can be achieved. While the domain of quadratic convergence depends on the problems studied and is unknown a priori, we show that firstand second-order derivatives of flux vectors determine whether the condition for quadratic convergence is satisfied. The first derivatives enter as an implicit operator for yielding new iterates and the second derivatives indicates smoothness of the flows considered. Consequently flows involving shocks are expected to require larger number of iterations. First-order upwind discretization in conjunction with the Steger-Warming flux-vector splitting is employed on the implicit operator and a diagonal dominant matrix results. However the explicit operator is represented by first- and seond-order upwind differencings, using both Steger-Warming's and van Leer's splittings. We discuss treatment of boundary conditions and solution procedures for solving the resulting block matrix system. With a set of test problems for one- and two-dimensional flows, we show detailed study as to the efficiency, accuracy, and convergence of the present method.

Liou, M. S.↗

Performance Analysis and Design Synthesis (PADS) computer program. Volume 2: Program description, part 2

The QL module of the Performance Analysis and Design Synthesis (PADS) computer program is described. Execution of this module is initiated when and if subroutine PADSI calls subroutine GROPE. Subroutine GROPE controls the high level logical flow of the QL module. The purpose of the module is to determine a trajectory that satisfies the necessary variational conditions for optimal performance. The module achieves this by solving a nonlinear multi-point boundary value problem. The numerical method employed is described. It is an iterative technique that converges quadratically when it does converge. The three basic steps of the module are: (1) initialization, (2) iteration, and (3) culmination. For Volume 1 see N73-13199.

Source record↗

Comments on numerical solution of boundary value problems of the Laplace equation and calculation of eigenvalues by the grid method

The mathematics involved in numerically solving for the plane boundary value of the Laplace equation by the grid method is developed. The approximate solution of a boundary value problem for the domain of the Laplace equation by the grid method consists of finding u at the grid corner which satisfies the equation at the internal corners (u=Du) and certain boundary value conditions at the boundary corners.

Lyusternik, L. A.↗

Static and dynamic characteristics of large deployable space reflectors

A linear numerical model of the structural characteristics of deployable reflectors was developed. Due to cyclic symmetry of the reflector structure about its axis, only one of many segments is modeled using finite elements. The succeeding segments satisfy continuity of displacement and slope at the interface between consecutive segments. This process leads to (N/2+1) static or dynamic problems of smaller order and bandwidth where N is the number of segments. The solution of each reduced problem leads to motions having a distinct circumferential wave number. The dynamic coupling to the feed support structure is studied adopting modal synthesis.

El-Raheb, M.↗

The growth and harvesting of algae in a micro-gravity environment

Algae growth in a micro-gravity environment is an important factor in supporting man's permanent presence in space. Algae can be used to produce food, oxygen, and pure water in a manned space station. A space station is one example of a situation where a Controlled Ecological Life Support System (CELSS) is imperative. In setting up a CELSS with an engineering approach at the Aerospace department of the University of Colorado, questions concerning algae growth in micro-g have arisen. The Get Away Special (GAS) Fluids Management project is a means through which many questions about the effects of a micro-g environment on the adequacy of growth rates, the viability of micro-organisms, and separation of gases and solids for harvesting purposes can be answered. In order to be compatible with the GAS tests, the algae must satisfy the following criteria: (1) rapid growth rates, (2) sustain viability over long periods of non-growth storage, and (3) very brief latency from storage to rapid growth. Testing indicates that the overall growth characteristics of Anacystis Nidulans satisfy the specifications of GAS's design constraints. In addition, data acquisition and the method of growth instigation are two specific problems being examined, as they will be encountered in interfacing with the GAS project. Flight testing will be two-fold, measurement of algae growth in micro-g and separation of algae from growth medium in an artificial gravitation field. Post flight results will provide information on algae viability in a micro-g environment as reflected by algal growth rates in space. Other post flight results will provide a basis for evaluating techniques for harvesting algae. The results from the GAS project will greatly assist the continuing effort of developing the CELSS and its applications for space.

Wiltberger, Nancy L.↗

Computations of Aerodynamic Performance Databases Using Output-Based Refinement

Objectives: Handle complex geometry problems; Control discretization errors via solution-adaptive mesh refinement; Focus on aerodynamic databases of parametric and optimization studies: 1. Accuracy: satisfy prescribed error bounds 2. Robustness and speed: may require over 105 mesh generations 3. Automation: avoid user supervision Obtain "expert meshes" independent of user skill; and Run every case adaptively in production settings.

Nemec, Marian↗