22 research outputs found
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) is a temporal least
commitment heuristic search planner based on a flexible object-oriented
workbench architecture. Its design clearly separates explicit and symbolic
directed exploration algorithms from the set of on-line and off-line computed
estimates and associated data structures. MIPS has shown distinguished
performance in the last two international planning competitions. In the last
event the description language was extended from pure propositional planning to
include numerical state variables, action durations, and plan quality objective
functions. Plans were no longer sequences of actions but time-stamped
schedules. As a participant of the fully automated track of the competition,
MIPS has proven to be a general system; in each track and every benchmark
domain it efficiently computed plans of remarkable quality. This article
introduces and analyzes the most important algorithmic novelties that were
necessary to tackle the new layers of expressiveness in the benchmark problems
and to achieve a high level of performance. The extensions include critical
path analysis of sequentially generated plans to generate corresponding optimal
parallel plans. The linear time algorithm to compute the parallel plan bypasses
known NP hardness results for partial ordering by scheduling plans with respect
to the set of actions and the imposed precedence relations. The efficiency of
this algorithm also allows us to improve the exploration guidance: for each
encountered planning state the corresponding approximate sequential plan is
scheduled. One major strength of MIPS is its static analysis phase that grounds
and simplifies parameterized predicates, functions and operators, that infers
knowledge to minimize the state description length, and that detects domain
object symmetries. The latter aspect is analyzed in detail. MIPS has been
developed to serve as a complete and optimal state space planner, with
admissible estimates, exploration engines and branching cuts. In the
competition version, however, certain performance compromises had to be made,
including floating point arithmetic, weighted heuristic search exploration
according to an inadmissible estimate and parameterized optimization
Automatic Differentiation and Uncertainty Analysis
The paper aims to give an overview of the possibilities for using automatic differentiation for uncertainty analysis. It presents an introduction to the general theory of automatic differentiation. Following this an overview of sensitivity analysis and nonlinear regression is given to provide the reader with a clear understanding of both general concepts and their relation to automatic differentiation.
Special attention is paid to the effect of nonlinearity on the quality of the obtained estimates and it is investigated how automatic differentiation can be used to improve the estimates. Further the new concept of standard error sensitivity is introduced and formulas for efficient computation are derived.
Finally the Oak system is discussed. This system is an implementation of the theory discussed in this paper using the ADOL-C library for automatic differentiation. To demonstrate the possibilities of this system several models used at the IIASA Sustainable Boreal Forests Project have been investigated
Numerical Analysis and Spanwise Shape Optimization for Finite Wings of Arbitrary Aspect Ratio
This work focuses on the development of efficient methods for wing shape optimization for morphing wing technologies. Existing wing shape optimization processes typically rely on computational fluid dynamics tools for aerodynamic analysis, but the computational cost of these tools makes optimization of all but the most basic problems intractable. In this work, we present a set of tools that can be used to efficiently explore the design spaces of morphing wings without reducing the fidelity of the results significantly. Specifically, this work discusses automatic differentiation of an aerodynamic analysis tool based on lifting line theory, a light-weight gradient-based optimization framework that provides a parallel function evaluation capability not found in similar frameworks, and a modification to the lifting line equations that makes the analysis method and optimization process suitable to wings of arbitrary aspect ratio. The toolset discussed is applied to several wing shape optimization problems. Additionally, a method for visualizing the design space of a morphing wing using this toolset is presented. As a result of this work, a light-weight wing shape optimization method is available for analysis of morphing wing designs that reduces the computational cost by several orders of magnitude over traditional methods without significantly reducing the accuracy of the results
Technology 2000, volume 1
The purpose of the conference was to increase awareness of existing NASA developed technologies that are available for immediate use in the development of new products and processes, and to lay the groundwork for the effective utilization of emerging technologies. There were sessions on the following: Computer technology and software engineering; Human factors engineering and life sciences; Information and data management; Material sciences; Manufacturing and fabrication technology; Power, energy, and control systems; Robotics; Sensors and measurement technology; Artificial intelligence; Environmental technology; Optics and communications; and Superconductivity