Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “EXPLOSIVE”

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 937 records · Page 52
All sourcesNASA NTRSDOE OSTI
NASA NTRS2007

The Coronal-Dimming Footprint of a Streamer-Puff Coronal Mass Ejection: Confirmation of the Magnetic-Arch-Blowout Scenario

A streamer puff is a recently identified variety of coronal mass ejection (CME) of narrow to moderate width. It (1) travels our along a streamer, transiently inflating the streamer but leaving it largely intact, and (2) occurs in step with a compact ejective flare in an outer flank of the base of the streamer. These aspects suggest the following magnetic-arch-blowout scenario for the production of these CMEs: the magnetic explosion that produces the flare also produces a plasmoid that explodes up the leg of an outer loop of the arcade base of the streamer, blows out the top of this loop, and becomes the core of the CME. In this paper, we present a streamer-puff CME that produced a coronal-dimming footprint. The coronal dimming, its magnetic setting, and the timing and magnetic setting of a strong compact ejective flare within the dimming footprint nicely confirm the magnetic-arch-blowout scenario. From these observations, together with several published cases of a trans-equatorial CME produced in tandem with an ejective flare or filament eruption that was far offset from directly under the CME, we propose the following. Streamer-puff CMEs are a subclass (one variety) of a broader class of "over-and-out" CMEs that are often much larger than streamer puffs but are similar to them in that they are produced by the blowout of a large quasi-potential magnetic arch by a magnetic explosion that erupts from one foot of the large arch, where it is marked by a filament eruption and/or an ejective flare.

Moore, Ronald L.↗
NASA NTRS1985

Method of rubblization for in-situ oil shale processing

A method that produces a uniformly rubblized oil shale bed of desirable porosity for underground, in-situ heat extraction of oil. Rubblization is the generation of rubble of various sized fragments. The method uses explosive loadings lying at different levels in adjacent holes and detonation of the explosives at different levels in sequence to achieve the fracturing and the subsequent expansion of the fractured oil shale into excavated rooms both above and below the hole pattern.

Yang, Lien C.↗
NASA NTRS2008

Pervasively Altered Hematite-Rich Deposits Southeast of Home Plate, Gusev Crater, Mars

The investigation of Home Plate and its surroundings in the Inner Basin of the Columbia Hills in Gusev Crater has added substantially to the water story on Mars. Textural, morphological, and geochemical evidence from Home Plate point towards an explosive origin, probably a hydrovolcanic explosion [1]. High silica deposits in the immediate vicinity of Home Plate suggest hydrothermal alteration [e.g. 2,3]. Pervasively altered deposits rich in hematite were investigated to the southeast of Home Plate. Of these, the target Halley, the target KingGeorgeIsland on the GrahamLand outcrop, and the targets Montalva and Riquelme on the Troll outcrop were investigated in situ with the Alpha Particle X-ray spectrometer (APXS), the Microscopic Imager (MI), and the Moessbauer (MB) spectrometer (Fig. 1).

Schroder, C.↗
NASA NTRS2008

An East to West Mineralogical Trend in Mars Exploration Rover Spirit Moessbauer Spectra of Home Plate

Home Plate is a light-toned plateau approx.90 m in diameter within the Inner Basin of the Columbia Hills in Gusev crater on Mars. It is the most extensive exposure of layered bedrock encountered by Spirit to date, and it is composed of clastic rocks of moderately altered alkali basalt composition, enriched in some highly volatile elements. Textural observations suggest an explosive origin and geochemical observations favor volcanism, probably a hydrovolcanic explosion [1]. Since it first arrived at Home Plate on sol 744, Spirit has circumnavigated the plateau (Fig. 1) and is now, since sol 1410, resting at its Winter Haven 3 location at the north end of Home Plate. Results: The MER Moessbauer spectrometers determine Fe oxidation states, identify Fe-bearing mineral phases and quantify the distribution of Fe among oxidation states and mineral phases [2]. Moessbauer spectra of Home Plate bedrock were obtained in five different locations from nine different targets (Fig. 1): Barnhill Ace, Posey Manager, and James Cool Papa Bell Stars at the northwest side of Home Plate; Pesapallo, June Emerson, and Elizabeth Emery on the east side; Texas Chili on the south side; Pecan Pie on the west side; and Chanute on the north side.

Schroder, C.↗
NASA NTRS2008

CME Initiation

One of the most challenging problems in solar physics is understanding the processes responsible for giant magnetic disruptions such as the event of July 14, 2000, which consisted of a massive filament ejection, a fast coronal mass ejection (CME), prolonged X-class flaring, and an intense particle storm. These major events are of critical importance because they drive the most destructive forms of space weather and they provide a unique opportunity to study, in revealing detail, MHD instability and nonequilibrium -- processes that are at the heart of plasma astrophysics. It is now widely accepted that CMEs/eruptive flares represent the explosive release of magnetic energy stored in the corona. Therefore, in order to understand the phenomenon, we must answer the following questions: What is the field structure responsible for the disruption and why is the energy released explosively? In this talk we address these two questions using the latest theories and numerical models for CMEs/eruptive flares.

Antiochos, Spiro K.↗
NASA NTRS2007

Infrared and X-Ray Evidence for Circumstellar Grain Destruction by the Blast Wave of Supernova 1987A

Multiwavelength observations of supernova remnant (SNR) 1987A show that its morphology and luminosity are rapidly changing at X-ray, optical, infrared, and radio wavelengths as the blast wave from the explosion expands into the circumstellar equatorial ring, produced by mass loss from the progenitor star. The observed infrared (IR) radiation arises from the interaction of dust grains that formed in mass outflow with the soft X-ray emitting plasma component of the shocked gas. Spitzer IRS spectra at 5 - 30 microns taken on day 6190 since the explosion show that the emission arises from approx. 1.1 x 10(exp -6) solar mass of silicate grains radiating at a temperature of approx. 180+/-(15-20) K. Subsequent observations on day 7137 show that the IR flux had increased by a factor of 2 while maintaining an almost identical spectral shape. The observed IR-to-X-ray flux ratio (IRX) is consistent with that of a dusty plasma with standard LMC dust abundances. This flux ratio has decreased by a factor of approx. 2 between days 6190 and 7137, providing the first direct observation of the ongoing destruction of dust in an expanding SN blast wave on dynamic time scales. Detailed models consistent with the observed dust temperature, the ionization fluence of the soft X-ray emission component, and the evolution of IRX suggest that the radiating si1icate grains are immersed in a 3.5 x 10(exp 6) K plasma with a density of (0.3 - 1) x 10(exp 4)/cu cm, and have a size distribution that is confined to a narrow range of radii between 0.02 and 0.2 microns. Smaller grains may have been evaporated by the initial UV flash from the supernova.

Dwek, Eliahu↗
NASA NTRS1999

Environmental Conditions and Threatened and Endangered Species Populations near the Titan, Atlas, and Delta Launch Complexes, Cape Canaveral Air Station

Launches of Delta, Atlas, and Titan rockets from Cape Canaveral Air Station (CCAS) have potential environmental effects. These could occur from direct impacts of launches or indirectly from habitat alterations. This report summarizes a three-year study (1 995-1 998) characterizing the environment, with particular attention to threatened and endangered species, near Delta, Atlas, and Titan launch facilities. Cape Canaveral has been modified by Air Force development and by 50 years of fire suppression. The dominant vegetation type around the Delta and Atlas launch complexes is coastal oak hammock forest. Oak scrub is the predominant upland vegetation type near the Titan launch complexes. Compositionally, these are coastal scrub communities that has been unburned for > 40 years and have developed into closed canopy, low-stature forests. Herbaceous vegetation around active and inactive facilities, coastal strand and dune vegetation near the Atlantic Ocean, and exotic vegetation in disturbed areas are common. Marsh and estuarine vegetation is most common west of the Titan complexes. Launch effects to vegetation include scorch, acid, and particulate deposition. Discernable, cumulative effects are limited to small areas near the launch complexes. Water quality samples were collected at the Titan, Atlas, and Delta launch complexes in September 1995 (wet season) and January 1996 (dry season). Samples were analyzed for heavy metals, chloride, total organic carbon, calcium, iron, magnesium, sodium, total alkalinity, pH, and conductivity. Differences between fresh, brackish, and saline surface waters were evident. The natural buffering capacity of the environment surrounding the CCAS launch complexes is adequate for neutralizing acid deposition in rainfall and launch deposition. Populations of the Florida Scrub-Jay (Aphelocoma coerulescens), a Federally-listed, threatened species, reside near the launch complexes. Thirty-seven to forty-one scrub-jay territories were located at Titan, Atlas, and Delta launch complexes between 1995 and 1997. No direct impacts to scrub-jays were observed as a result of normal launches. The explosion of the Delta rocket in January 1997 caused direct impacts to the habitat of several scrub-jays families, from fire and debris; however, no scrub-jay mortality was observed. Mortality exceeded reproductive output at all areas over the course of the study. Populations of the southeastern beach mouse (Peromyscus polionotus niveiventris) populations, a Federally listed, threatened species, reside near all the launch complexes. Hurricane Erin and several other tropical storms impacted several areas at the inception of the study in 1995 causing coastal habitat alterations as a result of salt-water intrusion. Both the habitat and the beach mice populations recovered during the course of the study. No direct impacts to southeastern beach mice were observed as a result of normal launch operations. Direct impacts were observed to the habitat as a result of the explosion of the Delta rocket in January 1997. This alteration of the habitat resulted in a shift in use with the mice moving on to the newly burned part of the site. Waterbirds use wetlands and aquatic systems near the launch complexes. Species include the Federally-listed, endangered Wood Stork (Mycferia americana) and several state-listed species of special concern including the Snowy Egret (Egretfa thula fhula), Reddish Egret (Egreffa rufescens rufescens), White Ibis (Eudocimus albus), Roseate Spoonbill (Ajaia ajaja), Tricolored Heron (Egreffa tricolor ruficolis), and Little Blue Heron (Egreffa caerulea). No impacts to these populations resulting from any launch operations were observed. Gopher tortoises (Gopherus polyphemus) also occur around the launch complexes. Most of those observed appeared to be in good condition; however, upper respiratory tract disease is known to occur in the population. Cape Canaveral Air Station, including areas near active launch colexes, remains important habitat for a variety of native plants and animals including threatened and endangered species. Direct negative effects of current launch systems appear limited. Additional monitoring of these populations and habitats is required to determine if subtle, long-term changes are occurring, to determine if new launch systems and facilities cause other effects, and to determine the effects of habitat restoration and management.

Oddy, Donna M.↗
NASA NTRS2008

CME-Producing Precursors to the 2006 December 13 X-Flare

We revisit one of the largest explosions observed during the Hinode era, the X4.3 class event of 2006 Dec 13. We gain insight into the main eruption through study of two sub-C-class precursor eruptions, occurring within 12 hours of and originating from the same (or nearby) neutral line as the X-flare. The precursors share some features in common with the main eruption, and their lower energy and consequent slower development renders interpretation of these features easier to decipher than in the rapidly explosive main eruption. In addition, because the weak precursors occurred in a magnetically strong region, magnetic connections indicated by soft X-ray loops are readily visible in these cases, while such connections can be much less apparent in weaker-region eruptions. Hinode/SOT magnetograms indicate that photospheric magnetic dynamic activity in the "magnetic core" is the likely ultimate source of the eruptions. All the eruptions, however, produce Coronal Mass Ejections (CMEs) that have wider spatial extent than the localized source region; this is a long-observed but puzzling phenomena, which can address directly here using the high-quality Hinode data. For the precursor eruptions, Hinode/XRT images show that the initial eruptions occur inside larger-scale magnetic structures that encompass the core. The exploding core field blows out this larger-scale structure, resulting in the CME having angular extent far exceeding that of the source-region core alone; this is the arch-arch-blowout scenario for CMEs of Moore & Sterling (2007). Similar processes occur in the main eruption, except that the much larger energy release in that eruption compared to the precursors results in much faster and larger-scale phenomena.

Sterling, Alphonse C.↗
NASA NTRS2009

Velocity Characteristics of Evaporated Plasma using Hinode/EIS

This paper presents a detailed study of chromospheric evaporation using the EUV Imaging Spectrometer (EIS) onboard Hinode in conjunction with HXR observat,ions from RHESSI. The advanced capabilities of EIS were used to measure Doppler shifts in 15 emission lines covering the temperature range T=0.05-16 MK during the impulsive phase of a C-class flare on 2007 December 14. Blueshifts indicative of the evaporated material were observed in six emission lines from Fe XIV-XXIV (2-16 MK). Upflow velocity was found to scale with temperature as v(sub up) (kilometers per second) approximately equal to 5-17 T (MK). Although the hottest emission lines, Fe XXIII and Fe XXIV, exhibited upflows of greater than 200 kilometers per second, their line profiles were found to be dominated by a stationary component in stark contrast to the predictions of the standard flare model. Emission from O VI-Fe XIII lines (0.5-1.5 MK) was found to be redshifted by v(sub down) (kilometers per second) approximately equal to 60-17 T (MK) and was interpreted as the downward-moving 'plug' characteristic of explosive evaporation. These downflows occur at temperatures significantly higher than previously expected. Both upflows and downflows were spatially and temporally correlated with HXR emission observed by RHESSI that provided the properties of the electron beam deemed to be the driver of the evaporation. The energy contained in the electron beam was found to be greater than or equal to 10(sup 11) ergs per square centimeter per second consistent with the value required to drive explosive chromospheric evaporation from hydrodynamic simulations.

Milligan, Ryan O.↗
NASA NTRS2008

The Flare/CME Connection

We present evidence supporting the view that, while many flares are produced by a confined magnetic explosion that does not produce a CME, every CME is produced by an ejective magnetic explosion that also produces a flare. The evidence is that the observed heliocentric angular width of the full-blown CME plasmoid in the outer corona (at 3 to 20 solar radii) is about that predicted by the standard model for CME production, from the amount of magnetic flux covered by the co-produced flare arcade. In the standard model, sheared and twisted sigmoidal field in the core of an initially closed magnetic arcade erupts. As it erupts, tether-cutting reconnection, starting between the legs of the erupting sigmoid and continuing between the merging stretched legs of the enveloping arcade, simultaneously produces a growing flare arcade and unleashes the erupting sigmoid and arcade to become the low-beta plasmoid (magnetic bubble) that becomes the CME. The flare arcade is the downward product of the reconnection and the CME plasmoid is the upward product. The unleashed, expanding CME plasmoid is propelled into the outer corona and solar wind by its own magnetic field pushing on the surrounding field in the inner and outer corona. This tether-cutting scenario predicts that the amount of magnetic flux in the full-blown CME plasmoid nearly equals that covered by the full-grown flare arcade. This equality predicts (1) the field strength in the flare region from the ratio of the angular width of the CME in the outer corona to angular width of the full-grown flare arcade, and (2) an upper bound on the angular width of the CME in the outer corona from the total magnetic flux in the active region from which the CME explodes. We show that these predictions are fulfilled by observed CMEs. This agreement validates the standard model. The model explains (1) why most CMEs have much greater angular widths than their co-produced flares, and (2) why the radial path of a CME in the outer corona can be laterally far offset from the co-produced flare.

Moore, Ron↗
NASA NTRS2008

Fiber-Optic Determination of N2, O2, and Fuel Vapor in the Ullage of Liquid-Fuel Tanks

A fiber-optic sensor system has been developed that can remotely measure the concentration of molecular oxygen (O2), nitrogen (N2), hydrocarbon vapor, and other gases (CO2, CO, H2O, chlorofluorocarbons, etc.) in the ullage of a liquid-fuel tank. The system provides an accurate and quantitative identification of the above gases with an accuracy of better than 1 percent by volume (for O2 or N2) in real-time (5 seconds). In an effort to prevent aircraft fuel tank fires or explosions similar to the tragic TWA Flight 800 explosion in 1996, OBIGGS are currently being developed for large commercial aircraft to prevent dangerous conditions from forming inside fuel tanks by providing an inerting gas blanket that is low in oxygen, thus preventing the ignition of the fuel/air mixture in the ullage. OBIGGS have been used in military aircraft for many years and are now standard equipment on some newer large commercial aircraft (such as the Boeing 787). Currently, OBIGGS are being developed for retrofitting to existing commercial aircraft fleets in response to pending mandates from the FAA. Most OBIGGS use an air separation module (ASM) that separates O2 from N2 to make nitrogen-enriched air from compressed air flow diverted from the engine (bleed air). Current OBIGGS systems do not have a closed-loop feedback control, in part, due to the lack of suitable process sensors that can reliably measure N2 or O2 and at the same time, do not constitute an inherent source of ignition. Thus, current OBIGGS operate with a high factor-of-safety dictated by process protocol to ensure adequate fuel-tank inerting. This approach is inherently inefficient as it consumes more engine bleed air than is necessary compared to a closed-loop controlled approach. The reduction of bleed air usage is important as it reduces fuel consumption, which translates to both increased flight range and lower operational costs. Numerous approaches to developing OBIGGS feedback-control sensors have been under development by many research groups and companies. However, the direct measurement of nitrogen (N2) is a challenge to most OBIGGS ullage sensors (such as tunable diode laser absorption) as they cannot measure N2 directly but depend on the measurement of oxygen (O2). The problem with a singular measure of O2, is that as the concentration (number density) of O2 decreases due to the inerting process or due to lower pressures from high altitudes, the precision and accuracy of the O2 measurement decreases. However, measuring O2 density in combination with N2 density (which is more abundant in air and in a N2-inerted fuel tank) can provide a much more accurate and reliable determination of the OBIGGS efficacy.

Nguyen, Quang-Viet↗
NASA NTRS2009

Chemochromic Hydrogen Leak Detectors

At NASA, hydrogen safety is a key concern for space shuttle processing. Leaks of any level must be quickly recognized and addressed due to hydrogen s lower explosion limit. Chemo - chromic devices have been developed to detect hydrogen gas in several embodiments. Because hydrogen is odorless and colorless and poses an explosion hazard, there is an emerging need for sensors to quickly and accurately detect low levels of leaking hydrogen in fuel cells and other advanced energy- generating systems in which hydrogen is used as fuel. The device incorporates a chemo - chromic pigment into a base polymer. The article can reversibly or irreversibly change color upon exposure to hydrogen. The irreversible pigment changes color from a light beige to a dark gray. The sensitivity of the pigment can be tailored to its application by altering its exposure to gas through the incorporation of one or more additives or polymer matrix. Furthermore, through the incorporation of insulating additives, the chemochromic sensor can operate at cryogenic temperatures as low as 78 K. A chemochromic detector of this type can be manufactured into any feasible polymer part including injection molded plastic parts, fiber-spun textiles, or extruded tapes. The detectors are simple, inexpensive, portable, and do not require an external power source. The chemochromic detectors were installed and removed easily at the KSC launch pad without need for special expertise. These detectors may require an external monitor such as the human eye, camera, or electronic detector; however, they could be left in place, unmonitored, and examined later for color change to determine whether there had been exposure to hydrogen. In one type of envisioned application, chemochromic detectors would be fabricated as outer layers (e.g., casings or coatings) on high-pressure hydrogen storage tanks and other components of hydrogen-handling systems to provide visible indications of hydrogen leaks caused by fatigue failures or other failures in those systems. In another type of envisioned application, chemochromic detectors of this type could be optoelectronically instrumented for monitoring to provide measured digital indications of color changes indicative of the presence of hydrogen.

Roberson, Luke↗
NASA NTRS2009

The Circumstellar Medium of Cassiopeia A Inferred from the Outer Ejecta Knot Properties

We investigate the effect of the circumstellar medium density profile on the X-ray emission from outer ejecta knots in the Cassiopeia A supernova remnant using the 1 Ms Chandra observation. The spectra of a number of radial series of ejecta knots at various positions around the remnant are analyzed using techniques similar to those devised in previous papers. We can obtain a reasonable match to our data for a circumstellar density profile proportional to r(sup -2) as would arise from the steady dense wind of a red supergiant, but the agreement is improved if we introduce a central cavity around the progenitor into our models. Such a profile might arise if the progenitor emitted a, fast tenuous stellar wind for a short period immediately prior to explosion. We review other lines of evidence supporting this conclusion. The spectra also indicate the widespread presence of Fe-enriched plasma that was presumably formed by complete Si burning during the explosion, possibly via alpha-rich freezeout. This component is typically associated with hotter and more highly ionized gas than the bulk of the O- and Si-rich ejecta.

Hwang, Una↗
NASA NTRS2009

A Summary of NASA and USAF Hypergolic Propellant Related Spills and Fires

Several unintentional hypergolic fluid related spills, fires, and explosions from the Apollo Program, the Space Shuttle Program, the Titan Program, and a few others have occurred over the past several decades. Spill sites include the following government facilities: Kennedy Space Center (KSC), Johnson Space Center (JSC), White Sands Test Facility (WSTF), Vandenberg Air Force Base (VAFB), Cape Canaveral Air Force Station (CCAFS), Edwards Air Force Base (EAFB), Little Rock AFB, and McConnell AFB. Until now, the only method of capturing the lessons learned from these incidents has been "word of mouth" or by studying each individual incident report. The root causes and consequences of the incidents vary drastically; however, certain "themes" can be deduced and utilized for future hypergolic propellant handling. Some of those common "themes" are summarized below: (1) Improper configuration control and internal or external human performance shaping factors can lead to being falsely comfortable with a system (2) Communication breakdown can escalate an incident to a level where injuries occur and/or hardware is damaged (3) Improper propulsion system and ground support system designs can destine a system for failure (4) Improper training of technicians, engineers, and safety personnel can put lives in danger (5) Improper PPE, spill protection, and staging of fire extinguishing equipment can result in unnecessary injuries or hardware damage if an incident occurs (6) Improper procedural oversight, development, and adherence to the procedure can be detrimental and quickly lead to an undesirable incident (7) Improper materials cleanliness or compatibility and chemical reactivity can result in fires or explosions (8) Improper established "back-out" and/or emergency safing procedures can escalate an event The items listed above are only a short list of the issues that should be recognized prior to handling hypergolic fluids or processing vehicles containing hypergolic propellants. The summary of incidents in this report is intended to cover many more issues than those listed above.

Nufer, Brian M.↗
NASA NTRS2010

An Analysis of Recent Major Breakups in he Low Earth Orbit Region

Of the 190 known satellite breakups between 1961 and 2006, only one generated more than 500 cataloged fragments. The event was the explosion of the Pegasus Hydrazine Auxiliary Propulsion System in 1996, adding 713 fragments to the U.S. Satellite Catalog. Since the beginning of 2007; however, the near-Earth environment has been subjected to several major breakups, including the Fengyun-1C anti-satellite test and the explosion of Briz-M in 2007, the unusual breakup of Cosmos 2421 in 2008, and the collision between Iridium 33 and Cosmos 2251 in 2009. Combined, these events added more than 5000 large (> or equal 10 cm) fragments to the environment. Detailed analysis of the radar cross section measurements and orbit histories of the fragments from these major events reveals several unusual characteristics in their size and area-to-mass ratio distributions. The characteristics could be related to the material composition of the parent vehicles, the nature of the breakup, and the composition and physical property of the fragments. In addition, the majority of these fragments are expected to remain in orbit for at least decades. Their long-term impact to the environment is analyzed using the NASA orbital debris evolutionary model, LEGEND. Descriptions of these analyses and a summary are included in this paper.

Liou, Jer-Chyi↗
NASA NTRS2007

Model Checker for Java Programs

Java Pathfinder (JPF) is a verification and testing environment for Java that integrates model checking, program analysis, and testing. JPF consists of a custom-made Java Virtual Machine (JVM) that interprets bytecode, combined with a search interface to allow the complete behavior of a Java program to be analyzed, including interleavings of concurrent programs. JPF is implemented in Java, and its architecture is highly modular to support rapid prototyping of new features. JPF is an explicit-state model checker, because it enumerates all visited states and, therefore, suffers from the state-explosion problem inherent in analyzing large programs. It is suited to analyzing programs less than 10kLOC, but has been successfully applied to finding errors in concurrent programs up to 100kLOC. When an error is found, a trace from the initial state to the error is produced to guide the debugging. JPF works at the bytecode level, meaning that all of Java can be model-checked. By default, the software checks for all runtime errors (uncaught exceptions), assertions violations (supports Java s assert), and deadlocks. JPF uses garbage collection and symmetry reductions of the heap during model checking to reduce state-explosion, as well as dynamic partial order reductions to lower the number of interleavings analyzed. JPF is capable of symbolic execution of Java programs, including symbolic execution of complex data such as linked lists and trees. JPF is extensible as it allows for the creation of listeners that can subscribe to events during searches. The creation of dedicated code to be executed in place of regular classes is supported and allows users to easily handle native calls and to improve the efficiency of the analysis.

Visser, Willem↗
NASA NTRS2010

Observed Aspects of Reconnection in Solar Eruptions

Signatures of reconnection in major CME (coronal mass ejection)/flare eruptions and in coronal X-ray jets are illustrated and interpreted. The signatures are magnetic field lines and their feet that brighten in flare emission. CME/flare eruptions are magnetic explosions in which: 1. The field that erupts is initially a closed arcade. 2. At eruption onset, most of the free magnetic energy to be released is not stored in field bracketing a current sheet, but in sheared field in the core of the arcade. 3. The sheared core field erupts by a process that from its start or soon after involves fast tether-cutting reconnection at an initially small current sheet low in the sheared core field. If the arcade has oppositely-directed field over it, the eruption process from its start or soon after also involves fast breakout reconnection at an initially small current sheet between the arcade and the overarching field. These aspects are shown by the small area of the bright field lines and foot-point flare ribbons in the onset of the eruption. 4. At either small current sheet, the fast reconnection progressively unleashes the erupting core field to erupt with progressively greater force. In turn, the erupting core field drives the current sheet to become progressively larger and to undergo progressively greater fast reconnection in the explosive phase of the eruption, and the flare arcade and ribbons grow to become comparable to the pre-eruption arcade in lateral extent. In coronal X-ray jets: 1. The magnetic energy released in the jet is built up by the emergence of a magnetic arcade into surrounding unipolar "open" field. 2. A simple jet is produced when a burst of reconnection occurs at the current sheet between the arcade and the open field. This produces a bright reconnection jet and a bright reconnection arcade that are both much smaller in diameter that the driving arcade. 3. A more complex jet is produced when the arcade has a sheared core field and undergoes an ejective eruption in the manner of a miniature CME/flare eruption. The jet is then a combination of a miniature CME and the products of more widely distributed reconnection of the erupting arcade with the open field than in simple jets. Cartoons illustrating the above characteristics are presented along with representative examples of observed CME/flare eruptions and jets. The main point drawn to be drawn from the observations is that, for either a pre-eruption current sheet or a pre-simple-jet current sheet to remain quasi-static and stable against fast reconnection, it must remain much smaller in span than the driving arcade. Conversely, a current sheet comparable in span to the driving arcade can be made only dynamically, by eruption of the driving arcade, and continually undergoes massive fast reconnection.

Moore, Ronald L.↗
NASA NTRS2009

A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process

Since the complexity of software systems continues to grow, most engineers face two serious problems: the state space explosion problem and the problem of how to debug systems. In this paper, we propose a game-theoretic approach to full branching time model checking on three-valued semantics. The three-valued models and logics provide successful abstraction that overcomes the state space explosion problem. The game style model checking that generates counter-examples can guide refinement or identify validated formulas, which solves the system debugging problem. Furthermore, output of our game style method will give significant information to engineers in detecting where errors have occurred and what the causes of the errors are.

Wang, Yi↗