Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Games”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

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

At least 505 records · Page 28
All sourcesNASA NTRSDOE OSTI
NASA NTRS2005

A NASA Strategy for Leveraging Emerging Launch Vehicles for Routine, Small Payload Missions

Orbital flight opportunities for small payloads have always been few and far between, and then on February 1, 2002, the situation got worse. In the wake of the loss of the Columbia during STS- 107, changing NASA missions and priorities led to the termination of the Shuttle Small Payloads Projects, including Get-Away Special, Hitcbker, and Space Experiment Module. In spite of the limited opportunities, long queue, and restrictions associated with flying experiments on a man-rated transportation system; the carriers provided a sustained, high quality experiment services for education, science, and technology payloads, and was one of the few games in town. Attempts to establish routine opportunities aboard existing ELVs have been unsuccessful, as the cost-per-pound on small ELVs and conflicts with primary spacecraft on larger vehicles have proven prohibitive. Ths has led to a backlog of existing NASA-sponsored payloads and no prospects or plans for fbture opportunities within the NASA community. The prospects for breaking out of this paradigm appear promising as a result of NASA s partnership with DARPA in pursuit of low-cost, responsive small ELVs under the Falcon Program. Through this partnership several new small ELVs, providing 1000 lbs. to LEO will be demonstrated in less than two years that promise costs that are reasonable enough that NASA, DoD, and other sponsors can once again invest in small payload opportunities. Within NASA, planning has already begun. NASA will be populating one or more of the Falcon demonstration flights with small payloads that are already under development. To accommodate these experiments, Goddard s Wallops Flight Facility has been tasked to develop a multi-payload ejector (MPE) to accommodate the needs of these payloads. The MPE capabilities and design is described in detail in a separately submitted abstract. Beyond use of the demonstration flights however, Goddard has already begun developing strategies to leverage these new ELVs as elements of a larger system designed to provide routine, low-cost end-to-end services for small science, Exploration, and education payloads. The plan leverages the management approaches of the successful Sounding Rocket Program and Shuttle Small Payloads Projects. The strategy consists of using a systems implementation approach of elements, including 1) Falcon ELVs, 2) advanced launch site technologies and processes, 3) suite of experiment carriers accommodating different mission requirements, 4) streamlined integration and test operations, 5 ) experiment brokering and management, and 6) standardized, distributed payload operations. The envisioned suite of carriers includes the MPE, a standard interface experiment carrier, and potentially a reentry fieeflyer experiment carrier. Key to the success of this strategy is standard experiment interfaces within the carriers to limit mission- unique tasks, establishmg and managing a program of scheduled reoccurring flights rather than discrete missions, and streamlined, centralized implementation of the elements. These individual elements are each under development and Goddard will demonstrate the overall system strategy low-cost small payload missions on the initial Falcon demonstration launches from Wallops. goal is to show that this model should be converted to a sustained NASA program supporting science, technology, and education, with annual flight opportunities. The paper will define in detail the various elements of the overall program, as well as provide status, philosophy, and strategy for the program that will hopefully once-and-for-all provide low-cost, routine access to space for the small payloads community.

Underwood, Bruce E.↗
NASA NTRS1999

FoilSim: Basic Aerodynamics Software Created

FoilSim is interactive software that simulates the airflow around various shapes of airfoils. The graphical user interface, which looks more like a video game than a learning tool, captures and holds the students interest. The software is a product of NASA Lewis Research Center s Learning Technologies Project, an educational outreach initiative within the High Performance Computing and Communications Program (HPCCP).This airfoil view panel is a simulated view of a wing being tested in a wind tunnel. As students create new wing shapes by moving slider controls that change parameters, the software calculates their lift. FoilSim also displays plots of pressure or airspeed above and below the airfoil surface.

Peterson, Ruth A.↗
NASA NTRS2005

Coupling of the Inner Magnetosphere with the Underlying Atmosphere and Ionosphere

The following is a final report summarizing our very successful inner magnetosphere research program through which we have made significant contributions to: (1) research through data analysis, modeling and participation in community-wide campaigns, (2) the development of the space science discipline through leadership in national and international campaigns, service on steering committees, review panels and the development and maintenance of campaign and community web sites, (3) education and human resources by the participation of graduate, undergraduate and high school students in our research programs and (4) outreach through development of web-based materials and interactive games. We describe each of these activities below.

Sharber, James M.↗
NASA NTRS2005

Coevolutionary Free Lunches

Recent work on the mathematical foundations of optimization has begun to uncover its rich structure. In particular, the "No Free Lunch" (NFL) theorems state that any two algorithms are equivalent when their performance is averaged across all possible problems. This highlights the need for exploiting problem-specific knowledge to achieve better than random performance. In this paper we present a general framework covering more search scenarios. In addition to the optimization scenarios addressed in the NFL results, this framework covers multi-armed bandit problems and evolution of multiple co-evolving players. As a particular instance of the latter, it covers "self-play" problems. In these problems the set of players work together to produce a champion, who then engages one or more antagonists in a subsequent multi-player game. In contrast to the traditional optimization case where the NFL results hold, we show that in self-play there are free lunches: in coevolution some algorithms have better performance than other algorithms, averaged across all possible problems. We consider the implications of these results to biology where there is no champion.

Wolpert, David H.↗
NASA NTRS2005

A Comparative Study of Probability Collectives Based Multi-agent Systems and Genetic Algorithms

We compare Genetic Algorithms (GA's) with Probability Collectives (PC), a new framework for distributed optimization and control. In contrast to GA's, PC-based methods do not update populations of solutions. Instead they update an explicitly parameterized probability distribution p over the space of solutions. That updating of p arises as the optimization of a functional of p. The functional is chosen so that any p that optimizes it should be p peaked about good solutions. The PC approach works in both continuous and discrete problems. It does not suffer from the resolution limitation of the finite bit length encoding of parameters into GA alleles. It also has deep connections with both game theory and statistical physics. We review the PC approach using its motivation as the information theoretic formulation of bounded rationality for multi-agent systems. It is then compared with GA's on a diverse set of problems. To handle high dimensional surfaces, in the PC method investigated here p is restricted to a product distribution. Each distribution in that product is controlled by a separate agent. The test functions were selected for their difficulty using either traditional gradient descent or genetic algorithms. On those functions the PC-based approach significantly outperforms traditional GA's in both rate of descent, trapping in false minima, and long term optimization.

Huang, Chien-Feng↗
NASA NTRS2005

Cooking Dinner at Home--From the Office

It is well past quitting time, but you are still stuck in the office. Your spouse left work over an hour ago, but is caught in bumper-to-bumper traffic. As a result, neither of you were available to pick up your daughter on time from her soccer game. If your son hadn't gotten detention at school today, which also made him late for work, he could have picked her up. The next thing you know, it is already 8:30 at night, and your family members are finally all together under the same roof. No one has had a bite to eat since lunch, and dinner certainly isn't going to cook itself, or is it? For those who are all too familiar with this situation, it might be time to welcome the oven of the future into your homes: the ConnectIo Intelligent Oven, brought to you by TMIO, LLC, of Cleveland. Applying the same remote command and control concepts that NASA uses to run experiments on the International Space Station (ISS), ConnectIo allows its owners to cook dinner from the road, via a cell phone, personal digital assistant, or Internet connection.

Source record↗
NASA NTRS2007

Research Opportunities in Space Propulsion

Rocket propulsion determines the primary characteristics of any space vehicle; how fast and far it can go, its lifetime, and its capabilities. It is the primary factor in safety and reliability and the biggest cost driver. The extremes of heat and pressure produced by propulsion systems push the limits of materials used for manufacturing. Space travel is very unforgiving with little room for errors, and so many things can go wrong with these very complex systems. So we have to plan for failure and that makes it costly. But what is more exciting than the roar of a rocket blasting into space? By its nature the propulsion world is conservative. The stakes are so high at every launch, in terms of payload value or in human life, that to introduce new components to a working, qualified system is extremely difficult and costly. Every launch counts and no risks are tolerated, which leads to the space world's version of Catch-22:"You can't fly till you flown." The last big 'game changer' in propulsion was the use of liquid hydrogen as a fuel. No new breakthrough, low cost access to space system will be developed without new efficient propulsion systems. Because there is no large commercial market driving investment in propulsion, what propulsion research is done is sponsored by government funding agencies. A further difficulty in propulsion technology development is that there are so few new systems flying. There is little opportunity to evolve propulsion technologies and to update existing systems with results coming out of research as there is in, for example, the auto industry. The biggest hurdle to space exploration is getting off the ground. The launch phase will consume most of the energy required for any foreseeable space exploration mission. The fundamental physical energy requirements of escaping earth's gravity make it difficult. It takes 60,000 kJ to put a kilogram into an escape orbit. The vast majority (-97%) of the energy produced by a launch vehicle is used to get propellants off the ground to be burned later. A modem launch vehicle is usually able to put no more than 1.5%-3% of its total liftoff weight into low earth orbit.

Rodgers, Stephen L.↗
NASA NTRS2007

Interactions with Virtual People: Do Avatars Dream of Digital Sheep?

This paper explores another form of artificial entity, ones without physical embodiment. We refer to virtual characters as the name for a type of interactive object that have become familiar in computer games and within virtual reality applications. We refer to these as avatars: three-dimensional graphical objects that are in more-or-less human form which can interact with humans. Sometimes such avatars will be representations of real-humans who are interacting together within a shared networked virtual environment, other times the representations will be of entirely computer generated characters. Unlike other authors, who reserve the term agent for entirely computer generated characters and avatars for virtual embodiments of real people; the same term here is used for both. This is because avatars and agents are on a continuum. The question is where does their behaviour originate? At the extremes the behaviour is either completely computer generated or comes only from tracking of a real person. However, not every aspect of a real person can be tracked every eyebrow move, every blink, every breath rather real tracking data would be supplemented by inferred behaviours which are programmed based on the available information as to what the real human is doing and her/his underlying emotional and psychological state. Hence there is always some programmed behaviour it is only a matter of how much. In any case the same underlying problem remains how can the human character be portrayed in such a manner that its actions are believable and have an impact on the real people with whom it interacts? This paper has three main parts. In the first part we will review some evidence that suggests that humans react with appropriate affect in their interactions with virtual human characters, or with other humans who are represented as avatars. This is so in spite of the fact that the representational fidelity is relatively low. Our evidence will be from the realm of psychotherapy, where virtual social situations are created that do test whether people react appropriately within these situations. We will also consider some experiments on face-to-face virtual communications between people in the same shared virtual environments. The second part will try to give some clues about why this might happen, taking into account modern theories of perception from neuroscience. The third part will include some speculations about the future developments of the relationship between people and virtual people. We will suggest that a more likely scenario than the world becoming populated by physically embodied virtual people (robots, androids) is that in the relatively near future we will interact more and more in our everyday lives with virtual people- bank managers, shop assistants, instructors, and so on. What is happening in the movies with computer graphic generated individuals and entire crowds may move into the space of everyday life.

Slater, Mel↗
NASA NTRS2007

The Many Worlds of Transition Research.

The transition from laminar to turbulent flow in a boundary layer is a complex phenomenon that may take different routes, each involving distinct stages governed by different, often not-yet unraveled dynamical principles. There are, surprisingly, questions concerning virtually every stage in the process, beginning with receptivity to external disturbances, the linear stability of spatially developing flows, different possible nonlinear end games, the formation and propagation of turbulent spots and the emergence of fully developed turbulent flow. There seems no doubt that the flow has to be seen as a forced, nonlinear spatio-temporal system, but the system is so complex that to extract simple insights is still very difficult.

Narasimha, R.↗
NASA NTRS2007

Managing Uncertainty Due to a Fundamental Error Source Arising from Scatterer Distribution Complexity in Radar Remote Sensing of Precipitation

The assumption that cloud and rain drops are spatially distributed according to a Poisson distribution within a scattering volume probed by a radar being used to estimate precipitation has represented bedrock theory in establishing 'rules of the game' for pulse averaging--the process needed to beat down noise to an acceptable level in the measurement of radar reflectivity factor. Based on relatively recent observations of 'realistic' spatial distributions of hydrometeor scatterers in a cloudy atmosphere motivates a renewed examination of the consequences of using a too simplified assumption underlying volume scattering--particularly in regards to the standard pulse averaging rule. Our investigation addresses two extremes, simple to complex, insofar as allowed for complexities in an underlying scatterer distribution. It is demonstrated that as the spatial distribution ranges from Poisson (a narrow distribution) to multi-fractal (much broader distribution), uncertainty in a measurement increases if the rule for pulse averaging goes unchanged from its Poisson distribution reference county. [A bounded cascade is used for the multi-fractal distribution, a regularly observed distribution vis-a-vis cloud liquid water content.] The resultant measurement uncertainty leads to a fundamental source of error in the estimation of rain rate from radar measurements, one that has been disregarded since the early 1950s when radar sets first began to be used for rainfall measuring. It is shown how this source of error can be 'managed'--under the assumption that number of data analysis experiments would be carried out, experiments involving pulse-by-pulse measurements obtained from a radar set modified to output individual pulses of reflectivity factor. For practical applications, a new parameter called normalized k-sample intensity invariance is developed to enable defining the required pulse average count according to a preferred degree of uncertainty.

Smith, Eric A.↗
NASA NTRS2008

MEMS Microshutter Array System for James Webb Space Telescope

A complex MEMS microshutter array system has been developed at NASA Goddard Space Flight Center (GSFC) for use as a multi-object aperture array for a Near-Infrared Spectrometer (NIRSpec). The NIRSpec is one of the four major instruments carried by the James Webb Space Telescope (JWST), the next generation of space telescope after the Hubble Space Telescope retires. The microshutter arrays (MSAs) are designed for the selective transmission of light with high efficiency and high contrast. It is demonstrated in Figure 1 how a MSA is used as a multiple object selector in deep space. The MSAs empower the NIRSpec instrument simultaneously collect spectra from more than 100 targets therefore increases the instrument efficiency 100 times or more. The MSA assembly is one of three major innovations on JWST and the first major MEMS devices serving observation missions in space. The MSA system developed at NASA GSFC is assembled with four quadrant fully addressable 365x171 shutter arrays that are actuated magnetically, latched and addressed electrostatically. As shown in Figure 2, each MSA is fabricated out of a 4' silicon-on-insulator (SOI) wafer using MEMS bulk-micromachining technology. Individual shutters are close-packed silicon nitride membranes with a pixel size close to 100x200 pm (Figure 3). Shutters are patterned with a torsion flexure permitting shutters to open 90 degrees with a minimized mechanical stress concentration. In order to prevent light leak, light shields are made on to the surrounding frame of each shutter to cover the gaps between the shutters and the Game (Figure 4). Micro-ribs and sub-micron bumps are tailored on hack walls and light shields, respectively, to prevent sticktion, shown in Figures 4 and 5. JWST instruments are required to operate at cryogenic temperatures as low as 35K, though they are to be subjected to various levels of ground tests at room temperature. The shutters should therefore maintain nearly flat in the entire temperature range between 35K and 300K. Through intensive numerical simulations and experimental studies, an optically opaque and electrically conductive metal-nitride thin film was selected as a coating material deposited on the shutters with the best thermal-expansion match to silicon nitride - the shutter blade thin film material. A shutter image shown in Figure 6 was taken at room temperature, presenting shutters slightly bowing down as expected. Shutters become flat when the temperature decreases to 35K. The MSAs are then bonded to silicon substrates that are fabricated out of 6" single-silicon wafers in the thickness of 2mm. The bonding is conducted using a novel single-sided indium flip-chip bonding technology. Indium bumps fabricated on a substrate are shown in Figure 7. There are 180,000 indium bumps for bonding a flight format MSA array to its substrate. Besides a MSA, each substrate houses five customer-designed ASIC (Application Specific Integrated Circuit) multiplexer/address chips for 2-dimensional addressing, twenty capacitors, two temperature sensors, numbers of resistors and all necessary interconnects, as shown in Figure 8. Complete MSA quadrant assemblies have been successfully manufactured and fully functionally tested. The assemblies have passed a series of critical reviews required by JWST in satisfying all the design specifications. The qualification tests cover programmable 2-D addressing, life tests, optical contrast tests, and environmental tests including radiation, vibration, and acoustic tests. A 2-D addressing pattern with 'ESA' letters programmed in a MSA is shown in Figure 9. The MSAs passed 1 million cycle life tests and achieved high optical contrast over 10,000. MSA teams are now making progress in final fabrication, testing and assembly (Figure 10). The delivery of flight-format MSA system is scheduled at the end of 2008 for being integrated to the focal plane of the NIRSpec detectors.

Li, Mary J.↗
NASA NTRS2008

Using SecondLife Online Virtual World Technology to Introduce Educators to the Digital Culture

The rapidly changing culture resulting from new technologies and digital gaming has created an increasing language gap between traditional educators and today's learners (Natkin, 2006; Seely-Brown, 2000). This study seeks to use the online virtual world of SecondLife.com as a tool to introduce educators to this new environment for learning. This study observes the activities and perceptions of a group of educators given unscripted access to this virtual environment. The results 'suggest that although serious technology limitations do currently exist, the potential of this virtual world environment as a learning experience for educators is strong.

Jamison, John↗
NASA NTRS2008

Population Simulation, AKA: Grahz, Rahbitz and Fawkzes

In an effort to give students a more visceral experience of science and instill a deeper working knowledge of concepts, activities that utilize hands-on, laboratory and simulated experiences are recommended because these activities have a greater impact on student learning, especially for Native American students. Because it is not usually feasible to take large and/or multiple classes of high school science students into the field to count numbers of organisms of a particular species, especially over a long period of time and covering a large area of an environment, the population simulation presented in this paper was created to aid students in understanding population dynamics by working with a simulated environment, which can be done in the classroom. Students create an environment and populate the environment with imaginary species. Then, using a sequence of "rules" that allow organisms to eat, reproduce, move and age, students see how the population of a species changes over time. In particular, students practice collecting data, summarizing information, plotting graphs, and interpreting graphs for such information as carrying capacity, predator prey relationships, and how specific species factors impact population and the environment. Students draw conclusions from their results and suggest further research, which may involve changes in simulation parameters, prediction of outcomes, and testing predictions. The population Simulation has demonstrated success in the above student activities using a "board game" version of the population simulation. A computer version of the population simulation needs more testing, but preliminary runs are promising. A second - and more complicated - computer simulation will simulate the same things and will add simulated population genetics.

Bangert, Tyler R.↗
NASA NTRS2007

Feasibility of Turing-Style Tests for Autonomous Aerial Vehicle "Intelligence"

A new approach is suggested to define and evaluate key metrics as to autonomous aerial vehicle performance. This approach entails the conceptual definition of a "Turing Test" for UAVs. Such a "UAV Turing test" would be conducted by means of mission simulations and/or tailored flight demonstrations of vehicles under the guidance of their autonomous system software. These autonomous vehicle mission simulations and flight demonstrations would also have to be benchmarked against missions "flown" with pilots/human-operators in the loop. In turn, scoring criteria for such testing could be based upon both quantitative mission success metrics (unique to each mission) and by turning to analog "handling quality" metrics similar to the well-known Cooper-Harper pilot ratings used for manned aircraft. Autonomous aerial vehicles would be considered to have successfully passed this "UAV Turing Test" if the aggregate mission success metrics and handling qualities for the autonomous aerial vehicle matched or exceeded the equivalent metrics for missions conducted with pilots/human-operators in the loop. Alternatively, an independent, knowledgeable observer could provide the "UAV Turing Test" ratings of whether a vehicle is autonomous or "piloted." This observer ideally would, in the more sophisticated mission simulations, also have the enhanced capability of being able to override the scripted mission scenario and instigate failure modes and change of flight profile/plans. If a majority of mission tasks are rated as "piloted" by the observer, when in reality the vehicle/simulation is fully- or semi- autonomously controlled, then the vehicle/simulation "passes" the "UAV Turing Test." In this regards, this second "UAV Turing Test" approach is more consistent with Turing s original "imitation game" proposal. The overall feasibility, and important considerations and limitations, of such an approach for judging/evaluating autonomous aerial vehicle "intelligence" will be discussed from a theoretical perspective.

Young, Larry A.↗
NASA NTRS2009

Oxygen Compatibility of Brass-Filled PTFE Compared to Commonly Used Fluorinated Polymers for Oxygen Systems

Safe and reliable seal materials for high-pressure oxygen systems sometimes appear to be extinct species when sought out by oxygen systems designers. Materials that seal well are easy to find, but these materials are typically incompatible with oxygen, especially in cryogenic liquid form. This incompatibility can result in seals that leak, or much worse, seals that easily ignite and burn during use. Materials that are compatible with oxygen are easy to find, such as the long list of compatible metals, but these metallic materials are limiting as seal materials. A material that seals well and is oxygen compatible has been the big game in the designer's safari. Scientists at the Materials Combustion Research Facility (MCRF), part of NASA/Marshall Space Flight Center (MSFC), are constantly searching for better materials and processes to improve the safety of oxygen systems. One focus of this effort is improving the characteristics of polymers used in the presence of an oxygen enriched environment. Very few systems can be built which contain no polymeric materials; therefore, materials which have good impact resistance, low heat of combustion, high auto-ignition temperature and that maintain good mechanical properties are essential. The scientists and engineers at the Materials Combustion Research Facility, in cooperation with seal suppliers, are currently testing a new formulation of polytetrafluoroethylene (PTFE) with Brass filler. This Brass-filled PTFE is showing great promise as a seal and seat material for high pressure oxygen systems. Early research has demonstrated very encouraging results, which could rank this material as one of the best fluorinated polymers ever tested. This paper will compare the data obtained for Brass-filled PTFE with other fluorinated polymers, such as TFE-Teflon (PTFE) , Kel-F 81, Viton A, Viton A-500, Fluorel , and Algoflon . A similar metal filled fluorinated polymer, Salox-M , was tested in comparison to Brass-filled PTFE to demonstrate the importance of the metal chosen and relative percentage of filler. General conclusions on the oxygen compatibility of this formulation are drawn, with an emphasis on comparing and contrasting the materials performance to the performance of the current state-of-the-art oxygen compatible polymers.

Herald, Stephen D.↗
NASA NTRS2010

Blended Training for Combat Medics

Bleeding from extremity wounds is the number one cause of preventable death on the battlefield and current research stresses the importance of training in preparing every Soldier to use tourniquets. HapMed is designed to provide tourniquet application training to combat medics and Soldiers using a blended training solution encompassing information, demonstration, practice, and feedback. The system combines an instrumented manikin arm, PDA, and computer. The manikin arm provides several training options including stand-alone, hands-on skills training in which soldiers can experience the actual torque required to staunch bleeding from an extremity wound and be timed on tourniquet application. This is more realistic than using a block of wood to act as a limb, which is often how training is conducted today. Combining the manikin arm with the PDA allows instructors to provide scenario based training. In a classroom or field setting, an instructor can specify wound variables such as location, casualty size, and whether the wound is a tough bleed. The PDA also allows more detailed feedback to be provided. Finally, combining the manikin arm with game-based technologies, the third component, provides opportunities to build knowledge and to practice battlefield decision making. Not only do soldiers learn how to apply a tourniquet, but when to apply a tourniquet in combat. The purpose of the paper is to describe the learning science underlying the design of HapMed, illustrate the training system and ways it is being expanded to encompass other critical life-saving tasks, and report on feedback received from instructors and trainees at military training and simulation centers.

Fowlkes, Jennifer↗
NASA NTRS2010

Integration of In-Situ Resource Utilization Into Lunar/Mars Exploration Through Field Analogs

The NASA project to develop In-Situ Resource Utilization (ISRU) technologies, in partnership with commercial and international collaborators, has achieved full system demonstrations of oxygen production using native regolith simulants. These demonstrations included robotic extraction of material from the terrain, sealed encapsulation of material in a pressurized reactor; chemical extraction of oxygen from the material in the form of water, and the electrolysis of water into oxygen and hydrogen for storage and reuse. These successes have provided growing confidence in the prospects of ISRU oxygen production as a credible source for critical mission consumables in preparation for and during crewed missions to the moon and other destinations. Other ISRU processes, especially relevant to early lunar exploration scenarios, have also been shown to be practical, including the extraction of subsurface volatiles, especially water, and the thermal processing of surface materials for civil engineering uses and for thermal energy storage. This paper describes these recent achievements and current NASA ISRU development and demonstration activity. The ability to extract and process resources at the site of exploration into useful products such as propellants, life support and power system consumables; and radiation and rocket exhaust plume debris shielding, known as In-Situ Resource Utilization or ISRU, has the potential to significantly reduce the launch mass, risk, and cost of robotic and human exploration of space. The incorporation of ISRU into missions can also significantly influence technology selection and system development in other areas such as power, life support, and propulsion. For example. the ability to extract or produce large amounts of oxygen and/or water in-situ could minimize the need to completely close life support air and water processing system cycles, change thermal and radiation protection of habitats, and influence propellant selection for ascent vehicles and surface propulsive hoppers. While concepts and even laboratory work on evaluating and developing ISRU techniques such as oxygen extraction from lunar regolith have been going on since before the Apollo 11 Moon landing, no ISRU system has ever flown in space, and only recently have ISRU technologies been developed at a scale and at a system level that is relevant to actual robotic and human mission applications. Because ISRU hardware and systems have never been demonstrated or utilized before on robotic or human missions, architecture and mission planners and surface system hardware developers are hesitant to rely on ISRU products and services that are critical to mission and system implementation success. To build confidence in ISRU systems for future missions and assess how ISRU systems can best influence and integrate with other surface system elements, NASA, with international partners, are performing analog field tests to understand how to take advantage of ISRU capabilities and benefits with the minimum of risk associated with introducing this game-changing approach to exploration. This paper will describe and review the results of four analog field tests (Moses Lake in 6/08, Mauna Kea in 11/08. Flagstaff in 9/09; and Mauna Kea in 1/10) that have begun the process of integrating ISRU into robotic and human exploration systems and missions, and propose future ISRU-related analog field test activities that can be performed in collaboration with international space agencies.

Sanders, Gerald B.↗
NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗