Search NASA⌕ Search

SEARCH · Search NASA

Results for “IDEAS”

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 325 records · Page 18

MAPS of Cancer

Our goal was to produce an interactive visualization from a mathematical model that successfully predicts metastases from head and neck cancer. We met this goal early in the project. The visualization is available for the public to view. Our work appears to fill a need for more information about this deadly disease. The idea of this project was to make an easily interpretable visualization based on what we call "functional maps" of disease. A functional map is a graphic summary of medical data, where distances between parts of the body are determined by the probability of disease, not by anatomical distances. Functional maps often beat little resemblance to anatomical maps, but they can be used to predict the spread of disease. The idea of modeling the spread of disease in an abstract multidimensional space is difficult for many people. Our goal was to make the important predictions easy to see. NASA must face this problem frequently: how to help laypersons and professionals see important trends in abstract, complex data. We took advantage of concepts perfected in NASA's graphics libraries. As an analogy, consider a functional map of early America. Suppose we choose travel times, rather than miles, as our measures of inter-city distances. For Abraham Lincoln, travel times would have been the more meaningful measure of separation between cities. In such a map New Orleans would be close to Memphis because of the Mississippi River. St. Louis would be close to Portland because of the Oregon Trail. Oklahoma City would be far from Little Rock because of the Cheyenne. Such a map would look puzzling to those of us who have always seen physical maps, but the functional map would be more useful in predicting the probabilities of inter-site transit. Continuing the analogy, we could predict the spread of social diseases such as gambling along the rivers and cattle rustling along the trails. We could simply print the functional map of America, but it would be more interesting to show meaningful patterns of dispersal. We had previously published the functional map of the head and neck, but it was difficult to explain to either patients or surgeons because that view of our body did not resemble anatomy. This discrepancy between functional and physical maps is just a mathematical restatement of the well-known fact that some diseases, such as head and neck cancer, spread in complex patterns, not always to the next nearest site. We had discovered that a computer could re-arrange anatomy so that this particular disease spreads to the next nearest site. The functional map explains over 95% of the metastases in 1400 patients. In a sense, we had graphed what our body "looks like" to a tumor. The tumor readily travels between adjacent areas in the functional map. The functional map is a succinct visual display of trends that are not easily appreciated in tables of probabilities.

Gray, Lincoln↗

Quality Control of Meteorological Observations

For the first time, a problem of the meteorological observation quality control (QC) was formulated by L.S. Gandin at the Main Geophysical Observatory in the 70's. Later in 1988 L.S. Gandin began adapting his ideas in complex quality control (CQC) to the operational environment at the National Centers for Environmental Prediction. The CQC was first applied by L.S.Gandin and his colleagues to detection and correction of errors in rawinsonde heights and temperatures using a complex of hydrostatic residuals.Later, a full complex of residuals, vertical and horizontal optimal interpolations and baseline checks were added for the checking and correction of a wide range of meteorological variables. some other of Gandin's ideas were applied and substantially developed at other meteorological centers. A new statistical QC was recently implemented in the Goddard Data Assimilation System. The central component of any quality control is a buddy check which is a test of individual suspect observations against available nearby non-suspect observations. A novel feature of this test is that the error variances which are used for QC decision are re-estimated on-line. As a result, the allowed tolerances for suspect observations can depend on local atmospheric conditions. The system is then better able to accept extreme values observed in deep cyclones, jet streams and so on. The basic statements of this adaptive buddy check are described. Some results of the on-line QC including moisture QC are presented.

Collins, William↗

Origin and Reactivity of the Martian Soil: A 2003 Micromission

The role of water in the development of the martian surface remains a fundamental scientific question. Did Mars have one or more "warm and wet" climatic episodes where liquid water was stable at the surface? If so, the mineral phases present in the soils should be consistent with a history of aqueous weathering. More generally, the formation of hydrated mineral phases on Mars is a strong indicator of past habitable surface environments. The primary purpose of this investigation is to help resolve the question of whether such aqueous indicators are present on Mars by probing the upper meter for diagnostic mineral species. According to Burns [1993], the formation of the ferric oxides responsible for the visible color of Mars are the result of dissolution of Fe (+2) phases from basalts followed by aqueous oxidation and precipitation of Fe" mineral assemblages. These precipitates likely included iron oxyhydroxides such as goethite (a-FeOOH) and lepidocrocite (g-FeOOH), but convincing evidence for these phases at the surface is still absent. The stability of these minerals is enhanced beneath the surface, and thus we propose a subsurface search for hydroxylated iron species as a test for a large-scale chemical weathering process based on interactions with liquid water. It is also possible that the ferric minerals on Mars are not aqueous alteration products of the rocks. A chemical study of the Pathfinder landing site concluded that the soils are not directly derived from the surrounding rocks and are enhanced in Mg and Fe. The additional source of these elements might be from other regions of Mars and transported by winds, or alternatively, from exogenic sources. Gibson [1970] proposed that the spectral reflectivity of Mars is consistent with oxidized meteoritic material. Yen and Murray [1998] further extend Gibson's idea and show, in the laboratory, that metallic iron can be readily oxidized to maghemite and hematite under present-day martian surface conditions (in the absence of liquid water). A test for a meteoritic component of the soil can be conducted, as described below, by searching for the presence of Ni at the martian surface. The average abundance of nickel in an Fe-Ni meteorite is about 7% and, if present at measurable levels in the soil, would be indicative of an exogenic contribution. In addition, it may be possible to directly search for mineral phases common in meteorites. An understanding of the formation and evolution of the martian soil would not be complete without addressing the unusual reactivity discovered by the Viking Landers The presence of an inorganic oxidant, possibly one produced as a results of photochemical processes, is the most widely accepted explanation of the Viking results. Are these chemical species simply adsorbed on soil grains, or have they reacted with the metal oxide substrates and altered the mineral structures? Could a completely different (non-photochemical) process be responsible for the soil reactivity? The various ideas for the nature of this putative oxidant could be constrained by a measurement of the change in reactivity with depth. Different compositions will have different lifetimes and mobilities and thus will have different vertical profiles. Because the oxidizing compounds are believed to actively destroy organic molecules, determination of the reactivity gradient also has significant implications for the search for life on Mars. A DS2-based microprobe system can be instrumented for a 2003 micromission to investigate the origin and reactivity of the martian soil. These measurements would provide invaluable information regarding the climate history and exobiological potential of the planet. The NMR, X ray and chemiresistor measurement approach described embodies a highly synergistic and general set of soil interrogation methods for elements, compounds, and crystal structures and can also be applied to other geologic questions of interest. For example, if the capability for precise targeting of the probes is available, then in-situ investigations of suspected evaporite and hydrothermal deposits would be possible with the same set of instruments. Additional information is contained in the original.

Yen, Albert S.↗

Advances in Modeling the Generation of the Geomagnetic Field by the Using of Massively Parallel Computers and Profound Optimization

At the Earth's surface, the magnetic field that is observed is similar to that that would be generated by a simple bar magnet running through the Earth's axis. This idea (permanent magnetism) was commonly believed a century ago. Because the temperature of the core is so high, permanent magnetism is not possible. Therefore, the magnetic field should decay, over tens of thousands of years. Since it does not, the field must be regenerating. Since the turn of the century, the idea that the core is molten iron which by moving generates a magnetic field arose. The set of equations to describe this are extremely non-linear and complex. Only in the last five to ten years have computers been able to solve these equations.

Clune, Thomas↗

Multiple Quasi-Equilibria of the ITCZ and the Origin of Monsoon Onset: Rotational ITCZ Attractors - Part 2

Chao's numerical and theoretical work on multiple quasi-equilibria of the intertropical convergence zone (ITCZ) and the origin of monsoon onset is extended to solve two additional puzzles. One is the highly nonlinear dependence on latitude of the "force" acting on the ITCZ due to earth's rotation, which makes the multiple quasi-equilibria of the ITCZ and monsoon onset possible. The other is the dramatic difference in such dependence when different cumulus parameterization schemes are used in a model. Such a difference can lead to a switch between a single ITCZ at the equator and a double ITCZ, when a different cumulus parameterization scheme is used. Sometimes one of the double ITCZ can diminish and only the other remain, but still this can mean different latitudinal locations for the single ITCZ. A single idea based on two off-equator attractors for the ITCZ, due to earth's rotation and symmetric with respect to the equator, and the dependence of the strength and size of these attractors on the cumulus parameterization scheme solves both puzzles. The origin of these rotational attractors, explained in Part I, is further discussed. The "force" acting on the ITCZ due to earth's rotation is the sum of the "forces" of the two attractors. Each attractor exerts on the ITCZ a "force" of simple shape in latitude; but the sum gives a shape highly varying in latitude. Also the strength and the domain of influence of each attractor vary, when change is made in the cumulus parameterization. This gives rise to the high sensitivity of the "force" shape to cumulus parameterization. Numerical results, of experiments using Goddard's GEOS general circulation model, supporting this idea are presented. It is also found that the model results are sensitive to changes outside of the cumulus parameterization. The significance of this study to El Nino forecast and to tropical forecast in general is discussed.

Chao, Winston C.↗

Supporting Development of Satellite's Guidance Navigation and Control Software: A Product Line Approach

The NASA Goddard Space Flight Center Flight Software Branch (FSB) is developing a Guidance, Navigation, and Control (GNC) Flight Software (FSW) product line. The demand for increasingly more complex flight software in less time while maintaining the same level of quality has motivated us to look for better FSW development strategies. The GNC FSW product line has been planned to address the core GNC FSW functionality very similar on many recent low/near Earth missions in the last ten years. Unfortunately these missions have not accomplished significant drops in development cost since a systematic approach towards reuse has not been adopted. In addition, new demands are continually being placed upon the FSW which means the FSB must become more adept at providing GNC FSW functionality's core so it can accommodate additional requirements. These domain features together with engineering concepts are influencing the specification, description and evaluation of FSW product line. Domain engineering is the foundation for emerging product line software development approaches. A product line is 'A family of products designed to take advantage of their common aspects and predicted variabilities'. In our product line approach, domain engineering includes the engineering activities needed to produce reusable artifacts for a domain. Application engineering refers to developing an application in the domain starting from reusable artifacts. The focus of this paper is regarding the software process, lessons learned and on how the GNC FSW product line manages variability. Existing domain engineering approaches do not enforce any specific notation for domain analysis or commonality and variability analysis. Usually, natural language text is the preferred tool. The advantage is the flexibility and adapt ability of natural language. However, one has to be ready to accept also its well-known drawbacks, such as ambiguity, inconsistency, and contradictions. While most domain analysis approaches are functionally oriented, the idea of applying the object-oriented approach in domain analysis is not new. Some authors propose to use UML as the notation underlying domain analysis. Our work is based on the same idea of merging UML and domain analysis. Further, we propose a few extensions to UML in order to express variability, and we define precisely their semantics so that a tool can support them. The extensions are designed to be implemented on the API of a popular industrial CASE tool, with obvious advantages in cost and availability of tool support. The paper outlines the product line processes and identifies where variability must be addressed. Then it describes the product line products with respect to how they accommodate variability. The Celestial Body subdomain is used as a working example. Our results to date are summarized and plans for the future are described.

McComas, David↗

Implications of Simulation Conceptual Model Development for Simulation Management and Uncertainty Assessment

A simulation conceptual model is a simulation developers way of translating modeling requirements (i. e., what is to be represented by the simulation or its modification) into a detailed design framework (i. e., how it is to be done), from which the software, hardware, networks (in the case of distributed simulation), and systems/equipment that will make up the simulation can be built or modified. A conceptual model is the collection of information which describes a simulation developers concept about the simulation and its pieces. That information consists of assumptions, algorithms, characteristics, relationships, and data. Taken together, these describe how the simulation developer understands what is to be represented by the simulation (entities, actions, tasks, processes, interactions, etc.) and how that representation will satisfy the requirements to which the simulation responds. Thus the conceptual model is the basis for judgment about simulation fidelity and validity for any condition that is not specifically tested. The more perspicuous and precise the conceptual model, the more likely it is that the simulation development will both fully satisfy requirements and allow demonstration that the requirements are satisfied (i. e., validation). Methods used in simulation conceptual model development have significant implications for simulation management and for assessment of simulation uncertainty. This paper suggests how to develop and document a simulation conceptual model so that the simulation fidelity and validity can be most effectively determined. These ideas for conceptual model development apply to all simulation varieties. The paper relates these ideas to uncertainty assessments as they relate to simulation fidelity and validity. The paper also explores implications for simulation management from conceptual model development methods, especially relative to reuse of simulation components.

Pace, Dale K.↗

Electrostatics of Granular Material (EGM): Space Station Experiment

Aggregates were observed to form very suddenly in a lab-contained dust cloud, transforming (within seconds) an opaque monodispersed cloud into a clear volume containing rapidly-settling, long hair-like aggregates. The implications of such a "phase change" led to a series of experiments progressing from the lab, to KC-135, followed by micro-g flights on USML-1 and USML-2, and now EGM slated for Space Station. We attribute the sudden "collapse" of a cloud to the effect of dipoles. This has significant ramifications for all types of cloud systems, and additionally implicates dipoles in the processes of cohesion and adhesion of granular matter. Notably, there is the inference that like-charged grains need not necessarily repel if they are close enough together: attraction or repulsion depends on intergranular distance (the dipole being more powerful at short range), and the D/M ratio for each grain, where D is the dipole moment and M is the net charge. We discovered that these ideas about dipoles, the likely pervasiveness of them in granular material, the significance of the D/M ratio, and the idea of mixed charges on individual grains resulting from tribological processes --are not universally recognized in electrostatics, granular material studies, and aerosol science, despite some early seminal work in the literature, and despite commercial applications of dipoles in such modern uses as "Krazy Glue", housecleaning dust cloths, and photocopying. The overarching goal of EGM is to empirically prove that (triboelectrically) charged dielectric grains of material have dipole moments that provide an "always attractive" intergranular force as a result of both positive and negative charges residing on the surfaces of individual grains. Microgravity is required for this experiment because sand grains can be suspended as a cloud for protracted periods, the grains are free to rotate to express their electrostatic character, and Coulombic forces are unmasked. Suspended grains will be "interrogated" by applied electrical fields. In one module, grains will be immersed in an inhomogeneous electric field and allowed to be attracted towards or repelled from the central electrode of the module: part of the grain's speed will be a function of its net charge (monopole), part will be a function of the dipole. Observed grain position vs. time will provide a curve that can be deconvolved into the dipole and monopole forces responsible, since both have distinctive radial dependencies. In a second approach, the inhomogeneous field will be alternated at low frequency (e.g., every 5-10 seconds) so that the grains are alternately attracted and repelled from the center of the field. The resulting "zigzag" grain motion will gradually drift inwards, then suddenly change to a unidirectional inward path when a critical radial distance is encountered (a sort of "Coulombic event horizon") at which the dipole strength supersedes the monopole strength --thus proving the presence of a dipole, while also quantifying the D/M ratio. In a second module, an homogeneous electric field eliminates dipole effects (both Coulombic and induced) to provide calibration of the monopole and to more readily evaluate net charge statistical variance. In both modules, the e-fields will be exponentially step-ramped in voltage during the experiment, so that the field "nominalizes" grain speed while spreading the response time --effectively forcing each grain to "wait its turn" to be measured. In addition to rigorously quantifying M, D, and the D/M ratio for many hundreds of grains, the experiment will also observe gross electrometric and RF discharge phenomena associated with grain activity. The parameter space will encompass grain charging levels (via intentional triboelectrification), grain size, cloud density, and material type. Results will prove or disprove the dipole hypothesis. In either case, light will be shed on the role of electrostatic forces in governing granular systems. Knowledge so gained can be applied to natural clouds such as protostellar and protoplanetary dust and debris systems, planetary rings, planetary dust palls and aerosols created by volcanic, impact, aeolian, firestorm, or nuclear winter processes. The data are also directly applicable to adhesion, cohesion, transport, dispersion, and collection of granular materials in industrial, agricultural, pharmaceutical applications, and in fields as diverse as dust contamination of space suits on Mars and crop spraying on Earth.

Marshall, J.↗

A Study of Failure Criteria of Fibrous Composite Materials

The research described in this paper is focused on two areas: (1) evaluation of existing composite failure criteria in the nonlinear, explicit transient dynamic finite element code, MSC.Dytran, and (2) exploration of the possibilities for modification of material and failure models to account for large deformations, progressive failure, and interaction of damage accumulation with stress/strain response of laminated composites. Following a review of the MSC.Dytran user manual, a bibliographical review of existing failure criteria of composites was performed. The papers considered most interesting for the objective of this report are discussed in section 2. The failure criteria included in the code under consideration are discussed in section 3. A critical summary of the present procedures to perform analysis and design of composites is presented in section 4. A study of the most important historical failure criteria for fibrous composite materials and some of the more recent modifications proposed were studied. The result of this analysis highlighted inadequacies in the existing failure criteria and the need to perform some numerical analyses to elucidate the answer to questions on which some of the proposed criteria are based. A summary of these ideas, which is a proposal of studies to be developed, is presented in section 5. Finally, some ideas for future developments are summarized in section 6.

Paris, Federico↗

Gravitational Core-Mantle Coupling and the Acceleration of the Earth

Gravitational core-mantle coupling may be the cause of the observed variable acceleration of the Earth's rotation on the 1000 year timescale. The idea is that density inhomogeneities which randomly come and go in the liquid outer core gravitationally attract density inhomogeneities in the mantle and crust, torquing the mantle and changing its rotation state. The corresponding torque by the mantle on the core may also explain the westward drift of the magnetic field of 0.2 deg per year. Gravitational core-mantle coupling would stochastically affect the rate of change of the Earth's obliquity by just a few per cent. Its contribution to polar wander would only be about 0.5% the presently observed rate. Tidal friction is slowing down the rotation of the Earth, overwhelming a smaller positive acceleration from postglacial rebound. Coupling between the liquid outer core of the Earth and the mantle has long been a suspected reason for changes in the length-of-day. The present investigation focuses on the gravitational coupling between the density anomalies in the convecting liquid outer core and those in the mantle and crust as a possible cause for the observed nonsecular acceleration on the millenial timescale. The basic idea is as follows. There are density inhomogeneities caused by blobs circulating in the outer core like the blobs in a lava lamp; thus the outer core's gravitational field is not featureless. Moreover, these blobs will form and dissipate somewhat randomly. Thus there will be a time variability to the fields. These density inhomogeneities will gravitationally attract the density anomalies in the mantle.

Rubincam, David Parry↗

Design Concepts for Zero-G Whole Body Cleansing on ISS Alpha: Individual Design Project - Part 2

Johnson Space Center, the Mecca of manned Space Programs, is now abuzz with preparations for the International Space Station—ISS Alpha. The work on the various systems and subsystems for the U.S. Habitation Module is scheduled to begin in l998. As a prelude to that, the Flight Crew Support Division perceived the need to take a closer and more critical look at the planning for the Whole Body Cleansing function onboard the ISS. This report is an endeavour to dig and delve all data available on Whole Body Cleansing mechanisms used in the past and the present, by the Russians and the Americans, analyze it and come up with design concepts for products/ product systems for Zero-g Whole Body Cleansing onboard ISS Alpha, for typical stay duration of about 90 days. This report takes a close look at the Skylab collapsible shower, the Mir shower/ sauna, the full body cleansing methods currently in use onboard the Space Shuttle and Mir and at the Whole Body Shower designed and tested for Space Station Freedom. It attempts to "listen" carefully to what the Mir astronauts—Norman Thagard, Shannon Lucid and John Blaha¾have to say about their personal hygiene experiences during their recent long-duration stays on the Russian station Mir. The findings in the report call for a change in paradigm. What is good for Earth conditions is not necessarily good for Zerog! It concludes that a shower is not a good idea for the ISS. The final concept that is proposed reflects very strongly what the Mir astronauts would like to have and to use onboard a station like the ISS. The report concludes with directions of how to take the "idea" further and realize it in the form of a product system for Whole Body Cleansing onboard the ISS.

Susmita Mohanty↗

Commercial Space Policy in the 1980s: Proceedings of a Roundtable Discussion

The Space Business Archives and the NASA History Office signed a Memorandum of Understanding in March of 1999. The MOU outlines several opportunities for cooperative endeavors between the two agencies in historical programming. This oral history, and subsequently this publication, are the first products of that cooperation. In accordance with the purpose of the Space Business Archives--to provide an impartial forum for lessons learned in the development of the commercial space industry--the idea for this roundtable discussion seemed appropriate as the Archives first public program. With the combined resources of the Archives and the NASA History Office we were fortunate to assemble a panel of individuals that served in both industry and government during the 1980s, many working in both sectors during that time. When envisioning the focus of this oral history, we decided that it was appropriate to highlight space policy in the 1980s, with an emphasis on the emerging commercial industry. Panelists were sent several documents in preparation, such as the Land Remote Sensing Commercialization Act and the Commercial Space Launch Act of 1984, President Reagan's 1982 National Space Policy, and other memoranda and letters that outline important policy issues of the decade. This discussion, we think, fills in some of the gaps that would otherwise be left unfilled when simply reading through the documents themselves. Some of these gaps include: how were these policy directives, legislation and decisions introduced and developed, by whom, and at what political and financial cost? This transcript is meant to serve as a reference to some of the issues, organizations and individuals involved in the creation and development of space policy during the 1980s. It is also the result of the first of many future roundtable discussions aimed at providing an open exchange of ideas concerning past success and failure in order to provide a stronger base for future endeavors in governmental, civil and commercial cooperation in space.

Dahlstrom, Neil↗

A New "Cloud Mode" for the AERONET

A key to predicting climate change is to observe an understand the global distribution of clouds and their physical properties such as optical thickness and droplet size. Since clouds change rapidly over short time and space intervals, they are difficult to simulate in computer models. But it is essential that global climate models predict realistic spatial and temporal distribution of cloud optical depth. The best way to verify these distributions is to infer optical depth from global coverage satellite data. However, satellite methods have many sources of uncertainty; thus, independent and reliable ground-based estimates are essential for validation. For aerosol, there is the AERONET - a ground based monitoring network that consists of identical multi-channel radiometers for assessing aerosol optical properties and validating their satellite retrievals. In addition to AEROSOL, we want the network monitoring CLOUD optical properties. It will use AERONET "time" (inappropriate for aerosol studies) to make basic new measurements related to cloud physics. In the presentation we will report on a new technique that retrieves cloud optical thickness for even broken clouds above green vegetation from surface measurements of zenith radiance in the visible (VIS) and near-IR (NIR) spectral regions. The idea of the method is simple: since green vegetation reflects 40-50% of incoming radiation in the NIR and only 5-10% in the VIS region, ground measurements under thin clouds have little spectral contrast between VIS and NIR, while thick clouds reflect much more of the surface-reflected radiation in the NIR than in VIS. Based on this idea, we use a combination of measurements (spectral indices) in VIS and NIR to estimate cloud optical thickness. By analogy with NDVI, the simplest index that can be defined is the Normalized Difference Cloud Index (NDCI) which is a ratio between the difference and the sum of two radiances measured for two narrow spectral bands in VIS and NIR.

Marshak, Alexander↗

Second Generation RLV Space Vehicle Concept

NASA has a long history of conducting development programs and projects in a consistent fashion. Systems Engineering within those programs and projects has also followed a given method outlined by such documents as the NASA Systems Engineering Handbook. The relatively new NASA Space Launch Initiative (SLI) is taking a new approach to developing a space vehicle, with innovative management methods as well as new Systems Engineering processes. With the program less than a year into its life cycle, the efficacy of these new processes has yet to be proven or disproven. At $776M for phase 1, SLI represents a major portion of the NASA focus; however, the new processes being incorporated are not reflected in the training provided by NASA to its engineers. The NASA Academy of Program and Project Leadership (APPL) offers core classes in program and project management and systems engineering to NASA employees with the purpose of creating a "knowledge community where ideas, skills, and experiences are exchanged to increase each other's capacity for strong leadership". The SLI program is, in one sense, a combination of a conceptual design program and a technology program. The program as a whole doesn't map into the generic systems engineering project cycle as currently, and for some time, taught. For example, the NASA APPL Systems Engineering training course teaches that the "first step in developing an architecture is to define the external boundaries of the system", which will require definition of the interfaces with other systems and the next step will be to "define all the components that make up the next lower level of the system hierarchy" where fundamental requirements are allocated to each component. Whereas, the SLI technology risk reduction approach develops architecture subsystem technologies prior to developing architectures. The higher level architecture requirements are not allowed to fully develop and undergo decomposition and allocation down to the subsystems before the subsystems must develop allocated requirements based on the highest level of requirements. In the vernacular of the project cycles prior to the mid 1990's, the architecture definition portion of the program appears to be at a generic Phase A stage, while the subsystems are operating at Phase B. Even the management structure of the SLI program is innovative in its approach to Systems Engineering and is not reflected in the APPL training modules. The SLI program has established a Systems Engineering office as an office separate from the architecture development or the subsystem technology development, while that office does have representatives within these other offices. The distributed resources of the Systems Engineering Office are co-located with the respective Project Offices. This template is intended to provide systems engineering as an integrated function at the Program Level. the program management of SLI and the MAT agree that "program/project managers and the systems engineering team must work closely together towards the single objective of delivering quality products that meet the customer needs". This paper will explore the differences between the methods being taught by NASA, which represent decades of ideas, and those currently in practice in SLI. Time will tell if the innovation employed by SLI will prove to be the model of the future. For now, it is suggested that the training of the present exercise the flexibility of recognizing the new processes employed by a major new NASA program.

Bailey, Michelle↗

Wide-Band Data Transmission System Expected in the Next Generation Space VLBI Mission: VSOP-2

Following the success of the VLBI Space Observatory Program (VSOP), a next generation space VLBI mission (VSOP-2) is currently being planned. We expect the data rate of more than 1 Gbps to get more sensitivity. Here we will present: (1) How to sample the data (on board), including the radiation test results which show we can have the 10 Gbps sampler LSI which can use in space; (2) Possibility of the bit rate more than 1 Gbps to downlink the VLBI data. We studied the link budget for the wide band data transmission, and discussed the various ideas which can get more than 1 Gbps; and (3) What kind of VLBI tracking station and recording system will be expected for the VSOP-2 mission? We will present the idea of using normal radio telescopes as a tracking station, and also review the possibility of recording and processing at the tracking stations and correlators.

Murata, Yasuhiro↗

AutoBayes/CC: Combining Program Synthesis with Automatic Code Certification: System Description

Code certification is a lightweight approach to formally demonstrate software quality. It concentrates on aspects of software quality that can be defined and formalized via properties, e.g., operator safety or memory safety. Its basic idea is to require code producers to provide formal proofs that their code satisfies these quality properties. The proofs serve as certificates which can be checked independently, by the code consumer or by certification authorities, e.g., the FAA. It is the idea underlying such approaches as proof-carrying code [6]. Code certification can be viewed as a more practical version of traditional Hoare-style program verification. The properties to be verified are fairly simple and regular so that it is often possible to use an automated theorem prover to automatically discharge all emerging proof obligations. Usually, however, the programmer must still splice auxiliary annotations (e.g., loop invariants) into the program to facilitate the proofs. For complex properties or larger programs this quickly becomes the limiting factor for the applicability of current certification approaches.

Whalen, Michael↗

Melting of the Martian Permafrost by Hydrothermal Convection Associated with Magmatic Intrusion

Many surface features on Mars are closely connected with the subsurface permafrost layer. The polygonal fractures and the possible thermokarsts are observed on the martian surface and they are analogous to the terrestrial features located on the permafrost. The rampart and/or fluidized ejecta morphology of martian craters is indicative of subsurface volatiles. Mars should stock much water in a form of ground ice. The suspected fluvial features on Mars would suggest water (or its mixture), which is coming from the subsurface aquifer or the ground ice. Such a martian hydrothermal system has been the alternative idea to the assumption of precipitation for forming observed fluvial-like features on Mars. The outflow channels, in particular, have characteristics unique to water erosion and clearly indicates the surface runoff of huge amount of water, which usual precipitations could not supply. The outflow channels potentially suggest the pre-existence of a substantial amount of liquid water very close to the martian surface to cause a large flood. The idea of supplying such massive liquid water near the ground might be still controversial, however, from many observational facts, we assume that the igneous melting of the martian permafrost layer should have played a significant role. We have numerically simulated the generation of meltwater and are proposing a consistent scenario of forming the outflow channels as well as the headwater regions; chaotic terrains.

Y Ogawa↗

Large Scale Impacts and Triggered Volcanism

The idea of impact induced volcanism continues to blossom ([1-3] and other references). However, this appealing idea is seldom supported with an appropriate physical mechanism. The aim of this publication is to critically examine some frequently cited mechanisms of impact energy transformation into a trigger for terrestrial volcanism and magmatism.

Ivanov, B. A.↗