SEARCH · Engineering Papers

Results for “difficult”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS1996

Integration of the Shuttle RMS/CBM Positioning Virtual Environment Simulation

Constructing the International Space Station, or other structures, in space presents a number of problems. In particular, payload restrictions for the Space Shuttle and other launch mechanisms prohibit assembly of large space-based structures on Earth. Instead, a number of smaller modules must be boosted into orbit separately and then assembled to form the final structure. The assembly process is difficult, as docking interfaces such as Common Berthing Mechanisms (CBMS) must be precisely positioned relative to each other to be within the "capture envelope" (approximately +/- 1 inch and +/- 0.3 degrees from the nominal position) and attach properly. In the case of the Space Station, the docking mechanisms are to be positioned robotically by an astronaut using the 55-foot-long Remote Manipulator System (RMS) robot arm. Unfortunately, direct visual or video observation of the placement process is difficult or impossible in many scenarios. One method that has been tested for aligning the CBMs uses a boresighted camera mounted on one CBM to view a standard target on the opposing CBM. While this method might be sufficient to achieve proper positioning with considerable effort, it does not provide a high level of confidence that the mechanisms have been placed within capture range of each other. It also does nothing to address the risk of inadvertent contact between the CBMS, which could result in RMS control software errors. In general, constraining the operator to a single viewpoint with few, if any, depth cues makes the task much more difficult than it would be if the target could be viewed in three-dimensional space from various viewpoints. The actual work area could be viewed by an astronaut during EVA; however, it would be extremely impractical to have an astronaut control the RMS while spacewalking. On the other hand, a view of the RMS and CBMs to be positioned in a virtual environment aboard the Space Shuttle orbiter or Space Station could provide similar benefits more safely and conveniently with little additional cost. In order to render and view the RMS and CBMs in a virtual world, the position and orientation of the end effector in three-dimensional space must be known with a high degree of accuracy. A precision video alignment sensor has been developed which can determine the position and orientation of the controlled element relative to the target CBM within approximately one-sixteenth inch and 0.07 angular degrees. Such a sensor could replace or augment the boresighted camera mentioned above. The computer system used to render the virtual world and the position tracking systems which might be used to monitor the user's movements (in order to adjust the viewpoint in virtual space) are small enough to carry to orbit. Thus, such a system would be feasible for use in constructing structures in space.

Dumas, Joseph D.↗

NASA NTRS1998

A Comparison of Space and Ground Based Facility Environmental Effects for FEP Teflon

Fluorinated Ethylene Propylene (FEP) Teflon is widely used as a thermal control material for spacecraft, however, it is susceptible to erosion, cracking, and subsequent mechanical failure in low Earth orbit. One of the difficulties in determining whether FEP Teflon will survive during a mission is the wide disparity of erosion rates observed for this material in space and in ground based facilities. Each environment contains different levels of atomic oxygen, ions, and vacuum ultraviolet (VUV) radiation in addition to parameters such as the energy of the arriving species and temperature. These variations make it difficult to determine what is causing the observed differences in erosion rates. This paper attempts to narrow down which factors affect the erosion rate of FEP Teflon through attempting to change only one environmental constituent at a time. This was attempted through the use of a single simulation facility (plasma asher) environment with a variety of Faraday cages and VUV transparent windows. Isolating one factor inside of a radio frequency (RF) plasma proved to be very difficult. Two observations could be made. First, it appears that the erosion yield of FEP Teflon with respect to that of polyimide Kapton is not greatly affected by the presence or lack of VUV radiation present in the RF plasma and the relative erosion yield for the FEP Teflon may decrease with increasing fluence. Second, shielding from charged particles appears to lower the relative erosion yield of the FEP to approximately that observed in space, however it is difficult to determine for sure whether ions, electrons, or some other components are causing the enhanced erosion.

Rutledge, Sharon K.↗

NASA NTRS1998

Incorporating Endmember Variability into Spectral Mixture Analysis Through Endmember Bundles

Variation in canopy structure and biochemistry induces a concomitant variation in the top-of-canopy spectral reflectance of a vegetation type. Hence, the use of a single endmember spectrum to track the fractional abundance of a given vegetation cover in a hyperspectral image may result in fractions with considerable error. One solution to the problem of endmember variability is to increase the number of endmembers used in a spectral mixture analysis of the image. For example, there could be several tree endmembers in the analysis because of differences in leaf area index (LAI) and multiple scatterings between leaves and stems. However, it is often difficult in terms of computer or human interaction time to select more than six or seven endmembers and any non-removable noise, as well as the number of uncorrelated bands in the image, limits the number of endmembers that can be discriminated. Moreover, as endmembers proliferate, their interpretation becomes increasingly difficult and often applications simply need the aerial fractions of a few land cover components which comprise most of the scene. In order to incorporate endmember variability into spectral mixture analysis, we propose representing a landscape component type not with one endmember spectrum but with a set or bundle of spectra, each of which is feasible as the spectrum of an instance of the component (e.g., in the case of a tree component, each spectrum could reasonably be the spectral reflectance of a tree canopy). These endmember bundles can be used with nonlinear optimization algorithms to find upper and lower bounds on endmember fractions. This approach to endmember variability naturally evolved from previous work in deriving endmembers from the data itself by fitting a triangle, tetrahedron or, more generally, a simplex to the data cloud reduced in dimension by a principal component analysis. Conceptually, endmember variability could make it difficult to find a simplex that both surrounds the data cloud and has vertices that are realistic endmember spectra with reflectances between 0 and 1. In this paper, we create endmember bundles and bounding fraction images for an AVIRIS subscene simulated with a plant canopy radiative transfer model. The simulated subscene is spatially patterned after a subscene from the AVIRIS image acquired August, 1993 over La Copita, Texas. In addition, for comparison, we performed a traditional unmixing with image endmembers.

Bateson, C. Ann↗

NASA NTRS1999

A New Frontier Beckons: Space Exploration in the 21st Century

Throughout recorded history, small groups of explorers have Pushed back the edge of the frontier and opened up new territories for others to follow. As the 20th Century closes, history will record that in the 1960's humankind opened the vast frontier beyond Earth's atmosphere. Although the Apollo program blazed a trail of exploration to the Moon, the development of space has only reached into low Earth orbit. The Space Shuttle and International Space Station programs, and the communication and scientific satellite networks established in orbit around the Earth, are all stepping stones that will enable explorers to venture once again beyond our home planet. Exploration is difficult. It is difficult for the people and machines that travel in extreme environments and endure harsh conditions, and it is difficult for the national leaders who must champion and fund the programs that lead to discovery and reward. Christopher Columbus spent many years meeting with the Kings of Portugal, England, and France only to see his dream of sailing west into the vast Atlantic with ships and crew. discredited. Queen Isabella of Spain was willing to look beyond the many problems plaguing her own shores and see the potential reward for her investment in the future. The voyages of Columbus set the stage for more Spanish explorers, who turned Spain into a great world power. The Apollo program and the unpiloted Lunar Orbiter, Surveyor, Mariner and Viking spacecraft that NASA launched in the 1966's &1970's were our country's first investment, in the exploration of the solar system. These human and robotic missions rewarded us with the first close views of the lunar and martian surfaces, and laid before our eyes territories as vast as all the continents of Earth combined. The Lunar Prospector, Near Earth Asteroid Rendezvous, and Mars Pathfinder and Global Surveyor missions are continuing our scientific conquest of the inner solar system, leading the way for humans to follow.

Mendell, Wendell W.↗

NASA NTRS1998

Site Selection for Mars Exopaleontology in 2001

The microbial fossil record encompasses a wide range of information, including cellular remains, stromatolites, biofabrics, trace fossils, biominerals and chemofossils. The preservation of fossils is strongly influenced by the physical, chemical and biological factors of the environment which, acting together, ultimately determine the types of information that will be captured and retained in the rock record. The critical factor in assessing the suitability of a site for a microbial fossil record is the paleoenvironment. The reconstruction of ancient sedimentary environments usually requires the integration of a wide variety of geological information, including the shape, geometry and internal structure of sedimentary deposits, their mineralogy, and geochemistry. For Mars, much of our knowledge about past environments is based on orbital imaging of geomorphic features. This evidence provides an important context and starting point for site selection. However, our knowledge of the martian surface is quite limited, and a major goal of the upcoming exploration effort is to reconstruct the history of Martian volatiles, climate, and hydrology as a context for the exploration for past or present life. Mineralogical mapping from orbit will be an important key in this effort. In exploring for evidence of past life, terrestrial experience suggests that the long-term preservation of biological information as fossils occurs under a fairly narrow range of geological conditions that are well known to paleontologists (1). In detrital sedimentary systems, microbial fossilization is favored by rapid burial in fine-grained, clay-rich sediments. In chemical sedimentary systems, preservation is enhanced by rapid entombment in fine-grained chemical precipitates. For long term preservation, host rocks must be composed of stable minerals that resist chemical weathering, and which form an impermeable matrix and closed chemical system that can protect biosignatures from alteration during subsequent diagenetic change or metamorphism. In this context, host rocks composed of highly ordered, chemically-stable mineral phases, like silica (forming cherts) or phosphate (forming phosphorites), are especially favored. Such lithologies tend to have very long crustal residence times and (along with carbonates and shales), are the most common host rocks for the Precambrian microfossil record on Earth. If we assume that a subsurface hydrosphere has been present throughout martian history, then life could have originated there at any time, perhaps emerging at the surface periodically when climate changes, induced by external forcing or endogenous processes (e.g. volcanism), allowed liquid water to exist at the surface. The recent discovery of subsurface chemolithoautotrophic organisms which are capable of synthesizing organic substrates from C02 and H2 liberated from the aqueous weathering of basalt, is especially. relevant as a model for martian life. While a subsurface habitable zone may yet exist on Mars, access to such environments will likely require drilling to depths of several kilometers. Given the technological challenge of deep drilling, this is unlikely to occur prior to human missions. So, even if there is extant life on Mars today in subsurface habitats, it may be much easier to find its fossil counterparts in ancient deposits exposed at the surface. In exploring for a fossil record in subsurface environments on Mars there are several geological situations that may provide access to the appropriate materials. These include 1) ejecta from impact craters, 2) talus slopes, debris flows or alluvial fans developed below the walls of deep canyons, and 3) the deposits of outflood channels. Examples of aqueous mineral deposits of formed in subsurface environments that could harbor a microbial fossil record include such things as cements in detrital sedimentary rocks, low temperature diagenetic minerals deposited in veins, or filling vesicles in volcanic rocks, and hydrothermal deposits formed below the upper temperature limit for life (about 160 degrees C). There are many sites within the present latitudinal constraints for the 2001 mission (15 deg S to 30 deg N) that meet these requirements. But the practical problem with these kinds of deposits is that they tend to be disseminated, making up only a small percentage of a host rock. Even with mineralogical information provided by the Thermal Emission Spectrometer (TES) presently in orbit around Mars, predicting their occurrence ahead of time may be quite difficult. The deposits of surficial aqueous sedimentary systems are likely to provide the largest targets for site selection in 2001. Of these, the deposits of hydrothermal systems (subaerial and subaqueous thermal springs) have been discussed previously. It is likely that hydrothermal systems were widespread on Mars early in its history and a number of common geo-tectonic settings on Mars are likely to have hosted hydrothermal activity. Most of these are represented within the latitudinal constraints presently identified for 2001. However, the deposits of surface spring systems are likely to be difficult to find as well. On Earth, exposure areas for hydrothermal spring mounds are typically a few square kms, less than a single TES pixel. But such deposits may be quite abundant within some volcanic terrains, It is estimated, for example, that between 15-20% of the floor of Yellowstone caldera is covered by thermal spring deposits. In such abundances, subaerial sinters could well be detected by TES. Where exposed, the shallow subsurface portions of these systems may be quite a lot larger (perhaps tens of square kms), although (as noted above) mineralization may be finely disseminated in the basement rock, making remote detection more difficult. Paleolake Basins. There are a large number of potential paleolake basins on Mars (inclusive of impact craters and volcanic calderas) that have been previously identified using Viking images. Most of these lie in the southern highlands beyond the l5 deg S constraint for 2001. However, deposits of paleolakes may offer the largest and most easily identified exopaleontological targets from orbit. Based on a variety of arguments, some workers have suggested that there was once an ancient ocean on the northern plains, and some sites of interest (potential shoreline terraces) fall within the 30 deg N constraint. From a paleontological standpoint the most interesting places of this type are terminal paleolake basins which are likely to have been both saline and alkaline. Models by Schaefer suggest such environments could be widespread on Mars. The conditions in terminal lake basin settings favor widespread chemical sedimentation, an important condition for microbial fossilization. Important lithological targets for a microbial fossil record in terminal lake basins include spring-deposited carbonates, shoreline cements, a wide variety of evaporite minerals and fine-grained detrital sediments including shales, marls, and water-lain volcanic ash deposits. In developing a strategy to explore for ancient hydrothermal deposits on Mars, we can learn from the methods that have been developed by explorationists to explore for economic mineral deposits on Earth. Due to their simple mineralogy, hydrothermal deposits can often be detected using remote sensing methods. Common thermal spring mineral assemblages include silica, carbonate, and various metallic oxides and sulfides. But there are also a number of diagnostic silicate minerals, including clays, formed by the hydrothermal alteration of country rocks. These hydrothermal minerals have characteristic spectral signatures that could be detected from Mars orbit using high resolution infrared remote sensing methods. In playa lake settings, evaporite deposits often form a predictable "bull's eye" pattern with carbonates being deposited in marginal basin areas, and sulfates and halides occurring progressively more basinward. The floors of some impact craters on Mars, such as "White Rock" and Bequeral Crater (see Oxia Palus NE, Site 148), have floor deposits that could be evaporites, inclusive of carbonates. Evaporite minerals possess characteristic spectral signatures in the infrared and could similarly be identified from Mars orbit using high resolution remote sensing methods. Clearly, utilization of TES data will be important for optimizing site selection for Exopaleontology, and every effort should be made to benefit from that data before a final decision is made.

Farmer, Jack↗

NASA NTRS1997

An Approach to Building a Traceability Tool for Software Development

It is difficult in a large, complex computer program to ensure that it meets the specified requirements. As the program evolves over time, a11 program constraints originally elicited during the requirements phase must be maintained. In addition, during the life cycle of the program, requirements typically change and the program must consistently reflect those changes. Imagine the following scenario. Company X wants to develop a system to automate its assembly line. With such a large system, there are many different stakeholders, e.g., managers, experts such as industrial and mechanical engineers, and end-users. Requirements would be elicited from all of the stake holders involved in the system with each stakeholder contributing their point of view to the requirements. For example, some of the requirements provided by an industrial engineer may concern the movement of parts through the assembly line. A point of view provided by the electrical engineer may be reflected in constraints concerning maximum power usage. End-users may be concerned with comfort and safety issues, whereas managers are concerned with the efficiency of the operation. With so many points of view affecting the requirements, it is difficult to manage them, communicate information to relevant stakeholders. and it is likely that conflicts in the requirements will arise. In the coding process, the implementors will make additional assumptions and interpretations on the design and the requirements of the system. During any stage of development, stakeholders may request that a requirement be added or changed. In such a dynamic environment, it is difficult to guarantee that the system will preserve the current set of requirements. Tracing, the mapping between objects in the artifacts of the system being developed, addresses this issue. Artifacts encompass documents such as the system definition, interview transcripts, memoranda, the software requirements specification, user's manuals, the functional specifications, design reports, and system code. Tracing helps 1) validate system features against, the requirement specification, 2) identify error sources and, most importantly, 3) manage change. With so many people involved in the development of the system, it becomes necessary to identify the reasons behind the design requirements or the implementation decisions. This paper is concerned with an approach that maps documents to constraints that capture properties of and relationships between the objects being modeled by the program. Section 2 provides the reader with a background on traceability tools. Section 3 gives a brief description of the context monitoring system on which the approach suggested in this paper is based. Section 4 presents an overview of our approach to providing traceability. The last section presents our future direction of research.

Delgado, Nelly↗

NASA NTRS1999

Fluid Physics in a Fluctuating Acceleration Environment

Our program of research aims at developing a stochastic description of the residual acceleration field onboard spacecraft (g-jitter) to describe in quantitative detail its effect on fluid motion. Our main premise is that such a statistical description is necessary in those cases in which the characteristic time scales of the process under investigation are long compared with the correlation time of g-jitter. Although a clear separation between time scales makes this approach feasible, there remain several difficulties of practical nature: (i), g-jitter time series are not statistically stationary but rather show definite dependences on factors such as active or rest crew periods; (ii), it is very difficult to extract reliably the low frequency range of the power spectrum of the acceleration field. This range controls the magnitude of diffusive processes; and (iii), models used to date are Gaussian, but there is evidence that large amplitude disturbances occur much more frequently than a Gaussian distribution would predict. The lack of stationarity does not constitute a severe limitation in practice, since the intensity of the stochastic components changes very slowly during space missions (perhaps over times of the order of hours). A separate analysis of large amplitude disturbances has not been undertaken yet, but it does not seem difficult a priori to devise models that may describe this range better than a Gaussian distribution. The effect of low frequency components, on the other hand, is more difficult to ascertain, partly due to the difficulty associated with measuring them, and partly because they may be indistinguishable from slowly changing averages. This latter effect is further complicated by the lack of statistical stationarity of the time series. Recent work has focused on the effect of stochastic modulation on the onset of oscillatory instabilities as an example of resonant interaction between the driving acceleration and normal modes of the system, and on cavity flow as an example of how an oscillatory response under periodic driving becomes diffusive if the forcing is random instead. This paper describes three different topics that illustrate behavior that is peculiar to a stochastic acceleration field. In the first case, we show that g-jitter can induce effective attractive or repulsive forces between a pair of spherical particles that are suspended in an incompressible fluid of different density provided that the momentum diffusion length is larger than the interparticle separation (as in the case in most colloidal suspensions). Second, a stochastic modulation of the control parameter in the vicinity of a pitchfork or supercritical bifurcation is known not to affect the location of the threshold. We show, however, that resonance between the modulation and linearly stable modes close to onset can lead to a shift in threshold. Finally, we discuss the classical problem of vorticity diffusion away from a plane boundary that is being vibrated along its own plane. Periodic motion with zero average vorticity production results in an exponential decay of the vorticity away from the boundary. Random vibration, on the other hand, results in power law decay away from the boundary even if vorticity production averages to zero.

Drolet, Francois↗

NASA NTRS1998

Integration of the Remote Agent for the NASA Deep Space One Autonomy Experiment

This paper describes the integration of the Remote Agent (RA), a spacecraft autonomy system which is scheduled to control the Deep Space 1 spacecraft during a flight experiment in 1999. The RA is a reusable, model-based autonomy system that is quite different from software typically used to control an aerospace system. We describe the integration challenges we faced, how we addressed them, and the lessons learned. We focus on those aspects of integrating the RA that were either easier or more difficult than integrating a more traditional large software application because the RA is a model-based autonomous system. A number of characteristics of the RA made integration process easier. One example is the model-based nature of RA. Since the RA is model-based, most of its behavior is not hard coded into procedural program code. Instead, engineers specify high level models of the spacecraft's components from which the Remote Agent automatically derives correct system-wide behavior on the fly. This high level, modular, and declarative software description allowed some interfaces between RA components and between RA and the flight software to be automatically generated and tested for completeness against the Remote Agent's models. In addition, the Remote Agent's model-based diagnosis system automatically diagnoses when the RA models are not consistent with the behavior of the spacecraft. In flight, this feature is used to diagnose failures in the spacecraft hardware. During integration, it proved valuable in finding problems in the spacecraft simulator or flight software. In addition, when modifications are made to the spacecraft hardware or flight software, the RA models are easily changed because they only capture a description of the spacecraft. one does not have to maintain procedural code that implements the correct behavior for every expected situation. On the other hand, several features of the RA made it more difficult to integrate than typical flight software. For example, the definition of correct behavior is more difficult to specify for a system that is expected to reason about and flexibly react to its environment than for a traditional flight software system. Consequently, whenever a change is made to the RA it is more time consuming to determine if the resulting behavior is correct. We conclude the paper with a discussion of future work on the Remote Agent as well as recommendations to ease integration of similar autonomy projects.

Dorais, Gregory A.↗

NASA NTRS2003

Fractals and Spatial Methods for Mining Remote Sensing Imagery

The rapid increase in digital remote sensing and GIS data raises a critical problem -- how can such an enormous amount of data be handled and analyzed so that useful information can be derived quickly? Efficient handling and analysis of large spatial data sets is central to environmental research, particularly in global change studies that employ time series. Advances in large-scale environmental monitoring and modeling require not only high-quality data, but also reliable tools to analyze the various types of data. A major difficulty facing geographers and environmental scientists in environmental assessment and monitoring is that spatial analytical tools are not easily accessible. Although many spatial techniques have been described recently in the literature, they are typically presented in an analytical form and are difficult to transform to a numerical algorithm. Moreover, these spatial techniques are not necessarily designed for remote sensing and GIS applications, and research must be conducted to examine their applicability and effectiveness in different types of environmental applications. This poses a chicken-and-egg problem: on one hand we need more research to examine the usability of the newer techniques and tools, yet on the other hand, this type of research is difficult to conduct if the tools to be explored are not accessible. Another problem that is fundamental to environmental research are issues related to spatial scale. The scale issue is especially acute in the context of global change studies because of the need to integrate remote-sensing and other spatial data that are collected at different scales and resolutions. Extrapolation of results across broad spatial scales remains the most difficult problem in global environmental research. There is a need for basic characterization of the effects of scale on image data, and the techniques used to measure these effects must be developed and implemented to allow for a multiple scale assessment of the data before any useful process-oriented modeling involving scale-dependent data can be conducted. Through the support of research grants from NASA, we have developed a software module called ICAMS (Image Characterization And Modeling System) to address the need to develop innovative spatial techniques and make them available to the broader scientific communities. ICAMS provides new spatial techniques, such as fractal analysis, geostatistical functions, and multiscale analysis that are not easily available in commercial GIS/image processing software. By bundling newer spatial methods in a user-friendly software module, researchers can begin to test and experiment with the new spatial analysis methods and they can gauge scale effects using a variety of remote sensing imagery. In the following, we describe briefly the development of ICAMS and present application examples.

Lam, Nina↗

NASA NTRS2004

Development of Improved Models, Stochasticity, and Frameworks for the MIT Extensible Air Network Simulation

MEANS, the MIT Extensible Air Network Simulation, was created in February of 2001, and has been developed with support from NASA Ames since August of 2001. MEANS is a simulation tool which is designed to maximize fidelity without requiring data of such a low level as to preclude easy examination of alternative scenarios. To this end, MEANS is structured in a modular fashion to allow more detailed components to be brought in when desired, and left out when they would only be an impediment. Traditionally, one of the difficulties with high-fidelity models is that they require a level of detail in their data that is difficult to obtain. For analysis of past scenarios, the required data may not have been collected, or may be considered proprietary and thus difficult for independent researchers to obtain. For hypothetical scenarios, generation of the data is sufficiently difficult to be a task in and of itself. Often, simulations designed by a researcher will model exactly one element of the problem well and in detail, while assuming away other parts of the problem which are not of interest or for which data is not available. While these models are useful for working with the task at hand, they are very often not applicable to future problems. The MEAN Simulation attempts to address these problems by using a modular design which provides components of varying fidelity for each aspect of the simulation. This allows for the most accurate model for which data is available to be used. It also provides for easy analysis of sensitivity to data accuracy. This can be particularly useful in the case where accurate data is available for some subset of the situations that are to be considered. Furthermore, the ability to use the same model while examining effects on different parts of a system reduces the time spent learning the simulation, and provides for easier comparisons between changes to different parts of the system.

Clarke, John-Paul↗

NASA NTRS2004

A Survey of Formal Methods for Intelligent Swarms

Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed for future space exploration missions. Such missions provide greater flexibility and offer the possibility of gathering more science data than traditional single spacecraft missions. The emergent properties of swarms make these missions powerful, but simultaneously far more difficult to design, and to assure that the proper behaviors will emerge. These missions are also considerably more complex than previous types of missions, and NASA, like other organizations, has little experience in developing or in verifying and validating these types of missions. A significant challenge when verifying and validating swarms of intelligent interacting agents is how to determine that the possible exponential interactions and emergent behaviors are producing the desired results. Assuring correct behavior and interactions of swarms will be critical to mission success. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm types of missions NASA is considering. The ANTS mission will use a swarm of picospacecraft that will fly from Earth orbit to the Asteroid Belt. Using an insect colony analogy, ANTS will be composed of specialized workers for asteroid exploration. Exploration would consist of cataloguing the mass, density, morphology, and chemical composition of the asteroids, including any anomalous concentrations of specific minerals. To perform this task, ANTS would carry miniaturized instruments, such as imagers, spectrometers, and detectors. Since ANTS and other similar missions are going to consist of autonomous spacecraft that may be out of contact with the earth for extended periods of time, and have low bandwidths due to weight constraints, it will be difficult to observe improper behavior and to correct any errors after launch. Providing V&V (verification and validation) for this type of mission is new to NASA, and represents the cutting edge in system correctness, and requires higher levels of assurance than other (traditional) missions that use a single or small number of spacecraft that are deterministic in nature and have near continuous communication access. One of the highest possible levels of assurance comes from the application of formal methods. Formal methods are mathematics-based tools and techniques for specifying and verifying (software and hardware) systems. They are particularly useful for specifying complex parallel systems, such as exemplified by the ANTS mission, where the entire system is difficult for a single person to fully understand, a problem that is multiplied with multiple developers. Once written, a formal specification can be used to prove properties of a system (e.g., the underlying system will go from one state to another or not into a specific state) and check for particular types of errors (e.g., race or livelock conditions). A formal specification can also be used as input to a model checker for further validation. This report gives the results of a survey of formal methods techniques for verification and validation of space missions that use swarm technology. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft using the ANTS mission as an example system. This report is the first result of the project to determine formal approaches that are promising for formally specifying swarm-based systems. From this survey, the most promising approaches were selected and are discussed relative to their possible application to the ANTS mission. Future work will include the application of an integrated approach, based on the selected approaches identified in this report, to the formal specification of the ANTS mission.

Truszkowski, Walt↗

NASA NTRS2004

Teleoperated Modular Robots for Lunar Operations

Solar system exploration is currently carried out by special purpose robots exquisitely designed for the anticipated tasks. However, all contingencies for in situ resource utilization (ISRU), human habitat preparation, and exploration will be difficult to anticipate. Furthermore, developing the necessary special purpose mechanisms for deployment and other capabilities is difficult and error prone. For example, the Galileo high gain antenna never opened, severely restricting the quantity of data returned by the spacecraft. Also, deployment hardware is used only once. To address these problems, we are developing teleoperated modular robots for lunar missions, including operations in transit from Earth. Teleoperation of lunar systems from Earth involves a three second speed-of-light delay, but experiment suggests that interactive operations are feasible.' Modular robots typically consist of many identical modules that pass power and data between them and can be reconfigured for different tasks providing great flexibility, inherent redundancy and graceful degradation as modules fail. Our design features a number of different hub, link, and joint modules to simplify the individual modules, lower structure cost, and provide specialized capabilities. Modular robots are well suited for space applications because of their extreme flexibility, inherent redundancy, high-density packing, and opportunities for mass production. Simple structural modules can be manufactured from lunar regolith in situ using molds or directed solar sintering. Software to direct and control modular robots is difficult to develop. We have used genetic algorithms to evolve both the morphology and control system for walking modular robots3 We are currently using evolvable system technology to evolve controllers for modular robots in the ISS glove box. Development of lunar modular robots will require software and physical simulators, including regolith simulation, to enable design and test of robot software and hardware, particularly automation software. Ready access to these simulators could provide opportunities for contest-driven development ala RoboCup (http://www.robocup.org/). Licensing of module designs could provide opportunities in the toy market and for spin-off applications.

Globus, Al↗

NASA NTRS2005

Efficient Credit Assignment through Evaluation Function Decomposition

Evolutionary methods are powerful tools in discovering solutions for difficult continuous tasks. When such a solution is encoded over multiple genes, a genetic algorithm faces the difficult credit assignment problem of evaluating how a single gene in a chromosome contributes to the full solution. Typically a single evaluation function is used for the entire chromosome, implicitly giving each gene in the chromosome the same evaluation. This method is inefficient because a gene will get credit for the contribution of all the other genes as well. Accurately measuring the fitness of individual genes in such a large search space requires many trials. This paper instead proposes turning this single complex search problem into a multi-agent search problem, where each agent has the simpler task of discovering a suitable gene. Gene-specific evaluation functions can then be created that have better theoretical properties than a single evaluation function over all genes. This method is tested in the difficult double-pole balancing problem, showing that agents using gene-specific evaluation functions can create a successful control policy in 20 percent fewer trials than the best existing genetic algorithms. The method is extended to more distributed problems, achieving 95 percent performance gains over tradition methods in the multi-rover domain.

Agogino, Adrian↗

NASA NTRS2006

Geometrically Nonlinear Static Analysis of 3D Trusses Using the Arc-Length Method

Rigorous analysis of geometrically nonlinear structures demands creating mathematical models that accurately include loading and support conditions and, more importantly, model the stiffness and response of the structure. Nonlinear geometric structures often contain critical points with snap-through behavior during the response to large loads. Studying the post buckling behavior during a portion of a structure's unstable load history may be necessary. Primary structures made from ductile materials will stretch enough prior to failure for loads to redistribute producing sudden and often catastrophic collapses that are difficult to predict. The responses and redistribution of the internal loads during collapses and possible sharp snap-back of structures have frequently caused numerical difficulties in analysis procedures. The presence of critical stability points and unstable equilibrium paths are major difficulties that numerical solutions must pass to fully capture the nonlinear response. Some hurdles still exist in finding nonlinear responses of structures under large geometric changes. Predicting snap-through and snap-back of certain structures has been difficult and time consuming. Also difficult is finding how much load a structure may still carry safely. Highly geometrically nonlinear responses of structures exhibiting complex snap-back behavior are presented and analyzed with a finite element approach. The arc-length method will be reviewed and shown to predict the proper response and follow the nonlinear equilibrium path through limit points.

Hrinda, Glenn A.↗

NASA NTRS2008

What Might We Learn About Magnetospheric Substorms at the Earth from the MESSENGER Measurements at Mercury?

Satellite observations at the Earth, supported by theory and modeling, have established a close connection between the episodes of intense magnetospheric convection termed substorms and the occurrence of magnetic reconnection. Magnetic reconnection at the dayside magnetopause results in strong energy input to the magnetosphere. This energy can either be stored or used immediately to power the magnetospheric convection that produces the phenomena that collectively define the 'substorm.' However, many aspects of magnetic reconnection and the dynamic response of the coupled solar wind - magnetosphere - ionosphere system at the Earth during substorms remain poorly understood. For example, the rate of magnetic reconnection is thought to be proportional to the local Alfven speed, but the limited range of changes in this solar wind parameter at 1 AU have made it difficult to detect its influence over energy input to the Earth's magnetosphere. In addition, the electrical conductance of the ionosphere and how it changes in response to auroral charged particle precipitation are hypothesized to play a critical role in the development of substorms, but the nature of this electrodynamic interaction remain difficult to deduce from Earth observations alone. The amount of energy the terrestrial magnetosphere can store in its tail, the duration of the storage, and the trigger(s) for its dissipation are all thought to be determined by not only the microphysics of the cross-tail current layer, but also the properties of the coupled magnetosphere - ionosphere system. Again, the separation of microphysics effects from system response has proved very difficult using measurements taken only at the Earth. If MESSENGER'S charged particle and magnetic field measurements confirm the occurrence of terrestrial-style substorms in Mercury's miniature magnetosphere, then it may be possible to determine how magnetospheric convection, field-aligned currents, charged particle acceleration, reconnection, and tail energy storage are influenced by the intense magnetic reconnection expected to be associated with solar wind conditions at 0.3 - 0.5 AU from the Sun and the simplified electrodynamic feed-back anticipated for a planet lacking an ionosphere. MESSENGER observations from its 14 January 2008 Mercury flyby relevant to the occurrence of magnetic reconnection and substorms at Mercury will be discussed.

Slavin, James A.↗

NASA NTRS2009

Integrated Multilayer Insulation

Integrated multilayer insulation (IMLI) is being developed as an improved alternative to conventional multilayer insulation (MLI), which is more than 50 years old. A typical conventional MLI blanket comprises between 10 and 120 metallized polymer films separated by polyester nets. MLI is the best thermal- insulation material for use in a vacuum, and is the insulation material of choice for spacecraft and cryogenic systems. However, conventional MLI has several disadvantages: It is difficult or impossible to maintain the desired value of gap distance between the film layers (and consequently, it is difficult or impossible to ensure consistent performance), and fabrication and installation are labor-intensive and difficult. The development of IMLI is intended to overcome these disadvantages to some extent and to offer some additional advantages over conventional MLI. The main difference between IMLI and conventional MLI lies in the method of maintaining the gaps between the film layers. In IMLI, the film layers are separated by what its developers call a micro-molded discrete matrix, which can be loosely characterized as consisting of arrays of highly engineered, small, lightweight, polymer (typically, thermoplastic) frames attached to, and placed between, the film layers. The term "micro-molded" refers to both the smallness of the frames and the fact that they are fabricated in a process that forms precise small features, described below, that are essential to attainment of the desired properties. The term "discrete" refers to the nature of the matrix as consisting of separate frames, in contradistinction to a unitary frame spanning entire volume of an insulation blanket.

Dye, Scott↗

NASA NTRS2009

Progress of the NASA/USGS Lunar Regolith Simulant Project

Beginning in 2004 personnel at MSFC began serious efforts to develop a new generation of lunar simulants. The first two products were a replication of the previous JSC-1 simulant under a contract to Orbitec and a major workshop in 2005 on future simulant development. Beginning in 2006 the project refocused its efforts and approached simulant development in a new and more comprehensive manner, examining new approaches in simulant development and ways to more accurately compare simulants to actual lunar materials. This led to a multi-year effort with five major tasks running in parallel. The five tasks are Requirements, Lunar Analysis, Process Development, Feed Stocks, and Standards. Major progress has been made in all five areas. A substantial draft of a formal requirements document now exists and has been largely stable since 2007. It does evolve as specific details of the standards and Lunar Analysis efforts proceed. Lunar Analysis has turned out to be vastly more difficult than anticipated. After great effort to mine existing published and gray literature, the team has realized the necessity of making new measurements of the Apollo samples, an effort that is currently in progress. Process development is substantially ahead of expectations in 2006. It is now practical to synthesize glasses of appropriate composition and purity. It is also possible to make agglutinate particles in significant quantities. A series of minerals commonly found on the Moon has been synthesized. Separation of mineral constituents from starting rock material is also proceeding. Customized grinding and mixing processes have been developed and tested are now being documented. Identification and development of appropriate feedstocks has been both easier and more difficult than anticipated. The Stillwater Mining Company, operating in the Stillwater layered mafic intrusive complex of Montana, has been an amazing resource for the project, but finding adequate sources for some of the components remains a difficult problem. For example the ratio of clino- to ortho-pyroxenes in the Stillwater is not an exact match for lunar materials. One of the sources being examined as an alternative pyroxene source is the Bushveld Complex in South Africa. Standards have been a major success for the project. The Figure of Merit algorithms have been created, tested, and are being considered for an ISO standard. Agreement has been reached in the community about how to make many of the critical measurements. There remains much work to do: (1) driving down the cost of simulants remains a major obstacle; (2) documentation and cost data analysis have not kept up with progress; (3) educating users in the complexity of the lunar regolith and the use of simulants remains a major task. In summary the project has made enormous progress and is successfully placing simulant development and use on a rigorous, scientifically defensible, engineering basis.

Rickman, Doug↗

NASA NTRS2012

Methods for Decontamination of a Bipropellant Propulsion System

Most propulsion systems are designed to be filled and flown, draining can be done but decontamination may be difficult. Transport of these systems may be difficult as well because flight weight vessels are not designed around DOT or UN shipping requirements. Repairs, failure analysis work or post firing inspections may be difficult or impossible to perform due to the hazards of residual propellants being present.

McClure, Mark B.↗