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 397 records · Page 22

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↗

Towards Off-policy Evaluation as a Prerequisite for Real-world Reinforcement Learning in Building Control

We present an initial study of off-policy evaluation (OPE), a problem prerequisite to real-world reinforcement learning (RL), in the context of building control. OPE is the problem of estimating a policy's performance without running it on the actual system, using historical data from the existing controller. It enables the control engineers to ensure a new, pretrained policy satisfies the performance requirements and safety constraints of a real-world system, prior to interacting with it. While many methods have been developed for OPE, no study has evaluated which ones are suitable for building operational data, which are generated by deterministic policies and have limited coverage of the state-action space. After reviewing existing works and their assumptions, we adopted the approximate model (AM) method. Furthermore, we used bootstrapping to quantify uncertainty and correct for bias. In a simulation study, we evaluated the proposed approach on 10 policies pretrained with imitation learning. On average, the AM method estimated the energy and comfort costs with 1.84% and 14.1% error, respectively.

Chen, B↗

Interlaminar stress analysis of dropped-ply laminated plates and shells by a mixed method

A mixed method of approximation based on Reissner's variational principle is developed for the linear analysis of interlaminar stresses in laminated composites, with special interest in laminates that contain terminated internal plies (dropped-ply laminates). Two models are derived, one for problems of generalized plane deformation and the other for the axisymmetric response of shells of revolution. A layerwise approach is taken in which the stress field is assumed with an explicit dependence on the thickness coordinate in each layer. The dependence of the stress field on the thickness coordinate is determined such that the three-dimensional equilibrium equations are satisfied by the approximation. The solution domain is reduced to one dimension by integration through the thickness. Continuity of tractions and displacements between layers is imposed. The governing two-point boundary value problem is composed of a system of both differential and algebraic equations (DAE's) and their associated boundary conditions. Careful evaluation of the system of DAE's was required to arrive at a form that allowed application of a one-step finite difference approximation. A two-stage Gauss implicit Runge-Kutta finite difference scheme was used for the solution because of its relatively high degree of accuracy. Patch tests of the two models revealed problems with solution accuracy for the axisymmetric model of a cylindrical shell loaded by internal pressure. Parametric studies of dropped-ply laminate characteristics and their influence on the interlaminar stresses were performed using the generalized plane deformation model. Eccentricity of the middle surface of the laminate through the ply drop-off was found to have a minimal effect on the interlaminar stresses under longitudinal compression, transverse tension, and in-plane shear. A second study found the stiffness change across the ply termination to have a much greater influence on the interlaminar stresses.

Harrison, Peter N.↗

Accurate boundary conditions for exterior problems in gas dynamics

The numerical solution of exterior problems is typically accomplished by introducing an artificial, far field boundary and solving the equations on a truncated domain. For hyperbolic systems, boundary conditions at this boundary are often derived by imposing a principle of no reflection. However, waves with spherical symmetry in gas dynamics satisfy equations where incoming and outgoing Riemann variables are coupled. This suggests that natural reflections may be important. A reflecting boundary condition is proposed based on an asymptotic solution of the far field equations. Nonlinear energy estimates are obtained for the truncated problem and numerical experiments presented to validate the theory.

Hagstrom, Thomas↗

A Survey of the Spacecraft Line-Of-Sight Jitter Problem

Predicting, managing, controlling, and testing spacecraft Line-of-Sight (LoS) jit- ter due to on-board internal disturbance sources is a challenging multi- disciplinary systems engineering problem, especially for those observatories hosting extremely sensitive optical sensor payloads with stringent requirements on allowable LoS jitter. Some specific spacecraft jitter engineering challenges will be introduced and described in this survey paper. Illustrative examples of missions where dynamic interactions have to be addressed to satisfy demanding payload instrument LoS jitter requirements will be provided. Some lessons learned and a set of recommended rules of thumb are also presented to provide guidance for analysts on where to initiate and how to approach a new spacecraft jitter design problem. These experience-based spacecraft jitter lessons learned and rules of thumb are provided in the hope they can be leveraged on new space system development projects to help overcome unfamiliarity with previously identified jitter technical pitfalls and challenges.

Dennehy, Cornelius J.↗