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 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↗
NASA NTRS1999

Soil Analysis Micro-Mission Concepts Derived from the MSP 2001 Mars Environmental Compatibility Assessment (MECA)

The Mars Environmental Compatibility Assessment (MECA) will evaluate the Martian environment for soil and dust-related hazards to human exploration as part of the Mars Surveyor Program 2001 Lander. The integrated MECA payload contains a wet-chemistry laboratory, a microscopy station, an electrometer to characterize the electrostatic environment, and arrays of material patches to study abrasion and adhesion. Heritage will be all-important for low cost micro-missions, and adaptations of instruments developed for the Pathfinder, '98 and '01 Landers should be strong contenders for '03 flights. This talk has three objectives: (1) Familiarize the audience with MECA instrument capabilities; (2) present concepts for stand-alone and/or mobile versions of MECA instruments; and (3) broaden the context of the MECA instruments from human exploration to a comprehensive scientific survey of Mars. Due to time limitations, emphasis will be on the chemistry and microscopy experiments. Ion-selective electrodes and related sensors in MECA's wet-chemistry laboratory will evaluate total dissolved solids, redox potential, pH, and the concentration of many soluble ions and gases in wet Martian soil. These electrodes can detect potentially dangerous heavy-metal ions, emitted pathogenic gases, and the soil's corrosive potential, and experiments will include cyclic voltammetry and anodic stripping. For experiments beyond 2001, enhancements could allow multiple use of the cells (for mobile experiments) and reagent addition (for quantitative mineralogical and exobiological analysis). MECA's microscopy station combines optical and atomic-force microscopy (AFM) in an actively focused, controlled illumination environment to image particles from millimeters to nanometers in size. Careful selection of substrates allows controlled experiments in adhesion, abrasion, hardness, aggregation, magnetic and other properties. Special tools allow primitive manipulation (brushing and scraping) of samples. Soil particle properties including size, shape, color, hardness, adhesive potential (electrostatic and magnetic), will be determined using an array of sample receptacles and collection substrates. The simple, rugged atomic-force microscope will image in the submicron size range and has the capability of performing a particle-by-particle analysis of the dust and soil. Future implementations might enhance the optical microscopy with spectroscopy, or incorporate advanced AFM techniques for thermogravimetric and chemical analysis.

Hecht, M. H.↗
NASA NTRS2003

Lessons Learned from NASA UAV Science Demonstration Program Missions

During the summer of 2002, two airborne missions were flown as part of a NASA Earth Science Enterprise program to demonstrate the use of uninhabited aerial vehicles (UAVs) to perform earth science. One mission, the Altus Cumulus Electrification Study (ACES), successfully measured lightning storms in the vicinity of Key West, Florida, during storm season using a high-altitude Altus(TM) UAV. In the other, a solar-powered UAV, the Pathfinder Plus, flew a high-resolution imaging mission over coffee fields in Kauai, Hawaii, to help guide the harvest.

Wegener, Steven S.↗
NASA NTRS2004

Performance as Promised: How the Chandra X-ray Observatory Accomplished One of Nasa's Most Challenging Missions for Billions of Dollars Less than Originally Planned

As the nation looks toward bold new ventures in space, the Chandra X-ray Observatory program offers an example of how billion-dollar missions can be successfully developed within tightening fiscal constraints. Chandra experienced many of challenges facing bold space programs (state-of-the-art technical requirements and budget-induced slips and restructurings), and yet the Chandra team achieved nearly all the originally envisioned performance for dramatically lower cost. This was accomplished by a combination of team- work, systems engineering, advanced technology insertion, and effective approaches for program implementation. A thorough tradeoff of science utility vs. cost led to the selection of a highly elliptical orbit with uncrewed robotic delivery, deployment, and maintenance. Progressive, focused technology demonstrations were accomplished prior to commitment of major resources to critical elements of the system design, such as the high resolution mirror assembly (HRMA). Pathfinder hardware was developed to reduce risks. A variety of schedule risk reduction measures were implemented and resulted in the X-ray calibration taking place exactly within five days of its originally planned date after after five years of development. The team worked together in an effective manner to contain requirements creep. reductions such as the ACIS-2 chip device. It is estimated that the above combination of measures achieved the avoidance of over $4B in costs, while enabling a highly successful mission.

Davidson, Greg↗
NASA NTRS2003

Propel: Tools and Methods for Practical Source Code Model Checking

The work reported here is an overview and snapshot of a project to develop practical model checking tools for in-the-loop verification of NASA s mission-critical, multithreaded programs in Java and C++. Our strategy is to develop and evaluate both a design concept that enables the application of model checking technology to C++ and Java, and a model checking toolset for C++ and Java. The design concept and the associated model checking toolset is called Propel. It builds upon the Java PathFinder (JPF) tool, an explicit state model checker for Java applications developed by the Automated Software Engineering group at NASA Ames Research Center. The design concept that we are developing is Design for Verification (D4V). This is an adaption of existing best design practices that has the desired side-effect of enhancing verifiability by improving modularity and decreasing accidental complexity. D4V, we believe, enhances the applicability of a variety of V&V approaches; we are developing the concept in the context of model checking. The model checking toolset, Propel, is based on extending JPF to handle C++. Our principal tasks in developing the toolset are to build a translator from C++ to Java, productize JPF, and evaluate the toolset in the context of D4V. Through all these tasks we are testing Propel capabilities on customer applications.

Mansouri-Samani, Massoud↗
NASA NTRS2009

Strategies to Improve the Accuracy of Mars-GRAM Sensitivity Studies at Large Optical Depths

The Mars Global Reference Atmospheric Model (Mars-GRAM) is an engineering-level atmospheric model widely used for diverse mission applications. Mars-GRAM s perturbation modeling capability is commonly used, in a Monte-Carlo mode, to perform high fidelity engineering end-to-end simulations for entry, descent, and landing (EDL). It has been discovered during the Mars Science Laboratory (MSL) site selection process that Mars-GRAM when used for sensitivity studies for MapYear=0 and large optical depth values such as tau=3 is less than realistic. A comparison study between Mars atmospheric density estimates from Mars- GRAM and measurements by Mars Global Surveyor (MGS) has been undertaken for locations of varying latitudes, Ls, and LTST on Mars. The preliminary results from this study have validated the Thermal Emission Spectrometer (TES) limb data. From the surface to 80 km altitude, Mars- GRAM is based on the NASA Ames Mars General Circulation Model (MGCM). MGCM results that were used for Mars-GRAM with MapYear=0 were from a MGCM run with a fixed value of tau=3 for the entire year at all locations. Unrealistic energy absorption by uniform atmospheric dust leads to an unrealistic thermal energy balance on the polar caps. The outcome is an inaccurate cycle of condensation/sublimation of the polar caps and, as a consequence, an inaccurate cycle of total atmospheric mass and global-average surface pressure. Under an assumption of unchanged temperature profile and hydrostatic equilibrium, a given percentage change in surface pressure would produce a corresponding percentage change in density at all altitudes. Consequently, the final result of a change in surface pressure is an imprecise atmospheric density at all altitudes. To solve this pressure-density problem, a density factor value was determined for tau=.3, 1 and 3 that will adjust the input values of MGCM MapYear 0 pressure and density to achieve a better match of Mars-GRAM MapYear=0 with MapYears 1 and 2 MGCM output at comparable dust loading. Currently, these density factors are fixed values for all latitudes and Ls. Results will be presented of the work underway to derive better multipliers by including possible variation with latitude and/or Ls. This is achieved by comparison of Mars-GRAM MapYear=0 output with TES limb data. The addition of these density factors to Mars-GRAM will improve the results of the sensitivity studies done for large optical depths. Answers may also be provided to the issues raised in a recent study by Desai(2008). Desai has shown that the actual landing sites of Mars Pathfinder, the Mars Exploration Rovers and the Phoenix Mars Lander have been further downrange than predicted by models prior to landing. Desai s reconstruction of their entries into the Martian atmosphere showed that the models consistently predicted higher densities than those found upon EDL. The solution of this problem would be important to the Mars Program since future exploration of Mars by landers and rovers will require more accurate landing capabilities, especially for the proposed Mars Sample Return mission.

Justh, Hilary L.↗
NASA NTRS2002

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↗