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 199 records · Page 11

Status and projections of the NAS program

NASA's Numerical Aerodynamic Simulation (NAS) Program has completed development of the initial operating configuration of the NAS Processing System Network (NPSN). This is the first milestone in the continuing and pathfinding effort to provide state-of-the-art supercomputing for aeronautics research and development. The NPSN, available to a nation-wide community of remote users, provides a uniform UNIX environment over a network of host computers ranging from the Cray-2 supercomputer to advanced scientific workstations. This system, coupled with a vendor-independent base of common user interface and network software, presents a new paradigm for supercomputing environments. Background leading to the NAS program, its programmatic goals and strategies, technical goals and objectives, and the development activities leading to the current NPSN configuration are presented. Program status, near-term plans, and plans for the next major milestone, the extended operating configuration, are also discussed.

Bailey, Frank R.↗

Status and projections of the NAS Program

NASA's Numerical Aerodynamic Simulation (NAS) Program has completed development of the initial operating configuration of the NAS Processing System Network (NPSN). This is the first milestone in the continuing and pathfinding effort to provide state-of-the-art supercomputing for aeronautics research and development. The NPSN, available to a nation-wide community of remote users, provides a uniform UNIX environment over a network of host computers ranging from the new Cray-2 supercomputer to advanced scientific workstations. This system, coupled with a vendor-independent base of common user interface and network software, presents a new paradigm for supercomputing environments. Presented here is the background leading to the NAS Program, its programmatic goals and strategies, technical goals and objectives, and the development activities leading to the current NPSN configuration. Program status, near-term plans and plans for the next major milestone, the extended operating configuration, are also discussed.

Bailey, F. R.↗

Execution-Based Model Checking of Interrupt-Based Systems

Execution-based model checking (EMC) is a verification technique based on executing a multi-threaded/multiprocess program repeatedly in a systematic manner in order to explore the different interleavings of the program. This is in contrast to traditional model checking, where a model of a system is analyzed Several execution-based model-checking tools exist at this point, such as for example Verisoft and Java PathFinder. The most common formal specification languages used by EMC tools are un- timed, either just assertions, or linear-time temporal logic (LTL). An alternative verification technique is Runtime Execution Monitoring (REM), which is based on monitor- ing the execution of a program, checking that the execution trace conforms to a requirement specification. The Temporal Rover and DBRover are such tools. They provide a very rich specification language, being an extension of LTL with real-time constraints and time-series. We show how execution-based model checking, combined with runtime execution monitoring, can be used for the verification of a large class of safety critical systems commonly known as interrupt-based systems. The proposed approach is novel in that: (i) it supports model checking of a large class of applications not practically verifiable using conventional EMC tools, (ii) it supports verification of LTL assertions extended with real-time and time-series constraints, and (iii) it supports the verification of custom schedulers.

Drusinsky, Doron↗

EOS Reference Handbook 1999: A Guide to NASA's Earth Science Enterprise and the Earth Observing System

The content of this handbook includes Earth Science Enterprise; The Earth Observing System; EOS Data and Information System (EOSDIS); Data and Information Policy; Pathfinder Data Sets; Earth Science Information Partners and the Working Prototype-Federation; EOS Data Quality: Calibration and Validation; Education Programs; International Cooperation; Interagency Coordination; Mission Elements; EOS Instruments; EOS Interdisciplinary Science Investigations; and Points-of-Contact.

King, M. D.↗

Software Searches for Better Spacecraft-Navigation Models

ADAPT is a computer program that searches for better mathematical models for spacecraft navigation. The task of tuning trajectory-determination models for interplanetary navigation is complex, requiring an intensive search of multiple dynamical and nondynamical models that yield trajectory solutions with minimal errors. By automating the search, ADAPT eases the task of human analysts and enables them to consider wider ranges of potential solutions. ADAPT uses genetic algorithms to search a range of relevant parameters in a user-selected design space to arrive at values for those parameters that best fit the measured spacecraft-tracking data. The user s guide for ADAPT reviews the theoretical basis of the program and presents two example applications. One example is that of selecting a solar-radiation model for the Mars Pathfinder (MPF) mission using MPF tracking data and an extended Kalman filter from prior spacecraft-navigation software. The second example is of the use of tracking data from the Stardust spacecraft mission combined with a pseudo-epoch-state batch filter and an empirical small-forces model to find improved impulse models for use during Stardust attitude adjustments.

Ely, Todd↗

Back to Mars

Two decades after humanity's last exploration of the red planet, a new international program of Mars study will begin late this year when NASA's and Caltech's Jet Propulsion Laboratory launches its Mars Global Surveyor orbiting mission and its Mars Pathfinder lander and micro-rover.Spacecraft from Earth last visited Mars in 1976 when two Viking orbiters and two landers conducted a very successful survey of the entire planet from orbit and detailed studies of the surface at the two landing sites.

red planet Mars missions international program↗

Geospatial Data from the Alpine Treeline Warming Experiment (ATWE) on Niwot Ridge, Colorado, USA

This is a collection of all GPS- and computer-generated geospatial data specific to the Alpine Treeline Warming Experiment (ATWE), located on Niwot Ridge, Colorado, USA. The experiment ran between 2008 and 2016, and consisted of three sites spread across an elevation gradient. Geospatial data for all three experimental sites and cone/seed collection locations are included in this package. –––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––Geospatial files include cone collection, experimental site, seed trap, and other GPS location/terrain data. File types include ESRI shapefiles, ESRI grid files or Arc/Info binary grids, TIFFs (.tif), and keyhole markup language (.kml) files. Trimble-imported data include plain text files (.txt), Trimble COR (CorelDRAW) files, and Trimble SSF (Standard Storage Format) files. Microsoft Excel (.xlsx) and comma-separated values (.csv) files corresponding to the attribute tables of many files within this package are also included. A complete list of files can be found in this document in the “Data File Organization” section in the included Data User's Guide. Maps are also included in this data package for reference and use. These maps are separated into two categories, 2021 maps and legacy maps, which were made in 2010. Each 2021 map has one copy in portable network graphics (.png) format, and the other in .pdf format. All legacy maps are in .pdf format. .png image files can be opened with any compatible programs, such as Preview (Mac OS) and Photos (Windows). All GIS files were imported into geopackages (.gpkg) using QGIS, and double-checked for compatibility and data/attribute integrity using ESRI ArcGIS Pro. Note that files packaged within geopackages will open in ArcGIS Pro with “main.” preceding each file name, and an extra column named “geom” defining geometry type in the attribute table. The contents of each geospatial file remain intact, unless otherwise stated in “niwot_geospatial_data_list_07012021.pdf/.xlsx”. This list of files can be found as an .xlsx and a .pdf in this archive.As an open-source file format, files within gpkgs (TIFF, shapefiles, ESRI grid or “Arc/Info Binary”) can be read using both QGIS and ArcGIS Pro, and any other geospatial softwares. Text and .csv files can be read using TextEdit/Notepad/any simple text-editing software; .csv’s can also be opened using Microsoft Excel and R. .kml files can be opened using Google Maps or Google Earth, and Trimble files are most compatible with Trimble’s GPS Pathfinder Office software. .xlsx files can be opened using Microsoft Excel. PDFs can be opened using Adobe Acrobat Reader, and any other compatible programs. A selection of original shapefiles within this archive were generated using ArcMap with associated FGDC-standardized metadata (xml file format). We are including these original files because they contain metadata only accessible using ESRI programs at this time, and so that the relationship between shapefiles and xml files is maintained. Individual xml files can be opened (without a GIS-specific program) using TextEdit or Notepad. Since ESRI’s compatibility with FGDC metadata has changed since the generation of these files, many shapefiles will require upgrading to be compatible with ESRI’s latest versions of geospatial software. These details are also noted in the “niwot_geospatial_data_list_07012021” file.

54 ENVIRONMENTAL SCIENCES↗

Symbolic PathFinder: Symbolic Execution of Java Bytecode

Symbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint solving for automated test case generation and error detection in Java programs with unspecified inputs. In this tool, programs are executed on symbolic inputs representing multiple concrete inputs. Values of variables are represented as constraints generated from the analysis of Java bytecode. The constraints are solved using off-the shelf solvers to generate test inputs guaranteed to achieve complex coverage criteria. SPF has been used successfully at NASA, in academia, and in industry.

Pasareanu, Corina S.↗

Progress Towards a Space-Based Gravitational-Wave Observatory Since 2010

Laser Interferometer Space Antenna (LISA): Focus of all work since 1993; Unchanged since 1997; Project in Phase A since 2004; Extensive formulation work and products; Reviewed and recommended in many major reviews: AANM (NRC, 2001), TRIP (HQ, 2003), Connecting Quarks with the Cosmos (NRC, 2003), AETD (GSFC, 2005). Beyond Einstein Program: (NRC, 2007), NWNH (NRC, 2010): Second in large space projects after WFIRST. Recommended for a new start. Contingent on Lisa Pathfinder success and a roughly 50-50 European partnership.

Stebbins, Robin T.↗

Space Technology 5: Pathfinder for Future Micro-Sat Constellations

The Space Technology 5 (ST-5) Project, currently in the implementation phase, is part of the National Aeronautics and Space Administration (NASA) s New Millennium Program (NMP). ST-5 will consist of a constellation of three miniature satellites, each with mass less than 25 kg and size approximately 60 cm by 30 cm. ST-5 addresses technology challenges, as well as fabrication, assembly, test and operations strategies for future micro-satellite missions. ST-5 will be deployed into a highly eccentric, geo-transfer orbit (GTO). This will expose the spacecraft to a high radiation environment as well as provide a low level magnetic background. A three-month flight demonstration phase is planned to validate the technologies and demonstrate concepts for future missions. Each ST-5 spacecraft incorporates NMP competitively-selected breakthrough technologies. These include Cold Gas Micro-Thrusters for propulsion and attitude control, miniature X-band transponder for space-ground communications, Variable Emittance Coatings for dynamic thermal control, and CULPRiT ultra low power logic chip used for Reed-Solomon encoding. The ST-5 spacecraft itself is a technology that can be infused into future missions. It is a fully functional micro-spacecraft built within tight volume and mass constraints. It is built to withstand a high radiation environment, large thermal variations, and high launch loads. The spacecraft power system is low-power and low-voltage, and is designed to turn on after separation &om the launch vehicle. Some of the innovations that are included in the ST-5 design are a custom spacecraft deployment structure, magnetometer deployment boom, nutation damper, X-band antenna, miniature spinning sun sensor, solar array with triple junction solar cells, integral card cage assembly containing single card Command and Data Handling and Power System Electronics, miniature magnetometer, and lithium ion battery. ST-5 will demonstrate the ability of a micro satellite to perform research-quality science. Each ST-5 spacecraft will deploy a precision magnetometer to be used both for attitude determination and as a representative science instrument. The spacecraft has been developed with a low magnetic signature to avoid interference with the magnetometer. The spacecraft will be able to detect and respond autonomously to science events, i.e. significant changes in the magnetic field measurements. The three spacecraft will be a pathfinder for future constellation missions. They will be deployed to demonstrate an appropriate geometry for scientific measurements as a constellation. They will be operationally managed as a constellation, demonstrating automation and communication strategies that will be useful for future missions. The technologies and future mission concepts will be validated both on the ground and in space. Technologies will be validated on the ground by a combination of component level and system level testing of the flight hardware in a thermal vacuum environment. In flight, specific validation runs are planned for each of the technologies. Each validation run consists of one or more orbits with a specific validation objective. This paper will describe the ST-5 mission, and the applicability of the NMP technologies, spacecraft, and mission concepts to future missions. It will also discuss the validation approach for the ST-5 technologies and mission concepts.

Carlisle, Candace↗

Mars Program Independent Assessment Team Report

The Mars Climate Orbiter failed to achieve Mars orbit on September 23, 1999. On December 3, 1999, Mars Polar Lander and two Deep Space 2 microprobes failed. As a result, the NASA Administrator established the Mars Program Independent Assessment Team (MPIAT) with the following charter: 1) Review and analyze successes and failures of recent Mars and Deep Space Missions which include: a) Mars Global Surveyor, b) Mars Climate Orbiter, c) Pathfinder, d) Mars Polar Lander, e) Deep Space 1, and f) Deep Space 2; 2) Examine the relationship between and among, NASA Jet Propulsion Laboratory (JPL), California Institute of Technology (Caltech), NASA Headquarters, and industry partners; 3) Assess effectiveness of involvement of scientists; 4) Identify lessons learned from successes and failures; 5) Review revised Mars Surveyor Program to assure lessons learned are utilized; 6) Oversee Mars Polar Lander and Deep Space 2 failure reviews; and 7) Complete by March 15, 2000. In-depth reviews were conducted at NASA Headquarters, JPL, and Lockheed Martin Astronautics (LMA). Structured reviews, informal sessions with numerous Mars Program participants, and extensive debate and discussion within the MPIAT establish the basis for this report. The review process began on January 7, 2000, and concluded with a briefing to the NASA Administrator on March 14, 2000. This report represents the integrated views of the members of the MPIAT who are identified in the appendix. In total, three related reports have been produced: a summary report, this report entitled "Mars Program Independent Assessment Team Report," and the "Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions".

Young, Thomas↗

Autonomous Science Analyses of Digital Images for Mars Sample Return and Beyond

To adequately explore high priority landing sites, scientists require rovers with greater mobility. Therefore, future Mars missions will involve rovers capable of traversing tens of kilometers (vs. tens of meters traversed by Mars Pathfinder's Sojourner). However, the current process by which scientists interact with a rover does not scale to such distances. A single science objective is achieved through many iterations of a basic command cycle: (1) all data must be transmitted to Earth and analyzed; (2) from this data, new targets are selected and the necessary information from the appropriate instruments are requested; (3) new commands are then uplinked and executed by the spacecraft and (4) the resulting data are returned to Earth, starting the process again. Experience with rover tests on Earth shows that this time intensive process cannot be substantially shortened given the limited data downlink bandwidth and command cycle opportunities of real missions. Sending complete multicolor panoramas at several waypoints, for example, is out of the question for a single downlink opportunity. As a result, long traverses requiring many science command cycles would likely require many weeks, months or even years, perhaps exceeding rover design life or other constraints. Autonomous onboard science analyses can address these problems in two ways. First, it will allow the rover to transmit only "interesting" images, defined as those likely to have higher science content. Second, the rover will be able to anticipate future commands, for example acquiring and returning spectra of "interesting" rocks along with the images in which they were detected. Such approaches, coupled with appropriate navigational software, address both the data volume and command cycle bottlenecks that limit both rover mobility and science yield. We are developing algorithms to enable such intelligent decision making by autonomous spacecraft. Reflecting the ultimate level of ability we aim for, this program has been dubbed the "Grad Student on Mars Project". We envision, for example, an appropriately intelligent Athena-like rover at the Pathfinder landing site might be able to traverse over the ridge towards "Twin Peaks" to obtain better information on the stratigraphy of these "streamlined islands" or of the size, composition and morphology of boulders located on them. Along the traverse, the intelligent rover would collect and analyze images and obtain spectra of geologically interesting features or regions. The intelligent rover might also traverse further up Arcs Vallis, and find additional paleoflood stage indicators such as slackwater deposits. Recognizing additional regions where boulders are imbricated, noting changes in their size, distribution, morphology, composition and the associated changes in channel geometry would yield important information on the outflow channel's paleoflood history, Representative images and associated supporting data from these locations could be downlinked to Earth along with the data requested by scientists from the previous uplink opportunity. Our initial work has focused on recognizing geologically interesting portions of images. Here we summarize some of the algorithms to date.

Gulick, V. C.↗

Space Technology 7 Disturbance Reduction System - precision control flight Validation

The NASA New Millennium Program Space Technology 7 (ST7) project will validate technology for precision spacecraft control. The Disturbance Reduction System (DRS) will be part of the European Space Agency's LISA Pathfinder project. The DRS will control the position of the spacecraft relative to a reference to an accuracy of one nanometer over time scales of several thousand seconds. To perform the control, the spacecraft will use a new colloid thruster technology. The thrusters will operate over the range of 5 to 30 micro-Newtons with precision of 0.1 micro- Newton. The thrust will be generated by using a high electric field to extract charged droplets of a conducting colloid fluid and accelerating them with a precisely adjustable voltage. The control reference will be provided by the European LISA Technology Package, which will include two nearly freefloating test masses. The test mass positions and orientations will be measured using a capacitance bridge. The test mass position and attitude will be adjustable using electrostatically applied forces and torques. The DRS will control the spacecraft position with respect to one test mass while minimizing disturbances on the second test mass. The dynamic control system will cover eighteen degrees of freedom: six for each of the test masses and six for the spacecraft. After launch in late 2009 to a low Earth orbit, the LISA Pathfinder spacecraft will be maneuvered to a halo orbit about the Earth-Sun L1 Lagrange point for operations.

microthrusters↗

OSS-1 - A pathfinder mission for space science on Shuttle

On the third Shuttle flight (STS-3), the Orbiter carried a payload of nine scientific instruments. The payload was designated OSS-1 because the program was originaly managed by the Office of Space Science. The OSS-1 objectives are discussed, taking into account the Plasma Diagnostics Package, a study concerned with vehicle charging and potential, the Thermal Canister Experiment, the Solar Flare X-ray Polarimeter, the Solar Ultraviolet Spectral Irradiance Monitor, the study of the influence of weightlessness on lignification in developing plant seedlings, the Microabrasion Foil Experiment, the Contamination Monitor Package, and a study of the characteristics of the Shuttle/Spacelab induced atmosphere. The OSS-1 payload was launched on STS-3 on March 22, 1982.

Neupert, W. M.↗

NAS technical summaries: Numerical aerodynamic simulation program, March 1991 - February 1992

NASA created the Numerical Aerodynamic Simulation (NAS) Program in 1987 to focus resources on solving critical problems in aeroscience and related disciplines by utilizing the power of the most advanced supercomputers available. The NAS Program provides scientists with the necessary computing power to solve today's most demanding computational fluid dynamics problems and serves as a pathfinder in integrating leading-edge supercomputing technologies, thus benefiting other supercomputer centers in Government and industry. This report contains selected scientific results from the 1991-92 NAS Operational Year, March 4, 1991 to March 3, 1992, which is the fifth year of operation. During this year, the scientific community was given access to a Cray-2 and a Cray Y-MP. The Cray-2, the first generation supercomputer, has four processors, 256 megawords of central memory, and a total sustained speed of 250 million floating point operations per second. The Cray Y-MP, the second generation supercomputer, has eight processors and a total sustained speed of one billion floating point operations per second. Additional memory was installed this year, doubling capacity from 128 to 256 megawords of solid-state storage-device memory. Because of its higher performance, the Cray Y-MP delivered approximately 77 percent of the total number of supercomputer hours used during this year.

Source record↗

NAS technical summaries. Numerical aerodynamic simulation program, March 1992 - February 1993

NASA created the Numerical Aerodynamic Simulation (NAS) Program in 1987 to focus resources on solving critical problems in aeroscience and related disciplines by utilizing the power of the most advanced supercomputers available. The NAS Program provides scientists with the necessary computing power to solve today's most demanding computational fluid dynamics problems and serves as a pathfinder in integrating leading-edge supercomputing technologies, thus benefitting other supercomputer centers in government and industry. The 1992-93 operational year concluded with 399 high-speed processor projects and 91 parallel projects representing NASA, the Department of Defense, other government agencies, private industry, and universities. This document provides a glimpse at some of the significant scientific results for the year.

Source record↗

NAS Technical Summaries, March 1993 - February 1994

NASA created the Numerical Aerodynamic Simulation (NAS) Program in 1987 to focus resources on solving critical problems in aeroscience and related disciplines by utilizing the power of the most advanced supercomputers available. The NAS Program provides scientists with the necessary computing power to solve today's most demanding computational fluid dynamics problems and serves as a pathfinder in integrating leading-edge supercomputing technologies, thus benefitting other supercomputer centers in government and industry. The 1993-94 operational year concluded with 448 high-speed processor projects and 95 parallel projects representing NASA, the Department of Defense, other government agencies, private industry, and universities. This document provides a glimpse at some of the significant scientific results for the year.

Source record↗