Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “nuclear security”

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.

54 records · Page 3

Accessing Icy Worlds Using Lattice Confinement Fusion (LCF) Fast Fission

Exploring the oceans of icy moons and planets requires a robust robotic probe powered by an energy source that can operate under icy world ocean conditions and be self-contained. We propose a non-fissile, compact, scalable nuclear energy source to electrically power untethered, autonomous probes to melt or bore through icy world crusts. The probe can be used for planetary (i.e. Pluto, lunar (i.e., Europa), or asteroid exploration (i.e. Ceres) where ice caps are encountered. This new approach may yield a variable output fission power source with a higher performance than 238Pu and a non-fissile alternative to a highly enriched uranium (HEU) core. This approach saves uranium enrichment expense, and both HEU and 238Pu security and launch safety costs. The reactor will produce electrical power with thermal waste heat to melt through the ice crust with possible sonic assistance. This NIAC funded proposal and presentation will introduce the hybrid fusion-fission reactor concept applied to the Saturnian moon, Enceladus, explore the potential for and benefits of this new type of nuclear reactor, and discuss applying this new technology.

Icy Worlds↗

Solar power

This paper describes categories of solar technologies and identifies those that are economic. It compares the private costs of power from solar, wind, nuclear, coal, oil, and gas generators. In the southern United States, the private costs of building and generating electricity from new solar and wind power plants are less than the private cost of electricity from a new nuclear power plant. Solar power is more valuable than nuclear power since all solar power is available during peak and midpeak periods. Half of the power from nuclear generators is off-peak power and therefore is less valuable. Reliability is important in determining the value of wind and nuclear power. Damage from air pollution, when factored into the cost of power from fossil fuels, alters the cost comparison in favor of solar and wind power. Some policies are more effective at encouraging alternative energy technologies that pollute less and improve national security.

Walton, A. L.↗

Slow Scan Telemedicine

Originally developed under contract for NASA by Ball Bros. Research Corporation for acquiring visual information from lunar and planetary spacecraft, system uses standard closed circuit camera connected to a device called a scan converter, which slows the stream of images to match an audio circuit, such as a telephone line. Transmitted to its destination, the image is reconverted by another scan converter and displayed on a monitor. In addition to assist scans, technique allows transmission of x-rays, nuclear scans, ultrasonic imagery, thermograms, electrocardiograms or live views of patient. Also allows conferencing and consultation among medical centers, general practitioners, specialists and disease control centers. Commercialized by Colorado Video, Inc., major employment is in business and industry for teleconferencing, cable TV news, transmission of scientific/engineering data, security, information retrieval, insurance claim adjustment, instructional programs, and remote viewing of advertising layouts, real estate, construction sites or products.

Source record↗

Applying Advanced and Existing Sensors in Dealing with Potential Natural Disasters

As an integrated observing strategy, the concept of sensorweb for Earth observations is appealing in many aspects. For instance, by increasing the spatial and temporal coverage of observations from space and other vantage points, one can eventually aid in increasing the accuracy of the atmospheric models which are precursor to hurricane track prediction, volcanic eruption forecast, and trajectory path of transcontinental transport of dust, harmful nuclear and chemical plumes. In reality, there is little analysis available in terms of benefits, costs and optimized set of sensors needed to make these necessary observations. This is a complex problem that must be carefully studied and balanced over many boundaries such as science, defense, early warning, security, and surveillance. Simplistically, the sensorweb concept from the technological point of view alone has a great appeal in the defense, early warning and security applications. In fact, it can be relatively less expensive in per unit cost as opposed to building and deploying it for the scientific use. However, overall observing approach should not be singled out and aligned somewhat orthogonally to serve a particular need. On the other hand, the sensorweb should be designed and deployed to serve multiple subject areas and customers simultaneously; and can behave as directed measuring systems for both science and operational entities. Sensorweb can be designed to act as expert systems, and/or also provide a dedicated integrated surveillance network. Today, there is no system in the world that is fully integrated in terms of reporting timely multiple hazards warnings, computing the loss of life and property damage estimates, and is also designed to cater to everyone s needs. It is not an easier problem to undertake and more so is not practically solvable. At this time due to some recent events in the world, the scientific community, social scientists, and operational agencies are more cognizant and getting together to address such colossal problems. Increasing our knowledge of the home planet, via amplified set of observations, is certainly a right step in a right direction. Furthermore, this is a prerequisite in understanding multiple hazard phenomena's. This paper examines various sensorweb options and observing architectures that can be useful specifically in addressing some of these complex issues. The ultimate goal is to serve the society by providing potential natural hazards information to the decision makers in the most expeditious manner so they can prepare themselves to mitigate potential risks to human life, livestock and property.

Habib, Shahid↗

Acquiring Comprehensive Observations using an Integrated Sensorweb for Early Warning

As an integrated observing strategy, the concept of sensorweb for Earth observations is appealing in many aspects. For instance, by increasing the spatial and temporal coverage of observations from space and other vantage points, one can eventually aid in increasing the accuracy of the atmospheric models which are precursor to hurricane track prediction, volcanic eruption forecast, and trajectory path of transcontinental transport of dust, harmful nuclear and chemical plumes. In reality, there is little analysis'available in terms of benefits, costs and optimized set of sensors needed to make these necessary observations. This is a complex problem that must be carefully studied and balanced over many boundaries such as science, defense, early warning security, and surveillance. Simplistically, the sensorweb concept from the technological point of view alone has a great appeal in the defense, early warning and security applications. In fact, it can be relatively less expensive in per unit cost as opposed to building and deploying it for the scientific use. However, overall observing approach should not be singled out and aligned somewhat . orthogonally to serve a particular need. On the other hand, the sensorweb should be designed and deployed to serve multiple subject areas and customers simultaneously; and can behave as directed measuring systems for both science and operational entities. Sensorweb can be designed to act as expert systems, and/or also provide a dedicated integrated surveillance network. Today, there is no system in the world that is fully integrated in terms of reporting timely multiple hazards warnings, computing the lass of life and property damage estimates, and is also designed to cater to everyone's needs. It is not an easier problem to undertake and more so is not practically solvable. At this time due to some recent events in the world, the scientific community, social scientists, and operational agencies are more cognizant and getting together to address such colossal problems. Increasing our knowledge of the home planet, via amplified set of observations, is certainly a right step in a right direction. Furthermore, this is a pre-requisite in understanding multiple hazard phenomena's. This paper examines various sensorweb options and observing architectures that can be useful specifically in addressing some of these complex issues. The ultimate goal is to serve the society by providing potential natural hazards information to the decision makers in the most expeditious manner so they can prepare themselves to mitigate potential risks to human life, livestock and property.

Habib, Shahid↗

Acquiring Comprehensive Observations using an integrated Sensorweb for Early Warning

As an integrated observing strategy, the concept of sensorweb for Earth observations is appealing in many aspects. For instance, by increasing the spatial and temporal coverage of observations from space and other vantage points, one can eventually aid in increasing the accuracy of the atmospheric models which are precursor to hurricane track prediction, volcanic eruption forecast, and trajectory path of transcontinental transport of dust, harmful nuclear and chemical plumes. In reality, there is little analysis'available in terms of benefits, costs and optimized set of sensors needed to make these necessary observations. This is a complex problem that must be carefully studied and balanced over many boundaries such as science, defense, early warning, security, and surveillance. Simplistically, the sensorweb concept from the technological point of view alone has a great appeal in the defense, early warning and security applications. In fact, it can be relatively less expensive in per unit cost as opposed to building and deploying it for the scientific use. However, overall observing approach should not be singled out and aligned somewhat orthogonally to serve a particular need. On the other hand, the sensorweb should be designed and deployed to serve multiple subject areas and customers simultaneously; and can behave as directed measuring systems for both science and operational entities. Sensorweb can be designed to act as expert systems, and/or also provide a dedicated integrated surveillance network. Today, there is no system in the world that is fully integrated in terms of reporting timely multiple hazards warnings, computing the loss of life and property damage estimates, and is also designed to cater to everyone's needs. It is not an easier problem to undertake and more so is not practically solvable. At this time due to some recent events in the world, the scientific community, social scientists, and operational agencies are more cognizant and getting together to address such colossal problems. Increasing our knowledge of the home planet, via amplified set of observations, is certainly a right step in a right direction. Furthermore, this is a pre-requisite in understanding multiple hazard phenomena's. This paper examines various sensorweb options and observing architectures that can be useful specifically in addressing some of these complex issues. The ultimate goal is to serve the society by providing potential natural hazards information to the decision makers in the most expeditious manner so they can prepare themselves to mitigate potential risks to human life, livestock and property.

Habib, Shahid↗

Affordable Development and Demonstration of a Small Nuclear Thermal Rocket (NTR) Engine and Stage: How Small Is Big Enough?

The Nuclear Thermal Rocket (NTR) derives its energy from fission of uranium-235 atoms contained within fuel elements that comprise the engine's reactor core. It generates high thrust and has a specific impulse potential of approximately 900 specific impulse - a 100 percent increase over today's best chemical rockets. The Nuclear Thermal Propulsion (NTP) project, funded by NASA's Advanced Exploration Systems (AES) program, includes five key task activities: (1) Recapture, demonstration, and validation of heritage graphite composite (GC) fuel (selected as the Lead Fuel option); (2) Engine Conceptual Design; (3) Operating Requirements Definition; (4) Identification of Affordable Options for Ground Testing; and (5) Formulation of an Affordable Development Strategy. During fiscal year (FY) 2014, a preliminary Design Development Test and Evaluation (DDT&E) plan and schedule for NTP development was outlined by the NASA Glenn Research Center (GRC), Department of Energy (DOE) and industry that involved significant system-level demonstration projects that included Ground Technology Demonstration (GTD) tests at the Nevada National Security Site (NNSS), followed by a Flight Technology Demonstration (FTD) mission. To reduce cost for the GTD tests and FTD mission, small NTR engines, in either the 7.5 or 16.5 kilopound-force thrust class, were considered. Both engine options used GC fuel and a common fuel element (FE) design. The small approximately 7.5 kilopound-force criticality-limited engine produces approximately157 thermal megawatts and its core is configured with parallel rows of hexagonal-shaped FEs and tie tubes (TTs) with a FE to TT ratio of approximately 1:1. The larger approximately 16.5 kilopound-force Small Nuclear Rocket Engine (SNRE), developed by Los Alamos National Laboratory (LANL) at the end of the Rover program, produces approximately 367 thermal megawatts and has a FE to TT ratio of approximately 2:1. Although both engines use a common 35-inch (approximately 89-centimeters) -long FE, the SNRE's larger diameter core contains approximately 300 more FEs needed to produce an additional 210 thermal megawatts of power. To reduce the cost of the FTD mission, a simple one-burn lunar flyby mission was considered to reduce the liquid hydrogen (LH2) propellant loading, the stage size and complexity. Use of existing and flight proven liquid rocket and stage hardware (e.g., from the RL10B-2 engine and Delta Cryogenic Second Stage) was also maximized to further aid affordability. This paper examines the pros and cons of using these two small engine options, including their potential to support future human exploration missions to the Moon, near Earth asteroids (NEA), and Mars, and recommends a preferred size. It also provides a preliminary assessment of the key activities, development options, and schedule required to affordably build, ground test and fly a small NTR engine and stage within a 10-year timeframe.

Spacecraft design↗

Automated Theorem Proving in High-Quality Software Design

The amount and complexity of software developed during the last few years has increased tremendously. In particular, programs are being used more and more in embedded systems (from car-brakes to plant-control). Many of these applications are safety-relevant, i.e. a malfunction of hardware or software can cause severe damage or loss. Tremendous risks are typically present in the area of aviation, (nuclear) power plants or (chemical) plant control. Here, even small problems can lead to thousands of casualties and huge financial losses. Large financial risks also exist when computer systems are used in the area of telecommunication (telephone, electronic commerce) or space exploration. Computer applications in this area are not only subject to safety considerations, but also security issues are important. All these systems must be designed and developed to guarantee high quality with respect to safety and security. Even in an industrial setting which is (or at least should be) aware of the high requirements in Software Engineering, many incidents occur. For example, the Warshaw Airbus crash, was caused by an incomplete requirements specification. Uncontrolled reuse of an Ariane 4 software module was the reason for the Ariane 5 disaster. Some recent incidents in the telecommunication area, like illegal "cloning" of smart-cards of D2GSM handies, or the extraction of (secret) passwords from German T-online users show that also in this area serious flaws can happen. Due to the inherent complexity of computer systems, most authors claim that only a rigorous application of formal methods in all stages of the software life cycle can ensure high quality of the software and lead to real safe and secure systems. In this paper, we will have a look, in how far automated theorem proving can contribute to a more widespread application of formal methods and their tools, and what automated theorem provers (ATPs) must provide in order to be useful.

Schumann, Johann↗

Advanced space transportation technologies

A wide range of propulsion technologies for space transportation are discussed in the literature. It is clear from the literature review that a single propulsion technology cannot satisfy the many mission needs in space. Many of the technologies tested, proposed, or in experimental stages relate to: chemical and nuclear fuel; radiative and corpuscular external energy source; tethers; cannons; and electromagnetic acceleration. The scope and limitation of these technologies is well tabulated in the literature. Prior experience has shown that an extensive amount of fuel needs to be carried along for the return mission. This requirement puts additional constraints on the lift off rocket technology and limits the payload capacity. Consider the possibility of refueling in space. If the return fuel supply is guaranteed, it will not only be possible to lift off more payload but also to provide security and safety of the mission. Exploration to deep space where solar sails and thermal effects fade would also be possible. Refueling would also facilitate travel on the planet of exploration. This aspect of space transportation prompts the present investigation. The particle emissions from the Sun's corona will be collected under three different conditions: in space closer to the Sun, in the Van Allen Belts; and on the Moon. It is proposed to convert the particle state into gaseous, liquid, or solid state and store it for refueling space vehicles. These facilities may be called space pump stations and the fuel collected as space fuel. Preliminary estimates of fuel collection at all three sites will be made. Future work will continue towards advancing the art of collection rate and design schemes for pumping stations.

Raj, Rishi S.↗

The Nature of Insoluble Organic Matter in Sutter’s Mill and Murchison Carbonaceous Chondrites: Testing the Effect of X-ray Computed Tomography (XCT) and Exploring Parent Body Organic Molecular Evolution

This study analyzed samples of the Murchison and Sutter’s Mill carbonaceous chondrite meteorites in support of the future analysis of samples returned from the asteroid (10155) Bennu by the OSIRIS-REx (Origins, Spectral Interpretation, Resource Identification, and Security–Regolith Explorer) mission. Focusing specifically on the insoluble organic matter (IOM), this study establishes that a total of 1.3 g of bulk sample from a single chondritic meteorite is sufficient to obtain a wide range of cosmochemical information, including light element analysis (H, C, and N), isotopic analysis (D/H, 13 C/ 12 C, and 15 N/ 14 N), and X-ray fluorescence spectroscopy for major elemental abundances. IOM isolated from the bulk meteorite samples was analyzed by light element and isotopic analysis as described above, 1 H and 13 C solid-state nuclear magnetic resonance spectroscopy, Raman spectroscopy, and complete noble gas analyses (abundances and isotopes). The samples studied included a pair from Murchison (CM2), one of which had been irradiated with high-energy X-rays in the course of computed tomographic imaging. No differences between the irradiated and non-irradiated Murchison samples were observed in the many different chemical and spectroscopic analyses, indicating that any X-ray–derived sample damage is below levels of detection. Elemental, isotopic, and molecular spectroscopic data derived from IOM isolated from the Sutter’s Mill sample reveals evidence that this meteorite falls into the class of heated CM chondrites.

planetary science↗

Earth-to-Orbit Rocket Propulsion

The Earth-to-orbit (ETO) phase of access to space is and always will be the first and most critical phase of all space missions. This first phase of all space missions has unique characteristics that have driven space launcher propulsion requirements for more than half a century. For example, the need to overcome the force of the Earth s gravity in combination with high levels of atmospheric drag to achieve the initial orbital velocity; i.e., Earth parking orbit or =9 km/s, will always require high thrust- to-weight (TN) propulsion systems. These are necessary with a T/W ratio greater than one during the ascent phase. The only type of propulsion system that can achieve these high T/W ratios are those that convert thermal energy to kinetic energy. There are only two basic sources of onboard thermal energy: chemical combustion-based systems or nuclear thermal-based systems (fission, fusion, or antimatter). The likelihood of advanced open-cycle, nuclear thermal propulsion being developed for flight readiness or becoming environmentally acceptable during the next century is extremely low. This realization establishes that chemical propulsion for ET0 launchers will be the technology of choice for at least the next century, just as it has been for the last half century of rocket flight into space. The world s space transportation propulsion requirements have evolved through several phases over the history of the space program, as has been necessitated by missions and systems development, technological capabilities available, and the growth and evolution of the utilization of space for economic, security, and science benefit. Current projections for the continuing evolution of requirements and concepts may show how future space transportation system needs could be addressed. The evolution and projections will be described in detail in this manuscript.

Beaurain, Andre↗

Human Exploration of the Solar System by 2100

It has been suggested that the U.S., in concert with private entities and international partners, set itself on a course to accomplish human exploration of the solar system by the end of this century. This is a strikingly bold vision intended to revitalize the aspirations of HSF in service to the security, economic, and scientific interests of the nation. Solar system distance and time scales impose severe requirements on crewed space transportation systems, however, and fully realizing all objectives in support of this goal will require a multi-decade commitment employing radically advanced technologies - most prominently, space habitats capable of sustaining and protecting life in harsh radiation environments under zero gravity conditions and in-space propulsion technologies capable of rapid deep space transits with earth return, the subject of this paper. While near term mission destinations such as the moon and Mars can be accomplished with chemical propulsion and/or high power SEP, fundamental capability constraints render these traditional systems ineffective for solar system wide exploration. Nuclear based propulsion and alternative energetic methods, on the other hand, represent potential avenues, perhaps the only viable avenues, to high specific power space transport evincing reduced trip time, reduced IMLEO, and expanded deep space reach. Here, very long term HSF objectives for solar system wide exploration are examined in relation to the advanced propulsion technology solution landscape including foundational science, technical/engineering challenges, and developmental prospects.

Transportation↗

Fission Reactor Inadvertent Reentry: A Report to the Nuclear Power & Propulsion Technical Discipline Team

The Nuclear Power and Propulsion Technical Discipline Team has directed an effort to consider possible improvements to the launch approval process as it relates to fission reactors. To that end, Reference 1 described possible general design criteria and risk criteria for fission reactors. At the time that Reference 1 was completed, it was felt that additional examination of reentry issues was warranted. This paper presents the next step in that examination, which is to accurately describe and frame the problem and suggest safety criteria that might apply to inadvertent reentry. The report includes a discussion of the issues associated with different types of inadvertent reentry, the possible consequences of those events, a review of previous work in the area, security and nonproliferation issues, and options for safety requirements that might be considered. Note that safety requirements can have significant mission implications, e.g., no operation below a certain orbit.

Camp, Allen↗

Vannevar Bush 2: Science for the 21st Century. Why Should Federal Dollars be Spent to Support Scientific Research?

On July 5, 1945, Dr. Vannevar Bush delivered a report to President Truman known as 'Science: The Endless Frontier'. In the report, Dr. Bush stated that 'scientific progress is one essential key to our security as a nation, to our better health, to more jobs, to a higher standard of living, and to our cultural progress'. Bush addressed job creation, the independence of basic research, the ties between research and application, and the nations's need for new talent. In 1995, there are strong similarities between the issues addressed in the Congress, Administration, and the public and those following World War 2. Federal funds and research funding are under severe pressure, including that from fiscal constraints in the federal budget due to the large and growing deficit and the escalating cost of health care. Defense conversion is addressed in the Congress and in industry, where many jobs are at stake. Conversion of the national laboratories, particularly nuclear weapons laboratories, has been a subject of a governmental commission and is the subject of draft legislation. Health care costs and the appropriate role of the federal government in funding basic and applied research has become a major topic of debate. Discussion on education in science has grown from the issue of how to produce more Ph.D.'s to how to improve the understanding of technology and science among the general public.

Miller, Kate↗

Molten Salt Lattice Confinement Fusion (LCF) Fast Fission Reactor for Lunar and Planetary Surface Power

Molten salt fission reactors (MSR) have been suggested for lunar and planetary surface power systems. They have the advantage of operating at high temperature, for efficient thermal-electrical conversion, low pressure, long-lived with high nuclear fuel burnup. MSR are often designed to breed fissile 233U from natural 232Th by neutron capture and  decay via: 232Th(n,)233Th(,)233Pa(,)233U Unfortunately, this process requires 233Pa isotope separation and segregation to decay to 233U. This requirement prevents additional neutron capture that interferes with 233U breeding. Instead, Wooley’s sub-critical, fast fission, molten salt reactor would use externally generated tokamak fusion neutrons1,2 to fission all actinides.We propose a simpler fusion-fast-fission sub-critical reactor that generates fast neutrons in situ from lattice confinement fusion (LCF) to fission fertile and fissile actinides. This hybrid reactor doesn't require enriched 235U fissile pins to initiate fis-sion reactions, nor 233Pa separation and segregation during operation. Like Wooley’s, this hybrid reactor “burns” natural uranium (238U) or thorium (232Th) which avoids uranium enrichment and additional fissile material launch safety and security costs. The LCF neutron source is initiated by bremsstrahlung photoneutrons (Fig. 1)3 or isotopic neutron sources in electron-screened lattices (Fig. 2)4,5. Alternatively, the electrolytic Pd-deuterium co-deposition6protocol fast fissions7 both 232Th and 238U. However, an aqueous electrolyte-based system, without pressurization similar to conventional pressurized water fission reactors, is incapable of high temperatures due to the boiling point of the electrolyte slightly over 100 C. Molten salts can be used instead as was demonstrated at the University of Hawaii8 using a variety of Ni and Pd cathodes in lithiated, hydrided and deuterated salts. These salts have melting points often exceeding 500C making them suitable to efficiently produce electrical power9 through either Advanced Stirling Genera-tors (< 100 kWe) or closed-Brayton Cycle (> 100 kWe). This hybrid reactor could power a wide range of lunar or Martian applications from unmanned in-struments, to charging vehicles and entire facilities such as human habitats or in situ resource utilization. The power conversion cycles are Carnot Cycle limited, but generally 30% efficient at best. However, waste heat on the moon or Mars is important to surviving either two-week lunar nights or Martian nights as well as providing process heat for mineral extraction and “living off the land”

Lawrence Forsley↗

NASA's Nuclear Thermal Propulsion Project

Space fission power systems can provide a power rich environment anywhere in the solar system, independent of available sunlight. Space fission propulsion offers the potential for enabling rapid, affordable access to any point in the solar system. One type of space fission propulsion is Nuclear Thermal Propulsion (NTP). NTP systems operate by using a fission reactor to heat hydrogen to very high temperature (>2500 K) and expanding the hot hydrogen through a supersonic nozzle. First generation NTP systems are designed to have an Isp of approximately 900 s. The high Isp of NTP enables rapid crew transfer to destinations such as Mars, and can also help reduce mission cost, improve logistics (fewer launches), and provide other benefits. However, for NTP systems to be utilized they must be affordable and viable to develop. NASA's Advanced Exploration Systems (AES) NTP project is a technology development project that will help assess the affordability and viability of NTP. Early work has included fabrication of representative graphite composite fuel element segments, coating of representative graphite composite fuel element segments, fabrication of representative cermet fuel element segments, and testing of fuel element segments in the Compact Fuel Element Environmental Tester (CFEET). Near-term activities will include testing approximately 16" fuel element segments in the Nuclear Thermal Rocket Element Environmental Simulator (NTREES), and ongoing research into improving fuel microstructure and coatings. In addition to recapturing fuels technology, affordable development, qualification, and utilization strategies must be devised. Options such as using low-enriched uranium (LEU) instead of highly-enriched uranium (HEU) are being assessed, although that option requires development of a key technology before it can be applied to NTP in the thrust range of interest. Ground test facilities will be required, especially if NTP is to be used in conjunction with high value or crewed missions. There are potential options for either modifying existing facilities or constructing new ground test facilities. At least three potential options exist for reducing (or eliminating) the release of radioactivity into the environment during ground testing. These include fully containing the NTP exhaust during the ground test, scrubbing the exhaust, or utilizing an existing borehole at the Nevada National Security Site (NNSS) to filter the exhaust. Finally, the project is considering the potential for an early flight demonstration of an engine very similar to one that could be used to support human Mars or other ambitious missions. The flight demonstration could be an important step towards the eventual utilization of NTP.

Houts, Michael↗

The Science Goals of NASA's Exploration Initiative

The recently released policy directive, "A Renewed Spirit of Discovery: The President's Vision for U. S. Space Exploration," seeks to advance the U. S. scientific, security and economic interest through a program of space exploration which will robotically explore the solar system and extend human presence to the Moon, Mars and beyond. NASA's implementation of this vision will be guided by compelling questions of scientific and societal importance, including the origin of our Solar System and the search for life beyond Earth. The Exploration Roadmap identifies four key targets: the Moon, Mars, the outer Solar System, and extra-solar planets. First, a lunar investigation will set up exploration test beds, search for resources, and study the geological record of the early Solar System. Human missions to the Moon will serve as precursors for human missions to Mars and other destinations, but will also be driven by their support for furthering science. The second key target is the search for past and present water and life on Mars. Following on from discoveries by Spirit and Opportunity, by the end of the decade there will have been an additional rover, a lander and two orbiters studying Mars. These will set the stage for a sample return mission in 2013, increasingly complex robotic investigations, and an eventual human landing. The third key target is the study of underground oceans, biological chemistry, and their potential for life in the outer Solar System. Beginning with the arrival of Cassini at Saturn in July 2004 and a landing on Titan in 2006, the next decade will see an extended investigation of the Jupiter icy moons by a mission making use of Project Prometheus, a program to develop space nuclear power and nuclear-electric propulsion. Finally, the search for Earth-like planets and life includes a series of telescopic missions designed to find and characterize extra-solar planets and search them for evidence of life. These missions include HST and Spitzer, operating now; Kepler, SIM, JWST, and TPF, currently under development; and the vision missions, Life Finder and Planet Imager, which will possibly be constructed in space by astronauts.

Gardner, Jonathan P.↗

A Formal Approach for Designing and Evaluating Procedures

Operator interaction with modern control systems is a topic of great concern in high-risk industries such as nuclear power and commercial aviation. The issues associated with such systems focus on the ability of the operators (e.g., pilots) to achieve mission goals safely while containing failures. Operators must be able to interact safely and reliably with highly automatic and complex systems across the full spectrum of possible operating conditions, including normal, abnormal, and emergency situations. In environments such as commercial aviation, operator interaction with the machine is specified through a set of standard operating procedures (SOP). A procedure represents a collective agreement on the 'best' way to perform a given task. The intent of this paper is to suggest a formal methodology, for designing and evaluating procedures, that is both reliable and systematic. Our approach involves two major elements: a model of the machine and a list of the operator's task specifications (goals). We use formal modeling paradigms for describing the system and super-imposing on it the operator's tasks. Such paradigms, based on recent frameworks such as Statecharts and Hierarchical Hybrid Machines appear to be adequate methods for analyzing operator interaction with modern control systems. To illustrate this methodology, we model and analyze the sequence of actions for an emergency procedure. The procedure, Irregular Engine Start, for a medium-range aircraft, specifies the sequence of immediate actions that must be performed by the crew to avoid an uncontrolled rise in engine temperature during start-up. A model of engine behavior during a hot start is constructed. It also describes the various actions that can be taken by the crew and the resulting outcomes. The model is then opened up as a tree of all possible action sequences. This action tree allows us to trace the correct sequences necessary to achieve the desired end-goal (secure and shut down of the engine). In conclusion, we argue that the current process of designing and evaluating procedures can be improved. We discuss the implications of this approach for designing and evaluating this and other types of procedures. We conclude with insights about the benefits and limitation of this methodology, and offer suggestions for future research.

Degani, Asaf↗