600 research outputs found
A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic
International audienceComponent Based Software Engineering has now emerged as a discipline for system development. After years of battle between component platforms, the need for means to abstract away from specific implementation details is now recognized. This paves the way for model driven approaches (such as MDE) but also for the more older Architectural Description Language (ADL) paradigm. In this paper we present KADL, an ADL based on the Korrigan formal language which supports the following features: integration of fully formal behaviours and data types, expressive component composition mechanisms through the use of modal logic, specification readability through graphical notations, and dedicated architectural analysis techniques. Key Words: Architectural Description Language, Component Based Software Engineering, Mixed Formal Specifications, Symbolic Transition Systems, Abstract Data Types, Modal Logic Glue, Graphical Notations, Verification
African monsoon teleconnections with tropical SSTs: validation and evolution in a set of IPCC4 simulations
A set of 12 state-of-the-art coupled oceanatmosphere general circulation models (OAGCMs) is explored to assess their ability to simulate the main teleconnections between the West African monsoon (WAM) and the tropical sea surface temperatures (SSTs) at the interannual to multi-decadal time scales. Such teleconnections are indeed responsible for the main modes of precipitation variability observed over West Africa and represent an interesting benchmark for the models that have contributed to the fourth Assessment Report of the Intergovernmental Panel on Climate Change (IPCC4). The evaluation is based on a maximum covariance analysis (MCA) applied on tropical SSTs and WAM rainfall. To distinguish between interannual and multi-decadal variability, all datasets are partitioned into low-frequency (LF) and high-frequency (HF) components prior to analysis. First applied to HF observations, the MCA reveals two major teleconnections. The first mode highlights the strong influence of the El Niño Southern Oscillation (ENSO). The second mode reveals a relationship between the SST in the Gulf of Guinea and the northward migration of the monsoon rainbelt over the West African continent. When applied to HF outputs of the twentieth century IPCC4 simulations, the MCA provides heterogeneous results. Most simulations show a single dominant Pacific teleconnection, which is, however, of the wrong sign for half of the models. Only one model shows a significant second mode, emphasizing the OAGCMsâ difficulty in simulating the response of the African rainbelt to Atlantic SST anomalies that are not synchronous with Pacific anomalies. The LF modulation of these HF teleconnections is then explored through running correlations between expansion coefficients (ECs) for SSTs and precipitation. The observed time series indicate that both Pacific and Atlantic teleconnections get stronger during the twentieth century. The IPCC4 simulations of the twentieth and twenty-first centuries do not show any significant change in the pattern of the teleconnections, but the dominant ENSO teleconnection also exhibits a significant strengthening, thereby suggesting that the observed trend could be partly a response to the anthropogenic forcing. Finally, the MCA is also applied to the LF data. The first observed mode reveals a well-known inter-hemispheric SST pattern that is strongly related to the multi-decadal variability of the WAM rainfall dominated by the severe drying trend from the 1950s to the 1980s. Whereas recent studies suggest that this drying could be partly caused by anthropogenic forcings, only 5 among the 12 IPCC4 models capture some features of this LF coupled mode. This result suggests the need for a more detailed validation of the WAM variability, including a dynamical interpretation of the SSTârainfall relationships
A very-front-end ADC for the electromagnetic calorimeter of the International Linear Collider
A 10-bits pipeline Analog-to-Digital Converter (ADC) is introduced in this paper and the measurements carried out on prototypes produced in a 0.35 ”m CMOS technology are presented. This ADC is a building block of the very-front-end electronics dedicated to the electromagnetic calorimeter of the International Linear Collider (ILC). Based on a 1.5-bit resolution per stage architecture, it reaches the 10-bits precision at a sampling rate of 4 MSamples/s with a consumption of 35 mW. Integral and Differential Non-Linearity obtained are respectively within ±1 LSB and ±0.6 LSB, and the measured noise is 0.47 LSB at 68% C.L. The performance obtained conïŹrms that the pipeline architecture ADC is suitable for the Ecal readout requirement
JavaCompExt: Extracting Architectural Elements from Java Source Code
International audienceSoftware architecture erosion is a general problem in legacy software. To fight this trend, component models and languages are designed to try to make explicit, and automatically enforceable, the architectural decisions in terms of components, interfaces, and allowed communication channels between component interfaces. To help maintainers work on existing object-oriented systems, we explore the possibility of extracting architectural elements (components, communications, services, ...) from the source code. We designed a tool based on some heuristics for extracting component information from Java source code
Building of the Amsterdam-Saint Paul plateau: A 10 Myr history of a ridge-hot spot interaction and variations in the strength of the hot spot source
International audienceThe Amsterdam-Saint Paul plateau results from a 10 Myr interaction between the South East Indian Ridge and the Amsterdam-Saint Paul hot spot. During this period of time, the structure of the plateau changed as a consequence of changes in both the ridge-hot spot relative distance and in the strength of the hot spot source. The joint analysis of gravity-derived crust thickness and bathymetry reveals that the plateau started to form at ~10 Ma by an increase of the crustal production at the ridge axis, due to the nearby hot spot. This phase, which lasted 3-4 Myr, corresponds to a period of a strong hot spot source, maybe due to a high temperature or material flux, and decreasing ridge-hot spot distance. A second phase, between ~6 and ~3 Ma, corresponds to a decrease in the ridge crustal production. During this period, the hot spot center was close to the ridge axis and this reduced magmatic activity suggests a weak hot spot source. At ~3 Ma, the ridge was located approximately above the hot spot center. An increase in the hot spot source strength then resulted in the building of the shallower part of the plateau. The variations of the melt production at the ridge axis through time resulted in variations in crustal thickness but also in changes in the ridge morphology. The two periods of increased melt production correspond to smooth ridge morphology, characterized by axial highs, while the intermediate period corresponds to a rougher, rift-valley morphology. These variations reveal changes in axial thermal structure due to higher melting production rates and temperatures
Skiroc: A Front-end Chip to Read Out the Imaging Silicon-Tungsten Calorimeter for ILC
Integration and low-power consumption of the read-out ASIC for the International Linear Collider (ILC) 82-millionchannel W-Si calorimeter must reach an unprecedented level as it will be embedded inside the detector. Uniformity and dynamic range performance has to reach the accuracy to achieve calorimetric measurement. A first step towards this goal has been a 10,000-channel physics prototype of 18*18 cm which is currently in test beam in CERN. A new version of a full integrated read out chip (SKIROC) has been designed to equip the technologic prototype to be built for 2009. Based on the running physics prototype ASIC (FLC_PHY3), it embeds most of the required features expected for the final detector. The dynamic range has been improved from 500 to 2000 MIP. An auto-trigger capability has been added allowing built-in zero suppress. The number of channel has been doubled reaching 36 to fit smaller silicon pads and the lownoise charge preamplifier now accepts both AC and DC coupled detectors. After an exhaustive description, the measurement results of that new front-end chip will be presented. The results on the technological R&D concurrently conducted on the ultra-thin PCB hosting both the front-end electronic and the silicon detectors will also be described
Wavelength-scale stationary-wave integrated Fourier-transform spectrometry
Spectrometry is a general physical-analysis approach for investigating
light-matter interactions. However, the complex designs of existing
spectrometers render them resistant to simplification and miniaturization, both
of which are vital for applications in micro- and nanotechnology and which are
now undergoing intensive research. Stationary-wave integrated Fourier-transform
spectrometry (SWIFTS)-an approach based on direct intensity detection of a
standing wave resulting from either reflection (as in the principle of colour
photography by Gabriel Lippmann) or counterpropagative interference
phenomenon-is expected to be able to overcome this drawback. Here, we present a
SWIFTS-based spectrometer relying on an original optical near-field detection
method in which optical nanoprobes are used to sample directly the evanescent
standing wave in the waveguide. Combined with integrated optics, we report a
way of reducing the volume of the spectrometer to a few hundreds of cubic
wavelengths. This is the first attempt, using SWIFTS, to produce a very small
integrated one-dimensional spectrometer suitable for applications where
microspectrometers are essential
The Logarithmic Sobolev Constant of The Lamplighter
We give estimates on the logarithmic Sobolev constant of some finite
lamplighter graphs in terms of the spectral gap of the underlying base. Also,
we give examples of application
- âŠ