217 research outputs found
Four years of ground-based total ozone measurements by visible spectrometry in Antarctica
Visible spectrometers SAOZ have been developed at Service d'Aeronomie for permanent ground-based ozone monitoring at all latitudes up to the polar circle in winter. Observations are made by looking at the sunlight scattered at zenith in the visible range, twice a day, at sunrise and sunset. Compared to ozone observations in the UV generally in use, visible observations in the small Chappuis bands at twilight have the advantages of being independent of stratospheric temperature, little contaminated by tropospheric ozone and multiple scattering, and of permitting observations even in winter at the polar circle. SAOZ instruments have been installed since 1988 at several stations in the Antarctic and the Arctic. More than four years data at Dumont d'Urville in Terre Adelie (67 deg S) are now available. The station is generally located at the edge of the vortex in spring and therefore the ozone hole is seen there only occasionally. The lowest values (140 DU) were reported in early October 1991. According to these first regular observations throughout the whole winter ozone seems to increase in late autumn and winter. Its decay does not start before the end of August. Although of smaller amplitude than with the previous version five data, the ratio between the groundbased and satellite/TOMS measurements displays a systematic seasonal variation correlated partly to the sun zenith angle of observations from orbit and partly to the temperature of the stratosphere. Since ground-based measurements are always made at 90 deg SZA, the SZA dependence must come from the satellite data interpretation (TOMS observations are between 43 to 88 deg SZA). The temperature dependence could be partly due to variations of ozone absorption cross-sections in the ultraviolet used by the satellite spectrometer, and partly to a systematic seasonal cycle of the air mass factor use in the interpretation of the ground based observations. However, the last contribution appears to be too small to compensate the ozone increase in winter reported by SAOZ, which is then real
PSC and volcanic aerosol routine observations in Antarctica by UV-visible ground-based spectrometry
Polar statospheric clouds (PSC) and stratospheric aerosol can be observed by ground-based UV-visible spectrometry by looking at the variation of the color of the sky during twilight. A radiative transfer model shows that reddenings are caused by high altitude (22-28 km) thin layers of scatterers, while low altitude (12-20 km) thick ones result in blueings. The color index method applied on 4 years of observations at Dumont d'Urville (67 deg S), from 1988 to 1991, shows that probably because the station is located at the edge of the vortex, dense PSC are uncommon. More unexpected is the existence of a systematic seasonal variation of the color of the twilight sky - bluer at spring - which reveals the formation of a dense scattering layer at or just above the tropopause at the end of the winter. Large scattering layers are reported above the station in 1991, first in August around 12-14 km, later in September at 22-24 km. They are attributed to volcanic aerosol from Mt Hudson and Mt Pinatubo respectively, which erupted in 1991. Inspection of the data shows that the lowest entered rapidly into the polar vortex but not the highest which remained outside, demonstrating that the vortex was isolated at 22-26 km
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections
In this paper, we aim at modelling and analyzing the regulation processes in
multi-cellular biological systems, in particular tissues.
The modelling framework is based on interconnected logical regulatory
networks a la Rene Thomas equipped with information about their spatial
relationships. The semantics of such models is expressed through colored Petri
nets to implement regulation rules, combined with topological collections to
implement the spatial information.
Some constraints are put on the the representation of spatial information in
order to preserve the possibility of an enumerative and exhaustive state space
exploration.
This paper presents the modelling framework, its semantics, as well as a
prototype implementation that allowed preliminary experimentation on some
applications.Comment: In Proceedings MeCBIC 2010, arXiv:1011.005
State Space Reduction for Dynamic Process Creation
Automated verification of dynamic multi-threaded computing systems is severely affected by problems relating to dynamic process creation. In this paper, we describe an abstraction technique aimed at generating reduced state space representations for such systems. To make the new technique applicable to a wide range of different system models, we express it in terms of general labelled transition systems.
At the heart of our technique is an equivalence relation on system states based on a suitable isomorphism between their component parts and relationships between component process identifiers. In addition, the equivalence takes into account new process identifiers which can be derived from those present in the states being compared, in effect performing a limited lookahead.
Applying state space reduction based on such a state equivalence may produce a finite representation of an infinite state system while still allowing to validate essential behavioural properties, e.g., freedom from deadlocks. We evaluate the feasibility of the proposed method through extensive experiments. The results clearly demonstrate that the new state space reduction technique can be implemented in an efficient way.
We also describe how the new state equivalence relation can be implemented for a class of high-level Petri nets supporting dynamic thread creation
Detailed experimental and theoretical investigation and comparison of the cascadability of semiconductor optical amplifier gates and gain-clamped semiconductor optical amplifier gates
An analysis of 1.55 mu m InAs/InP quantum dash lasers
Calculations show that electron states are not confined in the dashes in 1.55 mu m InAs/InP quantum dash-in-a-well laser structures. The combination of strain and three-dimensional confinement reduces the calculated density of states (DOS) near the valence band maximum, with the conduction and valence DOS then almost equal close to the band edges. Calculations and photoabsorption measurements show strongly polarized spontaneous emission and gain spectra. Experimental analysis shows the room temperature threshold current is dominated by nonradiative current paths. (C) 2008 American Institute of Physics. (DOI: 10.1063/1.2952194
Ozone loss derived from balloon-borne tracer measurements in the 1999/2000 Arctic winter
Balloon-borne measurements of CFC11 (from the DIRAC in situ gas chromatograph and the DESCARTES grab sampler), ClO and O3 were made during the 1999/2000 Arctic winter as part of the SOLVE-THESEO 2000 campaign, based in Kiruna (Sweden). Here we present the CFC11 data from nine flights and compare them first with data from other instruments which flew during the campaign and then with the vertical distributions calculated by the SLIMCAT 3D CTM. We calculate ozone loss inside the Arctic vortex between late January and early March using the relation between CFC11 and O3 measured on the flights. The peak ozone loss (~1200ppbv) occurs in the 440-470K region in early March in reasonable agreement with other published empirical estimates. There is also a good agreement between ozone losses derived from three balloon tracer data sets used here. The magnitude and vertical distribution of the loss derived from the measurements is in good agreement with the loss calculated from SLIMCAT over Kiruna for the same days
Solid particles in the tropical lowest stratosphere
We report in situ and remote observations proving occasional occurrence of solid particles in the tropical lowest stratosphere, 200 km from deep convective events. The particles were found during field campaigns in Southeast Brazil (49.03 W 22.36 S). They occur in the altitude range from 17.5 to 20.8 km, at temperatures up to at least 10 K above the expected frost point temperature. While stability of ice particles at these altitudes is unexpected from a theoretical point of view, it is argued that these observations are indications of tropospheric air masses penetrating into the stratosphere during convective overshoots. It is argued that the intrusion of tropospheric air must have carried a large amount of water with it, which effectively hydrated the lowest stratosphere, and consequently suppressed sublimation. This conclusion is further supported by a separate water vapor mixing ratio profile obtained at the same observation site
- …