SEARCH · Search NASA
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.
Variance control in weak-value measurement pointers
The variance of an arbitrary pointer observable is considered for the general case that a complex weak value is measured using a complex valued pointer state. For the typical cases where the pointer observable is either its position or momentum, the associated expressions for the pointer's variance after the measurement contain a term proportional to the product of the weak value's imaginary part with the rate of change of the third central moment of position relative to the initial pointer state just prior to the time of the measurement interaction when position is the observable--or with the initial pointer state's third central moment of momentum when momentum is the observable. These terms provide a means for controlling pointer position and momentum variance and identify control conditions which, when satisfied, can yield variances that are smaller after the measurement than they were before the measurement. Measurement sensitivities which are useful for estimating weak-value measurement accuracies are also briefly discussed.
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.
The POINTER Imaging baseline cohort: Associations between multimodal neuroimaging biomarkers, cardiovascular health, and cognition
Abstract INTRODUCTION The U.S. Study to Protect Brain Health Through Lifestyle Intervention to Reduce Risk (U.S. POINTER) is evaluating lifestyle interventions in older adults at risk for cognitive decline and dementia. Here we characterize the baseline data set of the POINTER Imaging ancillary study. METHODS Participants underwent health and cognitive assessments and neuroimaging with multimodal positron emission tomography (PET) (beta‐amyloid [Aβ] and tau) and magnetic resonance imaging (MRI). Framingham risk score (FRS) was used to quantify cardiovascular disease (CVD) risk. RESULTS A total of 1052 participants (31% from underrepresented ethnoracial groups) were enrolled. Compared to Aβ−, Aβ+ (29%) participants were older, had higher apolipoprotein E (APOE) ε4 carriage rate and white matter hyperintensity volume, and greater temporal tau. FRS was related to MRI measures, but not AD biomarkers. FRS and tau had independent effects on cognition. DISCUSSION In this heterogenous, at‐risk cohort, CVD risk was related to more abnormal brain structure and poorer cognition, representing a putative non‐AD (Alzheimer's disease) pathway to brain injury and cognitive decline. Highlights The U.S. Study to Protect Brain Health Through Lifestyle Intervention to Reduce Risk (U.S. POINTER) cohort is enriched for cardiovascular disease (CVD) and poor lifestyle POINTER Imaging collected multimodal neuroimaging data in this unique, at‐risk cohort Amyloid burden was related to age, apolipoprotein E (APOE) ε4 carriage, and measures of disease progression Associations between amyloid and tau, and tau and cognition, were relatively weak CVD risk and tau pathology were independently related to memory
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.
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.
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.
System and method for efficient pointer chasing
Described is a system and method for efficient pointer chasing in systems having a single memory node or a network of memory nodes. In particular, a pointer chasing command is sent along with a memory request by an issuing node to a memory node. The pointer chasing command indicates the number of interdependent memory accesses and information needed for the identified interdependent memory accesses. An address computing unit associated with the memory node determines the relevant memory address for an interdependent memory access absent further interaction with the issuing node or without having to return to the issuing node.
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.
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.
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.
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.
(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.
Pointer States and Quantum Darwinism with Two-Body Interactions
Quantum Darwinism explains the emergence of classical objectivity within a quantum universe. However, to date, most research on quantum Darwinism has focused on specific models and their stationary properties. To further our understanding of the quantum-to-classical transition, it appears desirable to identify the general criteria a Hamiltonian has to fulfill to support classical reality. To this end, we categorize all N-qubit models with two-body interactions, and show that only those with separable interaction of the system and environment can support a pointer basis. We further demonstrate that “perfect” quantum Darwinism can only emerge if there are no intra-environmental interactions. Our analysis is complemented by solving the ensuing dynamics. We find that in systems exhibiting information scrambling, the dynamical emergence of classical objectivity directly competes with the non-local spread of quantum correlations. Our rigorous findings are illustrated through the numerical analysis of four representative models.
Zero Standby Solutions with Optical Energy Harvesting from a Laser Pointer
Despite recent efforts to reduce standby power consumption in plug loads, new trends in the miniaturization and wide distribution of electronics necessitates devices with zero standby consumption. This work introduces two zero standby solutions that wake a device using an external input of energy harvested from a 5 mW laser pointer. These solutions are applicable to electronics that are remotely activated or have a fiber optic connection. The first utilizes a cascoded header switch to allow for simultaneous low-voltage harvesting and high-voltage blocking. The second involves the use of a charge pump to boost the harvested voltage to a level appropriate for the gate of a high-voltage switch. Prototypes for each method are developed in order to demonstrate functionality and identify the associated benefits and drawbacks. The results show that combining the two methods allows for optimal activation range (up to 25 m) and component count.
Evaluation of cross-pointer-type instrument display in landing approaches with a helicopter
Cross-pointer-type instrument display in landing approach tests with helicopter
Pointers, Lessons Learned, and Rules of Thumb for Successful Vibro-Acoustic Data Acquisition
This presentation contains helpful pointers for successful vibroacoustic data acquisition in the following three areas: Instrumentation, Vibration Control and Pyro-shock data acquisition and analysis. A helpful bibliography is provided.
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.