Search NASA⌕ Search

SEARCH · Search NASA

Results for “Pathfinder Program”

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 271 records · Page 15
All sourcesNASA NTRSDOE OSTI
NASA NTRS2000

Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions

NASA's Mars Surveyor Program (MSP) began in 1994 with plans to send spacecraft to Mars every 26 months. Mars Global Surveyor (MGS), a global mapping mission, was launched in 1996 and is currently orbiting Mars. Mars Surveyor '98 consisted of Mars Climate Orbiter (MCO) and Mars Polar Lander (MPL). Lockheed Martin Astronautics (LMA) was the prime contractor for Mars Surveyor '98. The Jet Propulsion Laboratory (JPL), California Institute of Technology, manages the Mars Surveyor Program for NASA's Office of Space Science. MPL was developed under very tight funding constraints. The combined development cost of MPL and MCO, including the cost of the two launch vehicles, was approximately the same as the development cost of the Mars Pathfinder mission, including the cost of its single launch vehicle. The MPL project accepted the challenge to develop effective implementation methodologies consistent with programmatic requirements.

Albee, Arden↗
NASA NTRSDate not supplied

NEUROSPF: A Tool For the Symbolic Analysis of Neural Networks

This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and translates them into a Java representation that is amenable for analysis using the Symbolic PathFinder symbolic execution tool. Notably, NEUROSPF encodes specialized peer classes for parsing the model’s parameters, thereby enabling efficient analysis. With NEUROSPF the user has the flexibility to specify either the inputs or the network internal parameters as symbolic, promoting the application of program analysis and testing approaches from software engineering to the field of machine learning. For instance, NEUROSPF can be used for coverage-based testing and test generation, finding adversarial examples and also constraint-based repair of neural networks, thus improving the reliability of neural networks and of the applications that use them.

neural networks↗
NASA NTRS1988

NAS: The first year

Discussed are the capabilities of NASA's Numerical Aerodynamic Simulation (NAS) Program and its application as an advanced supercomputing system for computational fluid dynamics (CFD) research. First, the paper describes the NAS computational system, called the NAS Processing System Network, and the advanced computational capabilities it offers as a consequence of carrying out the NAS pathfinder objective. Second, it presents examples of pioneering CFD research accomplished during NAS's first operational year. Examples are included which illustrate CFD applications for predicting fluid phenomena, complementing and supplementing experimentation, and aiding in design. Finally, pacing elements and future directions for CFD and NAS are discussed.

Bailey, F. R.↗
NASA NTRS1988

NAS - The first year

Discussed are the capabilities of NASA's Numerical Aerodynamic Simulation (NAS) Program and its application as an advanced supercomputing system for computational fluid dynamics (CFD) research. First, the paper describes the NAS computational system, called the NAS Processing System Network, and the advanced computational capabilities it offers as a consequence of carrying out the NAS Pathfinder objective. Second, it presents examples of pioneering CFD research accomplished during NAS's first operational year. Examples are included which illustrate CFD applications for predicting fluid phenomena, complementing and supplementing experimentation, and aiding in design. Finally, pacing elements and future directions for CFD and NAS are discussed.

Bailey, F. R.↗
NASA NTRS2002

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.↗
NASA NTRS1997

Mars Rovers: July 4, 1997 and Beyond

Planetary scientist have a unique problem when collecting data for their subject: in the absence of an interplanetary manned space program, they must rely upon remote sensing techniques. An invaluable part of their arsenal is spacecraft which can study the region of interest in detail.

remote sensing Mars Pathfinder Sojourner rover↗
NASA NTRS2009

Introduction of Virtualization Technology to Multi-Process Model Checking

Model checkers find failures in software by exploring every possible execution schedule. Java PathFinder (JPF), a Java model checker, has been extended recently to cover networked applications by caching data transferred in a communication channel. A target process is executed by JPF, whereas its peer process runs on a regular virtual machine outside. However, non-deterministic target programs may produce different output data in each schedule, causing the cache to restart the peer process to handle the different set of data. Virtualization tools could help us restore previous states of peers, eliminating peer restart. This paper proposes the application of virtualization technology to networked model checking, concentrating on JPF.

Leungwattanakit, Watcharin↗
NASA NTRS2021

Southern Idaho Health & Air Quality II: Evaluating Atmospheric Mixing Height Estimations in the Western United States

Wildfires in the western United States have caused immense infrastructure damage and loss of human life in recent years. Wildfire smoke, which travels far from its original source, is also harmful to human health. Mixing height, which acts as a lid and prevents smoke from rising above a certain altitude in the lower troposphere, is a critical input in smoke dispersion and air quality models used by agencies that monitor wildfires. These models, coupled with forecaster expertise, are also used to decide when it is safe to execute a prescribed burn. The DEVELOPID team partnered with the National Weather Service (NWS) Fire Weather Program, Bureau of Land Management (BLM), National Interagency Fire Center (NIFC), and National Park Service (NPS) Fire Management Program Center (FMPC) to help improve reliability and confidence in mixing height estimations, and therefore the burn prescription decision-making process. To that end, the team developed a toolbox for measuring smoke-related aerosol mixing heights using Cloud-Aerosol LiDAR and Infrared Pathfinder Satellite Observations (CALIPSO) Vertical Feature Mask granules. CALIPSO mixing heights and NWS estimations covaried significantly and positively. However, substantial disagreement between the methods stymied the team’s attempts to quantify systematic bias in a meaningful way. The relative error between the methods was especially large at low mixing heights, which suggests that this method of validation may only be suitable at higher altitudes.

Dean Berkowitz↗
NASA NTRS2002

Mars Exploration Program and Mars Technology Program

The Mars Exploration Program and constituent Mars Technology Program are described. Current, ongoing and future NASA-led missions are presented, including discussions of scientific accomplishments and objectives as well as technology validations accomplished and technological enablers for future missions. The missions summarized include (in order of actual or planned launch): Mars Global Surveyor, Mars Pathfinder, 2001 Mars Odyssey, Mars Reconnaissance Orbiter, Mars 'Smart' Lander, Mars Scouts, Mars Sample Return. Key technology areas hdiscussed include: Navigation, Entry, Descent and Landing, Science and Surface Operations, Orbital Transport and Sample Return Technologies.

overview↗
NASA NTRS2015

Hypersonic Inflatable Aerodynamic Decelerator Ground Test Development

Hypersonic Inflatable Aerodynamic Decelerator (HIAD) technology readiness levels have been incrementally matured by NASA over the last thirteen years, with most recent support from NASA's Space Technology Mission Directorate (STMD) Game Changing Development Program (GCDP). Recently STMD GCDP has authorized funding and support through fiscal year 2015 (FY15) for continued HIAD ground developments which support a Mars Entry, Descent, and Landing (EDL) study. The Mars study will assess the viability of various EDL architectures to enable a Mars human architecture pathfinder mission planned for mid-2020. At its conclusion in November 2014, NASA's first HIAD ground development effort had demonstrated success with fabricating a 50 W/cm2 modular thermal protection system, a 400 C capable inflatable structure, a 10-meter scale aeroshell manufacturing capability, together with calibrated thermal and structural models. Despite the unquestionable success of the first HIAD ground development effort, it was recognized that additional investment was needed in order to realize the full potential of the HIAD technology capability to enable future flight opportunities. The second HIAD ground development effort will focus on extending performance capability in key technology areas that include thermal protection system, lifting-body structures, inflation systems, flight control, stage transitions, and 15-meter aeroshell scalability. This paper presents an overview of the accomplishments under the baseline HIAD development effort and current plans for a follow-on development effort focused on extending those critical technologies needed to enable a Mars Pathfinder mission.

Del Corso, Jospeh A.↗
NASA NTRS1989

Numerical solutions on a Pathfinder and other configurations using unstructured grids and a finite element solver

A three-dimensional unstructured grid generator and a finite element Euler solver are described. The grid generator uses the advancing front concept, and the flow solver is based on the flux corrected transport ideas. Several examples of computed flows past complete three-dimensional configurations are presented to demonstrate the flexibility and robustness of the programs. Current items requiring further attention are identified, and the progress over the last year toward them is reported.

Parikh, Paresh↗
NASA NTRS2002

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.↗
NASA NTRS2016

Campaign 9 of the K2 Mission: Observational Parameters, Scientific Drivers, and Community Involvement for a Simultaneous Space- and Ground-based Microlensing Survey

K2ʼs Campaign 9 (K2C9) will conduct a approximately 3.7 sq. deg survey toward the Galactic bulge from 2016 April 22 through July 2 that will leverage the spatial separation between K2 and the Earth to facilitate measurement of the microlens parallax Pi(sub E) for approximately greater than 170 microlensing events. These will include several that are planetary in nature as well as many short-timescale microlensing events, which are potentially indicative of free-floating planets (FFPs). These satellite parallax measurements will in turn allow for the direct measurement of the masses of and distances to the lensing systems. In this article we provide an overview of the K2C9 space- and ground-based microlensing survey. Specifically, we detail the demographic questions that can be addressed by this program, including the frequency of FFPs and the Galactic distribution of exoplanets, the observational parameters of K2C9, and the array of resources dedicated to concurrent observations. Finally, we outline the avenues through which the larger community can become involved, and generally encourage participation in K2C9, which constitutes an important pathfinding mission and community exercise in anticipation of WFIRST.

K2s Campaign 9 (K2C9)↗
NASA NTRS1998

Operational Concepts for Uninhabited Tactical Aircraft

This paper describes experiences with five remotely piloted flight research vehicle projects in the developmental flight test phase. These projects include the Pathfinder, Perseus B, Altus, and X-36 aircraft and the Highly Maneuverable Aircraft Technology (HiMAT). Each of these flight projects was flown at the NASA Dryden Flight Research Center. With the exception of the HiMAT, these projects are a part of the Flight Research Base Research and Technology (R&T) Program of the NASA Aeronautics and Space Transportation Technology Enterprise. Particularly with respect to operational interfaces between the ground-based pilot or operator, this paper draws from those experiences, then provides some rationale for extending the lessons learned during developmental flight research to the possible situations involved in the developmental flights proceeding deployed uninhabited tactical aircraft (UTA) operations. Two types of UTA control approaches are considered: autonomous and remotely piloted. In each of these cases, some level of human operator or pilot control blending is recommended. Additionally, "best practices" acquired over years of piloted aircraft experience are drawn from and presented as they apply to operational UTA.

Deets, Dwain A.↗
NASA NTRS1998

Operational Concepts for Uninhabited Tactical Aircraft

This paper describes experiences with five remotely piloted flight research vehicle projects in the developmental flight test phase. These projects include the Pathfinder, Perseus B, Altus, and X-36 aircraft and the Highly Maneuverable Aircraft Technology (HiMAT). Each of these flight projects was flown at the NASA Dryden Flight Research Center. With the exception of the HIMAT, these projects are a part of the Flight Research Base Research and Technology (R&T) Program of the NASA Aeronautics and Space Transportation Technology Enterprise. Particularly with respect to operational interfaces between the ground-based pilot or operator, this paper draws from those experiences, then provides some rationale for extending the lessons learned during developmental flight research to the possible situations involved in the developmental flights proceeding deployed uninhabited tactical aircraft (UTA) operations. Two types of UTA control approaches are considered: autonomous and remotely piloted. In each of these cases, some level of human operator or pilot control blending is recommended. Additionally, "best practices" acquired over years of piloted aircraft experience are drawn from and presented as they apply to operational UTA.

Deets, Dwain A.↗
NASA NTRS1998

High Resolution Airborne Digital Imagery for Precision Agriculture

The Environmental Research Aircraft and Sensor Technology (ERAST) program is a NASA initiative that seeks to demonstrate the application of cost-effective aircraft and sensor technology to private commercial ventures. In 1997-98, a series of flight-demonstrations and image acquisition efforts were conducted over the Hawaiian Islands using a remotely-piloted solar- powered platform (Pathfinder) and a fixed-wing piloted aircraft (Navajo) equipped with a Kodak DCS450 CIR (color infrared) digital camera. As an ERAST Science Team Member, I defined a set of flight lines over the largest coffee plantation in Hawaii: the Kauai Coffee Company's 4,000 acre Koloa Estate. Past studies have demonstrated the applications of airborne digital imaging to agricultural management. Few studies have examined the usefulness of high resolution airborne multispectral imagery with 10 cm pixel sizes. The Kodak digital camera integrated with ERAST's Airborne Real Time Imaging System (ARTIS) which generated multiband CCD images consisting of 6 x 106 pixel elements. At the designated flight altitude of 1,000 feet over the coffee plantation, pixel size was 10 cm. The study involved the analysis of imagery acquired on 5 March 1998 for the detection of anomalous reflectance values and for the definition of spectral signatures as indicators of tree vigor and treatment effectiveness (e.g., drip irrigation; fertilizer application).

Herwitz, Stanley R.↗
NASA NTRS1999

Mars 2001 Mission: Addressing Scientific Questions Regarding the Characteristics and Origin of Local Bedrock and Soil

The Mars Surveyor Program 2001 Mission will carry instruments on the orbiter, lander and rover that will support synergistic observations and experiments to address important scientific questions regarding the local bedrock and soils. The martian surface is covered in varying degrees by fine materials less than a few mms in size. Viking and Pathfinder images of the surface indicate that soils at those sites are composed of fine particles. Wheel tracks from the Sojourner rover suggest that soil deposits are composed of particles <40 mm. Viking images show that dunes are common in many areas on Mars and new MOC images indicate that dunes occur nearly everywhere. Dunes on Mars are thought to be composed of 250-500 microns particles based upon Viking IRTM data and Mars wind tunnel experiments. If martian dunes are composed of sand particles > 100 microns and soils are dominated by <10 micron particles, then where are the intermediate grain sizes? Have they been wom away through prolonged transport over the eons? Were they never generated to begin with? Or are they simply less easy to identify because do they not form distinctive geomorphic features such as dunes or uniform mantles that tend to assume superposition in the soil structure?

Saunders, R. S.↗
NASA NTRS2012

Ground Contact Model for Mars Science Laboratory Mission Simulations

The Program to Optimize Simulated Trajectories II (POST 2) has been successful in simulating the flight of launch vehicles and entry bodies on earth and other planets. POST 2 has been the primary simulation tool for the Entry Descent, and Landing (EDL) phase of numerous Mars lander missions such as Mars Pathfinder in 1997, the twin Mars Exploration Rovers (MER-A and MER-B) in 2004, Mars Phoenix lander in 2007, and it is now the main trajectory simulation tool for Mars Science Laboratory (MSL) in 2012. In all previous missions, the POST 2 simulation ended before ground impact, and a tool other than POST 2 simulated landing dynamics. It would be ideal for one tool to simulate the entire EDL sequence, thus avoiding errors that could be introduced by handing off position, velocity, or other fight parameters from one simulation to the other. The desire to have one continuous end-to-end simulation was the motivation for developing the ground interaction model in POST 2. Rover landing, including the detection of the postlanding state, is a very critical part of the MSL mission, as the EDL landing sequence continues for a few seconds after landing. The method explained in this paper illustrates how a simple ground force interaction model has been added to POST 2, which allows simulation of the entire EDL from atmospheric entry through touchdown.

Raiszadeh, Behzad↗