263 research outputs found
Metal layers at high altitudes: A possible connection to meteoroids
International audienceIn the past, many studies have been carried out to demonstrate the influence of meteoroids on the atmospheric metal layer, observed roughly in the altitude range 80?105 km. Even with the capability of present day resonance lidars to measure metal densities within single meteor trails, it has been difficult to prove any influence of meteors on the average metal layer. In contrast to approaches taken earlier, we discuss here the seasonal characteristics of potassium, calcium, calcium ion, iron and sodium above 110 km altitude where the average nocturnal densities are so low that the existence of a baseline level of metal atoms and ions is often overlooked. By comparing simultaneous and common-volume observations of different metal layers at one location, we demonstrate that despite their different seasonal characteristics at lower altitudes remarkably similar seasonal characteristics are observed at higher altitudes. In addition, for potassium at different latitudes a qualitative agreement is also found. A comparison of metal densities at 113 km altitude with known meteor showers indicates a strong influence of shower meteoroids on the topside of the metal layers. Simultaneous observations of K along with Ca, Fe and/or Na permits the calculation of abundance ratios. We find that these ratios at 113 km altitude are quite similar to values measured in single meteor trails by ground based lidars. Given these evidences, we contend that there is a direct influence of ablating meteoroids on the topside of the mesospheric metal layer. Furthermore, the increase in densities throughout summer with similar abundance ratios as observed during meteor showers is a strong evidence for the influence of sporadic meteoroids on the high metal layers
A Model-Derivation Framework for Software Analysis
Model-based verification allows to express behavioral correctness conditions
like the validity of execution states, boundaries of variables or timing at a
high level of abstraction and affirm that they are satisfied by a software
system. However, this requires expressive models which are difficult and
cumbersome to create and maintain by hand. This paper presents a framework that
automatically derives behavioral models from real-sized Java programs. Our
framework builds on the EMF/ECore technology and provides a tool that creates
an initial model from Java bytecode, as well as a series of transformations
that simplify the model and eventually output a timed-automata model that can
be processed by a model checker such as UPPAAL. The framework has the following
properties: (1) consistency of models with software, (2) extensibility of the
model derivation process, (3) scalability and (4) expressiveness of models. We
report several case studies to validate how our framework satisfies these
properties.Comment: In Proceedings MARS 2017, arXiv:1703.0581
The mesospheric metal layer topside: a possible connection to meteoroids
International audienceIn the past, many studies have been carried out to demonstrate the influence of meteoroids on the atmospheric metal layer, observed roughly in the altitude range 80?105 km. Even with the capability of present day resonance lidars to measure metal densities within single meteor trails, it has been difficult to prove any influence of meteors on the average metal layer. In contrast to approaches taken earlier, we discuss here the seasonal characteristics of potassium, calcium, calcium ion, iron and sodium above 110 km altitude where the average nocturnal densities are so low that the existence of a baseline level of metal atoms and ions is often overlooked. By comparing simultaneous and common-volume observations of different metal layers at one location, we demonstrate that despite their different seasonal characteristics at lower altitudes remarkably similar seasonal characteristics are observed at higher altitudes. In addition, a qualitative agreement is also found for potassium at different latitudes. A comparison of metal densities at 113 km altitude with known meteor showers indicates a strong influence of shower meteoroids on the topside of the metal layers. Simultaneous observations of K along with Ca, Fe and/or Na permit the calculation of abundance ratios, which at 113 km altitude are quite similar to values measured in single meteor trails by ground based lidars. Furthermore, the increase in densities throughout summer is strong evidence for the influence of sporadic meteoroids on the high metal layers. This increase correlates well with the seasonal variation of sporadic micrometeor input independent of meteor showers. Given these evidences, we contend that there is a direct influence of ablating meteoroids on the topside of the mesospheric metal layer
Recommended from our members
VAHCOLI, a new concept for lidars: technical setup, science applications, and first measurements
A new concept for a cluster of compact lidar systems named VAHCOLI (Vertical And Horizontal COverage by LIdars) is presented, which allows for the measurement of temperatures, winds, and aerosols in the middle atmosphere (10 110 km) with high temporal and vertical resolution of minutes and some tens of meters, respectively, simultaneously covering horizontal scales from a few hundred meters to several hundred kilometers ( four-dimensional coverage ). The individual lidars ( units ) being used in VAHCOLI are based on a diode-pumped alexandrite laser, which is currently designed to detect potassium (D 770 nm), and on sophisticated laser spectroscopy measuring all relevant frequencies (seeder laser, power laser, backscattered light) with high temporal resolution (2 ms) and high spectral resolution applying Doppler-free spectroscopy. The frequency of the lasers and the narrowband filter in the receiving system are stabilized to typically 10 100 kHz, which is a factor of roughly 105 smaller than the Doppler-broadened Rayleigh signal. Narrowband filtering allows for the measurement of Rayleigh and/or resonance scattering separately from the aerosol (Mie) signal during both night and day. Lidars used for VAHCOLI are compact (volume: 1m3) and multi-purpose systems which employ contemporary electronic, optical, and mechanical components. The units are designed to autonomously operate under harsh field conditions in remote locations. An error analysis with parameters of the anticipated system demonstrates that temperatures and line-of-sight winds can be measured from the lower stratosphere to the upper mesosphere with an accuracy of (0.1 5)K and (0.1 10)ms1, respectively, increasing with altitude. We demonstrate that some crucial dynamical processes in the middle atmosphere, such as gravity waves and stratified turbulence, can be covered by VAHCOLI with sufficient temporal, vertical, and horizontal sampling and resolution. The four-dimensional capabilities of VAHCOLI allow for the performance of time-dependent analysis of the flow field, for example by employing Helmholtz decomposition, and for carrying out statistical tests regarding, for example, intermittency and helicity. The first test measurements under field conditions with a prototype lidar were performed in January 2020. The lidar operated successfully during a 6-week period (night and day) without any adjustment. The observations covered a height range of 5 100 km and demonstrated the capability and applicability of this unit for the VAHCOLI concept
Die Entwicklung des wissenschaftlichen Nachwuchses in der katholischen Theologie Deutschlands vom 1. April 1955 bis zum 31. März 1961
[Abstract fehlt
- …