ALBERT

Description: Rover missions to the surface of Mars after MER 2003, are likely to be centered around focused geologic field mapping. One objective with high priority in selecting landing sites for these missions will be to characterize the nature, spatial distribution, internal structure, composition, and depositional history of exposed sedimentary layered deposits by visiting a number of distributed outcrops identified previously (and with a high degree of certainty) from orbit. These deposits may contain prebiotic material, even fossil organisms, but their primary value will be to enable an assessment of the planet's climate at the time they were emplaced. High resolution imaging from a mobile rover will enable the detailed study of these deposits over a wide area, their internal structure and mineralogy at distributed localities, and could resolve biologically-derived structures (such as stromatolite-like textures) if they are present. With the addition of a spectrometer, it should be possible to ascertain the presence of carbonates, sulfates, organics, water (liquid, frost, and bound water), as well as a variety of silicate minerals in the context of the collected imagery. Such a mission approach is directly relevant to future exploration of Mars, because it provides the geologic context comparable to what a field geologist visiting a site for the first time would acquire. Rover missions after MER will likely have much better targeting and hazard avoidance landing systems, enabling access to planimetrically-challenged sites of high scientific interest. These vehicles will also likely have greater mobility than MER, capable of driving greater distances in a shorter amount of time. Many scientists and mission planners have realized the need to design a rover whose mobility can be comparable to the dimensions of its 3-sigma landing error ellipse.

Description: The NASA's Intelligent Synthesis Environment (ISE) program is a grand attempt to develop a system to transform the way complex artifacts are engineered. This paper discusses a "middleware" architecture for enabling the development of ISE. Desirable elements of such an Intelligent Synthesis Architecture (ISA) include remote invocation; plug-and-play applications; scripting of applications; management of design artifacts, tools, and artifact and tool attributes; common system services; system management; and systematic enforcement of policies. This paper argues that the ISA extend conventional distributed object technology (DOT) such as CORBA and Product Data Managers with flexible repositories of product and tool annotations and "plug-and-play" mechanisms for inserting "ility" or orthogonal concerns into the system. I describe the Object Infrastructure Framework, an Aspect Oriented Programming (AOP) environment for developing distributed systems that provides utility insertion and enables consistent annotation maintenance. This technology can be used to enforce policies such as maintaining the annotations of artifacts, particularly the provenance and access control rules of artifacts-, performing automatic datatype transformations between representations; supplying alternative servers of the same service; reporting on the status of jobs and the system; conveying privileges throughout an application; supporting long-lived transactions; maintaining version consistency; and providing software redundancy and mobility.

Description: Using topography collected over one martian year from the Mars Orbiter Laser Altimeter on the Mars Global Surveyor (MGS) spacecraft, we have measured temporal changes in the elevation of the martian surface that correlate with the seasonal cycle of carbon dioxide exchange between the surface and atmosphere. The greatest elevation change (1.5 to 2 meters) occurs at high latitudes ( above 80 degrees ), whereas the bulk of the mass exchange occurs at lower latitudes (below 75 degrees N and below 73 degrees S). An unexpected period of sublimation was observed during northern hemisphere autumn, coincident with dust storms in the southern hemisphere. Analysis of MGS Doppler tracking residuals revealed temporal variations in the flattening of Mars that correlate with elevation changes. The combined changes in gravity and elevation constrain the average density of seasonally deposited carbon dioxide to be 910 +/- 230 kilograms per cubic meter, which is considerably denser than terrestrial snow.

Description: No abstract available

Description: To develop materials for shielding astronauts from the hazards of GCR, natural Martian surface materials are considered for their potential as radiation shielding for manned Mars missions. The modified radiation fluences behind various kinds of Martian rocks and regolith are determined by solving the Boltzmann equation using NASA Langley's HZETRN code along with the 1977 Solar Minimum galactic cosmic ray environmental model. To develop structural shielding composite materials for Martian surface habitats, theoretical predictions of the shielding properties of Martian regolith/polyimide composites has been computed to assess their shielding effectiveness. Adding high-performance polymer binders to Martian regolith to enhance structural properties also enhances the shielding properties of these composites because of the added hydrogenous constituents. Heavy ion beam testing of regolith simulant/polyimide composites is planned to validate this prediction. Characterization and proton beam tests are performed to measure structural properties and to compare the shielding effects on microelectronic devices, respectively.

Description: The western hemisphere of Mars is dominated by the formation of Tharsis, which is an enormous high-standing region (roughly 25% of the surface area of the planet) capped by volcanics, including the solar system's largest shield volcanoes. Tharsis is surrounded by an enormous radiating system of grabens and a circumferential system of wrinkle ridges that extends over the entire western hemisphere of Mars. This region is perhaps the largest and most long lived tectonic and volcanic province of any of the terrestrial planets with a well-preserved history of magmatic-driven activity that began in the Noachian and has lasted throughout Martian geologic time. Tharsis and the surrounding regions comprise numerous components, including volcanic constructs of varying sizes and extensive lava flow fields, large igneous plateaus, fault and ridge systems of varying extent and relative age of formation, gigantic outflow channel systems, vast system of canyons, and local and regional centers of tectonic activity. Many of these centers are interpreted to be the result of magmatic-related activity, including uplift, faulting, dike emplacement, volcanism, and local hydrothermal activity. Below we present a summary of our work for Tharsis focusing primarily on the earliest stage of development, the Noachian period. Here we hone in on the early centers and how they relate to the early development of the Tharsis Magmatic Complex (TMC).

Description: The objective of this project is to expand the capabilities of for the Mars Umbilical Technology Demonstrator (MUTD). The MUTD shall provide electrical power and fiber optic data cable connections between two simulated mars vehicles, 1000 in apart. ne wheeled mobile robot Omnibot is used to provide the mobile base for the system. The mate-to umbilical plate is mounted on a Cartesian robot, which is installed on the Omnibot mobile base. It is desirable to provide the operator controlling the Omnibot, the distance and direction to the target. In this report, an approach for finding the position and orientation of the mobile robot using inertial sensors and beacons is investigated. First phase of the project considered the Omnibot being on the flat surface. To deal with the uneven Mars environment, the orientation as well as position needs to be controlled. During local positioning, the information received from four ultrasonic sensors installed at the four corner of the mate-mi plate is used to identify the position of mate-to plate and mate the umbilical plates autonomously. The work proposed is the continuation of the principal investigator research effort as a participant in the 1999 NASA/ASEE Summer Faculty Fellowship Program.

Description: This paper presents the human exploration of Mars in viewgraph form.

Description: The contents include: 1) Crew Autonomy; 2) Bioastronautics Critical Path Roadmap (CPR); 3) CPR Issues; and 4) Clinical Problems.

Description: A major long term NASA objective is to enable human exploration beyond low Earth orbit. This will take a strange approach, with a concentration on new, enabling technologies and capabilities. Mars robotic missions are logical and necessary steps in the progression toward eventual human missions.

Description: The role of robots and humans in Mars Exploration is presented.

Description: A potential challenge for a human Mars mission is that while humans are by most measures the obvious best way to search for life on Mars, we may also be the most problematic in that we could unduly compromise the search for life by contaminating relevant environments and/or possibly adversely and irreversibly affecting indigenous life. Perhaps more problematic is the fundamental epistemic challenge of the "one data point" limitation which could decrease confidence in applying terrestrially based research to extraterrestrial life issues in general. An informal decision tree is presented as one way to begin thinking about contamination issues. There are many sub-questions and distinctions not shown such as biological vs. nonbiological (but biologically relevant) contamination, viable vs. dead organisms, masking indigenous organisms vs. merely making the search more difficult, and independent origin vs. panspermia distinctions. While it may be unlikely that terrestrial microbes could survive on Mars, let alone reproduce and unduly compromise the search for life, the unpredictable potential for microbial life to survive, grow exponentially, evolve and modify (and sometimes destroy) environments, warrants focusing carefully on biologically relevant contamination as we prepare to send humans to the first planet that may have indigenous life-forms.

Description: This effort supports the Astrobiology Objective 8 the Search for LIFE ON MARS PAST AND PRESENT -(Astrobiology Program Office, 1998, p.7). The essential trade analysis is between returning very small samples to the Earth while protecting them versus in situ analysis on Mars. Developing these explicit parameters encompasses design, instrumentation, system integration, human factors and surface operations for both alternatives. This allocation of capability approach incorporates a "humans and machines in the loop" model that recognizes that every exploration system involves both humans and automated systems. The question is where in the loop they occur whether on Earth, in the Mars Base, in the rover or creeping over the Mars surface.

Description: Mars climatology and its influence on human exploration is presented.

Description: The contents include: 1) Field Exploration Strategy; 2) Analytical Capabilities and Instruments; 3) Crew Skills and Training; and 4) Earth-Mars Communications. This paper is in viewgraph form.

Description: The contents include: 1) Human Contributions; 2) Tasks for Humans (History and Future); 3) Environmental and Physical Limitations; 4) Human and Robotic Implementation Options; 5) Ground Test Experience; 6) Needed Enabling Information and Technology; and 7) Strategic Issues.

Description: This paper presents a comparison of robot and human surface operations on solar system bodies. The topics include: 1) Long Range Vision of Surface Scenarios; 2) Human and Robots Complement Each Other; 3) Respective Human and Robot Strengths; 4) Need More In-Depth Quantitative Analysis; 5) Projected Study Objectives; 6) Analysis Process Summary; 7) Mission Scenarios Decompose into Primitive Tasks; 7) Features of the Projected Analysis Approach; and 8) The "Getting There Effect" is a Major Consideration. This paper is in viewgraph form.

Description: The Mars Environmental Compatibility Assessment (MECA) electrometer is an instrument that was designed jointly by researchers at the Jet Propulsion Laboratory and the Kennedy Space Center, and is intended to fly on a future space exploration mission of the surface of Mars. The electrometer was designed primarily to study (1) the electrostatic interaction between the Martian soil and five different types of insulators, which are attached to the electrometer, as the electrometer is rubbed over the Martian soil. The MECA/Electrometer is also capable of measuring (2) the presence of charged particles in the Martian atmosphere, (3) the local electric field strength, and (4) the local temperature. The goal of the research project described in this report was to test and evaluate the measurement capabilities of the MECA/Electrometer under simulated Martian surface conditions using facilities located in the Labs and Testbeds Division at the Kennedy Space Center. The results of this study indicate that the Martian soil simulant can triboelectrically charge up the insulator surface. However, the maximum charge buildup did not exceed 18% of the electrometer's full-range sensitivity when rubbed vigorously, and is more likely to be as low as 1% of the maximum range when rubbed through soil. This indicates that the overall gain of the MECA/Electrometer could be increased by a factor of 50 if measurements at the 50% level of full-range sensitivity are desired. The ion gauge, which detects the presence of charged particles, was also evaluated over a pressure range from 10 to 400 Torr (13 to 533 mbar). The electric field sensor was also evaluated. Although the temperature sensor was not evaluated due to project time constraints, it was previously reported to work properly.

Description: Interstellar gas and dust constitute the primary material from which the solar system formed. Near the end of the hot early phase of star and planet formation, volatile, less refractory materials were transported into the inner solar system as comets and interplanetary dust particles. Once the inner planets had sufficiently cooled, late accretionary infall seeded them with complex organic compounds [Oro, J. (1961) Nature (London) 190, 389-390; Delsemme, A. H. (1984) Origins Life 14, 51-60; Anders, E. (1989) Nature (London) 342, 255-257; Chyba, C. F. & Sagan, C. (1992) Nature (London) 355, 125-131]. Delivery of such extraterrestrial compounds may have contributed to the organic inventory necessary for the origin of life. Interstellar ices, the building blocks of comets, tie up a large fraction of the biogenic elements available in molecular clouds. In our efforts to understand their synthesis, chemical composition, and physical properties, we report here that a complex mixture of molecules is produced by UV photolysis of realistic, interstellar ice analogs, and that some of the components have properties relevant to the origin of life, including the ability to self-assemble into vesicular structures.

Description: Infrared (IR) studies of laboratory ices can provide information on the evolution of cosmic-type ices as a function of different simulated space environments involving thermal, ultraviolet (UV), or ion processing. Laboratory radiation experiments can lead to the formation of complex organic molecules. However, because of our lack of knowledge about UV photon and ion fluxes, and exposure lifetimes, it is not certain how well our simulations represent space conditions. Appropriate laboratory experiments are also limited by the absence of knowledge about the composition, density, and temperature of ices in different regions of space. Our current understanding of expected doses due to UV photons and cosmic rays is summarized here, along with an inventory of condensed-phase molecules identified on outer solar system surfaces, comets and interstellar grains. Far-IR spectra of thermally cycled H2O are discussed since these results reflect the dramatic difference between the amorphous and crystalline phases of H2O ice, the most dominant condensed-phase molecule in cosmic ices. A comparison of mid-IR spectra of products in proton-irradiated and UV-photolyzed ices shows that few differences are observed for these two forms of processing for the simple binary mixtures studied to date. IR identification of radiation products and experiments to determine production rates of new molecules in ices during processing are discussed. A new technique for measuring intrinsic IR band strengths of several unstable molecules is presented. An example of our laboratory results applied to Europa observations is included.

Description: "Are they worlds, or are they mere masses of matter? Are physical forces alone at work there or has evolution begotten something more complex, something not unakin to what we know on Earth as life? It is in this that lies the peculiar interest of Mars." Percival Lowell (in ref. 1, p. 3).

Description: The detection of impulsive low-frequency (10 to 80 kHz) radio signals, and separate very-low-frequency (approx. 100 Hz) radio 'whistler' signals provided the first evidence for lightning in the atmosphere of Venus. Later, a small number of impulsive high- frequency (100 kHz to 5.6 MHz) radio signals, possibly due to lightning, were also detected. The existence of lightning at Venus has, however, remained controversial. Here we report the results of a search for high-frequency (0.125 to 16 MHz) radio signals during two close fly-bys of Venus by the Cassini spacecraft. Such signals are characteristic of terrestrial lightning, and are commonly heard on AM (amplitude-modulated) radios during thunderstorms. Although the instrument easily detected signals from terrestrial lightning during a later fly-by of Earth (at a global flash rate estimated to be 70/s, which is consistent with the rate expected for terrestrial lightning), no similar signals were detected from Venus. If lightning exists in the venusian atmosphere, it is either extremely rare, or very different from terrestrial lightning.

Description: The ten-degree tilt of the Jovian magnetic dipole causes the magnetic equator to move back and forth across Jupiter's rotational equator and tile Galileo orbit that lies therein. Beyond about 24 Jovian radii, the equatorial current sheet thins and tile magnetic structure changes from quasi-dipolar into magnetodisk-like with two regions of nearly radial but antiparallel magnetic field separated by a strong current layer. The magnetic field at the center of the current sheet is very weak in this region. Herein we examine tile current sheet at radial distances from 24 55 Jovian radii. We find that the magnetic structure very much resembles tile structure seen at planetary magnetopause and tail current sheet crossings. Tile magnetic field variation is mainly linear with little rotation of the field direction, At times there is almost no small-scale structure present and the normal component of the magnetic field is almost constant through the current sheet. At other times there are strong small-scale structures present in both the southward and northward directions. This small-scale structure appears to grow with radial distance and may provide the seeds for tile explosive reconnection observed at even greater radial distances oil tile nightside. Beyond about 40 Jovian radii, the thin current sheet also appears to be almost constantly in oscillatory motion with periods of about 10 min. The amplitude of these oscillations also appears to grow with radial distance. The source of these fluctuations may be dynamical events in tile more distant magnetodisk.

Description: Radiation is a primary concern in the planning of a manned mission to Mars. Recent studies using NASA Langley Research Center's HZETRN space radiation transport code show that the low energy neutron fluence on the Martian surface is larger than previously expected. The upper atmosphere of Mars is exposed to a background radiation field made up of a large number of protons during a solar particle event and mixture of light and heavy ions caused by galactic cosmic rays at other times. In either case, these charged ions interact with the carbon and oxygen atoms of the Martian atmosphere through ionization and nuclear collisions producing secondary ions and neutrons which then interact with the atmospheric atoms in a similar manner. In the past, only these downward moving particles have been counted in evaluating the neutron energy spectrum on the surface. Recent enhancements in the HZETRN code allow for the additional evaluation of those neutrons created within the Martian regolith through the same types of nuclear reactions, which rise to the surface. New calculations using this improved HZETRN code show that these upward moving neutrons contribute significantly to the overall neutron spectrum for energies less than 10 MeV.

Description: We use a time dependent, microphysical cloud model to study the formation of carbon dioxide clouds in the Martian atmosphere. Laboratory studies by Glandor et al. show that high critical supersaturations are required for cloud particle nucleation and that surface kinetic growth is not limited. These conditions, which are similar to those for cirrus clouds on Earth, lead to the formation of carbon dioxide ice particles with radii greater than 500 micrometers and concentrations of less than 0.1 cm(exp -3) for typical atmospheric conditions. Within the current Martian atmosphere, CO2 cloud formation is possible at the poles during winter and at high altitudes in the tropics during periods of increased atmospheric dust loading. In both cases, temperature perturbations of several degrees below the CO2 saturation temperature are required to nucleate new cloud particles suggesting that dynamical processes are the most common initiators of carbon dioxide clouds rather than diabatic cooling. The microphysical cloud model, coupled to a two-stream radiative transfer model, is used to reexamine the impact of CO2 clouds on the surface temperature within a dense CO2 atmosphere. The formation of carbon dioxide clouds leads to a warmer surface than what would be expected for clear sky conditions. The amount of warming is sensitive to the presence of dust and water vapor in the atmosphere, both of which act to dampen cloud effects. The radiative warming associated with cloud formation, as well as latent heating, work to dissipate the clouds when present. Thus, clouds never last for periods much longer than several days, limiting their overall effectiveness for warming the surface. The time average cloud optical depth is approximately unity leading to a 5-10 K warming, depending on the surface pressure. However, the surface temperature does not rise about the freezing point of liquid water even for pressures as high as 5 bars, at a solar luminosity of 75% the current value.

Description: The Unified Modeling Language (UML) is gaining wide popularity for the design of object-oriented systems. UML combines various object-oriented graphical design notations under one common framework. A major factor for the broad acceptance of UML is that it can be conveniently used in a highly iterative, Use Case (or scenario-based) process (although the process is not a part of UML). Here, the (pre-) requirements for the software are specified rather informally as Use Cases and a set of scenarios. A scenario can be seen as an individual trace of a software artifact. Besides first sketches of a class diagram to illustrate the static system breakdown, scenarios are a favorite way of communication with the customer, because scenarios describe concrete interactions between entities and are thus easy to understand. Scenarios with a high level of detail are often expressed as sequence diagrams. Later in the design and implementation stage (elaboration and implementation phases), a design of the system's behavior is often developed as a set of statecharts. From there (and the full-fledged class diagram), actual code development is started. Current commercial UML tools support this phase by providing code generators for class diagrams and statecharts. In practice, it can be observed that the transition from requirements to design to code is a highly iterative process. In this talk, a set of algorithms is presented which perform reasonable synthesis and transformations between different UML notations (sequence diagrams, Object Constraint Language (OCL) constraints, statecharts). More specifically, we will discuss the following transformations: Statechart synthesis, introduction of hierarchy, consistency of modifications, and "design-debugging".

Description: Infrared spectra returned by the Thermal Emission Spectrometer (TES) are well suited for retrieval of the thermal structure and the distribution of aerosols in the Martian atmosphere. Combined nadir- and limb-viewing spectra allow global monitoring of the atmosphere up to 0.01 mbar (65 km). We report here on the atmospheric thermal structure and the distribution of aerosols as observed thus far during the mapping phase of the Mars Global Surveyor mission. Zonal and temporal mean cross sections are used to examine the seasonal evolution of atmospheric temperatures and zonal winds during a period extending from northern hemisphere mid-summer through vernal equinox (L(sub s) = 104-360 deg). Temperature maps at selected pressure levels provide a characterization of planetary-scale waves. Retrieved atmospheric infrared dust opacity maps show the formation and evolution of regional dust storms during southern hemisphere summer. Response of the atmospheric thermal structure to the changing dust loading is observed. Maps of water-ice clouds as viewed in the thermal infrared are presented along with seasonal trends of infrared water-ice opacity. Uses of these observations for diagnostic studies of the dynamics of the atmosphere are discussed.

Description: Interplanetary dust particles (IDPs) interact with all planetary atmospheres and leave their imprint as perturbations of the background atmospheric chemistry and structure. They lead to layers of metal ions that can become the dominant positively charged species in lower ionospheric regions. Theoretical models and radio occultation measurements provide compelling evidence that such layers exist in all planetary atmospheres. In addition IDP ablation products can affect neutral atmospheric chemistry, particularly at the outer planets where the IDPs supply oxygen compounds like water and carbon dioxide to the upper atmospheres. Aerosol or smoke particles from incomplete ablation or recondensation of ablated IDP vapors may also have a significant impact on atmospheric properties.

Description: Spectra taken by the Mars Global Surveyor Thermal Emission Spectrometer (TES) have been used to monitor the latitude, longitude, and seasonal dependence of water vapor for over one full Martian year (March 1999-March 2001). A maximum in water vapor abundance is observed at high latitudes during mid-summer in both hemispheres, reaching a maximum value of approximately 100 pr-micrometer in the north and approximately 50 pr-micrometer in the south. Low water vapor abundance (〈5 pr-micrometer) is observed at middle and high latitudes in the fall and winter of both hemispheres. There are large differences in the hemispheric (north versus south) and seasonal (perihelion versus aphelion) behavior of water vapor. The latitudinal and seasonal dependence of the decay of the northern summer water vapor maximum implies cross-equatorial transport of water to the southern hemisphere, while there is little or no corresponding transport during the decay of the southern hemisphere summer maximum. The latitude-longitude dependence of annually-averaged water vapor (corrected for topography) has a significant positive correlation with albedo and significant negative correlations with thermal inertia and surface pressure. Comparison of TES results with those retrieved from the Viking Orbiter Mars Atmospheric Water Detectors (MAWD) experiments shows some similar features, but also many significant differences. The southern hemisphere maximum observed by TES was not observed by MAWD and the large latitudinal gradient in annually-averaged water vapor observed by MAWD does not appear in the TES results.

Description: Soft temporal constraint problems allow to describe in a natural way scenarios where events happen over time and preferences are associated to event distances and durations. However, sometimes such local preferences are difficult to set, and it may be easier instead to associate preferences to some complete solutions of the problem. To model everything in a uniform way via local preferences only, and also to take advantage of the existing constraint solvers which exploit only local preference use machine learning techniques which learn the local preferences from the global ones. In this paper we describe the existing framework for both solving and learning preferences in temporal constraint problems, the implemented modules, the experimental scenario, and preliminary results on some examples.

Description: When using model checking to verify programs in practice, it is not usually possible to achieve complete coverage of the system. In this position paper we describe ongoing research within the Automated Software Engineering group at NASA Ames on the use of test coverage metrics to measure partial coverage and provide heuristic guidance for program model checking. We are specifically interested in applying and developing coverage metrics for concurrent programs that might be used to support certification of next generation avionics software.

Description: Solar system debris, in the form of meteoroids, impacts every planet. The flux, relative composition and speed of the debris at each planet depends on the planet's size and location in the solar system. Ablation in the atmosphere evaporates the meteoric material and leaves behind metal atoms. During the ablation process metallic ions are formed by impact ionization. For small inner solar system planets, including Earth, this source of ionization is typically small compared to either photoionization or charge exchange with ambient molecular ions. For Earth, the atmosphere above the main deposition region absorbs the spectral lines capable of ionizing the major metallic atoms (Fe and Mg) so that charge exchange with ambient ions is the dominant source. Within the carbon dioxide atmosphere of Mars (and possibly Venus), photoionization is important in determining the ion density. For a heavy planet like Jupiter, far from the sun, impact ionization of ablated neutral atoms by impacts with molecules becomes a prominent source of ionization due to the gravitational acceleration to high incident speeds. We will describe the processes and location and extent of metal ion layers for Mars, Earth and Jupiter, concentrating on flagging the uncertainties in the models at the present time. This is an important problem, because low altitude ionosphere layers for the planets, particularly at night, probably consist predominantly of metallic ions. Comparisons with Earth will be used to illustrate the differing processes in the three planetary atmospheres.

Description: Future human missions to Mars will require effective communications supporting exploration activities and scientific field data collection. Constraints on cost, size, weight and power consumption for all communications equipment make optimization of these systems very important. These information and communication systems connect people and systems together into coherent teams performing the difficult and hazardous tasks inherent in planetary exploration. The communication network supporting vehicle telemetry data, mission operations, and scientific collaboration must have excellent reliability, and flexibility.

Description: This report will be provided each quarter as a source for reliability, radiation results, NASA capabilities, and other information on programmable logic devices and related applications. This quarter will continue a series of notes concentrating on analysis techniques with this issue's section discussing the use of Root-Sum-Square calculations for digital delays.

Description: Extraterrestrial material is the source of metal ions in the Earth's atmosphere, Each year approx. 10(exp 8) kg of material is intercepted by the Earth. The origin of this material is predominantly solar orbiting interplanetary debris from comets or asteroids that crosses the Earth's orbit. It contains a very small amount of interstellar material. On occasion the Earth passes through enhanced amounts of debris associated with the orbit of a decaying comet. This leads to enhanced meteor shower displays for up to several days. The number flux of shower material is typically several times the average sporadic background influx of material. Meteoric material is some of the earliest material formed in the solar system. By studying the relative elemental abundances of atmospheric metal ions, information can be gained on the chemical composition of cometary debris and the chemical makeup of the early solar system. Using in situ sampling with rocket-borne ion mass spectrometers; there have been approximately 50 flights that made measurements of the metal ion abundances at attitudes between 80 and 130 km. It is this altitude range where incoming meteoric particles am ablated, the larger ones giving rise to visible meteor. displays. In several rocket measurements isotopic ratios of different atomic ion mass components and metal molecular ion concentrations have been determined and used to identify unambiguously the measured species and to investigate the processes controlling the metal ion distributions The composition of the Earth's ionosphere was first sampled by an ion mass spectrometer flown an a rocket in 1956. In 1958 a rocket-borne ion spectrometer identified, fbr the first time, a layer of metal ions near 95 km. These data were interpreted as evidence of an extraterrestrial rather than a terrestrial source. Istomin predicted: "It seems probable that with some improvement in the method that analysis of the ion composition in the E-region may be used for determining the chemical composition of those meteors which do not reach the ground. Particularly, we hope to get information about the composition difference between particles of different meteor showers and also sporadic and shower meteoroids". These visions categorized the aims of many subsequent rocket-borne ion mass spectrometer experiments in the lower ionosphere, Although the use such measurements to deduce the composition of different classes of meteoroids has not been successful, the past four decades of rocket observations have provided po%erful sets of data for advancing our understanding of meteor ablation, meteoric composition, metal neutral and ion chemistry as well as ionospheric dynamics.

Description: This report describes the development of the NASA Goddard Space Flight Center Virtual Science Fair, including its history and outgrowth from the traditional regional science fairs supported by NASA. The results of the 1999 Virtual Science Fair pilot program, the mechanics of running the 2000 Virtual Science Fair and its results, and comments and suggestions for future Virtual Science Fairs are provided. The appendices to the report contain supporting documentation, including the original proposal for this project, the judging criteria, the user's guide and the judge's guide to the Virtual Science Fair Web site, the Fair publicity brochure and the Fair award designs, judges' and students' responses to survey questions about the Virtual Science Fair, and lists of student entries to both the 1999 and 2000 Fairs.

Description: Knowledge gained from measurements and models is used to study the high-speed plasmas interacting with the atmospheres and ionospheres of Titan and Venus. Considering the similarities of the interactions, comparative analysis is used to support the interpretations of observations made at each body. Ionospheric flow inferred to exist by analysis of measurements made from the Pioneer Venus Orbiter supports the interpretation of similar flow in the ionosphere of Titan. The concept that cold ions escape from the ionosphere of Venus is supported by the Voyager I observation that cold ions escape down the magnetic tail of Titan. Pickup O+ ion energy distributions observed at their source in the ionosheath of Venus are shown to be influenced by finite gyroradius effects. The signatures of such effects are expected to be retained as the ions move into the wakes of Titan and Venus.

Description: The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as input. The generated algorithm runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula.

Description: Living and working on Mars will require model-based computer systems for maintaining and controlling complex life support, communication, transportation, and power systems. This technology must work properly on the first three-year mission, augmenting human autonomy, without adding-yet more complexity to be diagnosed and repaired. One design method is to work with scientists in analog (mars-like) setting to understand how they prefer to work, what constrains will be imposed by the Mars environment, and how to ameliorate difficulties. We describe how we are using empirical requirements analysis to prototype model-based tools at a research station in the High Canadian Arctic.

Description: This paper describes an active (real time) recognition strategy whereby information is inferred iteratively across several viewpoints in descent imagery. We will show how we use inverse theory within the context of parametric model generation, namely height and spectral reflection functions, to generate model assertions. Using this strategy in an active context implies that, from every viewpoint, the proposed system must refine its hypotheses taking into account the image and the effect of uncertainties as well. The proposed system employs probabilistic solutions to the problem of iteratively merging information (images) from several viewpoints. This involves feeding the posterior distribution from all previous images as a prior for the next view. Novel approaches will be developed to accelerate the inversion search using novel statistic implementations and reducing the model complexity using foveated vision. Foveated vision refers to imagery where the resolution varies across the image. In this paper, we allow the model to be foveated where the highest resolution region is called the foveation region. Typically, the images will have dynamic control of the location of the foveation region. For descent imagery in the Entry, Descent, and Landing (EDL) process, it is possible to have more than one foveation region. This research initiative is directed towards descent imagery in connection with NASA's EDL applications. Three-Dimensional Model Recognition, Generation, Fusion, Update, and Refinement (RGFUR or RG4) for height and the spectral reflection characteristics are in focus for various reasons, one of which is the prospect that their interpretation will provide for real time active vision for automated EDL.

Description: Virtual Environments provide a natural setting for a wide range of information visualization applications, particularly wlieit the information to be visualized is defined on a three-dimensional domain (Bryson, 1996). This chapter provides an overview of the issues that arise when designing and implementing an information visualization application in a virtual environment. Many design issues that arise, such as, e.g., issues of display, user tracking are common to any application of virtual environments. In this chapter we focus on those issues that are special to information visualization applications, as issues of wider concern are addressed elsewhere in this book.

Description: This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java programs. Runtime analysis is based on the idea of executing the program once. and observing the generated run to extract various kinds of information. This information can then be used to predict whether other different runs may violate some properties of interest, in addition of course to demonstrate whether the generated run itself violates such properties. These runtime analyses can be performed stand-alone to generate a set of warnings. It is furthermore demonstrated how these warnings can be used to guide a model checker, thereby reducing the search space. The described techniques have been implemented in the b e grown Java model checker called PathFinder.

Description: Circular coinduction is a technique for behavioral reasoning that extends cobasis coinduction to specifications with circularities. Because behavioral satisfaction is not recursively enumerable, no algorithm can work for every behavioral statement. However. algorithms using circular coinduction can prove every practical behavioral result that we know. This paper proves the correctness of circular coinduction and some consequences.

Description: This report describes results of benchmark tests on Steger, a 250 MHz Origin 2000 system with R10K processors, currently installed at the NASA Ames National Advanced Supercomputing (NAS) facility. For comparison purposes, the tests were also run on Lomax, a 400 MHz Origin 2000 with R12K processors. The BT, LU, and SP application benchmarks in the NAS Parallel Benchmark Suite and the kernel benchmark FT were chosen to measure system performance. Having been written to measure performance on Computational Fluid Dynamics applications, these benchmarks are assumed appropriate to represent the NAS workload. Since the NAS runs both message passing (MPI) and shared-memory, compiler directive type codes, both MPI and OpenMP versions of the benchmarks were used. The MPI versions used were the latest official release of the NAS Parallel Benchmarks, version 2.3. The OpenMP versions used were PBN3b2, a beta version that is in the process of being released. NPB 2.3 and PBN3b2 are technically different benchmarks, and NPB results are not directly comparable to PBN results.

Description: AUTOBAYES is a fully automatic program synthesis system for the statistical data analysis domain. Its input is a concise description of a data analysis problem in the form of a statistical model; its output is optimized and fully documented C/C++ code which can be linked dynamically into the Matlab and Octave environments. AUTOBAYES synthesizes code by a schema-guided deductive process. Schemas (i.e., code templates with associated semantic constraints) are applied to the original problem and recursively to emerging subproblems. AUTOBAYES complements this approach by symbolic computation to derive closed-form solutions whenever possible. In this paper, we concentrate on the interaction between the symbolic computations and the deductive synthesis process. A statistical model specifies for each problem variable (i.e., data or parameter) its properties and dependencies in the form of a probability distribution, A typical data analysis task is to estimate the best possible parameter values from the given observations or measurements. The following example models normal-distributed data but takes prior information (e.g., from previous experiments) on the data's mean value and variance into account.

Description: Software development for NASA missions is a particularly challenging task. Missions are extremely ambitious scientifically, have very strict time frames, and must be accomplished with a maximum degree of reliability. Verification technologies must therefore be pushed far beyond their current capabilities. Moreover, reuse and adaptation of software architectures and components must be incorporated in software development within and across missions. This paper discusses NASA applications that we are currently investigating from these perspectives.

Description: This paper describes work on the verification of HSTS, the planner and scheduler of the Remote Agent autonomous control system deployed in Deep Space 1 (DS1). The verification is done using UPPAAL, a real time model checking tool. We start by motivating our work in the introduction. Then we give a brief description of HSTS and UPPAAL. After that, we give a mapping of HSTS models into UPPAAL and we present samples of plan model properties one may want to verify. Finally, we conclude with a summary.

Description: In the late 80's, when the author started working at the Goddard Space Flight Center (GSFC) for the National Aeronautics and Space Administration (NASA), several scientists there were in the process of formulating the next generation of Earth viewing science instruments, the Moderate Resolution Imaging Spectroradiometer (MODIS). The instrument would have over thirty spectral bands and would transmit enormous data through the communications channel. This was when the author was assigned the task of investigating lossless compression algorithms for space implementation to compress science data in order to reduce the requirement on bandwidth and storage.

Description: During the week of March 26, 2001, I was asked by Rich Katz, NASA-GSFC, to participate on the Mars Odyssey Independent Assessment Team (IAT) that would investigate the implications of the failure of an Actel RP 1280 Field Programmable Gate Array (FPGA), which occurred on the Space Infrared Telescope Facility (SIRTF) spacecraft, on the Mars Odyssey spacecraft that was set to launch on April 7, 2001. We were provided with review materials from JPL and Lockheed Martin (LMA) that would be discussed at a meeting on April 2, 2001.

Description: One of the most costly errors committed during the development of an element to be used in the space industry is the lack of communication between design and manufacturing engineers. A very important tool that should be utilized in the development stages by both design and manufacturing disciplines is rapid prototyping. Communication levels are intensified with the injection of functional models that are generated from a drawing. At the Marshall Space Flight Center, this discipline is utilized on a more frequent basis as a manner by which hardware may be tested for design and material compatibility.

Description: The radiation environment in space is a complex problem to model. Trying to extrapolate the projections of that environment into all areas of the internal spacecraft geometry is even more daunting. With the support of our CERN colleagues, our research group in Houston is embarking on a project to develop a radiation transport tool that is tailored to the problem of taking the external radiation flux incident on any particular spacecraft and simulating the evolution of that flux through a geometrically accurate model of the spacecraft material. The output will be a prediction of the detailed nature of the resulting internal radiation environment within the spacecraft as well as its secondary albedo. Beyond doing the physics transport of the incident flux, the software tool we are developing will provide a self-contained stand-alone object-oriented analysis and visualization infrastructure. It will also include a graphical user interface and a set of input tools to facilitate the simulation of space missions in terms of nominal radiation models and mission trajectory profiles. The goal of this project is to produce a code that is considerably more accurate and user-friendly than existing Monte-Carlo-based tools for the evaluation of the space radiation environment. Furthermore, the code will be an essential complement to the currently existing analytic codes in the BRYNTRN/HZETRN family for the evaluation of radiation shielding. The code will be directly applicable to the simulation of environments in low earth orbit, on the lunar surface, on planetary surfaces (including the Earth) and in the interplanetary medium such as on a transit to Mars (and even in the interstellar medium). The software will include modules whose underlying physics base can continue to be enhanced and updated for physics content, as future data become available beyond the timeframe of the initial development now foreseen. This future maintenance will be available from the authors of FLUKA as part of their continuing efforts to support the users of the FLUKA code within the particle physics community. In keeping with the spirit of developing an evolving physics code, we are planning as part of this project, to participate in the efforts to validate the core FLUKA physics in ground-based accelerator test runs. The emphasis of these test runs will be the physics of greatest interest in the simulation of the space radiation environment. Such a tool will be of great value to planners, designers and operators of future space missions, as well as for the design of the vehicles and habitats to be used on such missions. It will also be of aid to future experiments of various kinds that may be affected at some level by the ambient radiation environment, or in the analysis of hybrid experiment designs that have been discussed for space-based astronomy and astrophysics. The tool will be of value to the Life Sciences personnel involved in the prediction and measurement of radiation doses experienced by the crewmembers on such missions. In addition, the tool will be of great use to the planners of experiments to measure and evaluate the space radiation environment itself. It can likewise be useful in the analysis of safe havens, hazard migration plans, and NASA's call for new research in composites and to NASA engineers modeling the radiation exposure of electronic circuits. This code will provide an important complimentary check on the predictions of analytic codes such as BRYNTRN/HZETRN that are presently used for many similar applications, and which have shortcomings that are more easily overcome with Monte Carlo type simulations. Finally, it is acknowledged that there are similar efforts based around the use of the GEANT4 Monte-Carlo transport code currently under development at CERN. It is our intention to make our software modular and sufficiently flexible to allow the parallel use of either FLUKA or GEANT4 as the physics transport engine.

Description: One of the critical phases in the development of a spacecraft attitude control system (ACS) is the testing of its flight software. The testing (and test verification) of ACS flight software requires a mix of skills involving software, knowledge of attitude control, and attitude control hardware, data manipulation, and analysis. The process of analyzing and verifying flight software test results often creates a bottleneck which dictates the speed at which flight software verification can be conducted. In the development of the Microwave Anisotropy Probe (MAP) spacecraft ACS subsystem, an integrated design environment was used that included a MAP high fidelity (HiFi) simulation, a central database of spacecraft parameters, a script language for numeric and string processing, and plotting capability. In this integrated environment, it was possible to automate many of the steps involved in flight software testing, making the entire process more efficient and thorough than on previous missions. In this paper, we will compare the testing process used on MAP to that used on other missions. The software tools that were developed to automate testing and test verification will be discussed, including the ability to import and process test data, synchronize test data and automatically generate HiFi script files used for test verification, and an automated capability for generating comparison plots. A summary of the benefits of applying these test methods on MAP will be given. Finally, the paper will conclude with a discussion of re-use of the tools and techniques presented, and the ongoing effort to apply them to flight software testing of the Triana spacecraft ACS subsystem.

Description: Qualtech Systems, Inc. developed a complete software system with capabilities of multisignal modeling, diagnostic analysis, run-time diagnostic operations, and intelligent interactive reasoners. Commercially available as the TEAMS (Testability Engineering and Maintenance System) tool set, the software can be used to reveal unanticipated system failures. The TEAMS software package is broken down into four companion tools: TEAMS-RT, TEAMATE, TEAMS-KB, and TEAMS-RDS. TEAMS-RT identifies good, bad, and suspect components in the system in real-time. It reports system health results from onboard tests, and detects and isolates failures within the system, allowing for rapid fault isolation. TEAMATE takes over from where TEAMS-RT left off by intelligently guiding the maintenance technician through the troubleshooting procedure, repair actions, and operational checkout. TEAMS-KB serves as a model management and collection tool. TEAMS-RDS (TEAMS-Remote Diagnostic Server) has the ability to continuously assess a system and isolate any failure in that system or its components, in real time. RDS incorporates TEAMS-RT, TEAMATE, and TEAMS-KB in a large-scale server architecture capable of providing advanced diagnostic and maintenance functions over a network, such as the Internet, with a web browser user interface.

Description: In this paper we describe the software aspects of the overall Athena SDM rover mobility system in three parts: the control electronics, the software architecture and development environment, and surface navigation software. The Athena SDM architecture has been shown to be capable of meeting mission navigation requirements by being able to safely drive 100 meters using allowable resources within three hours.

Description: Talks of how asteroid 1998 SF36 (25143) is the target of the Japanese/NASA MUSES-C sample return mission.

Description: In this paper the concept for a mobile vehicle system which performs an in situ science mission to Mars is described. This rover mission with its requirements for driving, positioning at science selected targets, and remote and in situ measurement will utilize the technologies for hazard avoidance and autonomous navigation supported by ground operation tools which use rover-based imagery for position estimation and motion planning.

Description: Effective midleware can improve the capability of business and science applications in several ways, e.g., by hiding platform heterogeneity or by providing standard shared services which reduce the complexity or increase the capability of every application. Recent successes in midleware, such as multi-tier client/server and web-based architectures, have fueled phenomenal growth in enterprise level applications, which provide better integration and more rapid adaptability of business in many fields.

Description: This paper talks about planetary exploration spacecraft design.

Description: The Saturn in your kitchen program is a series of hands-on activities that seeks to introduce students to one of the science or engineering concepts relating to the Cassini mission.

Description: A study in which several surface samples, retrieved from both the Mars Odyssey Spacecraft and the Kennedy Space Center (KSC) Spacecraft Assembly and Encapsulation Facility II (SAEF-II), were prcesed and evaluated by both molecular and traditional culture-based methods for the microbial diversity.

Description: We have constructed a computer model to simulate synchrotron emission from relativistic electrons trapped in Jupiter's magnetic field.

Description: This paper will show the unique features of navigation and mission design related to orbiting an asteroid and to designing a robust navigation system for the NEAR spacecraft.

Description: This is part three of a development program to evaluate candidate nonablative aeroshell designs.

Description: They present an overview of long-life reconfigurable processor technologies and of a specific architecture for implementing a software reconfigurable (software-defined) network processor for space applications.

Description: Talks about ways to help make a human trip to Mars more feasible.

Description: This article explains how one would go about building a human habitat on Mars.

Description: The Mars program institutes the Mars Scout Missions in order to address science goals in the program not otherwise covered in the baseline Mars plan. Mars Scout Missions will be Principle-Investigator (PI) led science missions. Analogous to the Discovery Program, PI led investigations optimize the use of limited resources to accomplish the best focused science and allow the flexibility to quickly respond to discoveries at Mars. Scout missions also require unique investments in technology and reliance upon Mars-based infrastructure such as telecom relay orbiters.

Description: Developing cost efficient individual flight projects that perform both orbital and surface exploraton will likely require intelligent infrastructure elements for critical functions such as navigation.

Description: The fourth quarter delivery, FY'01 for this RTOP is a Property-Based Testing (PBT), 'Tester's Assistant' (TA). The TA tool is to be used to check compiled and pre-compiled code for potential security weaknesses that could be exploited by hackers. The TA Instrumenter, implemented mostly in C++ (with a small part in Java), parsels two types of files: Java and TASPEC. Security properties to be checked are written in TASPEC. The Instrumenter is used in conjunction with the Tester's Assistant Specification (TASpec)execution monitor to verify the security properties of a given program.

Description: Observations of europa suggest that the jovian satellite may have a liquid ocean underneth its icy surface.

Description: Site construction operations by autonomous robotic systems are essential for a sustained robotic presence and human habitation on mars.

Description: Dr. Radhakrishnan, a researcher at the NASA Glenn Research Center, in collaboration with biomedical researchers at the Case Western Reserve University School of Medicine and Rainbow Babies and Children's Hospital, is developing computational models of human physiology that quantitate metabolism and its regulation, in both healthy and pathological states. These models can help predict the effects of stresses or interventions, such as drug therapies, and contribute to the development of customized medicine. Customized medical treatment protocols can give more comprehensive evaluations and lead to more specific and effective treatments for patients, reducing treatment time and cost. Commercial applications of this research may help the pharmaceutical industry identify therapeutic needs and predict drug-drug interactions. Researchers will be able to study human metabolic reactions to particular treatments while in different environments as well as establish more definite blood metabolite concentration ranges in normal and pathological states. These computational models may help NASA provide the background for developing strategies to monitor and safeguard the health of astronauts and civilians in space stations and colonies. They may also help to develop countermeasures that ameliorate the effects of both acute and chronic space exposure.

Description: The CARES/Life software developed at the NASA Glenn Research Center provides a general-purpose design tool that predicts the probability of the failure of a ceramic component as a function of its time in service. This award-winning software has been widely used by U.S. industry to establish the reliability and life of a brittle material (e.g., ceramic, intermetallic, and graphite) structures in a wide variety of 21st century applications.Present capabilities of the NASA CARES/Life code include probabilistic life prediction of ceramic components subjected to fast fracture, slow crack growth (stress corrosion), and cyclic fatigue failure modes. Currently, this code can compute the time-dependent reliability of ceramic structures subjected to simple time-dependent loading. For example, in slow crack growth failure conditions CARES/Life can handle sustained and linearly increasing time-dependent loads, whereas in cyclic fatigue applications various types of repetitive constant-amplitude loads can be accounted for. However, in real applications applied loads are rarely that simple but vary with time in more complex ways such as engine startup, shutdown, and dynamic and vibrational loads. In addition, when a given component is subjected to transient environmental and or thermal conditions, the material properties also vary with time. A methodology has now been developed to allow the CARES/Life computer code to perform reliability analysis of ceramic components undergoing transient thermal and mechanical loading. This means that CARES/Life will be able to analyze finite element models of ceramic components that simulate dynamic engine operating conditions. The methodology developed is generalized to account for material property variation (on strength distribution and fatigue) as a function of temperature. This allows CARES/Life to analyze components undergoing rapid temperature change in other words, components undergoing thermal shock. In addition, the capability has been developed to perform reliability analysis for components that undergo proof testing involving transient loads. This methodology was developed for environmentally assisted crack growth (crack growth as a function of time and loading), but it will be extended to account for cyclic fatigue (crack growth as a function of load cycles) as well.

Description: Computer science has experienced an evolution in programming languages and systems from the crude assembly and machine codes of the earliest computers through concepts such as formula translation, procedural programming, structured programming, functional programming, logic programming, and programming with abstract data types. Each of these steps in programming technology has advanced our ability to achieve clear separation of concerns at the source code level. Currently, the dominant programming paradigm is object-oriented programming - the idea that one builds a software system by decomposing a problem into objects and then writing the code of those objects. Such objects abstract together behavior and data into a single conceptual and physical entity. Object-orientation is reflected in the entire spectrum of current software development methodologies and tools - we have OO methodologies, analysis and design tools, and OO programming languages. Writing complex applications such as graphical user interfaces, operating systems, and distributed applications while maintaining comprehensible source code has been made possible with OOP. Success at developing simpler systems leads to aspirations for greater complexity. Object orientation is a clever idea, but has certain limitations. We are now seeing that many requirements do not decompose neatly into behavior centered on a single locus. Object technology has difficulty localizing concerns invoking global constraints and pandemic behaviors, appropriately segregating concerns, and applying domain-specific knowledge. Post-object programming (POP) mechanisms that look to increase the expressiveness of the OO paradigm are a fertile arena for current research. Examples of POP technologies include domain-specific languages, generative programming, generic programming, constraint languages, reflection and metaprogramming, feature-oriented development, views/viewpoints, and asynchronous message brokering. (Czarneclu and Eisenecker s book includes a good survey of many of these technologies).

Description: Solar arrays will be the power supply for future missions to the planet Mars, including landers, rovers, and eventually human missions to explore the Martian surface. Until Mars Pathfinder landed in July 1997, no solar array had been used on the surface. The MATE package is intended to measure the solar energy reaching the surface, characterize the Martian environment to gather the baseline information required for designing power systems for long-duration missions, and to quantify the performance and degradation of advanced solar cells on the Martian surface. To measure the properties of sunlight reaching the Martian surface, MATE incorporates two radiometers and a visible/NIR spectrometer. The radiometers consist of multiple thermocouple junctions using thin-film technology. These devices generate a voltage proportional to the solar intensity. One radiometer measures the global broadband solar intensity, including both the direct and scattered sunlight, with a field of view of approximately 130. The second radiometer incorporates a slit to measure the direct (unscattered) intensity radiation. The direct radiometer can only be read once per day, with the Sun passing over the slit. The spectrometer measures the global solar spectrum with two 256-element photodiode arrays, one Si sensitive in the visible range (300 to 1100 nm), and a second InGaAs sensitive to the near infrared (900 to 1700 nm). This range covers 86 percent of the total energy from the Sun, with approximately 5-nm resolution. Each photodiode array has its own fiber-optic feed and grating. Although the purpose of the MATE is to gather data useful in designing solar arrays for Mars surface power systems, the radiometer and spectrometer measurements are expected to also provide important scientific data for characterizing the properties of suspended atmospheric dust. In addition to measuring the solar environment of Mars, MATE will measure the performance of five different individual solar cell types and two different solar cell strings, to qualify advanced solar cell types for future Mars missions. The MATE instrument, designed for the Mars-2001 Surveyor Lander mission, contains a capable suite of sensors that will provide both scientific information as well as important engineering data on the operation of solar power systems on Mars. MATE will characterize the intensity and spectrum of the solar radiation on Mars and measure the performance of solar arrays in the Mars environment. MATE flight hardware was built and tested at the NASA Glenn Research Center and is ready for flight.

Description: Testing of software intended for safety-critical applications in commercial transport aircraft must achieve modified condition/decision coverage (MC/DC) of the software structure. This requirement causes anxiety for many within the aviation software community. Results of a survey of the aviation software industry indicate that many developers believe that meeting the MC/DC requirement is difficult, and the cost is exorbitant. Some of the difficulties stem, no doubt, from the scant information available on the subject. This paper provides a practical 5-step approach for assessing MC/DC for aviation software products, and an analysis of some types of errors expected to be caught when MC/DC is achieved1.

Description: There are a variety of innovative new visualization tools available to scientists and engineers for the display and analysis of their models. At the NASA Glenn Research Center, we have an ImmersaDesk, a large, single-panel, semi-immersive display device. This versatile unit can interactively display three-dimensional images in visual stereo. Our challenge is to make this virtual reality platform accessible and useful to researchers. An example of a successful application of this computer technology is the display of blade out simulations. NASA Glenn structural dynamicists, Dr. Kelly Carney and Dr. Charles Lawrence, funded by the Ultra Safe Propulsion Project under Base R&T, are researching blade outs, when turbine engines lose a fan blade during operation. Key objectives of this research include minimizing danger to the aircraft via effective blade containment, predicting destructive loads due to the imbalance following a blade loss, and identifying safe, cost-effective designs and materials for future engines.

Description: Most reverse engineering approaches involve imaging or digitizing an object then creating a computerized reconstruction that can be integrated, in three dimensions, into a particular design environment. Rapid prototyping (RP) refers to the practical ability to build high-quality physical prototypes directly from computer aided design (CAD) files. Using rapid prototyping, full-scale models or patterns can be built using a variety of materials in a fraction of the time required by more traditional prototyping techniques (refs. 1 and 2). Many software packages have been developed and are being designed to tackle the reverse engineering and rapid prototyping issues just mentioned. For example, image processing and three-dimensional reconstruction visualization software such as Velocity2 (ref. 3) are being used to carry out the construction process of three-dimensional volume models and the subsequent generation of a stereolithography file that is suitable for CAD applications. Producing three-dimensional models of objects from computed tomography (CT) scans is becoming a valuable nondestructive evaluation methodology (ref. 4). Real components can be rendered and subjected to temperature and stress tests using structural engineering software codes. For this to be achieved, accurate high-resolution images have to be obtained via CT scans and then processed, converted into a traditional file format, and translated into finite element models. Prototyping a three-dimensional volume of a composite structure by reading in a series of two-dimensional images generated via CT and by using and integrating commercial software (e.g. Velocity2, MSC/PATRAN (ref. 5), and Hypermesh (ref. 6)) is being applied successfully at the NASA Glenn Research Center. The building process from structural modeling to the analysis level is outlined in reference 7. Subsequently, a stress analysis of a composite cooling panel under combined thermomechanical loading conditions was performed to validate this process.

Description: As a result of a multidisciplinary effort involving solid-state physics, quantum mechanics, and materials and surface science, the first version of a software package dedicated to the atomistic analysis of multicomponent systems was recently completed. Based on the BFS (Bozzolo, Ferrante, and Smith) method for the calculation of alloy and surface energetics, this package includes modules devoted to the analysis of many essential features that characterize any given alloy or surface system, including (1) surface structure analysis, (2) surface segregation, (3) surface alloying, (4) bulk crystalline material properties and atomic defect structures, and (5) thermal processes that allow us to perform phase diagram calculations. All the modules of this Alloy Design Workbench 1.0 (ADW 1.0) are designed to run in PC and workstation environments, and their operation and performance are substantially linked to the needs of the user and the specific application.

Description: The Adaptive Level One Accelerator (ALOA) system was developed as part of the Earth Science Data and Information System (ESDIS) project. The reconfigurable computing technologies were investigated for Level 1 satellite telemetry data processing to achieve computing acceleration and cost reduction for the next-generation Level 1 data processing systems. The MODIS instrument calibration algorithm was implemented using reconfigurable a computer. The system development process and the lessons learned throughout the design cycle are summarized in this paper.