Stratosphere aerosol and cloud measurements at McMurdo Station Antarctica during the spring of 1987

Measurements of stratospheric aerosols with balloonborne optical particle counters on 6 occasions at McMurdo Station (78 deg S) in the spring of 1986 indicated subsidence of the stratospheric sulfate layer during the time that the ozone hole was forming (Hofmann et al., 1988). Since dynamic models of ozone depletion involving upwelling in the spring polar vortex would suggest the opposite, we repeated the measurements with an increased frequency (about one sounding per week) in 1987. During 3 of the aerosol soundings in 1986, temperatures in the 15 to 20 km range were low enough (less than 80 C) for HNO3 to co-condense with water according to several theories of polar stratospheric cloud formation. However, particles were not observed with the characteristic size suggested by theory (approx. 0.5 microns). For this reason, it was proposed that polar stratospheric clouds may predominantly consist of large (approx. 5 to 50 microns) ice crystals at very low (approx. 10 sup 4- 10 sup 3 cm cubed) concentrations (Rosen et al., 1988). The particle counter employed would be relatively insensitive to these low concentrations. With the increased frequency of soundings in 1987, and adding additional size discrimination in the 1 to 2 micron region, this hypothesis could be verified if suitably low temperatures were encountered

Amortised resource analysis with separation logic

Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete resource bounds for functional programs, with good support for inference. In this work we translate the idea of amortised resource analysis to imperative languages by embedding a logic of resources, based on Bunched Implications, within Separation Logic. The Separation Logic component allows us to assert the presence and shape of mutable data structures on the heap, while the resource component allows us to state the resources associated with each member of the structure. We present the logic on a small imperative language with procedures and mutable heap, based on Java bytecode. We have formalised the logic within the Coq proof assistant and extracted a certified verification condition generator. We demonstrate the logic on some examples, including proving termination of in-place list reversal on lists with cyclic tails

The UW digital ozonesonde: Characteristics and flow rate calibration

During the austral springs of 1986 and 1987, a series of balloon soundings were conducted to characterize the temporal and vertical development of Antarctic ozone depletion using the electrochemical concentration cell method (ECC). An important part of this study was to perform correlative studies between ozone and aerosol particles. In order to facilitate these simultaneous measurements, a digital ozonesonde system was developed to interface with aerosol counters. The ozone measurements will be described herein. The ozonesonde modification was accomplished by converting the current output of the sonde to a frequency and adding this digital signal to the serial data stream of a Vaisala Corporation RS-80 radiosonde under microprocessor control. A number of advantages over the standard ozonesonde system currently in use are noted

Ozone profile measurements at McMurdo Station Antarctica during the spring of 1987

During the Antarctic spring of 1986, 33 ozone soundings were conducted from McMurdo Station. These data indicated that the springtime decrease in ozone occurred rapidly between the altitudes of 12 and 20 km. During 1987, these measurements were repeated with 50 soundings between 29 August and 9 November. Digital conversions of standard electrochemical cell ozonesondes were again employed. The ozonesonde pumps were individually calibrated for flow rate as the high altitude performance of these pumps have been in question. While these uncertainties are not large in the region of the ozone hole, they are significant at high altitude and apparently resulted in an underestimate of total ozone of about 7 percent (average) as compared to the Total Ozone Mapping Spectrometer (TOMS) in 1986, when the flow rate recommended by the manufacturer was used. At the upper altitudes (approx. 30 km) the flow rate may be overestimated by as much as 15 percent using recommended values (see Harder et al., The UW Digital Ozonesonde: Characteristics and Flow Rate Calibration, poster paper, this workshop). These upper level values are used in the extrapolation, at constant mixing ratio, required to complete the sounding for total ozone. The first sounding was on 29 August, prior to major ozone depletion, when 274 DU total ozone (25 DU extrapolated) was observed. By early October total ozone had decreased to the 150 DU range; it then increased during mid-October owing to motion of the vortex and returned to a value of 148 DU (29 DU extrapolated) on 27 October

Chandra observations of the HII complex G5.89-0.39 and TeV gamma-ray source HESSJ1800-240B

We present the results of our investigation, using a Chandra X-ray observation, into the stellar population of the massive star formation region G5.89-0.39, and its potential connection to the coincident TeV gamma-ray source HESSJ1800-240B. G5.89-0.39 comprises two separate HII regions G5.89-0.39A and G5.89-0.39B (an ultra-compact HII region). We identified 159 individual X-ray point sources in our observation using the source detection algorithm \texttt{wavdetect}. 35 X-ray sources are associated with the HII complex G5.89-0.39. The 35 X-ray sources represent an average unabsorbed luminosity (0.3-10\,keV) of $\sim10^{30.5}$\,erg/s, typical of B7-B5 type stars. The potential ionising source of G5.89-0.39B known as Feldt's star is possibly identified in our observation with an unabsorbed X-ray luminosity suggestive of a B7-B5 star. The stacked energy spectra of these sources is well-fitted with a single thermal plasma APEC model with kT$\sim$5\,keV, and column density N$_{\rm H}=2.6\times10^{22}$\,cm$^{-2}$ (A$_{\rm V}\sim 10$). The residual (source-subtracted) X-ray emission towards G5.89-0.39A and B is about 30\% and 25\% larger than their respective stacked source luminosities. Assuming this residual emission is from unresolved stellar sources, the total B-type-equivalent stellar content in G5.89-0.39A and B would be 75 stars, consistent with an earlier estimate of the total stellar mass of hot stars in G5.89-0.39. We have also looked at the variability of the 35 X-ray sources in G5.89-0.39. Ten of these sources are flagged as being variable. Further studies are needed to determine the exact causes of the variability, however the variability could point towards pre-main sequence stars. Such a stellar population could provide sufficient kinetic energy to account for a part of the GeV to TeV gamma-ray emission in the source HESSJ1800-240B.Comment: 34 pages, 9 figure

Comment on "On Mach's critique of Newton and Copernicus"

Hartman and Nissim-Sabat have argued that Mach's idea of the relativity of rotational motion suffers from internal inconsistencies and leads to a contradiction that there cannot be a stationary bucket in a rotating universe. They also claimed that non-inertial electromagnetic and stellar aberration observations can distinguish between a rotating and a stationary universe, whereas according to Mach there cannot be any observable way to distinguish these two cases. We contest these objections.Comment: Six pages, to appear in AJ