Clouds in the atmospheres of extrasolar planets. II. Thermal emission spectra of Earth-like planets influenced by low and high-level clouds

We study the impact of multi-layered clouds (low-level water and high-level ice clouds) on the thermal emission spectra of Earth-like planets orbiting different types of stars. Clouds have an important influence on such planetary emission spectra due to their wavelength dependent absorption and scattering properties. We also investigate the influence of clouds on the ability to derive information about planetary surface temperatures from low-resolution spectra.Comment: accepted for publication in A&

Clouds in the atmospheres of extrasolar planets. I. Climatic effects of multi-layered clouds for Earth-like planets and implications for habitable zones

The effects of multi-layered clouds in the atmospheres of Earth-like planets orbiting different types of stars are studied. The radiative effects of cloud particles are directly correlated with their wavelength-dependent optical properties. Therefore the incident stellar spectra may play an important role for the climatic effect of clouds. We discuss the influence of clouds with mean properties measured in the Earth's atmosphere on the surface temperatures and Bond albedos of Earth-like planets orbiting different types of main sequence dwarf stars.Comment: accepted for publication in A&

Evaluating the structure and magnitude of the ash plume during the initial phase of the 2010 Eyjafjallajökull eruption using lidar observations and NAME simulations

The Eyjafjallajökull volcano in Iceland erupted explosively on 14 April 2010, emitting a plume of ash into the atmosphere. The ash was transported from Iceland toward Europe where mostly cloud-free skies allowed ground-based lidars at Chilbolton in England and Leipzig in Germany to estimate the mass concentration in the ash cloud as it passed overhead. The UK Met Office's Numerical Atmospheric-dispersion Modeling Environment (NAME) has been used to simulate the evolution of the ash cloud from the Eyjafjallajökull volcano during the initial phase of the ash emissions, 14–16 April 2010. NAME captures the timing and sloped structure of the ash layer observed over Leipzig, close to the central axis of the ash cloud. Relatively small errors in the ash cloud position, probably caused by the cumulative effect of errors in the driving meteorology en route, result in a timing error at distances far from the central axis of the ash cloud. Taking the timing error into account, NAME is able to capture the sloped ash layer over the UK. Comparison of the lidar observations and NAME simulations has allowed an estimation of the plume height time series to be made. It is necessary to include in the model input the large variations in plume height in order to accurately predict the ash cloud structure at long range. Quantitative comparison with the mass concentrations at Leipzig and Chilbolton suggest that around 3% of the total emitted mass is transported as far as these sites by small (<100 μm diameter) ash particles

Inheritance of Temporal Logic Properties

Abstract. Inheritance is one of the key features for the success of object-oriented languages. Inheritance (or specialisation) supports incremental design and re-use of already written specifications or programs. In a for-mal approach to system design the interest does not only lie in re-use of class definitions but also in re-use of correctness proofs. If a provably correct class is specialised we like to know those correctness properties which are preserved in the subclass. This can avoid re-verification of already proven properties and may thus substantially reduce the verifi-cation effort. In this paper we study the question of inheritance of correctness prop-erties in the context of state-based formalisms, using a temporal logic (CTL) to formalise requirements on classes. Given a superclass and its specialised subclass we develop a technique for computing the set of for-mulas which are preserved in the subclass. For specialisation we allow addition of attributes, modification of existing as well as extension with new methods.

Nitrogen oxides, regional transport, and ozone air quality: Results of a regional-scale model for the midwestern United States

An overview of the role of NO x in the formation of rural O 3 , regional transport and its potential impact on urban air quality is presented. An analysis of a specific O 3 excursion in southeast Michigan (8-2-90) is performed based on a combined urban and regional-scale model. The regional component of the model represents transport and photochemistry from sources as far away as Texas. Results suggest that rural O 3 and regional transport sensitive to NO x emissions and relatively insensitive to changes in volatile organic carbon (VOC) emissions. This differs from the situation in urban areas, where O 3 is sensitive to both NO x and VOC. Regional transport and upwind NO x emissions have a significant impact on peak O 3 in Detroit. Implications for urban and regional-scale abatement strategies are discussed.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43908/1/11270_2004_Article_BF00480817.pd