Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “POINTERS”

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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2008

Proving Correctness for Pointer Programs in a Verifying Compiler

This research describes a component-based approach to proving the correctness of programs involving pointer behavior. The approach supports modular reasoning and is designed to be used within the larger context of a verifying compiler. The approach consists of two parts. When a system component requires the direct manipulation of pointer operations in its implementation, we implement it using a built-in component specifically designed to capture the functional and performance behavior of pointers. When a system component requires pointer behavior via a linked data structure, we ensure that the complexities of the pointer operations are encapsulated within the data structure and are hidden to the client component. In this way, programs that rely on pointers can be verified modularly, without requiring special rules for pointers. The ultimate objective of a verifying compiler is to prove-with as little human intervention as possible-that proposed program code is correct with respect to a full behavioral specification. Full verification for software is especially important for an agency like NASA that is routinely involved in the development of mission critical systems.

Kulczycki, Gregory↗
NASA NTRS1996

Thread Migration in the Presence of Pointers

Dynamic migration of lightweight threads supports both data locality and load balancing. However, migrating threads that contain pointers referencing data in both the stack and heap remains an open problem. In this paper we describe a technique by which threads with pointers referencing both stack and non-shared heap data can be migrated such that the pointers remain valid after migration. As a result, threads containing pointers can now be migrated between processors in a homogeneous distributed memory environment.

Cronk, David↗
NASA NTRS1980

X-ray beam pointer

Inexpensive, readily assembled pointer aims X-ray machine for welded assembly radiographs. Plumb bob used for vertical alinement and yardstick used to visualize X-ray paths were inconvenient and inaccurate. Pointer cuts alinement time by one-half and eliminates necessity of retakes. For 3,000 weld radiographs, pointer will save 300 worker-hours and significant materials costs.

Nelson, C. W.↗
NASA NTRS1994

SEQ-POINTER: Next generation, planetary spacecraft remote sensing science observation design tool

Since Mariner, NASA-JPL planetary missions have been supported by ground software to plan and design remote sensing science observations. The software used by the science and sequence designers to plan and design observations has evolved with mission and technological advances. The original program, PEGASIS (Mariners 4, 6, and 7), was re-engineered as POGASIS (Mariner 9, Viking, and Mariner 10), and again later as POINTER (Voyager and Galileo). Each of these programs were developed under technological, political, and fiscal constraints which limited their adaptability to other missions and spacecraft designs. Implementation of a multi-mission tool, SEQ POINTER, under the auspices of the JPL Multimission Operations Systems Office (MOSO) is in progress. This version has been designed to address the limitations experienced on previous versions as they were being adapted to a new mission and spacecraft. The tool has been modularly designed with subroutine interface structures to support interchangeable celestial body and spacecraft definition models. The computational and graphics modules have also been designed to interface with data collected from previous spacecraft, or on-going observations, which describe the surface of each target body. These enhancements make SEQ POINTER a candidate for low-cost mission usage, when a remote sensing science observation design capability is required. The current and planned capabilities of the tool will be discussed. The presentation will also include a 5-10 minute video presentation demonstrating the capabilities of a proto-Cassini Project version that was adapted to test the tool. The work described in this abstract was performed by the Jet Propulsion Laboratory, California Institute of Technology, under contract to the National Aeronautics and Space Administration.

Boyer, Jeffrey S.↗
NASA NTRS1998

SSRPT (SSR Pointer Trackeer) for Cassini Mission Operations - A Ground Data Analysis Tool

Tracking the resources of the two redundant Solid State Recorders (SSR) is a necessary routine for Cassini spacecraft mission operations. Instead of relying on a full-fledged spacecraft hardware/software simulator to track and predict the SSR recording and playback pointer positions, a stand-alone SSR Pointer Tracker tool was developed as part of JPL's Multimission Spacecraft Analysis system.

spacecraft ground analysis software↗
NASA NTRS1992

VIEWCACHE: An incremental pointer-based access method for autonomous interoperable databases

One of biggest problems facing NASA today is to provide scientists efficient access to a large number of distributed databases. Our pointer-based incremental database access method, VIEWCACHE, provides such an interface for accessing distributed data sets and directories. VIEWCACHE allows database browsing and search performing inter-database cross-referencing with no actual data movement between database sites. This organization and processing is especially suitable for managing Astrophysics databases which are physically distributed all over the world. Once the search is complete, the set of collected pointers pointing to the desired data are cached. VIEWCACHE includes spatial access methods for accessing image data sets, which provide much easier query formulation by referring directly to the image and very efficient search for objects contained within a two-dimensional window. We will develop and optimize a VIEWCACHE External Gateway Access to database management systems to facilitate distributed database search.

Roussopoulos, N.↗
NASA NTRS1994

POINTER: Portable Intelligent Trainer for External Robotics

Intelligent tutoring systems (ITS's) play an increasing role in training and education of people with different levels of skill and knowledge. As compared to conventional computer based training (CBT) an ITS provides more tailored instruction by trying to mimic the teaching behavior of a human instructor as much as possible and is therefore much more flexible. This paper starts with an introduction to ITS's, followed by the description of an ITS for training of an (astronaut) operator in monitoring and controlling robotic arm procedures. The robotic arm will be used for exchange of equipment between a space station and a space plane involving critical and accurate movements of the robotic arm. The ITS for this application, called Pointer, is developed by TNO Physics and Electronics Laboratory and is based upon an existing ITS that includes procedural training. Pointer has been developed on a workstation whereas the target platform was a portable computer. Therefore, a lot of attention had to be paid to scaling effects and keeping up with user friendliness of the much smaller user interface. Although the learning domain was the control of a robotic arm, it is clear that use of intelligent training technologies on a portable computer has many other applications (payload operations, operation control rooms, etc.). Training can occur at any time and place in an attractive and cost effective way.

Kuiper, Hilbert↗
NASA NTRS1993

VIEWCACHE: An incremental pointer-based access method for autonomous interoperable databases

One of the biggest problems facing NASA today is to provide scientists efficient access to a large number of distributed databases. Our pointer-based incremental data base access method, VIEWCACHE, provides such an interface for accessing distributed datasets and directories. VIEWCACHE allows database browsing and search performing inter-database cross-referencing with no actual data movement between database sites. This organization and processing is especially suitable for managing Astrophysics databases which are physically distributed all over the world. Once the search is complete, the set of collected pointers pointing to the desired data are cached. VIEWCACHE includes spatial access methods for accessing image datasets, which provide much easier query formulation by referring directly to the image and very efficient search for objects contained within a two-dimensional window. We will develop and optimize a VIEWCACHE External Gateway Access to database management systems to facilitate database search.

Roussopoulos, N.↗
NASA NTRS1994

(abstract) SEQ_POINTER: Next Generation, Planetary Spacecraft Remote Sensing Science Observation Design Tool

Implementation of a multimission tool, SEQ_POINTER, under the auspices of the JPL Multimission Operations Systems Office (MOSO) is in progress. This version has been designed to address the limitations experienced on previous versions when being adopted to a new mission and spacecraft. The tool has been modularly designed with subroutine interface structures to support interchangeable celestial body and spacecraft definition models. The computational and graphics modules have also been designed to interface with data collected from previous spacecraft, or on-going observations, which describe the surface of each target body. These enhancements make SEQ_POINTER a candidate for low-cost mission usage, when a remote sensing science observation design capability is required.

remote↗
NASA NTRS2004

A Scalable Nonuniform Pointer Analysis for Embedded Program

In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and elements of arrays. The main contribution consists of an efficient yet precise algorithm that can handle multithreaded programs. We first perform an inexpensive flow-sensitive analysis of each function in the program that generates semantic equations describing the effect of the function on the memory graph. These equations bear numerical constraints that describe nonuniform points-to relationships. We then iteratively solve these equations in order to obtain an abstract storage graph that describes the shape of data structures at every point of the program for all possible thread interleavings. We bring experimental evidence that this approach is tractable and precise for real-size embedded applications.

Venet, Arnaud↗
NASA NTRS2006

Demonstration of a Balloon Borne Arc-Second Pointer Design

Many designs for utilizing stratospheric balloons as low-cost platforms on which to conduct space science experiments have been proposed throughout the years. A major hurdle in extending the range of experiments for which these vehicles are useful has been the imposition of the gondola dynamics on the accuracy with which an instrument can be kept pointed at a celestial target. A significant number of scientists have sought the ability to point their instruments with jitter in the arc-second range. This paper presents the design and analysis of a stratospheric balloon borne pointing system that is able to meet this requirement. The test results of a demonstration prototype of the design with similar ability are also presented. Discussion of a high fidelity controller simulation for design analysis is presented. The flexibility of the flight train is represented through generalized modal analysis. A multiple controller scheme is utilized for coarse and fine pointing. Coarse azimuth pointing is accomplished by an established pointing system, with extensive flight history, residing above the gondola structure. A pitch-yaw gimbal mount is used for fine pointing, providing orthogonal axes when nominally on target. Fine pointing actuation is from direct drive dc motors, eliminating backlash problems. An analysis of friction nonlinearities and a demonstration of the necessity in eliminating static friction are provided. A unique bearing hub design is introduced that eliminates static friction from the system dynamics. A control scheme involving linear accelerometers for enhanced disturbance rejection is also presented. Results from a linear analysis of the total system and the high fidelity simulation are given. Results from a generalized demonstration prototype are presented. Commercial off-the-shelf (COTS) hardware was used to demonstrate the efficacy and performance of the pointer design for a mock instrument. Sub-arcsecond pointing ability from a ground hang test setup is shown from the testing results. This paper establishes that the proposed control strategy can be made robustly stable with significant design margins. Also demonstrated is the efficacy of the proposed system in rejecting disturbances larger than those considered realistic. The system is implemented and demonstrates sub arc second pointing ability using COTS hardware. Finally, we see that sub arc-second pointing stability can be achieved for a large instrument pointing at an inertial target.

DeWeese, Keith D.↗
NASA NTRS2007

Advanced Reference Counting Pointers for Better Performance

A computer program implements reference counting pointers (RCPs) that are lock-free, thread-safe, async-safe, and operational on a multiprocessor computer. RCPs are powerful and convenient means of managing heap memory in C++ software. Most prior RCP programs use locks to ensure thread safety and manage concurrency. The present program was developed in a continuing effort to explore ways of using the C++ programming language to develop safety-critical and mission- critical software. This effort includes exploration of lock-free algorithms because they offer potential to avoid some costly and difficult verification problems. Unlike previously published RCP software, the present program does not use locks (meaning that no thread can block progress on another thread): Instead, this program implements algorithms that exploit capabilities of central-processing- unit hardware so as to avoid locks. Once locks are eliminated, it becomes possible to realize the other attributes mentioned in the first sentence. In addition to the abovementioned attributes, this program offers several advantages over other RCP programs that use locks: It is smaller (and, hence, is faster and uses less memory), it is immune to priority inversion, and there is no way for it to cause a C++ exception.

Reinholtz, William↗
NASA NTRS1997

Pointer Adaptation and Pruning of Min-Max Fuzzy Inference and Estimation

A new technique for adaptation of fuzzy membership functions in a fuzzy inference system is proposed. The pointer technique relies upon the isolation of the specific membership functions that contributed to the final decision, followed by the updating of these functions' parameters using steepset descent.

Fuzzy↗