Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “STANDARD MODEL”

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 289 records · Page 16
All sourcesNASA NTRSDOE OSTI
NASA NTRS1995

Unusual locations of Earth's bow shock on September 24 - 25, 1987: Mach number effects

International Sun Earth Explorer 1 (ISEE 1) and Interplanetary Monitoring Platform 8 (IMP 8) data are used to identify 19 crossings of Earth's bow shock during a 30-hour period following 0000 UT on September 24, 1987. Apparent standoff distances for the shock are calculated for each crossing using two methods and the spacecraft location; one method assumes the average shock shape, while the other assumes a ram pressure-dependent shock shape. The shock's apparent standoff distance, normally approximately 14 R(sub E), is shown to increase from near 10 R(sub E) initially to near 19 R(sub E) during an 8-hour period, followed by an excursion to near 35 R(sub E) (where two IMP 8 shock crossings occur) and an eventual return to values smaller than 19 R(sub E). The Alfven M(sub A) and fast magnetosonic M(sub ms). Mach numbers remain above 2 and the number density above 4/cu cm for almost the entire period. Ram pressure effects produce the initial near-Earth shock location, whereas expansions and contractions of the bow shock due to low Mach number effects account, qualitatively and semiquantitatively, for the timing and existence of almost all the remaining ISEE crossings and both IMP 8 crossings. Significant quantitative differences exist between the apparent standoff distances for the shock crossings and those predicted using the observed plasma parameters and the standard model based on Spreiter et al.'s (1966) gasdynamic equation. These differences can be explained in terms of either a different dependence of the standoff distance on Mach number at low M(sub A) and M(sub ms), or variations in shock shape with M(sub A) and M(sub ms) (becoming increasingly "puffed up" with decreasing M(sub A) and M(sub ms), as expected theoretically), or by a combination of both effects.

Cairns, Iver H.↗
NASA NTRS1995

New analysis of the Voyager UVS H Lyman-alpha emission of Saturn

The limb to limb Lyman-alpha reflectivities observed with the Voyager ultraviolet spectrometer (UVS) instruments during the fly-by of Saturn are reanalyzed using a revised H Lyman-alpha sensitivity for the Voyager 1 instrument. The new sensitivity reconciles the measured intensities to those of Voyager 2 and gives a coherent set of data. To fit the UV airglow observations, four sources are considered: (1) H resonance and H2 Rayleigh scattering of solar Lyman-alpha radiation, (2) the interplanetary Lyman-alpha radiation, (3) a possible internal source of unknown origin, (4) the possibility of atmospheric turbulence recently proposed to explain the Lyman-alpha bulge of Jupiter. The analysis supports neither a dominant collisional excitation source for the UV emissions nor the presence of strong atmospheric turbulence. The best fit, in terms of brightness but also in terms of shape of the limb to limb profile (that is to say independent on the absolute calibrations), is obtained for pure resonance and Rayleigh scattering of solar and interstellar wind line in an atmosphere enriched in atomic hydrogen up to three times the standard model. Influx of water from the rings of Saturn may provide a means for producing such enhanced H densities in the upper atmosphere.

Jaffel, L. Ben↗
NASA NTRS1996

Research activities in nuclear astrophysics and related areas

NASA/GRO grant NAG 5-2081, at the University of Chicago, has provided support for a broad program of theoretical research in nuclear astrophysics and related areas, with regard to gamma-ray and hard X-ray emission from classical nova explosions. This research emphasized the possible detection of 22Na gamma-ray line emission from nearby novae involving ONeMg white dwarfs, the detailed examination of 26Al production in novae, and the possible detection of the predicted early gamma ray emission from novae that arises from the decay of the short lived, positron emitting isotopes of CNO elements. Studies of nova related problems have consumed an increasing fraction of the Principal Investigator's research efforts over the past decade. Current research addresses problems associated with the standard model for the outbursts of the classical novae: the occurrence of thermonuclear runaways (TNR) in the accreted hydrogen rich envelopes on white dwarfs in close binary systems (see, e.g., the reviews by Truran 1982; and Shara 1989). Research in progress and planned for the next three years has three main objectives: (1) to gain an improved understanding of the early evolution of the light curves of, particularly, the fastest novae; (2) to gain an improved understanding of the relative importance of the various possible mechanisms of envelope hydrogen depletion (e.g. winds, common envelope driven mass loss, and nuclear burning) to the long term evolution of novae in outburst; and (3) to seek to provide a somewhat more definitive statement of the role of classical novae in nucleosynthesis. Our proposed 2-D studies of convection during the early phases of the TNR and our systematic attempt to incorporate an improved treatment of radiation hydrodynamics into the hydrodynamic code utilized in our calculations, are particularly relevant to the first of these objectives. Further 2-D studies of the effects of common envelope evolution are intended to provide more realistic constraints on the mass depletion mechanisms. Finally, detailed calculations of the thermonuclear history of the matter ejected in novae will be carried out for representative nova configurations involving both carbon-oxygen (CO) and oxygen-neon-magnesium (ONeMg) white dwarfs.

Source record↗
NASA NTRS1995

MHD Simulations of Earth's Bow Shock at low Mach Numbers: Standoff Distances

Global, three-dimensional, ideal MHD simulations of Earth's bow shock are reported for low Alfven Mach numbers M(sub A) and quasi-perpendicular magnetic field orientations. The simulations use a hard, infinitely conducting magnetopauause obstacle, with axisymmetric three-dimensional location given by scaled standard model, to directly address previous gasdynamic (GD) and field-aligned MHD (FA-MHD) work. Tests of the simulated shocks' density jumps X for 1.4 approx. less than MA approx. less than 10 and the high M(sub A) shock location, and reproduction of the GD relation between magnetosheath thickness and X for quasi-gasdynamic MHD runs with M(sub A) much greater than M(sub s), confirm that the MHD code is working correctly. The MHD simulations show the standoff distance a(sub s), increasing monotonically with decreasing M(sub A). Significantly larger a(sub s), are found at low M(sub A) than predicted by GD and phenomenological MHD models and FA-MHD simulations, as required qualitatively by observations. The GD and FA-MHD predictions err qualitatively, predicting either constant or decreasing a(sub s), with decreasing M(sub A). This qualitative difference between quasi- perpendicular MHD and FA-MHD simulations is direct evidence for a(sub s), depending on the magnetic field orientation Theta. The enhancement factor over the phenomenological MHD predictions at MA approx. 2.4 agrees quantitatively with one observatiorial estimate. A linear relationship is found between the magnetosheath thickness and X, modified both quantitatively and intrinsically by MHD effects from the GD result. The MHD and GD results agree in the high M(sub A) limit. An MHD theory is developed for a(sub s), restricted to sufficiently perpendicular Theta and high sonic Mach numbers M(sub s). It explains the simulation results with excellent accuracy. Observational and further simulation testing of this MHD theory, and of its predicted M(sub A), Theta, and M(sub s) effects, is desirable.

Cairns, Iver H.↗
NASA NTRS1998

Molecular Processes in Comets

The research focused on molecular hydrogen and its response to ultraviolet radiation, photoelectron impact excitation and X-ray radiation and on the interpretation of the ultraviolet spectra of the Jupiter dayglow and auroras. A systematic effort was made to obtain reliable rate coefficients for rovibrational energy transfer of H2, particularly in collisions with hydrogen atoms. We carried out elaborate quantum-mechanical calculations of the scattering of H and H2 on what had been characterized as a reliable potential energy surface of the H3 molecular system. These calculations took into account reactive channels and rate coefficients for ortho-para transitions were obtained. Quantal calculations are too complex to be applied to all the possible rovibrational transitions and we turned to a semi-classical method. With it we calculated rate coefficients for transitions, reactive and non-reactive, for all the rovibrational levels. We carried out the calculations for three of the available H3 potential energy surfaces. We discovered an unexpected sensitivity of the rate coefficients for the non-reactive channels to the potential energy surface. This discovery stimulated more thorough investigations of the potential energy surface elsewhere and to the construction of a new surface. We have used it in further semi-classical calculations in work that will shortly be 2 completed and which, together with new quantum-mechanical calculations should comprise a set of reliable rate coefficients that can be used in discussions of H2 on the Jovian planets. We carried out a detailed study of the Jovian ultraviolet dayglow. There has been a long-running argument about the dayglow on Jupiter. There are two sources of excitation: fluorescence and photoelectron impact excitation. It had been argued that a third source "the electron glow" was needed to bring theory and observation into agreement. We believe we have shown conclusively that the third source is unnecessary. We have achieved a close quantitative agreement between the predicted spectrum arising from fluorescence and photoelectrons and the measured spectrum. We also demonstrated a method by which the presence of HD could be established observationary. Similar calculations were carried out of the ultraviolet spectra of the Jovian auroras. We again found close agreement. Indeed, the agreement was so detailed we were able to derive the temperature of the atmosphere. We found, contrary to the standard model of the time, a high temperature between 400 K and 600 K and established the presence of a significant temperature gradient. A large temperature gradient was indeed found by direct sampling with the Jupiter probe.

Dalgarno, A.↗
NASA NTRS1995

Simultaneous adsorption of CO2 and H2O under Mars-like conditions and application to the evolution of the Martian climate

The Martian regolith is the most substantial volatile reservoir on the planet; estimates of its adsorbed inventory have been based on simple measurements of the adsorption of either water or CO2 in isolation. Under some conditions, H2O can poison adsorbate surfaces, such that CO2 uptake is greatly reduced. We have made the first measurements of the simultaneous adsorption of CO2 and H2O under conditions appropriate to the Martian regolith and have found that at H2O monolayer coverage above about 0.5, CO2 begins to be displaced into the gas phase. We have developed an empirical expression that describes our co-adsorption data and have applied it to standard models of the Martian regolith. We find that currently, H2O does not substantially displace CO, implying that the adsorbate inventories previously derived may be accurate, not more than 3-4 kPa (30-40 mbar). No substantial increase in atmospheric pressure is predicted at higher obliquities because high-latitude ground ice buffers the partial pressure of H2O in the pores, preventing high monolayer coverages of H2O from displacing CO2. The peak atmospheric pressure at high obliquity does increase as the total inventory of exchangeable CO2 increases.

Zent, Aaron, P.↗
NASA NTRS1998

Rossby Waves in the Protoplanetary Nebula

Fluid waves and instabilities are considered critical to the evolution of protoplanetary nebulae, particularly for their roles in mass, angular momentum, and energy transport. A number have been identified, however, notably absent, is an influential wave commonly found in planetary atmospheres and oceans: the planetary Rossby wave (PRW). Since, in the Earth's atmosphere, the PRW is of primary importance in shaping large-scale meteorological phenomena, it is reasonable to consider whether it might have similar importance in the protoplanetary nebula. The thrust of the research project this summer (1998) was to determine whether a nebular analog to the PRW is viable, a so-called nebular Rossby wave (NRW), and if so, to explore possible ramifications of this wave to the evolution of the nebula. This work was carried out primarily by S. Davis, J. Cuzzi and me, with significant discussions with P. Cassen. We believe we have established a good case for the NRW and as a result believe we have opened up a new and possibly interesting line of research in regard to the nebular development, in particular with regard to zonal jet formation, a potent accretion mechanism, and possible ties to vortex formation. The standard model of the protoplanetary nebula consists of a large disk of gas with about 1% entrained dust gravitationally bound to a large central mass, m(sub c) i.e., the protostar. The planet-forming region of the disk extends to roughly 100 A.U. in radius. Disk thickness, H, is believed to be on the order of 10-100 times less than disk radius. Disk lifetime is on the order of a million years.

Sheehan, Daniel P.↗
NASA NTRS1999

Capella: Structure and Abundances

This grant covers the analysis of ASCA spectra of the cool star binary system Capella. This project has also required the analysis of simultaneous EUVE data. The ASCA spectrum of Capella could not be fit with standard models; by imposing models based on strong lines observed with EUVE, a problem wavelength region was identified. Correcting the problem required calculations of atomic collision strengths of higher principal quantum number than had ever been calculated, resulting in a paper in process by Liedahl and Brickhouse. With these new models applied to the ASCA spectrum, better fits were obtained. While solar abundance ratios are generally consistent with the ASCA data, the ratio of Ne/Fe is three to four times lower than solar photospheric values. Whether there is a general First Ionization Potential (FIP) effect or a specific neon anomaly cannot be determined from these data. Detailed discussion has been provided to NASA in the most recent annual report (1997). Two poster presentations have been made regarding modeling requirements. A substantial paper is in the final revision form, following review by six co-authors. The results of this work have wide implications, since the newly calculated emission lines almost certainly contribute to other problems in fitting not only other stellar spectra, but also composite supernova remnants, galaxies, and cooling flow clusters of galaxies. Furthermore, Liedahl and Brickhouse have identified other species for which lines of a similar nature (high principal quantum number) will contribute significant flux. For moderate resolution X-ray spectra, lines left out of the models in relatively isolated bands, will be attributed to continuum flux by spectral fitting engines, causing errors in line-to-continuum ratios. Thus addressing the general theoretical problem is of crucial importance.

Brickhouse, Nancy S.↗
NASA NTRS1999

A Direct Comparison Between EUV Coronal Flux and Helium Resonance Line Photon Flux from SOHO/CDS Data

In the wealth of EUV spectroscopic and imaging data gathered by the SOHO and TRACE missions, a prominent role is played by the helium resonance emission. For example, He I lines are among the most intense features in CDS/NIS spectra, while the EIT 304 waveband (dominated by He II emission) is routinely employed to map the structure of the solar chromosphere and transition region. However, no 'standard' model has emerged so far that is able to interpret observed He spectra/images to a satisfactory degree of self-consistency. Recent research on the problem of the formation of the solar helium spectrum tends to rule out a dominant role of coronal radiation in exciting He resonance lines. However, while evidence for this result is strong, it is based on indirect tests. Here we present a preliminary assessment of this issue based on a more direct approach, which involves a measure with CDS/GIS of the photoionizing EUV radiation. This measure can be directly compared with the observed flux in the main He I and He II resonance lines observed with CDS/NIS2.

Andretta, V.↗
NASA NTRS1999

Capella: Structure and Abundances

This grant covers the analysis of EUVE spectra of the cool star binary system Capella. This project has also required the analysis of simultaneous Advanced Satellite for Cosmology and Astrophysics (ASCA) data. The ASCA spectrum of Capella could not be fit with standard models; by imposing models based on strong lines observed with EUVE, a problem wavelength region was identified. Correcting the problem required calculations of atomic collision strengths of higher principal quantum number than had ever been calculated. With these new models applied to the ASCA spectrum, better fits were obtained. Findings are that: (1) ASCA and EUVE spectra are both dominated by a region at 6 x 10(exp 6) K. (2) The high energy cut-off of the ASCA spectrum is consistent with emission from the highest ionization stages of EUVE, namely Fe XXIV. (3) EUVE requires a continuous emission measure distribution with more than two temperatures. (4) The ASCA spectra are of such high statistical significance that systematic uncertainties dominate, including atomic physics issues and calibration issues. (5) While the ASCA spectral fits achieve lower Chi(exp 2 with two-temperature fits, the EUVE-derived emission measure distribution models are also consistent with the spectra. (6) The Fe/H ratio obtained from the ASCA fit is within 20 % of the Fe/H abundance obtained from the summed spectra of Capella over 5 EUVE pointings, as well as the 1996 EUVE data. This result confirms our claims that quasi-continua composed of weak emission lines in the short wavelength spectrometer of EUVE are not major contributors to the measured Capella continuum. Other abundance ratios are also determined from the ASCA data, using models derived with EUVE. Si, Si, and Mg appear to be close to solar photospheric values, while the ratio of Ne/Fe is three to four times lower than solar photospheric values. Whether there is a general First Ionization Potential (FIP) effect or a specific neon anomaly cannot be determined from these data. (8) EUVE line ratios indicating low optical depth place limits on the extent to which the X-ray lines are optically, thick. While the brightest lines may be marginally thick, the ASCA spectrum is not of sufficient resolution to determine the optical depth in these lines.

Brickhouse, Nancy S.↗
NASA NTRS1998

The Hadean, Through a Glass Telescopically: Observations of Young Solar Analogs

Investigations into the Earth's surface environment during the Hadean eon (prior to 3.8 Ga) are hampered by the paucity of the geological and geochemical record and the relative inaccessibility of better-preserved surfaces with possibly similar early histories (i.e., Mars). One approach is to observe nearby, young solar-mass stars as analogs to the Hadean Sun and its environment. A catalog of 38 G and early K stars within 25 pc was constructed based on main-sequence status, bolometric luminosity, lack of known stellar companions within 800 AU, and coronal X-ray luminosities commensurate with the higher activity of solar-mass stars <0.8 b.y. old. Spectroscopic data support the assignment of ages of 0.2 - 0.8 Ga for most of these stars. Observations of these objects will provide insight into external forces that influenced Hadean atmosphere, ocean, and surface evolution (and potential ecosystems), including solar luminosity evolution, the flux and spectrum of solar ultraviolet radiation, the intensity of the solar wind, and the intensity and duration of a late period of heavy bombardment. The standard model of solar evolution predicts a luminosity of 0.75 solar luminosity at the end of the Hadean, implying a terrestrial surface temperature inconsistent with the presence of liquid water and motivating atmospheric greenhouse models. An alternative model fo solar evolution that invokes mass loss, constructed to explain solar Li depletion, attenuates or reverses this luminosity evolution of the atmospheres of Earth and the other terrestrial planets. This model can be tested by Li abundance measurements. The continuum emission from stellar wind plasma during significant mass loss may be detectable at millimeter and radio wavelengths. The Earth (and Moon) experienced a period of intense bombardment prior to 3.8 Ga, long after accretion was completed in the inner solar system and possibly associated with the clearing of residual planetesimals in the outer solar system. Such a bombardment may have contributed volatiles and organics to the surface, but also have limited the appearacne of a biosphere. While planetary systems around solar systems cannot be detected directly with present technology, the thermal emission from the interplanetary dust generated during a similar heavy bombardment period can be. Midinfrared observations of a large uniform sample of solar analogs are used to constrain the frequency and duration of such events.

Gaidos, E. J.↗
NASA NTRS1998

The Dynamical Evolution of the Earth-Moon Progenitors: Motivation and Methodology - 1

The giant impact hypothesis was introduced in the mid-1970s after consideration of results from the Apollo missions. This hypothesis best explains the similarity in elemental proportions in lunar and terrestrial rocks, the depletion of lunar volatiles, the lack of lunar Fe, and the large angular momentum in the Earth-Moon system. Comparison between the radiometric ages of inclusions in the most primitive meteorites and in the oldest lunar rocks and the differentiation age of Earth suggests that the Earth-Moon system formed about100 m.y. after the oldest meteorites. In addition, the age of the famous martian meteorite ALH 84001 and an early Martian solidification time obtained by Lee and Halliday suggest that the inner solar system was fairly clear of large bodies about 10 m.y. after the oldest meteorites formed. Thus, the "standard model" suggests that for several tens of millions of years, the terrestrial planet region had few, if any, lunar-sized bodies, and there were five terrestrial planets: Mercury, Venus, the two progenitors of the Earth-Moon system, and Mars. To simulate the dynamics of the solar system before the hypothesized Moon-forming impact, we are integrating the solar system with the Earth-Moon system replaced by two bodies in heliocentric orbits between Venus and Mars. The total (orbital) angular momentum of the Earth-Moon progenitors is that of the present Earth-Moon system, and their total mass is that of the Earth-Moon System. We are looking at ranges in mass ratio and initial values for eccentricity, inclination, and semimajor axis. We are using the SYMBA integrator to integrate these systems until a collision occurs or a time of 200 m.y. elapses. Results are presented in a companion abstract, (also presented at this meeting).

Lissauer, J. J.↗
NASA NTRS1999

Single Bubble Sonoluminescence in Low Gravity and Optical Radiation Pressure Positioning of the Bubble

Several groups of researchers have demonstrated that high frequency sound in water may be used to cause the regular repeated compression and luminescence of a small bubble of gas in a flask. The phenomenon is known as single bubble sonoluminescence (SBSL). It is potentially important because light emitted by the bubble appears to be associated with a significant concentration of energy within the volume of the bubble. Unfortunately, the detailed physical mechanisms causing the radiation of light by oscillating bubbles are poorly understood and there is some evidence that carrying out experiments in a weightless environment may provide helpful clues. In addition, the radiation pressure of laser beams on the bubble may provide a way of simulating weightless experiments in the laboratory. The standard model of SBSL attributes the light emission to heating within the bubble by a spherically imploding shock wave to achieve temperatures of 50,000 K or greater. In an alternative model, the emission is attributed to the impact of a jet of water which is required to span the bubble and the formation of the jet is linked to the buoyancy of the bubble. The coupling between buoyancy and jet formation is a consequence of the displacement of the bubble from a velocity node (pressure antinode) of the standing acoustic wave that drives the radial bubble oscillations. One objective of this grant is to understand SBSL emission in reduced buoyancy on KC-135 parabolic flights. To optimize the design of those experiments and for other reasons which will help resolve the role of buoyancy, laboratory experiments are planned in simulated low gravity in which the radiation pressure of laser light will be used to position the bubble at the acoustic velocity node of the ultrasonic standing wave. Laser light will also be used to push the bubble away from the velocity node, increasing the effective buoyancy. The original experiments on the optical levitation and radiation pressure on bubbles in water by Unger and Marston noted above were carried out using a continuous wave (CW) beam of an Argon laser. For lateral stability the beam had a intensity minimum along its axis. Calculations of the optical radiation force on an SBSL bubble indicate that ion laser technology is a poor choice for providing the magnitude of the average optical radiation force required. Consequently it is necessary to examine various diode-pumped solid state laser technologies. The approach for this part of the research will be to achieve optical levitation of a quiescent bubble based on contemporary laser technology and then to strobe the laser synchronously with the SBSL bubble oscillations.

Thiessen, D. B.↗
NASA NTRS2001

Testing Linear Temporal Logic Formulae on Finite Execution Traces

We present an algorithm for efficiently testing Linear Temporal Logic (LTL) formulae on finite execution traces. The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive. In most past applications of LTL. theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications. Such tests correspond to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property. We then suggest an optimized algorithm based on transforming LTL formulae. The work is done using the Maude rewriting system. which turns out to provide a perfect notation and an efficient rewriting engine for performing these experiments.

Havelund, Klaus↗
NASA NTRS2001

Computation of Nonlinear Backscattering Using a High-Order Numerical Method

The nonlinear Schrodinger equation (NLS) is the standard model for propagation of intense laser beams in Kerr media. The NLS is derived from the nonlinear Helmholtz equation (NLH) by employing the paraxial approximation and neglecting the backscattered waves. In this study we use a fourth-order finite-difference method supplemented by special two-way artificial boundary conditions (ABCs) to solve the NLH as a boundary value problem. Our numerical methodology allows for a direct comparison of the NLH and NLS models and for an accurate quantitative assessment of the backscattered signal.

Fibich, G.↗
NASA NTRS2001

Solar-System Tests of Gravitational Theories

We are engaged in testing gravitational theory, primarily using observations of objects in the solar system and primarily on that scale. Our goal is either to detect departures from the standard model (general relativity) - if any exist within the level of sensitivity of our data - or to place tighter bounds on such departures. For this project, we have analyzed a combination of observational data with our model of the solar system, including mostly planetary radar ranging, lunar laser ranging, and spacecraft tracking, but also including both pulsar timing and pulsar very long base interferometry (VLBI) measurements. This year, we have extended our model of Earth nutation with adjustable correction terms at the principal frequencies. We also refined our model of tidal drag on the Moon's orbit. We believe these changes will make no substantial changes in the results, but we are now repeating the analysis of the whole set of data to verify that belief. Additional information is contained in the original extended abstract.

Shapiro, Irwin I.↗
NASA NTRS2001

Monitoring Programs Using Rewriting

We present a rewriting algorithm for efficiently testing future time Linear Temporal Logic (LTL) formulae on finite execution traces, The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive in most past applications of LTL, theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications, corresponding to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property end then suggest an optimized algorithm based on transforming LTL formulae. We use the Maude rewriting logic, which turns out to be a good notation and being supported by an efficient rewriting engine for performing these experiments. The work constitutes part of the Java PathExplorer (JPAX) project, the purpose of which is to develop a flexible tool for monitoring Java program executions.

Havelund, Klaus↗
NASA NTRS2002

Simulation of Energy Response of the ATIC Calorimeter

ATIC (Advanced Thin Ionization Calorimeter) is a balloon borne experiment designed to measure the cosmic ray composition for elements from hydrogen to iron and their energy spectra from approx.50 GeV to near 100 TeV. It consists of a Si-matrix detector to determine the charge of a CR particle, a scintillator hodoscope for tracking, carbon interaction targets and a fully active BGO calorimeter. ATIC had its first flight from McMurdo, Antarctica from 28/12/2000 to 13/01/2001. The ATIC flight collected approximately 25 million events. For reconstruction of primary spectra from spectra of energy deposits measured in the experiment, correlations between kinetic energy of a primary particle E(sub kin) and energy deposit in the calorimeter E(sub d) should be known. For this purpose, simulations of energy response of the calorimeter on energy spectra of different nuclei were done. The simulations were performed by GEANT-3.21 code with QGSM generator for nucleus - nucleus interactions. The incident flux was taken as isotropic in the ATIC aperture. Primary spectra power-law by momentum were used as inputs according to standard models of cosmic ray acceleration. These spectra become power-law by kinetic energy at E(sub kin) higher than approx.20Mc(sup 2), where M is primary nucleus mass. It should be noted that energy deposit spectra measured by ATIC illustrate similar behavior. Distributions of ratio E(sub kin)/E(sub d) are presented for different energy deposits and for a set of primaries. For power-law regions of energy spectra at E(sub d)> or equal to 20Mc(sup 2) the obtained mean value of E(sub kin)/E(sub d) increases from approx.2.4 for protons to approx.3.1 for iron, while rms/ decreases from 50% for protons to about 15% for iron. These values were obtained for the spectral index gamma=1.6

Batkov, K. E.↗