HST/ACS Images of the GG Tauri Circumbinary Disk

Hubble Space Telescope Advanced Camera for Surveys images of the young binary GG Tauri and its circumbinary disk in V and I bandpasses were obtained in 2002 and are the most detailed of this system to date. The confirm features previously seen in the disk including: a "gap" apparently caused by shadowing from circumstellar material; an asymmetrical distribution of light about the line of sight on the near edge of the disk; enhanced brightness along the near edge of the disk due to forward scattering; and a compact reflection nebula near the secondary star. New features are seen in the ACS images: two short filaments along the disk; localized but strong variations in disk intensity ("gaplets"); and a "spur" or filament extending from the reflection nebulosity near the secondary. The back side of the disk is detected in the V band for the first time. The disk appears redder than the combined light from the stars, which may be explained by a varied distribution of grain sizes. The brightness asymmetries along the disk suggest that it is asymmetrically illuminated by the stars due to extinction by nonuniform circumstellar material or the illuminated surface of the disk is warped by tidal effects (or perhaps both). Localized, time-dependent brightness variations in the disk are also seen.Comment: 28 pages, 7 figures, accepted for publication in the Astronomical Journa

Applications of real number theorem proving in PVS

This work is supported by funding from the EPSRC under grants EP/H500162, EP/F02309X and GR/S31242Real number theorem proving has many uses, particularly for verification of safety critical systems and systems for which design errors may be costly. We discuss a chain of developments building on real number theorem proving in PVS. This leads from the verification of aspects of an air traffic control system, through work on the integration of computer algebra and automated theorem proving to a new tool, NRV, first presented here that builds on the capabilities of Maple and PVS to provide a verified and automatic analysis of Nichols plots. This automates a standard technique used by control engineers and greatly improves assurance compared with the traditional method of visual inspection of the Nichols plots.Publisher PDFPeer reviewe

Argon Purification Studies and a Novel Liquid Argon Re-circulation System

Future giant liquid argon (LAr) time projection chambers (TPCs) require a purity of better than 0.1 parts per billion (ppb) to allow the ionised electrons to drift without significant capture by any electronegative impurities. We present a comprehensive study of the effects of electronegative impurity on gaseous and liquid argon scintillation light, an analysis of the efficacy of various purification chemicals, as well as the Liverpool LAr setup, which utilises a novel re-circulation purification system. Of the impurities tested - Air, O_2, H_2O, N_2 and CO_2 in the range of between 0.01 ppm to 1000 ppm - H_2O was found to have the most profound effect on gaseous argon scintillation light, and N_2 was found to have the least. Additionally, a correlation between the slow component decay time and the total energy deposited with 0.01 ppm - 100 ppm O_2 contamination levels in liquid argon has been established. The superiority of molecular sieves over anhydrous complexes at absorbing Ar gas, N_2 gas and H_2O vapour has been quantified using BET isotherm analysis. The efficiency of Cu and P_2O5 at removing O_2 and H_2O impurities from 1 bar N6 argon gas at both room temperature and -130 ^oC was investigated and found to be high. A novel, highly scalable LAr re-circulation system has been developed. The complete system, consisting of a motorised bellows pump operating in liquid and a purification cartridge, were designed and built in-house. The system was operated successfully over many days and achieved a re-circulation rate of 27 litres/hour and high purity

Optical and Quasi-Optical Analysis of System Components for a Far-Infrared Space Interferometer

Many important astrophysical processes occur at wavelengths that fall within the far-infrared band of the EM spectrum, and over distance scales that require sub-arc second spatial resolution. It is clear that in order to achieve sub-arc second resolution at these relatively long wavelengths (compared to optical/near-IR), which are strongly absorbed by the atmosphere, a space-based far-IR interferometer will be required. We present analysis of the optical system for a proposed spatial-spectral interferometer, discussing the challenges that arise when designing such a system and the simulation techniques employed that aim to resolve these issues. Many of these specific challenges relate to combining the beams from multiple telescopes where the wavelengths involved are relatively short (compared to radio interferometry), meaning that care must be taken with mirror surface quality, where surface form errors not only present potential degradation of the single system beams, but also serve to reduce fringe visibility when multiple telescope beams are combined. Also, the long baselines required for sub-arc second resolution present challenges when considering propagation of the relatively long wavelengths of the signal beam, where beam divergence becomes significant if the beam demagnification of the telescopes is not carefully considered. Furthermore, detection of the extremely weak far-IR signals demands ultra-sensitive detectors and instruments capable of operating at maximum efficiency. Thus, as will be shown, care must be taken when designing each component of such a complex quasioptical system

The LAGUNA design study- towards giant liquid based underground detectors for neutrino physics and astrophysics and proton decay searches

The feasibility of a next generation neutrino observatory in Europe is being considered within the LAGUNA design study. To accommodate giant neutrino detectors and shield them from cosmic rays, a new very large underground infrastructure is required. Seven potential candidate sites in different parts of Europe and at several distances from CERN are being studied: Boulby (UK), Canfranc (Spain), Fr\'ejus (France/Italy), Pyh\"asalmi (Finland), Polkowice-Sieroszowice (Poland), Slanic (Romania) and Umbria (Italy). The design study aims at the comprehensive and coordinated technical assessment of each site, at a coherent cost estimation, and at a prioritization of the sites within the summer 2010.Comment: 5 pages, contribution to the Workshop "European Strategy for Future Neutrino Physics", CERN, Oct. 200

The Physics of turbulent and dynamically unstable Herbig-Haro jets

The overall properties of the Herbig-Haro objects such as centerline velocity, transversal profile of velocity, flow of mass and energy are explained adopting two models for the turbulent jet. The complex shapes of the Herbig-Haro objects, such as the arc in HH34 can be explained introducing the combination of different kinematic effects such as velocity behavior along the main direction of the jet and the velocity of the star in the interstellar medium. The behavior of the intensity or brightness of the line of emission is explored in three different cases : transversal 1D cut, longitudinal 1D cut and 2D map. An analytical explanation for the enhancement in intensity or brightness such as usually modeled by the bow shock is given by a careful analysis of the geometrical properties of the torus.Comment: 17 pages, 10 figures. Accepted for publication in Astrophysics & Spac

The ArDM experiment

The aim of the ArDM project is the development and operation of a one ton double-phase liquid argon detector for direct Dark Matter searches. The detector measures both the scintillation light and the ionization charge from ionizing radiation using two independent readout systems. This paper briefly describes the detector concept and presents preliminary results from the ArDM R&D program, including a 3 l prototype developed to test the charge readout system.Comment: Proceedings of the Epiphany 2010 Conference, to be published in Acta Physica Polonica

A meta-analysis of long-term effects of conservation agriculture on maize grain yield under rain-fed conditions

Conservation agriculture involves reduced tillage, permanent soil cover and crop rotations to enhance soil fertility and to supply food from a dwindling land resource. Recently, conservation agriculture has been promoted in Southern Africa, mainly for maize-based farming systems. However, maize yields under rain-fed conditions are often variable. There is therefore a need to identify factors that influence crop yield under conservation agriculture and rain-fed conditions. Here, we studied maize grain yield data from experiments lasting 5 years and more under rain-fed conditions. We assessed the effect of long-term tillage and residue retention on maize grain yield under contrasting soil textures, nitrogen input and climate. Yield variability was measured by stability analysis. Our results show an increase in maize yield over time with conservation agriculture practices that include rotation and high input use in low rainfall areas. But we observed no difference in system stability under those conditions. We observed a strong relationship between maize grain yield and annual rainfall. Our meta-analysis gave the following findings: (1) 92% of the data show that mulch cover in high rainfall areas leads to lower yields due to waterlogging; (2) 85% of data show that soil texture is important in the temporal development of conservation agriculture effects, improved yields are likely on well-drained soils; (3) 73% of the data show that conservation agriculture practices require high inputs especially N for improved yield; (4) 63% of data show that increased yields are obtained with rotation but calculations often do not include the variations in rainfall within and between seasons; (5) 56% of the data show that reduced tillage with no mulch cover leads to lower yields in semi-arid areas; and (6) when adequate fertiliser is available, rainfall is the most important determinant of yield in southern Africa. It is clear from our results that conservation agriculture needs to be targeted and adapted to specific biophysical conditions for improved impact