Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Pathfinder”

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 1,045 records · Page 58

High Resolution X-ray Imaging

NAG5-5020 covered a period of 7.5 years during which a great deal of progress was made in x-ray optical techniques under this grant. We survived peer review numerous times during the effort to keep the grant going. In 1994, when the grant started we were actively pursuing the application of spherical mirrors to improving x-ray telescopes. We had found that x-ray detectors were becoming rapidly more sophisticated and affordable, but that x-ray telescopes were only being improved through the intense application of money within the AXAF program. Clearly new techniques for the future were needed. We were successful in developing and testing at the HELSTF facility in New Mexico a four reflection coma-corrected telescope made from spheres. We were able to demonstrate 0.3 arcsecond resolution, almost to the diffraction limit of the system. The community as a whole was, at that time, not particularly interested in looking past AXAF (Chandra) and the effort needed to evolve. Since we had reached the diffraction limit using non-Wolter optics we then decided to see if we could build an x-ray interferometer in the laboratory. In the lab the potential for improved resolution was substantial. If synthetic aperture telescopes could be built in space, then orders of magnitude improvement would become feasible. In 1998 NASA, under the direction of Dr Nick White of Goddard, started a study to assess the potential and feasibility of x-ray interferometry in space. My work became of central interest to the committee because it indicated that such was possible. In early 1999 we had the breakthrough that allowed us build a practical interferometer. By using flats and hooking up with the Marshall Space Flight Center facilities we were able to demonstrate fringes at 1.25keV on a one millimeter baseline. This actual laboratory demonstration provided the solid proof of concept that NASA needed. As the year progressed the future of x-ray astronomy jelled around the Maxim program. Maxim is a set of two major x-ray astronomy missions based on the concepts I developed and demonstrated under this SR&T grant. The first Maxim is to image the sky at 100 micro-arcsecond resolution. That is one thousand times higher resolution than Hubble. The full Maxim has the ultimate goal of imaging the event horizon of a black hole in an active galactic nucleus (ALAN). This will require 0.1 micro-arcsecond resolution - one million times higher than Hubble! Nonetheless, using the techniques developed under this grant, it has become possible. Maxim Pathfinder is now in the NASA planning for a new start in approximately 20 10. The full Maxim is carried as a vision mission for the post 2015 timeframe. Finally, this grant is the evolved version of the SR&T grant we carried during the 1980s and up to 1994. At that point in time this grant was also working on x-ray optics, but concentrating on x-ray spectroscopy. The techniques developed by 1990 were not chosen for use on Chandra or XMM-Newton because they were too new. During the last year, however, the Constellation-X mission recognized the need for better spectroscopy techniques and tapped our expertise. We were able to support the initial work on Con-X through this program. It now appears that the off-plane mount will be used in Con-X, increasing performance and decreasing cost and risk.

Cash, Webster↗

Testing Planetary Rovers: Technologies, Perspectives, and Lessons Learned

Rovers are a vital component of NASA's strategy for manned and unmanned exploration of space. For the past five years, the Intelligent Mechanisms Group at the NASA Ames Research Center has conducted a vigorous program of field testing of rovers from both technology and science team productivity perspective. In this talk, I will give an overview of the the last two years of the test program, focusing on tests conducted in the Painted Desert of Arizona, the Atacama desert in Chile, and on IMG participation in the Mars Pathfinder mission. An overview of autonomy, manipulation, and user interface technologies developed in response to these missions will be presented, and lesson's learned in these missions and their impact on future flight missions will be presented. I will close with some perspectives on how the testing program has affected current rover systems.

Thomas, Hans↗

Under Attack

Diversified High Technologies, Inc. (DHT) has supported the Avionics Software Development Environment Pathfinder (ASDEP) program throughout its phases. For the first two years, DHT operated as the technology facilitator providing technical coordination between vendors, contractors, and NASA. This evolved to hands-on technical support such as systems installation, upgrades, and integration. DHT has recently been providing support in secure technology migration path planning and the incorporation of new security technologies in response to evolving program requirements.

Source record↗

Visualizing Progress

Reality Capture Technologies, Inc. is a spinoff company from Ames Research Center. Offering e-business solutions for optimizing management, design and production processes, RCT uses visual collaboration environments (VCEs) such as those used to prepare the Mars Pathfinder mission.The product, 4-D Reality Framework, allows multiple users from different locations to manage and share data. The insurance industry is one targeted commercial application for this technology.

Source record↗

When My Name Suddenly Was "Murphy"

The author recounts how he was named the Launch Vehicle Manager for the Mars Pathfinder mission, after his project manager suffered a heart attack shortly before launch. He explains that he was prepared for the sudden responsibilities, since his project manager required that he learn many new skills.

Mitchell, David↗

Autonomous Rovers for Mars Exploration

Rovers will play a critical role in the exploration of Mars. Near-term mission plans call for long traverses over unknown terrain, robust navigation and instrument placement, and reliable operations for extended periods of time. Longer-term missions may visit multiple science sites in a single day and perform opportunistic science data collection, as well as complex scouting, construction, and maintenance tasks in preparation for an eventual human presence. The Pathfinder mission demonstrated the potential for robotic Mars exploration but at the same time indicated the need for more rover autonomy. The highly ground-intensive control with infrequent communication and high latency limited the effectiveness of the Sojourner rover. When failures occurred, Sojourner often sat idle for extended periods of time, awaiting further commands from earth. In future missions, the tasks will be more complex and extended; hence there will be even more situations where things do not go exactly as planned. Significant advances in rover autonomy are needed to cope with increasing task complexity and greater execution uncertainty. Towards this end, we have designed an on-board executive architecture that incorporates robust operation, resource utilization, and failure recovery. In addition, we have designed ground tools to produce and refine contingent schedules that take advantage of the on-board architecture's flexible execution characteristics. Together, the on-board executive and the ground tools constitute an integrated rover autonomy architecture. This work draws from our experience with the Deep Space One autonomy experiment, with enhancements to ensure robust operation in the face of the unpredictable, complex environment that the rover will encounter on Mars. The rover autonomy architecture is currently being developed and deployed on the Marsokhod rover platform at NASA Ames Research Center. The capabilities of the rover autonomy architecture to support autonomous operations will be demonstrated concretely in upcoming field tests.

Anderson, Corin↗

Mars Radar Observations with the Goldstone Solar System Radar

The Goldstone Solar System Radar (GSSR) has successfully collected radar echo data from Mars over the past 30 years. As such, the GSSR has played a role as a specific mission element within Mars exploration. The older data provided local elevation information for Mars, along with radar scattering information with global resolution. Since the upgrade to the 70-m Deep Space Network (DSN) antenna at Goldstone completed in 1986, Mars data has been collected during all but the 1997 Mars opposition. Radar data, and non-imaging delay-Doppler data in particular, requires significant data processing to extract elevation, reflectivity and roughness of the reflecting surface. The spatial resolution of these experiments is typically some 20 km in longitude by some 150 km in latitude. The interpretation of these parameters while limited by the complexities of electromagnetic scattering, do provide information directly relevant to geophysical and geomorphic analyses of Mars. The usefulness of radar data for Mars exploration has been demonstrated in the past. Radar data were critical in assessing the Viking Lander 1 site as well as, more recently, the Pathfinder landing site. In general, radar data have not been available to the Mars exploration community at large. A project funded initially by the Mars Exploration Directorate Science Office at the Jet Propulsion Laboratory (JPL), and later funded by NASA's Mars Data Analysis Program has reprocessed to a common format a decade's worth of raw GSSR Mars delay-Doppler data in aid of landing site characterization for the Mars Program. These data will soon be submitted to the Planetary Data System (PDS). The radar data used were obtained between 1988 and 1995 by the GSSR, and comprise some 63 delay-Doppler radar tracks. Of these, 15 have yet to be recovered from old 9-track tapes, and some of the data may be permanently lost.

Haldemann, A. F. C.↗

Teaching, Learning, and Planetary Exploration

This is the final report of a program that examined the fundamentals of education associated with space activities, promoted educational policy development in appropriate forums, and developed pathfinder products and services to demonstrate the utility of advanced communication technologies for space-based education. Our focus was on space astrophysics and planetary exploration, with a special emphasis on the themes of the Origins Program, with which the Principal Investigator (PI) had been involved from the outset. Teaching, Learning, and Planetary Exploration was also the core funding of the Space Telescope Science Institute's (ST ScI) Special Studies Office (SSO), and as such had provided basic support for such important NASA studies as the fix for Hubble Space Telescope (HST) spherical aberration, scientific conception of the HST Advanced Camera, specification of the Next-Generation Space Telescope (NGST), and the strategic plan for the second decade of the HST science program.

Brown, Robert A.↗

Finding Feasible Abstract Counter-Examples

A strength of model checking is its ability to automate the detection of subtle system errors and produce traces that exhibit those errors. Given the high computational cost of model checking most researchers advocate the use of aggressive property-preserving abstractions. Unfortunately, the more aggressively a system is abstracted the more infeasible behavior it will have. Thus, while abstraction enables efficient model checking it also threatens the usefulness of model checking as a defect detection tool, since it may be difficult to determine whether a counter-example is feasible and hence worth developer time to analyze. We have explored several strategies for addressing this problem by extending an explicit-state model checker, Java PathFinder (JPF), to search for and analyze counter-examples in the presence of abstractions. We demonstrate that these techniques effectively preserve the defect detection ability of model checking in the presence of aggressive abstraction by applying them to check properties of several abstracted multi-threaded Java programs. These new capabilities are not specific to JPF and can be easily adapted to other model checking frameworks; we describe how this was done for the Bandera toolset.

Pasareanu, Corina S.↗

The Stellar Imager (SI) Mission Concept

The Stellar Imager (SI) is envisioned as a space-based, UV-optical interferometer composed of 10 or more one-meter class elements distributed with a maximum baseline of 0.5 km. It is designed to image stars and binaries with sufficient resolution to enable long-term studies of stellar magnetic activity patterns, for comparison with those on the sun. It will also support asteroseismology (acoustic imaging) to probe stellar internal structure, differential rotation, and large-scale circulations. SI will enable us to understand the various effects of the magnetic fields of stars, the dynamos that generate these fields, and the internal structure and dynamics of the stars. The ultimate goal of the mission is to achieve the best-possible forecasting of solar activity as a driver of climate and space weather on time scales ranging from months up to decades, and an understanding of the impact of stellar magnetic activity on life in the Universe. In this paper we describe the scientific goals of the mission, the performance requirements needed to address these goals, the "enabling technology" development efforts being pursued, and the design concepts now under study for the full mission and a possible pathfinder mission.

Carpenter, Kenneth G.↗

Silicon in Mars' Core: A Prediction Based on Mars Model Using Nitrogen and Oxygen Isotopes in SNC Meteorites

Chemical and (oxygen) isotopic compositions of SNC meteorites have been used by a number of workers to infer the nature of precursor materials for the accretion of Mars. The idea that chondritic materials played a key role in the formation of Mars has been the central assumption in these works. Wanke and Dreibus have proposed a mixture of two types of chondritic materials, differing in oxygen fugacity but having CI type bulk chemical composition for the nonvolatile elements, for Mars' precursor. But a number of studies based on high pressure and temperature melting experiments do not favor a CI type bulk planet composition for Mars, as it predicts a bulk planet Fe/Si ratio much higher than that reported from the recent Pathfinder data. Oxygen forms the bulk of Mars (approximately 40% by wt.) and might provide clues to the type of materials that formed Mars. But models based on the oxygen isotopic compositions of SNC meteorites predict three different mixtures of precursor materials for Mars: 90% H + 10% CM, 85% H + 11% CV + 4% CI and 45% EH + 55% H. As each of these models has been shown to be consistent with the bulk geophysical properties (such as mean density, and moment of inertia factor) of Mars, the nature of the material that accreted to form Mars remains ambiguous.

Mohapatra, R. K.↗

An "Andestic" Component in Shergottites with Restored LREE Abundances?

The shergottite Martian meteorites present a variety of oft-confusing petrologic features. In particular, represented among this subgroup are basalts with very depleted LREE abundances, as well as those with nearly chondritic overall REE abundances. The LREE-depleted basalts appear to more closely record the REE and isotopic features of their mantle source regions. Those basalts with more nearly chondritic REE abundances appear to contain an extra component often referred to as a "crustal" component. The addition of the crustal component tends to restore the overall REE abundance pattern towards chondritic relative abundances. Here we suggest that the crustal component could derive from "andesitic" rocks observed remotely to occur on the Martian surface, and which were analysed at the Pathfinder site.

Nyquist, L. E.↗

Geolocation Assessment Algorithm for CALIPSO Using Coastline Detection

Cloud-Aerosol Lidar Infrared Pathfinder Satellite Observations (CALIPSO) is a joint satellite mission between NASA and the French space agency CNES. The investigation will gather long-term, global cloud and aerosol optical and physical properties to improve climate models. The CALIPSO spacecraft is scheduled to launch in 2004 into a 98.2 inclination, 705 km circular orbit approximately 3 minutes behind the Aqua spacecraft. The payload consists of a two-wavelength polarization-sensitive lidar, and two passive imagers operating in the visible (0.645 mm) and infrared (8.7 - 12.0 mm) spectral regions. The imagers are nadir viewing and co-aligned with the lidar. Earth viewing measurements are geolocated to the Earth fixed coordinate system using satellite ephemeris, Earth rotation and geoid, and instrument pointing data. The coastline detection algorithm will assess the accuracy of the CALIPSO geolocation process by analyzing Wide Field Camera (WFC) visible ocean land boundaries. Processing space-time coincident MODIS and WFC scenes with the coastline algorithm will help verify the co-registration requirement with Moderate Resolution Imaging Spectrometer (MODIS) data. This paper quantifies the accuracy of the coastline geolocation assessment algorithm.

Currey, J. Chris↗

EXIST (Energetic X-ray Imaging Survey Telescope): The Next Large GRB Observatory

Studies have begun on the EXIST (Energetic X-ray Imaging Survey Telescope) Mission. It is planned as a very wide-field, sensitive coded aperture telescope with a sensitive area of the order of 6-8 m^2 and having a positional accuracy for GRBs (Gamma ray bursts) better than one arc-minute. EXIST will use SWIFT as a pathfinder mission; the findings of SWIFT will refine the scientific objectives of EXIST and will help to determine many of its design parameters. It would study early star formation and early galaxy formation at very high redshifts through observations of thousands of GRBs, their afterglows and environments. It is intended that the international GRB community will play as large role in EXIST through direct participation as well as with complementary observational programs, both space-based and ground-based. Some preliminary design features and capabilities of the EXIST Mission will be presented.

Fishman, G. J.↗

GRACE: Gravity Recovery and Climate Experiment

While gravity is much weaker than other basic forces in nature, such as magnetism and electricity, its effects are ubiquitous and dramatic. Gravity controls everything from the motion of the ocean tides to the expansion of the entire Universe. To learn more about the mysteries of gravity, twin satellites named GRACE--short for the Gravity Recovery and Climate Experiment--are being launched to make detailed measurements of Earth's gravity field. This experiment could lead to discoveries about gravity and Earth's natural systems, which could have substantial benefits for society and the world's population. The GRACE mission will be the inaugural flight of NASA's Earth System Science Pathfinder Program (ESSP). A component of NASA's Earth Science Enterprise (ESE), the ESSP missions are intended to address unique, specific highly focused scientific issues and provide measurements required to support Earth science research.

Ward, A.↗

The IRIS-GUS Shuttle Borne Upper Stage System

This paper describes the Italian Research Interim Stage - Gyroscopic Upper Stage (IRIS-GUS) upper stage system that will be used to launch NASA's Triana Observatory from the Space Shuttle. Triana is a pathfinder earth science mission being executed on rapid schedule and small budget, therefore the mission's upper stage solution had to be a system that could be fielded quickly at relatively low cost and risk. The building of the IRIS-GUS system wa necessary because NASA lost the capability to launch moderately sized upper stage missions fro the Space Shuttle when the PAM-D system was retired. The IRIS-GUS system restores this capability. The resulting system is a hybrid which mates the existing, flight proven IRIS (Italian Research Interim Stage) airborne support equipment to a new upper stage, the Gyroscopic Upper Stage (GUS) built by the GSFC for Triana. Although a new system, the GUS exploits flight proven hardware and design approaches in most subsystems, in some cases implementing proven design approaches with state-of-the-art electronics. This paper describes the IRIS-GUS upper stage system elements, performance capabilities, and payload interfaces.

Tooley, Craig↗

CALIPSO: Global Aerosol and Cloud Observations from Lidar and Passive Instruments

CALIPSO (Cloud-Aerosol Lidar and Infrared Pathfinder Spaceborne Observations) is an approved satellite mission being developed through collaboration between NASA and the French space agency CNES. The mission is scheduled for launch in 2004 and will operate for 3 years as part of a five-satellite formation called the Aqua constellation. This constellation will provide a unique data set on aerosol and cloud optical and physical properties and aerosol-cloud interactions that will substantially increase our understanding of the climate system and the potential for climate change.

Poole, L. R.↗

Program Instrumentation and Trace Analysis

Several attempts have been made recently to apply techniques such as model checking and theorem proving to the analysis of programs. This shall be seen as a current trend to analyze real software systems instead of just their designs. This includes our own effort to develop a model checker for Java, the Java PathFinder 1, one of the very first of its kind in 1998. However, model checking cannot handle very large programs without some kind of abstraction of the program. This paper describes a complementary scalable technique to handle such large programs. Our interest is turned on the observation part of the equation: How much information can be extracted about a program from observing a single execution trace? It is our intention to develop a technology that can be applied automatically and to large full-size applications, with minimal modification to the code. We present a tool, Java PathExplorer (JPaX), for exploring execution traces of Java programs. The tool prioritizes scalability for completeness, and is directed towards detecting errors in programs, not to prove correctness. One core element in JPaX is an instrumentation package that allows to instrument Java byte code files to log various events when executed. The instrumentation is driven by a user provided script that specifies what information to log. Examples of instructions that such a script can contain are: 'report name and arguments of all called methods defined in class C, together with a timestamp'; 'report all updates to all variables'; and 'report all acquisitions and releases of locks'. In more complex instructions one can specify that certain expressions should be evaluated and even that certain code should be executed under various conditions. The instrumentation package can hence be seen as implementing Aspect Oriented Programming for Java in the sense that one can add functionality to a Java program without explicitly changing the code of the original program, but one rather writes an aspect and compiles it into the original program using the instrumentation. Another core element of JPaX is an observation package that supports the analysis of the generated event stream. Two kinds of analysis are currently supported. In temporal analysis the execution trace is evaluated against formulae written in temporal logic. We have implemented a temporal logic evaluator on finite traces using the Maude rewriting system from SRI International, USA. Temporal logic is defined in Maude by giving its syntax as a signature and its semantics as rewrite equations. The resulting semantics is extremely efficient and can handle event streams of hundreds of millions events in few minutes. Furthermore, the implementation is very succinct. The second form of even stream analysis supported is error pattern analysis where an execution trace is analyzed using various error detection algorithms that can identify error-prone programming practices that may potentially lead to errors in some different executions. Two such algorithms focusing on concurrency errors have been implemented in JPaX, one for deadlocks and the other for data races. It is important to note, that a deadlock or data race potential does not need to occur in order for its potential to be detected with these algorithms. This is what makes them very scalable in practice. The data race algorithm implemented is the Eraser algorithm from Compaq, however adopted to Java. The tool is currently being applied to a code base for controlling a spacecraft by the developers of that software in order to evaluate its applicability.

Havelund, Klaus↗