SEARCH · Search NASA
Results for “Abstraction space”
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.
The Solar Cruiser Mission: Demonstrating Large Solar Sails for Deep Space Missions
No abstract available
NASA's SPoRT Center: Progress in Extending Terrestrial Weather R2O/O2R to Space Weather
No abstract available
A critical strategy: ensuring behavioral health during extended-duration space missions
No abstract available
The M9.0 Tohoku and M6.3 Christchurch Earthquakes: What We've Learned About the Capabilities and Limits of Space Geodesy
No abstract available
Design Challenges of Digital Radiator Technology for Future NASA Space Missions
No abstract available
Using the Decision Tree (DT) to Help Scientists Navigate the Access to Space (ATS) Options
Abstract – The Decision Tree (DT) is a tool that uses a tree-like model of decisions and their possible consequences, including outcomes, costs, schedule, risks, and performance. The paper applies the decision tree tool to the Access To Space (ATS) options to help scientists and small sat teams select the best approach that meets their ATS requirements. The ATS DT has three primary branches: rideshare, hosted payloads, and dedicated launch vehicles. Each of these branches has multiple sub-branches of ATS options. This paper describes the ATS options and provides industry contacts for each ATS option.
SCIENCE OF THE SOLAR SYSTEM- 1961 LITERATURE SURVEY, PART III - BOOK NOTES- A SELECTED LIST
Science of the solar system - abstracts, 1961
Bibliographies on Aerospace Science - A continuing bibliography with indexes, February 1965 - April 1966
Aerospace sciences and technology - including medicine and biology - bibliography with abstracts
Interactions of spacecraft and other moving bodies with natural plasmas
Moving spacecraft interactions with surrounding plasmas - bibliography with abstracts
Approximations of thermoelastic and viscoelastic control systems
Well-posed models and computational algorithms are developed and analyzed for control of a class of partial differential equations that describe the motions of thermo-viscoelastic structures. An abstract (state space) framework and a general well-posedness result are presented that can be applied to a large class of thermo-elastic and thermo-viscoelastic models. This state space framework is used in the development of a computational scheme to be used in the solution of a linear quadratic regulator (LQR) control problem. A detailed convergence proof is provided for the viscoelastic model and several numerical results are presented to illustrate the theory and to analyze problems for which the theory is incomplete.
Multiscale vector fields for image pattern recognition
A uniform processing framework for low-level vision computing in which a bank of spatial filters maps the image intensity structure at each pixel into an abstract feature space is proposed. Some properties of the filters and the feature space are described. Local orientation is measured by a vector sum in the feature space as follows: each filter's preferred orientation along with the strength of the filter's output determine the orientation and the length of a vector in the feature space; the vectors for all filters are summed to yield a resultant vector for a particular pixel and scale. The orientation of the resultant vector indicates the local orientation, and the magnitude of the vector indicates the strength of the local orientation preference. Limitations of the vector sum method are discussed. Investigations show that the processing framework provides a useful, redundant representation of image structure across orientation and scale.
Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor
Consider a network of four processors that use the Oral Messages (Byzantine Generals) Algorithm of Pease, Shostak, and Lamport to achieve agreement in the presence of faults. Bevier and Young have published a functional description of a single processor that, when interconnected appropriately with three identical others, implements this network under the assumption that the four processors step in synchrony. By formalizing the original Pease, et al work, Bevier and Young mechanically proved that such a network achieves fault tolerance. We develop, formalize, and discuss a hardware design that has been mechanically proven to implement their processor. In particular, we formally define mapping functions from the abstract state space of the Bevier-Young processor to a concrete state space of a hardware module and state a theorem that expresses the claim that the hardware correctly implements the processor. We briefly discuss the Brock-Hunt Formal Hardware Description Language which permits designs both to be proved correct with the Boyer-Moore theorem prover and to be expressed in a commercially supported hardware description language for additional electrical analysis and layout. We briefly describe our implementation.
High performance FORTRAN without templates: An alternative model for distribution and alignment
Language extensions of FORTRAN are being developed which permit the user to map data structures to the individual processors of distributed memory machines. These languages allow a programming style in which global data references are used. Current efforts are focussed on designing a common basis for such languages, the result of which is known as High Performance Fortran (HPF). One of the central debates in the HPF effort revolves around the concept of templates, introduced as an abstract index space to which data could be aligned. A model for the mapping of data which provides the functionality of High Performance Fortran distributions without the use of templates is presented.