Search NASA⌕ Search

SEARCH · Search NASA

Results for “pathfinding”

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 253 records · Page 14
All sourcesNASA NTRSDOE OSTI
NASA NTRS1999

Geologic Measurements using Rover Images: Lessons from Pathfinder with Application to Mars 2001

The Pathfinder Sojourner rover successfully acquired images that provided important and exciting information on the geology of Mars. This included the documentation of rock textures, barchan dunes, soil crusts, wind tails, and ventifacts. It is expected that the Marie Curie rover cameras will also successfully return important information on landing site geology. Critical to a proper analysis of these images will be a rigorous determination of rover location and orientation. Here, the methods that were used to compute rover position for Sojourner image analysis are reviewed. Based on this experience, specific recommendations are made that should improve this process on the '01 mission.

Bridges, N. T.↗
NASA NTRS1999

Polar Geophysics Products Derived from AVHRR: The "AVHRR Polar Pathfinder

This NOAA/NASA Pathfinder effort was established to locate, acquire, and process Advanced Very High Resolution Radiometer (AVHRR) imagery into geo-located and calibrated radiances, cloud masks, surface clear-sky broadband albedo, clear-sky skin temperatures, satellite viewing times, and viewing and solar geometry for the, high-latitude portions of the northern and southern hemispheres (all area north of 48N and south of 53S). AVHRR GAC data for August 1981 - July 1998 were acquired, with some gaps remaining, and processed into twice-daily 5-km grids, with some products also provided at 25-km resolution. AVHRR LAC data for 3.5 years of coverage in the northern hemisphere and 2.75 years of coverage in the southern hemisphere were processed into 1.25-km grids for the same suite of products. The resulting data sets are presently being transferred to the National Snow and Ice Data Center (NSIDC) for archiving and distribution. Using these data, researchers now have at their disposal an extensive AVHRR data set for investigations of high-latitude processes. In addition, the data lend themselves to development and testing of algorithms. The products are particularly relevant for climate research and algorithm development as applied to relatively long time periods and large areas.

Maslanik, James↗
NASA NTRS1995

Mars Pathfinder Project: Planetary Constants and Models

This document provides a common set of astrodynamic constants and planetary models for use by the Mars Pathfinder Project. It attempts to collect in a single reference all the quantities and models in use across the project during development and for mission operations. These models are central to the navigation and mission design functions, but they are also used in other aspects of the project such as science observation planning and data reduction.

Vaughan, Robin↗
NASA NTRS2000

Model Checking JAVA Programs Using Java Pathfinder

This paper describes a translator called JAVA PATHFINDER from JAVA to PROMELA, the "programming language" of the SPIN model checker. The purpose is to establish a framework for verification and debugging of JAVA programs based on model checking. This work should be seen in a broader attempt to make formal methods applicable "in the loop" of programming within NASA's areas such as space, aviation, and robotics. Our main goal is to create automated formal methods such that programmers themselves can apply these in their daily work (in the loop) without the need for specialists to manually reformulate a program into a different notation in order to analyze the program. This work is a continuation of an effort to formally verify, using SPIN, a multi-threaded operating system programmed in Lisp for the Deep-Space 1 spacecraft, and of previous work in applying existing model checkers and theorem provers to real applications.

Havelund, Klaus↗
NASA NTRS2000

Results of the Imager for Mars Pathfinder Windsock Experiment

The IMP windsock experiment measured wind speeds at three heights within 1.2 m of the martian surface during Pathfinder landed operations. Data from the strongest breezes indicate aerodynamic roughness = 3 cm, wind friction speeds up to 1 m/sec.

Sullivan, R.↗
NASA NTRS1999

Java PathFinder User Guide

The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming language of the SPIN model checker. The purpose of JPF is to establish a framework for verification and debugging of JAVA programming based on model checking. The main goal is to automate program verification such that a programmer can apply it in the daily work without the need for a specialist to manually reformulate a program into a different notation in order to analyze the program. The system is especially suited for analyzing multi-threaded JAVA applications, where normal testing usually falls short. The system can find deadlocks and violations of boolean assertions stated by the programmer in a special assertion language. This document explains how to Use JPF.

Havelund, Klaus↗
NASA NTRS2000

Pathfinder Program

The topics in this viewgraph include: 1) High visibility Flight Projects; 2) Pathfinder Flight Experiments; 3) X-37 Configuration Modification Options; 4) Flight Testing for a Multistage Reusable System; 5) X-34 Vehicle Description; 6) X-34 Expanded View; 7) Vehicle Size Comparison; 8) X-34 Experiment Status; 9) Government Participation; 10) Government and Industry Participants; 11) X-34 Project Status; 12) X-34 Captive Carry Fight; 13) Little Joe III; 14) Fastpac; and 15) Islunar Tug.

London, John R., III↗
NASA NTRS1999

Java PathFinder: A Translator From Java to Promela

JAVA PATHFINDER, JPF, is a prototype translator from JAVA to PROMELA, the modeling language of the SPIN model checker. JPF is a product of a major effort by the Automated Software Engineering group at NASA Ames to make model checking technology part of the software process. Experience has shown that severe bugs can be found in final code using this technique, and that automated translation from a programming language to a modeling language like PROMELA can help reducing the effort required.

Havelund, Klaus↗
NASA NTRS1999

Mars Pathfinder Landing Site: Evidence for a Change in Wind Regime and Climate from Lander and Orbiter Data

Surface features related to the wind are observed in data from the Mars Pathfinder lander and from orbit by the Viking Orbiter and Mars Global Surveyor missions. Features seen from the surface include wind tails associated with small rocks, barchanoid duneforms, ripplelike patterns, and ventifact flutes cut into some rocks. Features seen from orbit include wind tails associated with impact craters, ridges inferred to be duneforms, and modified crater rims interpreted to have been eroded and mantled by windblown material. The orientations of these features show two prevailing directions, one inferred to represent winds from the northeast which is consistent with strongest winds predicted by a general circulation model to occur during the Martian northern winter under current conditions, and a second wind pattern oriented approx. 90 degrees to the first. This latter wind could be from the W-NW or from the E-SE and was responsible for cutting the ventifacts and modifying the crater rims. The two wind regimes could reflect a change in climate related to Mars' obliquity or some other, unknown factor. Regardless of the cause, the MPF area has been subjected to a complex pattern of winds and supply of small particles, in which the original surface formed by sedimentary processes from Tiu and Ares Vallis events has been modified by repeated burial and exhumation.

Greeley, R.↗
NASA NTRS2000

Temperature Trends in the TOVS Pathfinder Path A Data Set

TOVS (Tiros Operational Vertical Sounder) is the suite of infra-red and microwave sounding instruments, including HIRS-2 and MSU, that have flown on the NOAA Polar orbiting operational satellites TIROS-N, NOAA 6-14 from November 1978 to the present day. Data has been analyzed for the entire time period using a consistent methodology to produce twice daily per satellite global fields of surface skin temperature, atmospheric temperature-moisture profile, cloud top pressure, and fractional cloud cover, OLR and clear sky OLR, and precipitation. All parameters were found to depend on the orbit time of observation which differed as a function of time both because of differing initial satellite orbits and orbit drift. This must be accounted for before one can attempt to find trends in the data. Methodology to account for orbit drift will be shown. Trends will then be shown, over the 21 year period 1979-1999, for surface skin temperature and atmospheric temperature profile. There has been global warming near the surface which falls off rapidly with height. Trends will also be shown for values of MSU2R and MSU4 which are computed from the soundings. These will be compared to trends of MSU2R and MSU4 observed by Spencer and Christy. There is generally good agreement between Spencer and Christy MSU2R trends and those computed from the TOVS Pathfinder data set, with the largest differences over the tropics.

Susskind, J.↗
NASA NTRS2001

Intercomparison Between in situ and AVHRR Polar Pathfinder-Derived Surface Albedo over Greenland

The Advanced Very High Resolution (AVHRR) Polar Pathfinder Data (APP) provides the first long time series of consistent, calibrated surface albedo and surface temperature data for the polar regions. Validations of these products have consisted of individual studies that analyzed algorithm performance for limited regions and or time periods. This paper reports on comparisons made between the APP-derived surface albedo and that measured at fourteen automatic weather stations (AWS) around the Greenland ice sheet from January 1997 to August 1998. Results show that satellite-derived surface albedo values are on average 10% less than those measured by the AWS stations. However, the station measurements tend to be biased high by about 4% and thus the differences in absolute albedo may be less (e.g. 6%). In regions of the ice sheet where the albedo variability is small, such as the dry snow facies, the APP albedo uncertainty exceeds the natural variability. Further work is needed to improve the absolute accuracy of the APP-derived surface albedo. Even so, the data provide temporally and spatially consistent estimates of the Greenland ice sheet albedo.

Stroeve, Julienne C.↗
NASA NTRS2000

Size Scales for Thermal Inhomogeneities in Mars' Atmosphere Surface Layer: Mars Pathfinder

Atmospheric temperature measurement at three heights with thin wire thermocouples on the 1.1 m Mars Pathfinder meteorology must allow estimates of the integral scale of the atmospheric thermal turbulence during an 83 sol period that begins in the summer. The integral scale is a measure for regions of perturbations. In turbulent media that roughly characterizes locations where the perturbations are correlated. Excluding some to intervals with violent excursions of the mean temperatures, integral scale values are found that increase relatively rapidly from a few tenths meters or less near down to several meters by mid-morning. During mid-morning, the diurnal and shorter time scale wind direction variations often place the meteorology mast in the thermal wake of the Lander.

Mihalov, John D.↗
NASA NTRS2001

Continuation of the NVAP Global Water Vapor Data Sets for Pathfinder Science Analysis

This annual report covers August 2000 - August 2001 under NASA contract NASW-0032, entitled "Continuation of the NVAP (NASA's Water Vapor Project) Global Water Vapor Data Sets for Pathfinder Science Analysis". NASA has created a list of Earth Science Research Questions which are outlined by Asrar, et al. Particularly relevant to NVAP are the following questions: (a) How are global precipitation, evaporation, and the cycling of water changing? (b) What trends in atmospheric constituents and solar radiation are driving global climate? (c) How well can long-term climatic trends be assessed or predicted? Water vapor is a key greenhouse gas, and an understanding of its behavior is essential in global climate studies. Therefore, NVAP plays a key role in addressing the above climate questions by creating a long-term global water vapor dataset and by updating the dataset with recent advances in satellite instrumentation. The NVAP dataset produced from 1988-1998 has found wide use in the scientific community. Studies of interannual variability are particularly important. A recent paper by Simpson, et al. that examined the NVAP dataset in detail has shown that its relative accuracy is sufficient for the variability studies that contribute toward meeting NASA's goals. In the past year, we have made steady progress towards continuing production of this high-quality dataset as well as performing our own investigations of the data. This report summarizes the past year's work on production of the NVAP dataset and presents results of analyses we have performed in the past year.

VonderHaar, Thomas H.↗
NASA NTRS1994

Trajectory Based Heating and Ablation Calculations for MESUR Pathfinder Aeroshell

Based on the geometry of Mars Environment Survey (MESUR) Pathfinder aeroshell and an estimated Mars entry trajectory, two-dimensional axisymmetric time dependent calculations have been obtained using GIANTS (Gauss-Siedel Implicit Aerothermodynamic Navier-Stokes code with Thermochemical Surface Conditions) code and CMA (Charring Material Thermal Response and Ablation) Program for heating analysis and heat shield material sizing. These two codes are interfaced using a loosely coupled technique. The flowfield and convective heat transfer coefficients are computed by the GIANTS code with a species balance condition for an ablating surface, and the time dependent in-depth conduction with surface blowing is simulated by the CMA code with a complete surface energy balance condition. In this study, SLA-561V has been selected as heat shield material. The solutions, including the minimum heat shield thicknesses over aeroshell forebody, pyrolysis gas blowing rates, surface heat fluxes and temperature distributions, flowfield, and in-depth temperature history of SLA-561V, are presented and discussed in detail.

Chen, Y. K.↗