Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “High-level”

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 307 records · Page 17

Adaptation of a Control Center Development Environment for Industrial Process Control

In the control center, raw telemetry data is received for storage, display, and analysis. This raw data must be combined and manipulated in various ways by mathematical computations to facilitate analysis, provide diversified fault detection mechanisms, and enhance display readability. A development tool called the Graphical Computation Builder (GCB) has been implemented which provides flight controllers with the capability to implement computations for use in the control center. The GCB provides a language that contains both general programming constructs and language elements specifically tailored for the control center environment. The GCB concept allows staff who are not skilled in computer programming to author and maintain computer programs. The GCB user is isolated from the details of external subsystem interfaces and has access to high-level functions such as matrix operators, trigonometric functions, and unit conversion macros. The GCB provides a high level of feedback during computation development that improves upon the often cryptic errors produced by computer language compilers. An equivalent need can be identified in the industrial data acquisition and process control domain: that of an integrated graphical development tool tailored to the application to hide the operating system, computer language, and data acquisition interface details. The GCB features a modular design which makes it suitable for technology transfer without significant rework. Control center-specific language elements can be replaced by elements specific to industrial process control.

Killough, Ronnie L.↗

Inductive Approaches to Improving Diagnosis and Design for Diagnosability

The first research area under this grant addresses the problem of classifying time series according to their morphological features in the time domain. A supervised learning system called CALCHAS, which induces a classification procedure for signatures from preclassified examples, was developed. For each of several signature classes, the system infers a model that captures the class's morphological features using Bayesian model induction and the minimum message length approach to assign priors. After induction, a time series (signature) is classified in one of the classes when there is enough evidence to support that decision. Time series with sufficiently novel features, belonging to classes not present in the training set, are recognized as such. A second area of research assumes two sources of information about a system: a model or domain theory that encodes aspects of the system under study and data from actual system operations over time. A model, when it exists, represents strong prior expectations about how a system will perform. Our work with a diagnostic model of the RCS (Reaction Control System) of the Space Shuttle motivated the development of SIG, a system which combines information from a model (or domain theory) and data. As it tracks RCS behavior, the model computes quantitative and qualitative values. Induction is then performed over the data represented by both the 'raw' features and the model-computed high-level features. Finally, work on clustering for operating mode discovery motivated some important extensions to the clustering strategy we had used. One modification appends an iterative optimization technique onto the clustering system; this optimization strategy appears to be novel in the clustering literature. A second modification improves the noise tolerance of the clustering system. In particular, we adapt resampling-based pruning strategies used by supervised learning systems to the task of simplifying hierarchical clusterings, thus making post-clustering analysis easier.

Fisher, Douglas H.↗

A data reduction, management, and analysis system for a 10-terabyte data set

Within 12 months a 5-year space-based research investigation with an estimated daily data volume of 10 to 15 gigabytes will be launched. Our instrument/analysis team will analyze 2 to 8 gigabytes per day from this mission. Most of these data will be spatial and multispectral collected from nine sensors covering the UV/Visible/NlR spectrum. The volume and diversity of these data and the nature of its analysis require a very robust reduction and management system. This paper is a summary of the systems requirements and a high-level description of a solution. The paper is intended as a case study of the problems and potential solutions faced by the new generation of Earth observation data support systems.

DeMajistre, R.↗

Performance Evaluation of Communication Software Systems for Distributed Computing

In recent years there has been an increasing interest in object-oriented distributed computing since it is better quipped to deal with complex systems while providing extensibility, maintainability, and reusability. At the same time, several new high-speed network technologies have emerged for local and wide area networks. However, the performance of networking software is not improving as fast as the networking hardware and the workstation microprocessors. This paper gives an overview and evaluates the performance of the Common Object Request Broker Architecture (CORBA) standard in a distributed computing environment at NASA Ames Research Center. The environment consists of two testbeds of SGI workstations connected by four networks: Ethernet, FDDI, HiPPI, and ATM. The performance results for three communication software systems are presented, analyzed and compared. These systems are: BSD socket programming interface, IONA's Orbix, an implementation of the CORBA specification, and the PVM message passing library. The results show that high-level communication interfaces, such as CORBA and PVM, can achieve reasonable performance under certain conditions.

Fatoohi, Rod↗

Flexibility and Performance of Parallel File Systems

As we gain experience with parallel file systems, it becomes increasingly clear that a single solution does not suit all applications. For example, it appears to be impossible to find a single appropriate interface, caching policy, file structure, or disk-management strategy. Furthermore, the proliferation of file-system interfaces and abstractions make applications difficult to port. We propose that the traditional functionality of parallel file systems be separated into two components: a fixed core that is standard on all platforms, encapsulating only primitive abstractions and interfaces, and a set of high-level libraries to provide a variety of abstractions and application-programmer interfaces (API's). We present our current and next-generation file systems as examples of this structure. Their features, such as a three-dimensional file structure, strided read and write interfaces, and I/O-node programs, are specifically designed with the flexibility and performance necessary to support a wide range of applications.

Kotz, David↗

Intermediate Levels of Autonomy within the SSM/PMAD Breadboard

The Space Station Module Power Management and Distribution (SSM/PMAD) bread-board is a test bed for the development of advanced power system control and automation. Software control in the SSM/PMAD breadboard is through co-operating systems, called Autonomous Agents. Agents can be a mixture of algorithmic software and expert systems. The early SSM/PMAD system was envisioned as being completely autonomous. It soon became apparent, though, that there would always be a need for human intervention, at least as long as a human interacts with the system in any way. In a system designed only for autonomous operation, manual intervention meant taking full control of the whole system, and loosing whatever expertise was in the system. Several methods for allowing humans to interact at an appropriate level of control were developed. This paper examines some of these intermediate modes of autonomy. The least humanly intrusive mode is simple monitoring. The ability to modify future behavior by altering a schedule involves high-level interaction. Modification of operating activities comes next. The coarsest mode of control is individual, unplanned operation of individual Power System components. Each of these levels is integrated into the SSM/PMAD breadboard, with support for the user (such as warnings of the consequences of control decisions) at every level.

Dugal-Whitehead, Norma R.↗

On the Retrieval and Analysis of Multilevel Clouds

An accurate satellite retrieval of cloud properties depends upon the detection and analysis of multilayered, overlapping cloud systems that surface observations show to be common. Multiple cloud layers are often found, for instance, in frontal situations, where cirrus overlays boundary layer convective cloud or low-to mid-level stratus cloud. Surface observers (Hahan et al., 1982) indicate that over ocean in the Northern Hemisphere between 30 deg. N and 60 deg. N, 51 percent of observations are of multilevel clouds. A satellite analysis by Coakley (1983) over the Pacific Ocean finds that more than 50 percent of 500 (250 sq km) frames exhibit evidence of multilayered cloud systems. The questions addressed in this study are the following: What error is introduced when inferring the cloud pressure from a Field-Of-View (FOV) that contains some arbitrary amount of transparent cloud overlaying a lower-level black cloud, such as stratus, by making the assumption that there is only a single cloud layer in the FOV, and what may be done to improve the cloud retrieval? The CO2 slicing methods (e.g. McCleese and Wilson, 1976; Smith and Platt, 1978; Chahine, 1974) have been shown to provide accurate means of inferring cirrus cloud altitude from passive infrared radiance measurements. The CO2 techniques have been applied to radiometric data from several instruments, notably the High Resolution Infrared Radiometric Sounder (HIRS/2, hereafter referred to as HIRS), the VISSR Atmospheric Sounder (VAS) (e.g., Menzel et al., 1983; Wylie and Menzel, 1989), and most recently to the High Resolution Interferometer Sounder (HIS) (Smith and Frey, 1990). The methods take advantage of the fact that infrared CO2 sounding channels spaced closely in wavenumber each have varying opacity to CO2, thereby causing each channel to be sensitive to a different level in the atmosphere. The techniques have been shown to be effective for single-layered, nonblack, mid- to high-level clouds such as cirrus, but are generally applied operationally to any given cloud occurrence. The CO2 slicing algorithms are most accurate for clouds than occur in a single, well-defined layer, or for multi-layered cloud cases in which the uppermost cloud layer is nearly black. Significant cloud height retrieval errors may ensue if the HIRS Field-Of-View (FOV) is cotaminated with low cloud. McCleese and Wilson (1976) have shown that the retrieved cloud height for the case of multiple cloud layers is a weighted average of the cloud heights actually present. The weight is approximately proportional to the product of the cloud heigt and the effective cloud amount. The effect of their result is that the uppermost cloud layer dominates the cloud pressure retrieval. Beyond stating that the higher cloud dominates the cloud pressure retrieval, there is no quantitative information to provide a way of estimating the errors in cloud pressure retrieval one should expect for certain common multilevel cloud situations or any suggestions on how to reduce the errors. In this paper we estimate the magnitude of the errors and use a simple algorithm to reduce the errors in optically thin cloud height retrival.

Baum, Bryan A.↗

Experiments in Nonlinear Adaptive Control of Multi-Manipulator, Free-Flying Space Robots

Sophisticated robots can greatly enhance the role of humans in space by relieving astronauts of low level, tedious assembly and maintenance chores and allowing them to concentrate on higher level tasks. Robots and astronauts can work together efficiently, as a team; but the robot must be capable of accomplishing complex operations and yet be easy to use. Multiple cooperating manipulators are essential to dexterity and can broaden greatly the types of activities the robot can achieve; adding adaptive control can ease greatly robot usage by allowing the robot to change its own controller actions, without human intervention, in response to changes in its environment. Previous work in the Aerospace Robotics Laboratory (ARL) have shown the usefulness of a space robot with cooperating manipulators. The research presented in this dissertation extends that work by adding adaptive control. To help achieve this high level of robot sophistication, this research made several advances to the field of nonlinear adaptive control of robotic systems. A nonlinear adaptive control algorithm developed originally for control of robots, but requiring joint positions as inputs, was extended here to handle the much more general case of manipulator endpoint-position commands. A new system modelling technique, called system concatenation was developed to simplify the generation of a system model for complicated systems, such as a free-flying multiple-manipulator robot system. Finally, the task-space concept was introduced wherein the operator's inputs specify only the robot's task. The robot's subsequent autonomous performance of each task still involves, of course, endpoint positions and joint configurations as subsets. The combination of these developments resulted in a new adaptive control framework that is capable of continuously providing full adaptation capability to the complex space-robot system in all modes of operation. The new adaptive control algorithm easily handles free-flying systems with multiple, interacting manipulators, and extends naturally to even larger systems. The new adaptive controller was experimentally demonstrated on an ideal testbed in the ARL-A first-ever experimental model of a multi-manipulator, free-flying space robot that is capable of capturing and manipulating free-floating objects without requiring human assistance. A graphical user interface enhanced the robot usability: it enabled an operator situated at a remote location to issue high-level task description commands to the robot, and to monitor robot activities as it then carried out each assignment autonomously.

Chen, Vincent Wei-Kang↗

Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems: A Practitioner's Companion - Volume 2

This guidebook, the second of a two-volume series, is intended to facilitate the transfer of formal methods to the avionics and aerospace community. The 1st volume concentrates on administrative and planning issues [NASA-95a], and the second volume focuses on the technical issues involved in applying formal methods to avionics and aerospace software systems. Hereafter, the term "guidebook" refers exclusively to the second volume of the series. The title of this second volume, A Practitioner's Companion, conveys its intent. The guidebook is written primarily for the nonexpert and requires little or no prior experience with formal methods techniques and tools. However, it does attempt to distill some of the more subtle ingredients in the productive application of formal methods. To the extent that it succeeds, those conversant with formal methods will also nd the guidebook useful. The discussion is illustrated through the development of a realistic example, relevant fragments of which appear in each chapter. The guidebook focuses primarily on the use of formal methods for analysis of requirements and high-level design, the stages at which formal methods have been most productively applied. Although much of the discussion applies to low-level design and implementation, the guidebook does not discuss issues involved in the later life cycle application of formal methods.

Source record↗

Considerations for Multiprocessor Topologies

Choosing a multiprocessor interconnection topology may depend on high-level considerations, such as the intended application domain and the expected number of processors. It certainly depends on low-level implementation details, such as packaging and communications protocols. The authors first use rough measures of cost and performance to characterize several topologies. They then examine how implementation details can affect the realizable performance of a topology.

INTERPROCESSOR COMMUNICATION↗

Approaches to the Successful Design and Implementation of VR Applications

The successful design of virtual reality applications involves both "top-down" and "bottom-up" strategies. This talk will broadly outline these strategies: how bottom-up strategies are driven primarily by performance considerations; and how top-down strategies are driven primarily by the application task, the interaction metaphors, and the integration of the virtual environment. How to ensure these two approaches "meet in the middle" through Iterative design processes will be stressed. The discussion will be motivated by examples of both success and failure. The talk contains information bryson presented at SIGGRAPH '93 and Visualization '93, and is a high-level discussion of design principles for virtual reality. There will be essentially no discussion of virtual wind tunnel specific issues or any other matters relating to aerospace, the tutorial is a repeat of the tutorial Bryson and Steve Feiner presented at Visualization '93 In October 1993 in San Jose, CA, and will cite the virtual windtunnel only as an example.

Bryson, Steve↗

A Comparison of Correlation-Consistent and Pople-Type Basis Sets

Correlation-consistent basis sets are compared with Pople-type basis sets for the calculation of atomization energies using the G2(B3LYP/MP2/CC) approach. Without a higher-level correction, the smallest errors are found for the augmented- correlation-consistent polarized valence triple zeta plus tight d basis sets. However, after inclusion of a higher-level correction, the combination of the 6-311G** basis set for the high-level correlation treatment and 6-311+G(3df,2p) for the MP2 step yields the best results. At the spin-unrestricted CCSD(T) level and for the basis set considered in this work, the G2(B3LYP/MP2/CC) approach works better than the PCIX approach for the atomization energies of the 55 G2 molecules.

Bauschlicher, Charles W., Jr.↗

A Visual Database System for Image Analysis on Parallel Computers and its Application to the EOS Amazon Project

The goal of this task was to create a design and prototype implementation of a database environment that is particular suited for handling the image, vision and scientific data associated with the NASA's EOC Amazon project. The focus was on a data model and query facilities that are designed to execute efficiently on parallel computers. A key feature of the environment is an interface which allows a scientist to specify high-level directives about how query execution should occur.

Shapiro, Linda G.↗

New calculations on the ion-molecule processes C2H2(+) + H2 --> C2H3(+) + H and C2H2(+) + H2 --> C2H4+

New high-level quantum chemical calculations have been undertaken to understand the rates and mechanisms of the reactive and associative channels for the reactants C2H2(+) + H2. The reactive channel, which produces C2H3(+) + H, has been shown to be slightly endothermic, confirming earlier calculations at a somewhat lower level and in agreement with some recent experimental work. The associative channel, leading to C2H4+, has been shown to proceed via a transition state with negative energy relative to the reactants, so that association is predicted to be efficient. This result is in conflict with an earlier theoretical study but in agreement with low-temperature experimental measurements.

NASA Discipline Exobiology↗

Design Strategy for a Formally Verified Reliable Computing Platform

This paper presents a high-level design for a reliable computing platform for real-time control applications. The design tradeoffs and analyses related to the development of a formally verified reliable computing platform are discussed. The design strategy advocated in this paper requires the use of techniques that can be completely characterized mathematically as opposed to more powerful or more flexible algorithms whose performance properties can only be analyzed by simulation and testing. The need for accurate reliability models that can be related to the behavior models is also stressed. Tradeoffs between reliability and voting complexity are explored. In particular, the transient recovery properties of the system are found to be fundamental to both the reliability analysis as well as the "correctness" models.

Butler, Ricky W.↗

Using AI Planning Techniques to Automatically Generate Image Processing Procedures: A Preliminary Report

This paper describes work on the Multimission VICAR Planner (MVP) system to automatically construct executable image processing procedures for custom image processing requests for the JPL Multimission Image Processing Lab (MIPL). This paper focuses on two issues. First, large search spaces caused by complex plans required the use of hand encoded control information. In order to address this in a manner similar to that used by human experts, MVP uses a decomposition-based planner to implement hierarchical/skeletal planning at the higher level and then uses a classical operator based planner to solve subproblems in contexts defined by the high-level decomposition.

Laboratory MIPL VICAR artificial intelligence AI↗

COAST:The Controller's Assistant

COAST, the Controller's Assistant, is a semi-automated player of the CBS wargave training simulation. It uses rule-based techniques to maneuver a collection of platoons through a complex infiltration mission in response to a single high-level order from a CBS controller.

Game Controller semi-automated player↗

Ancillary Data Services of NASA's Planetary Data System

JPL's Navigation and Ancillary Information Facility (NAIF) has primary responsibility for design and implementation of the SPICE ancillary information system, supporting a wide range of space science mission design, observation planning and data analysis functions/activities. NAIF also serves as the geometry and ancillary data node of the Planetary Data System (PDS). As part of the PDS, NAIF archives SPICE and other ancillary data produced by flight projects. NAIF then distributes these data, and associated data access software and high-level tools, to researchers funded by NASA's Office of Space Science. Support for a broader user community is also offered to the extent resources permit. This paper describes the SPICE system and customer support offered by NAIF.

Navigation and Ancillary Information Facility NAIF↗