Impact of the assimilation of conventional data on the quantitative precipitation forecasts in the Eastern Mediterranean

International audienceThis study is devoted to the evaluation of the role of assimilation of conventional data on the quantitative precipitation forecasts at regional scale. The conventional data included surface station reports as well as upper air observations. The analysis was based on the simulation of 15 cases of heavy precipitation that occurred in the Eastern Mediterranean. The verification procedure revealed that the ingestion of conventional data by objective analysis in the initial conditions of BOLAM limited area model do not result in a statistically significant improvement of the quantitative precipitation forecasts

Second International Competition on Runtime Verification: CRV 2015

International audienceWe report on the Second International Competition on Run-time Verification (CRV-2015). The competition was held as a satellite event of the 15th International Conference on Runtime Verification (RV'15). The competition consisted of three tracks: o✏ine monitoring, online monitoring of C programs, and online monitoring of Java programs. This report describes the format of the competition, the participating teams and submitted benchmarks. We give an example illustrating the two main inputs expected from the participating teams, namely a benchmark (i.e., a program and a property on this program) and a monitor for this benchmark. We also propose some reflection based on the lessons learned

Technical Note: High-resolution mineralogical database of dust-productive soils for atmospheric dust modeling

Dust storms and associated mineral aerosol transport are driven primarily by meso- and synoptic-scale atmospheric processes. It is therefore essential that the dust aerosol process and background atmospheric conditions that drive dust emissions and atmospheric transport are represented with sufficiently well-resolved spatial and temporal features. The effects of airborne dust interactions with the environment determine the mineral composition of dust particles. The fractions of various minerals in aerosol are determined by the mineral composition of arid soils; therefore, a high-resolution specification of the mineral and physical properties of dust sources is needed. <br></br> Several current dust atmospheric models simulate and predict the evolution of dust concentrations; however, in most cases, these models do not consider the fractions of minerals in the dust. The accumulated knowledge about the impacts of the mineral composition in dust on weather and climate processes emphasizes the importance of including minerals in modeling systems. Accordingly, in this study, we developed a global dataset consisting of the mineral composition of the current potentially dust-producing soils. In our study, we (a) mapped mineral data to a high-resolution 30 s grid, (b) included several mineral-carrying soil types in dust-productive regions that were not considered in previous studies, and (c) included phosphorus

Saharan dust and ice nuclei over Central Europe

Surface measurements of aerosol and ice nuclei (IN) at a Central European mountain site during an episode of dust transport from the Sahara are presented. Ice nuclei were sampled by electrostatic precipitation on silicon wafers and were analyzed in an isothermal static vapor diffusion chamber. The transport of mineral dust is simulated by the Eulerian regional dust model DREAM. Ice nuclei and mineral dust are significantly correlated, in particular IN number concentration and aerosol surface area. The ice nucleating characteristics of the aerosol as analyzed with respect to temperature and supersaturation are similar during the dust episode than during the course of the year. This suggests that dust may be a main constituent of ice nucleating aerosols in Central Europe

Measurements of Saharan dust aerosols over the Eastern Mediterranean using elastic backscatter-Raman lidar, spectrophotometric and satellite observations in the frame of the EARLINET project

We report on the vertical distributions of Saharan dust aerosols over the N.E. Mediterranean region, which were obtained during a typical dust outbreak on August 2000, by two lidar systems located in Athens and Thessaloniki, Greece, in the frame of the European EARLINET project. MODIS and ground sun spectrophotometric data, as well as air-mass backward trajectories confirmed the existence of Saharan dust in the case examined, which was also successfully forecasted by the DREAM dust model. The lidar data analysis for the period 2000-2002 made possible, for the first time, an estimation of the vertical extent of free tropospheric dust layers [mean values of the aerosol backscatter and extinction coefficients and the extinction-to-backscatter ratio (lidar ratio, LR) at 355 nm], as well as a seasonal distribution of Saharan dust outbreaks over Greece, under cloud-free conditions. A mean value of the lidar ratio at 355 nm was obtained over Athens (53±1 sr) and over Thessaloniki (44±2 sr) during the Saharan dust outbreaks. The corresponding aerosol optical thickness (AOT) at 355 nm, in the altitude range 0-5 km, was 0.69±0.12 and 0.65±0.10 for Athens and Thessaloniki, respectively (within the dust layer the AOT was 0.23 and 0.21, respectively). Air-mass back-trajectory analysis performed in the period 2000-2002 for all Saharan dust outbreaks over the N.E. Mediterranean indicated the main pathways followed by the dust aerosols

Robust Online Monitoring of Signal Temporal Logic

Signal Temporal Logic (STL) is a formalism used to rigorously specify requirements of cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interaction with a continuous environment or analog com- ponents. STL is naturally equipped with a quantitative semantics which can be used for various purposes: from assessing the robustness of a specification to guiding searches over the input and parameter space with the goal of falsifying the given property over system behaviors. Algorithms have been proposed and implemented for offline computation of such quantitative semantics, but only few methods exist for an online setting, where one would want to monitor the satisfaction of a formula during simulation. In this paper, we formalize a semantics for robust online monitoring of partial traces, i.e., traces for which there might not be enough data to decide the Boolean satisfaction (and to compute its quantitative counterpart). We propose an efficient algorithm to compute it and demonstrate its usage on two large scale real-world case studies coming from the automotive domain and from CPS education in a Massively Open Online Course (MOOC) setting. We show that savings in computationally expensive simulations far outweigh any overheads incurred by an online approach

Labour Market and Social Policy in Italy: Challenges and Changes. Bertelsmann Policy Brief #2016/02

vEight years after the outbreak of the financial crisis, Italy has still to cope with and overcome a plethora of economic and social challenges. On top of this, it faces an unfavourable demographic structure and severe disparities between its northern and southern regions. Some promising reforms have recently been enacted, specifically targeting poverty and social exclusion. However, much more remains to be done on the way towards greater economic stability and widely shared prosperity

Contracts for System Design

Systems design has become a key challenge and differentiating factor over the last decades for system companies. Aircrafts, trains, cars, plants, distributed telecommunication military or health care systems, and more, involve systems design as a critical step. Complexity has caused system design times and costs to go severely over budget so as to threaten the health of entire industrial sectors. Heuristic methods and standard practices do not seem to scale with complexity so that novel design methods and tools based on a strong theoretical foundation are sorely needed. Model-based design as well as other methodologies such as layered and compositional design have been used recently but a unified intellectual framework with a complete design flow supported by formal tools is still lacking albeit some attempts at this framework such as Platform-based Design have been successfully deployed. Recently an "orthogonal" approach has been proposed that can be applied to all methodologies proposed thus far to provide a rigorous scaffolding for verification, analysis and abstraction/refinement: contractbased design. Several results have been obtained in this domain but a unified treatment of the topic that can help in putting contract-based design in perspective is still missing. This paper intends to provide such treatment where contracts are precisely defined and characterized so that they can be used in design methodologies such as the ones mentioned above with no ambiguity. In addition, the paper provides an important link between interfaces and contracts to show similarities and correspondences. Examples of the use of contracts in design are provided as well as in depth analysis of existing literature.Cet article fait le point sur le concept de contrat pour la conception de systèmes. Les contrats que nous proposons portent, non seulement sur des propriétés de typage de leurs interfaces, mais incluent une description abstraite de comportements. Nous proposons une méta-théorie, ou, si l'on veut, une théorie générique des contrats, qui permet le développement séparé de sous-systèmes. Nous montrons que cette méta-théorie se spécialise en l'une ou l'autre des théories connues

Contracts for Systems Design: Theory

Aircrafts, trains, cars, plants, distributed telecommunication military or health care systems,and more, involve systems design as a critical step. Complexity has caused system design times and coststo go severely over budget so as to threaten the health of entire industrial sectors. Heuristic methods andstandard practices do not seem to scale with complexity so that novel design methods and tools based on astrong theoretical foundation are sorely needed. Model-based design as well as other methodologies suchas layered and compositional design have been used recently but a unified intellectual framework with acomplete design flow supported by formal tools is still lacking.Recently an “orthogonal” approach has been proposed that can be applied to all methodologies introducedthus far to provide a rigorous scaffolding for verification, analysis and abstraction/refinement: contractbaseddesign. Several results have been obtained in this domain but a unified treatment of the topic that canhelp in putting contract-based design in perspective is missing. This paper intends to provide such treatmentwhere contracts are precisely defined and characterized so that they can be used in design methodologiessuch as the ones mentioned above with no ambiguity. In addition, the paper provides an important linkbetween interface and contract theories to show similarities and correspondences.This paper is complemented by a companion paper where contract based design is illustrated throughuse cases