Search NASA⌕ Search

SEARCH · Search NASA

Results for “LEADING ABSTRACT”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1994

TOTAL user manual

Semi-Markov models can be used to analyze the reliability of virtually any fault-tolerant system. However, the process of delineating all of the states and transitions in the model of a complex system can be devastatingly tedious and error-prone. Even with tools such as the Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST), the user must describe a system by specifying the rules governing the behavior of the system in order to generate the model. With the Table Oriented Translator to the ASSIST Language (TOTAL), the user can specify the components of a typical system and their attributes in the form of a table. The conditions that lead to system failure are also listed in a tabular form. The user can also abstractly specify dependencies with causes and effects. The level of information required is appropriate for system designers with little or no background in the details of reliability calculations. A menu-driven interface guides the user through the system description process, and the program updates the tables as new information is entered. The TOTAL program automatically generates an ASSIST input description to match the system description.

Johnson, Sally C.↗
NASA NTRS2001

Pluto and Triton: Interactions Between Volatiles and Dynamics

Volatiles moving across the surfaces of Pluto and Triton can give rise to interesting dynamical consequences. Conversely, measurement of dynamical states can help constrain the movement of volatiles and interior structure of both bodies. Polar wander may theoretically occur on both Triton and Pluto. Triton's obliquity is low, so that the equatorial regions receive more insolation than the poles. Hence there is a tendency for nitrogen ice to sublime at the equator and condense at the poles, creating polar caps. If the nitrogen supply is large enough, then these caps could move in approximately 10(exp 5) years the global equivalent of 200 m of ice to the poles. At this point the equatorial moment of inertia becomes larger than the moment of inertia measured about the rotation axis, so that Triton overbalances and becomes dynamically unstable. The satellite then undergoes polar wander, restoring stability when the new equator contains the excess matter. Hence the pole may be continually wandering. Neptune raises a permanent tidal bulge on Triton, so that the satellite's surface is elongated like a football, with the long axis pointing at Neptune. This is expected to be the axis about which the pole wanders. Volatile migration would resurface the satellite to some depth and wandering would disturb leading side/trailing side crater statistics. Additional information is contained in the original extended abstract.

Rubincam, D. P.↗
NASA NTRS2007

Automated Knowledge Discovery From Simulators

A computational method, SimLearn, has been devised to facilitate efficient knowledge discovery from simulators. Simulators are complex computer programs used in science and engineering to model diverse phenomena such as fluid flow, gravitational interactions, coupled mechanical systems, and nuclear, chemical, and biological processes. SimLearn uses active-learning techniques to efficiently address the "landscape characterization problem." In particular, SimLearn tries to determine which regions in "input space" lead to a given output from the simulator, where "input space" refers to an abstraction of all the variables going into the simulator, e.g., initial conditions, parameters, and interaction equations. Landscape characterization can be viewed as an attempt to invert the forward mapping of the simulator and recover the inputs that produce a particular output. Given that a single simulation run can take days or weeks to complete even on a large computing cluster, SimLearn attempts to reduce costs by reducing the number of simulations needed to effect discoveries. Unlike conventional data-mining methods that are applied to static predefined datasets, SimLearn involves an iterative process in which a most informative dataset is constructed dynamically by using the simulator as an oracle. On each iteration, the algorithm models the knowledge it has gained through previous simulation trials and then chooses which simulation trials to run next. Running these trials through the simulator produces new data in the form of input-output pairs. The overall process is embodied in an algorithm that combines support vector machines (SVMs) with active learning. SVMs use learning from examples (the examples are the input-output pairs generated by running the simulator) and a principle called maximum margin to derive predictors that generalize well to new inputs. In SimLearn, the SVM plays the role of modeling the knowledge that has been gained through previous simulation trials. Active learning is used to determine which new input points would be most informative if their output were known. The selected input points are run through the simulator to generate new information that can be used to refine the SVM. The process is then repeated. SimLearn carefully balances exploration (semi-randomly searching around the input space) versus exploitation (using the current state of knowledge to conduct a tightly focused search). During each iteration, SimLearn uses not one, but an ensemble of SVMs. Each SVM in the ensemble is characterized by different hyper-parameters that control various aspects of the learned predictor - for example, whether the predictor is constrained to be very smooth (nearby points in input space lead to similar output predictions) or whether the predictor is allowed to be "bumpy." The various SVMs will have different preferences about which input points they would like to run through the simulator next. SimLearn includes a formal mechanism for balancing the ensemble SVM preferences so that a single choice can be made for the next set of trials.

Burl, Michael↗
NASA NTRS1992

Navier-Stokes dynamics and aeroelastic computations for vortical flows, buffet and aeroelastic applications

The accomplishments achieved during the period include conference and proceedings publications, journal papers, and abstracts which are either published, accepted for publication or under review. Conference presentations and NASA highlight publications are also included. Two of the conference proceedings publications are attached along with a Ph.D. dissertation abstract and table of contents. In the first publication, computational simulation of three-dimensional flows around a delta wing undergoing rock and roll-divergence motions is presented. In the second publication, the unsteady Euler equations and the Euler equations of rigid body motion, both written in the moving frame of reference, are sequetially solved to simulate the limit-cycle rock motion of slender delta wings. In the dissertation abstract, unsteady flows around rigid or flexible delta wings with and without oscillating leading-edge flaps are considered.

Kandil, Osama A.↗
NASA NTRS1994

SCOSII OL: A dedicated language for mission operations

The Spacecraft Control and Operations System 2 (SCOSII) is the new generation of Mission Control Systems (MCS) to be used at ESOC. The system is generic because it offers a collection of standard functions configured through a database upon which a dedicated MCS is established for a given mission. An integral component of SCOSII is the support of a dedicated Operations Language (OL). The spacecraft operation engineers edit, test, validate, and install OL scripts as part of the configuration of the system with, e.g., expressions for computing derived parameters and procedures for performing flight operations, all without involvement of software support engineers. A layered approach has been adopted for the implementation centered around the explicit representation of a data model. The data model is object-oriented defining the structure of the objects in terms of attributes (data) and services (functions) which can be accessed by the OL. SCOSII supports the creation of a mission model. System elements as, e.g., a gyro are explicit, as are the attributes which described them and the services they provide. The data model driven approach makes it possible to take immediate advantage of this higher-level of abstraction, without requiring expansion of the language. This article describes the background and context leading to the OL, concepts, language facilities, implementation, status and conclusions found so far.

Baldi, Andrea↗
NASA NTRS1988

A design for a ground-based data management system

An initial design for a ground-based data management system which includes intelligent data abstraction and cataloging is described. The large quantity of data on some current and future NASA missions leads to significant problems in providing scientists with quick access to relevant data. Human screening of data for potential relevance to a particular study is time-consuming and costly. Intelligent databases can provide automatic screening when given relevent scientific parameters and constraints. The data management system would provide, at a minimum, information of availability of the range of data, the type available, specific time periods covered together with data quality information, and related sources of data. The system would inform the user about the primary types of screening, analysis, and methods of presentation available to the user. The system would then aid the user with performing the desired tasks, in such a way that the user need only specify the scientific parameters and objectives, and not worry about specific details for running a particular program. The design contains modules for data abstraction, catalog plan abstraction, a user-friendly interface, and expert systems for data handling, data evaluation, and application analysis. The emphasis is on developing general facilities for data representation, description, analysis, and presentation that will be easily used by scientists directly, thus bypassing the knowledge acquisition bottleneck. Expert system technology is used for many different aspects of the data management system, including the direct user interface, the interface to the data analysis routines, and the analysis of instrument status.

Lambird, Barbara A.↗
NASA NTRS1995

Automatic blocking for complex three-dimensional configurations

A new blocking technique for complex three-dimensional configurations is described. This new technique is based upon the concept of an abstraction, or squared-up representation, of the configuration and the associated grid. By allowing the user to describe blocking requirements in natural terms (such as 'wrap a grid around this leading edge' or 'make all grid lines emanating from this wall orthogonal to it'), users can quickly generate complex grids around complex configurations, while still maintaining a high level of control where desired. An added advantage of the abstraction concept is that once a blocking is defined for a class of configurations, it can be automatically applied to other configurations of the same class, making the new technique particularly well suited for the parametric variations which typically occur during design processes. Grids have been generated for a variety of real-world, two- and three-dimensional configurations. In all cases, the time required to generate the grid, given just an electronic form of the configuration, was at most a few days. Hence with this new technique, the generation of a block-structured grid is only slightly more expensive than the generation of an unstructured grid for the same configuration.

Dannenhoffer, John F., III↗
NASA NTRS2000

Formal Analysis of the Remote Agent Before and After Flight

This paper describes two separate efforts that used the SPIN model checker to verify deep space autonomy flight software. The first effort occurred at the beginning of a spiral development process and found five concurrency errors early in the design cycle that the developers acknowledge would not have been found through testing. This effort required a substantial manual modeling effort involving both abstraction and translation from the prototype LISP code to the PROMELA language used by SPIN. This experience and others led to research to address the gap between formal method tools and the development cycle used by software developers. The Java PathFinder tool which directly translates from Java to PROMELA was developed as part of this research, as well as automatic abstraction tools. In 1999 the flight software flew on a space mission, and a deadlock occurred in a sibling subsystem to the one which was the focus of the first verification effort. A second quick-response "cleanroom" verification effort found the concurrency error in a short amount of time. The error was isomorphic to one of the concurrency errors found during the first verification effort. The paper demonstrates that formal methods tools can find concurrency errors that indeed lead to loss of spacecraft functions, even for the complex software required for autonomy. Second, it describes progress in automatic translation and abstraction that eventually will enable formal methods tools to be inserted directly into the aerospace software development cycle.

Havelund, Klaus↗
NASA NTRS1984

A numerical scheme for the identification of hybrid systems describing the vibration of flexible beams with tip bodies

A cubic spline based Galerkin-like method is developed for the identification of a class of hybrid systems which describe the transverse vibration to flexible beams with attached tip bodies. The identification problem is formulated as a least squares fit to data subject to the system dynamics given by a coupled system of ordnary and partial differential equations recast as an abstract evolution equation (AEE) in an appropriate infinite dimensional Hilbert space. Projecting the AEE into spline-based subspaces leads naturally to a sequence of approximating finite dimensional identification problems. The solutions to these problems are shown to exist, are relatively easily computed, and are shown to, in some sense, converge to solutions to the original identification problem. Numerical results for a variety of examples are discussed.

Rosen, I. G.↗
NASA NTRS2002

Is Europa's Subsurface Water Ocean Warm?

Europa's subsurface water ocean may be warm: that is, at the temperature of water's maximum density. This provides a natural explanation of chaos melt-through events and leads to a correct estimate of the age of its surface. Additional information is contained in the original extended abstract.

Melosh, H. J.↗
NASA NTRS1980

A methodology for long range prediction of air transportation

The paper describes the methodology for long-time projection of aircraft fuel requirements. A new concept of social and economic factors for future aviation industry which provides an estimate of predicted fuel usage is presented; it includes air traffic forecasts and lead times for producing new engines and aircraft types. An air transportation model is then developed in terms of an abstracted set of variables which represent the entire aircraft industry on a macroscale. This model was evaluated by testing the required output variables from a model based on historical data over the past decades.

Ayati, M. B.↗
NASA NTRS2011

Samples from Differentiated Asteroids; Regolithic Achondrites

Differentiated and partially differentiated asteroids preserve a glimpse of planet formation frozen in time from the early solar system and thus are attractive targets for future exploration. Samples of such asteroids arrive to Earth in the form of achondrite meteorites. Many achondrites, particularly those thought to be most representative of asteroidal regolith, contain a diverse assortment of materials both indigenous and exogenous to the original igneous parent body intermixed at microscopic scales. Remote sensing spacecraft and landers would have difficulty deciphering individual components at these spatial scales, potentially leading to confusing results. Sample return would thus be much more informative than a robotic probe. In this and a companion abstract [1] we consider two regolithic achondrite types, howardites and (polymict) ureilites, in order to evaluate what materials might occur in samples returned from surfaces of differentiated asteroids and what sampling strategies might be prudent.

Herrin J. S.↗
NASA NTRS1989

A spatial operator algebra for manipulator modeling and control

A recently developed spatial operator algebra, useful for modeling, control, and trajectory design of manipulators is discussed. The elements of this algebra are linear operators whose domain and range spaces consist of forces, moments, velocities, and accelerations. The effect of these operators is equivalent to a spatial recursion along the span of a manipulator. Inversion of operators can be efficiently obtained via techniques of recursive filtering and smoothing. The operator algebra provides a high level framework for describing the dynamic and kinematic behavior of a manipulator and control and trajectory design algorithms. The interpretation of expressions within the algebraic framework leads to enhanced conceptual and physical understanding of manipulator dynamics and kinematics. Furthermore, implementable recursive algorithms can be immediately derived from the abstract operator expressions by inspection. Thus, the transition from an abstract problem formulation and solution to the detailed mechanizaton of specific algorithms is greatly simplified. The analytical formulation of the operator algebra, as well as its implementation in the Ada programming language are discussed.

Rodriguez, G.↗
NASA NTRS1997

Quiet Flow Characteristics of the NASA-Ames Laminar Flow Supersonic Wind Tunnel for Mach 1.6 Transition Studies

Low-disturbance or 'quiet' wind tunnels are an essential part of any meaningful boundary layer transition research. In particular, the receptivity of supersonic boundary layers to wind tunnel disturbances can significantly alter the transition phenomena under investigation on a test model. Consequently, considerable study has gone into the design of a new wind tunnel to provide quiet (low-disturbance) flow, encompassing both theoretical and experimental efforts. Our pilot (eighth-scale) supersonic wind tunnel was reported in 1992. NASA-Ames Fluid Mechanics Laboratory (FML) commissioned a quiet wind tunnel in 1994 to support Supersonic Laminar Flow Control (SLFC) research. Known as the Laminar Flow Supersonic Wind Tunnel (LFSWT), this tunnel is designed to operate at potential cruise Mach numbers and unit Reynolds numbers (Re) of the High Speed Civil Transport (HSCT). The need to better understand the transition phenomena on the leading edge region of swept (HSCT) wings provided the impetus for building the LFSWT. Additional information is contained in the original extended abstract.

Wolf, Stephen W. D.↗