Modules in Monoidal Model Categories

This paper studies the existence of and compatibility between derived change of ring, balanced product, and function module derived functors on module categories in monoidal model categories

Equivariant Universal Coefficient and Kunneth Spectral Sequences

We construct hyper-homology spectral sequences of Z-graded and ROG-graded Mackey functors for Ext and Tor over G-equivariant S-algebras (A-infty ring spectra) for finite groups G. These specialize to universal coefficient and Kunneth spectral sequences

Additional extensions to the NASCAP computer code, volume 3

The ION computer code is designed to calculate charge exchange ion densities, electric potentials, plasma temperatures, and current densities external to a neutralized ion engine in R-Z geometry. The present version assumes the beam ion current and density to be known and specified, and the neutralizing electrons to originate from a hot-wire ring surrounding the beam orifice. The plasma is treated as being resistive, with an electron relaxation time comparable to the plasma frequency. Together with the thermal and electrical boundary conditions described below and other straightforward engine parameters, these assumptions suffice to determine the required quantities. The ION code, written in ASCII FORTRAN for UNIVAC 1100 series computers, is designed to be run interactively, although it can also be run in batch mode. The input is free-format, and the output is mainly graphical, using the machine-independent graphics developed for the NASCAP code. The executive routine calls the code's major subroutines in user-specified order, and the code allows great latitude for restart and parameter change

The Polymorphonuclear Neutrophilic Phagocyte

Patients who have too few functioning mature polymorphonuclear neutrophils frequently develop fatal bacterial or fungal infections despite our best efforts to prevent and treat those infections. Recently new facets of white cell function which enable us to better understand both normal and abnormal states have been found. Several review articles about polymorphonucler neutrophils (also called neutrophils and granulocytes – the latter term includes eosinophils and basophils) have been published recently and the reader is referred to these for more comprehensive coverage of the field

Spacecraft-plasma interaction codes: NASCAP/GEO, NASCAP/LEO, POLAR, DynaPAC, and EPSAT

Development of a computer code to simulate interactions between the surfaces of a geometrically complex spacecraft and the space plasma environment involves: (1) defining the relevant physical phenomena and formulating them in appropriate levels of approximation; (2) defining a representation for the 3-D space external to the spacecraft and a means for defining the spacecraft surface geometry and embedding it in the surrounding space; (3) packaging the code so that it is easy and practical to use, interpret, and present the results; and (4) validating the code by continual comparison with theoretical models, ground test data, and spaceflight experiments. The physical content, geometrical capabilities, and application of five S-CUBED developed spacecraft plasma interaction codes are discussed. The NASA Charging Analyzer Program/geosynchronous earth orbit (NASCAP/GEO) is used to illustrate the role of electrostatic barrier formation in daylight spacecraft charging. NASCAP/low Earth orbit (LEO) applications to the CHARGE-2 and Space Power Experiment Aboard Rockets (SPEAR)-1 rocket payloads are shown. DynaPAC application to the SPEAR-2 rocket payloads is described. Environment Power System Analysis Tool (EPSAT) is illustrated by application to Tethered Satellite System 1 (TSS-1), SPEAR-3, and Sundance. A detailed description and application of the Potentials of Large Objects in the Auroral Region (POLAR) Code are presented

Polar orbit electrostatic charging of objects in shuttle wake

A survey of DMSP data has uncovered several cases where precipitating auroral electron fluxes are both sufficiently intense and energetic to charge spacecraft materials such as teflon to very large potentials in the absence of ambient ion currents. Analytical bounds are provided which show that these measured environments can cause surface potentials in excess of several hundred volts to develop on objects in the orbiter wake for particular vehicle orientations

Three-dimensional calculation of shuttle charging in polar orbit

The charged particles environment in polar orbit can be of sufficient intensity to cause spacecraft charging. In order to gain a quantitative understanding of such effects, the Air Force is developing POLAR, a computer code which simulates in three dimensions the electrical interaction of large space vehicles with the polar ionospheric plasma. It models the physical processes of wake generation, ambient ion collection, precipitating auroral electron fluxes, and surface interactions, including secondary electron generation and backscattering, which lead to vehicle charging. These processes may be followed dynamically on a subsecond timescale so that the rapid passage through intense auroral arcs can be simulated. POLAR models the ambient plasma as isotropic Maxwellian electrons and ions (0+, H+), and allows for simultaneous precipitation of power-law, energetic Maxwellian, and accelerated Gaussian distributions of electrons. Magnetic field effects will be modeled in POLAR but are currently ignored

Non-detection of L-band Line Emission from the Exoplanet HD189733b

We attempt to confirm bright non-local thermodynamic equilibrium (non-LTE) emission from the exoplanet HD 189733b at 3.25 μm, as recently reported by Swain et al. based on observations at low spectral resolving power (λ/δλ ≈ 30). Non-LTE emission lines from gas in an exoplanet atmosphere will not be significantly broadened by collisions, so the measured emission intensity per resolution element must be substantially brighter when observed at high spectral resolving power. We observed the planet before, during, and after a secondary eclipse event at a resolving power λ/δλ = 27, 000 using the NIRSPEC spectrometer on the Keck II telescope. Our spectra cover a spectral window near the peak found by Swain et al., and we compare emission cases that could account for the magnitude and wavelength dependence of the Swain et al. result with our final spectral residuals. To model the expected line emission, we use a general non-equilibrium formulation to synthesize emission features from all plausible molecules that emit in this spectral region. In every case, we detect no line emission to a high degree of confidence. After considering possible explanations for the Swain et al. results and the disparity with our own data, we conclude that an astrophysical source for the putative non-LTE emission is unlikely. We note that the wavelength dependence of the signal seen by Swain et al. closely matches the 2ν_2 band of water vapor at 300 K, and we suggest that an imperfect correction for telluric water is the source of the feature claimed by Swain et al

A Measurement of Water Vapour amid a Largely Quiescent Environment on Europa

Previous investigations proved the existence of local density enhancements in Europas atmosphere, advancing the idea of a possible origination from water plumes. These measurement strategies, however, were sensitive either to total absorption or atomic emissions, which limited the ability to assess the water content. Here we present direct searches for water vapour on Europa spanning dates from February 2016 to May 2017 with the Keck Observatory. Our global survey at infrared wavelengths resulted in non-detections on 16 out of 17 dates, with upper limits below the water abundances inferred from previous estimates. On one date (26 April 2016) we measured 2,095 658 tonnes of water vapour at Europas leading hemisphere. We suggest that the outgassing ls than previously estimated, with only rare localized events of stronger activity