A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

RADIC II: a fault tolerant architecture with flexible dynamic redundancy

The demand for computational power has been leading the improvement of the High Performance Computing (HPC) area, generally represented by the use of distributed systems like clusters of computers running parallel applications. In this area, fault tolerance plays an important role in order to provide high availability isolating the application from the faults effects. Performance and availability form an undissociable binomial for some kind of applications. Therefore, the fault tolerant solutions must take into consideration these two constraints when it has been designed. In this dissertation, we present a few side-effects that some fault tolerant solutions may presents when recovering a failed process. These effects may causes degradation of the system, affecting mainly the overall performance and availability. We introduce RADIC-II, a fault tolerant architecture for message passing based on RADIC (Redundant Array of Distributed Independent Fault Tolerance Controllers) architecture. RADIC-II keeps as maximum as possible the RADIC features of transparency, decentralization, flexibility and scalability, incorporating a flexible dynamic redundancy feature, allowing to mitigate or to avoid some recovery side-effects.

Inheritance of ductile and brittle structures in the development of large rock slope instabilities: Examples from western Norway

The high density of slope failures in western Norway is due to the steep relief and to the concentration of various structures that followed protracted ductile and brittle tectonics. On the 72 investigated rock slope instabilities, 13 were developed in soft weathered mafic and phyllitic allochthons. Only the intrinsic weakness of such rocks increases the susceptibility to gravitational deformation. In contrast, the gravitational structures in the hard gneisses reactivate prominent ductile or/and brittle fabrics. At 30 rockslides along cataclinal slopes, weak mafic layers of foliation are reactivated as basal planes. Slope-parallel steep foliation forms back-cracks of unstable columns. Folds are specifically present in the Storfjord area, together with a clustering of potential slope failures. Folding increases the probability of having favourably orientated planes with respect to the gravitational forces and the slope. High water pressure is believed to seasonally build up along the shallow-dipping Caledonian detachments and may contribute to destabilization of the rock slope upwards. Regional cataclastic faults localized the gravitational structures at 45 sites. The volume of the slope instabilities tends to increase with the amount of reactivated prominent structures and the spacing of the latter controls the size of instabilities.

Applying RADIC in Open MPI: the methodology used to implement RADIC over a Message Passing Library

Fault tolerance has become a major issue for computer and software engineers because the occurrence of faults increases the cost of using a parallel computer. RADIC is the fault tolerance architecture for message passing systems which is transparent, decentralized, flexible and scalable. This master thesis presents the methodology used to implement the RADIC architecture over Open MPI, a well-know large-used message passing library. This implementation kept the RADIC architecture characteristics. In order to validate the implementation we have executed a synthetic ping program, besides, to evaluate the implementation performance we have used the NAS Parallel Benchmarks. The results prove that the RADIC architecture performance depends on the communication pattern of the parallel application which is running. Furthermore, our implementation proves that the RADIC architecture could be implemented over an existent message passing library.

Characteristic reflection patterns in the southeast Canadian cordillera, northern Appalachians and Swiss Alps

There are some striking similarities and some differences between the seismic reflection sections recorded across the fold and thrust belts of the southeast Canadian Cordillera, Quebec-Maine Appalachians and Swiss Alps. In the fold and thrust belts of all three mountain ranges, seismic reflection surveys have yielded high-quality images of. (1) nappes (thin thrust sheets) stacked on top of ancient continental margins; (2) ramp anticlines in the hanging walls of faults that have ramp-flat or listric geometries; (3) back thrusts and back folds that developed during the terminal phases of orogeny; and (4) tectonic wedges and regional decollements. A principal result of the Cordilleran and Appalachian deep crustal studies has been the recognition of master decollements along which continental margin strata have been transported long distances, whereas a principal result of the Swiss Alpine deep crustal program has been the identification of the Adriatic indenter, a crustal-scale wedge that caused delamination of the European lithosphere. Significant crustal roots are observed beneath the fold and thrust belts of the Alps, southeast Canadian Cordillera and parts of the southern Appalachians, but such structures beneath the northern Appalachians have probably been removed by post-orogenic collapse and/or crustal attenuation associated with the Mesozoic opening of the Atlantic Ocean.

Complex landslide behaviour and structural controlled by the structures: A 3D conceptual model example of Åknes rockslide, Norway

Åknes is an active complex large rockslide of approximately 30?40 Mm3 located within the Proterozoic gneisses of western Norway. The observed surface displacements indicate that this rockslide is divided into several blocks moving in different directions at velocities of between 3 and 10 cm year?1. Because of regional safety issues and economic interests this rockslide has been extensively monitored since 2004. The understanding of the deformation mechanism is crucial for the implementation of a viable monitoring system. Detailed field investigations and the analysis of a digital elevation model (DEM) indicate that the movements and the block geometry are controlled by the main schistosity (S1) in gneisses, folds, joints and regional faults. Such complex slope deformations use pre-existing structures, but also result in new failure surfaces and deformation zones, like preferential rupture in fold-hinge zones. Our interpretation provides a consistent conceptual three-dimensional (3D) model for the movements measured by various methods that is crucial for numerical stability modelling. In addition, this reinterpretation of the morphology confirms that in the past several rockslides occurred from the Åknes slope. They may be related to scars propagating along the vertical foliation in folds hinges. Finally, a model of the evolution of the Åknes slope is presented.

Gestió dels recursos hídrics del Monestir Budista Sakya Tashi Ling

Amb la finalitat de millorar l’autosuficiència hídrica del monestir budista del Garraf Sakya Tashi Ling, es fa una avaluació de l’estat dels recursos hídrics d’aquest sistema, així com els seus usos i punts de consum. L’avaluació s’ha realitzat mitjançant la integració i ús de paràmetres mediambientals, hídrics i arquitectònics. Amb l’estimació d’entrades i consums d’aigua, juntament amb els càlculs realitzats, s’ha diagnosticat l’estat actual del sistema. Mitjançant la realització d’un inventari dels diferents equipaments i dispositius instal·lats en els punts de consum d’aigua, s’han detectat mancances en la eficiència hídrica com l’escassa implementació de dispositius d’estalvi hídric o la inexistent captació de les aigües pluvials. El diagnòstic de les mancances ha orientat les propostes de millora aplicables al sistema. Aquestes incideixen principalment en la millora de l’estalvi d’aigua amb la instal·lació de dispositius estalviadors i en la captació d’aigües pluvials mitjançant una xarxa de recollida, emmagatzematge i distribució.

Bimodal magmatism as a consequence of the post-collisional readjustment of the thickened Variscan continental lithosphere (Aiguilles Rouges - Mont Blanc Massifs, Western Alps)

High Precision U-Pb zircon and monazite dating in the Aiguilles Rouges-Mont Blanc area allowed discrimination of three short-lived bimodal magmatic pulses: the early 332 Ma Mg-K Pormenaz monzonite and associated 331 Ma peraluminous Montees Pelissier monzogranite; the 307 Ma cordierite-bearing peraluminous Vallorcine and Fully intrusions; and the 303 Fe-K Mont Blanc syenogranite. All intruded syntectonically along major-scale transcurrent faults at a time when the substratum was experiencing tectonic exhumation, active erosion recorded in detrital basins and isothermal decompression melting dated at 327-320 Ma. Mantle activity and magma mixing are evidenced in all plutons by coeval mafic enclaves, stocks and synplutonic dykes. Both crustal and mantle sources evolve through time, pointing to an increasingly warm continental crust and juvenile asthenospheric mantle sources. This overall tectono-magmatic evolution is interpreted in a scenario of post-collisional restoration to normal size of a thickened continental lithosphere. The latter re-equilibrates through delamination and/or erosion of its mantle root and tectonic exhumation/erosion in an overall extensional regime. Extension is related to either gravitational collapse or back-are extension of a distant subduction zone.

Synthèse de l'évolution de la plateforme Urgonienne (Barrémien tardif à Aptien précoce) du Sud-Est de la France : facies, micropaléontologie, géochimie, géométries, paléotectonique et géomodélisation

Il y a environ 125 millions d'années, au Crétacé inférieur, la position des continents et le climat terrestre étaient bien différents de ce que l'on connait aujourd'hui. Le Sud-Est de la France, secteur de cette étude, était alors recouvert d'eau, sous un climat chaud et humide. Sur la bordure de cette étendue d'eau (appelée bassin Vocontien), qui correspond aujourd'hui aux régions de la Provence, du Vaucluse, du Gard, de l'Ardèche et du Vercors, des plateformes carbonatées, (telles que les Bahamas), se développaient. Le calcaire, formé à partir des sédiments accumulés sur ces plateformes, est appelé Urgonien. L'objectif de cette étude est de définir les facteurs qui ont influencé le développement de cette plateforme carbonatée dite « urgonienne » et dans quelle mesure. Plusieurs missions de terrain ont permis de récolter de nombreux échantillons de roche en 52 lieux répartis sur l'ensemble du Sud-Est de la France. Les observations réalisées sur le terrain ainsi que les données acquises en laboratoire (microfaune, microfacies et données géo-chimiques) ont permis, de subdiviser chacune des 52 séries urgoniennes en séquences stratigraphiques et cortèges sédimentaires. La comparaison des épaisseurs et des faciès de chaque cortège sédimentaire permet de concevoir la géométrie et l'évolution paléogéographique de la plateforme urgonienne. Les résultats de cette étude démontrent que son organisation est principalement dirigée par des failles qui ont jouées pendant le dépôt des sédiments. Sur la bordure nord du bassin Vocontien, trois failles subméridiennes contrôlent la géométrie et la répartition des environnements de dépôt. Sur sa bordure sud, ces failles synsédimentaires d'orientation N30° et N110° délimitent des blocs basculés. En tête de bloc, des séries d'épaisseurs réduites à faciès de lagon interne se sont déposées alors que les pieds de blocs sont caractérisés par des épaisseurs importantes et la présence de faciès plus externes. Ces concepts ont ensuite été testés en construisant un modèle numérique en trois dimensions de l'Urgonien du Sud-Est de la France. Sa cohérence avec les données acquises tout au long de cette étude d'une part, et sa cohérence géométrique d'autre part, valide les théories avancées. Des formations équivalentes à l'Urgonien sont réparties dans le monde entier et notamment au Moyen-Orient où elles constituent les réservoirs pétroliers les plus importants. Etre capable de caractériser les facteurs ayant influencé son architecture permet par la suite une meilleure exploitation de ses ressources énergétiques. -- Au Crétacé inférieur, l'intense activité magmatique due à la dislocation du super-continent Pangée influence fortement les conditions environnementales globales. Au Barrémien terminal et Aptien basal, période géologique dont fait l'objet cette étude, le bassin Vocontien, puis Bédoulien, recouvre le Sud-Est de la France, sous un climat chaud et humide. Sur les bordures de ces bassins, des plateformes carbonatées se mettent en place. Les sédiments qui se déposent sur ces plateformes sont à l'origine de la formation urgonienne. Afin d'étudier cette formation, une charte biostratigraphique, principalement basée sur les Orbitolinidés, et un modèle de faciès ont été développés. Les assemblages faunistiques, la succession des faciès, les observations de terrain ainsi que l'étude de signaux géochimiques ont permis le découpage séquentiel de la série urgonienne le long de 54 coupes et puis, répartis sur l'ensemble du Sud-Est de la France. Les corrélations induites par cette étude stratigraphique ont mis en évidence d'importantes variations d'épaisseur et d'environnements de dépôt au sein même de la plateforme urgonienne. Ces variations sont expliquées par le jeu de failles syn-sédimentaires qui ont compartimentées la plateforme urgonienne en blocs. Sur la bordure sud du bassin Vocontien, ces failles d'orientation N30° et N110° délimitent six blocs basculés. Au sommet du Barrémien terminal, la subsidence des blocs situés le plus au sud s'amplifie jusqu'à provoquer l'ouverture du bassin de la Bédoule au sud du secteur d'étude. Cette théorie d'évolution a ensuite été testée par l'élaboration d'un modèle numérique en trois dimensions de l'Urgonien du Sud-Est de la France. Sa cohérence avec les données acquises tout au long de cette étude d'une part, et sa cohérence géométrique d'autre part, valide les théories avancées. Des analogues de l'Urgonien sont répartis dans le monde entier et notamment au Moyen-Orient où ils représentent d'importants réservoirs pétroliers. Être capable de caractériser les facteurs ayant influencé l'architecture de l'Urgonien du Sud-Est de la France permet par la suite une meilleure exploitation de ses ressources énergétiques. -- During the Early Cretaceous epoch, intensive magmatic activity due to the dislocation of the super-continent Pangaea, highly influenced global environmental conditions, which were characterized by a warm and generally humic climate. In this context, carbonate platforms were important in tropical and subtropical shallow-water regions, and especially during the late Barremian and early Aptian, platform carbonates of so-called Urgonian affinity are widespread. In southeastern France, the Urgonian platform was part of the northern Tethyan margin and bordered the Vocontian and the Bedoulian basins. The goal of this thesis was the systematic study of the Urgonian Formation in this region, and in order to achieve this goal, a biostratigraphic chart and a facies model were developed. The faunistic assemblages, the facies succession, the field observations and the study of geochemical signals lead to a sequential subdivision of the Urgonian series along 54 sections and wells allocated in five different regions in southeastern France (Gard, Ardèche, Vercors, Vaucluse and Provence). Correlations from this stratigraphic study highlight important variations in thickness and depositional environments of the Urgonian series. These variations are explained by relative movements induced by syn-sedimentary faults, which divided the Urgonian platforms into blocks. On the southern border of the Vocontian basin, these faults, oriented N30° and N110°, delineate six tilted blocks. At the top of the upper Barremian carbonates, subsidence of the two southern blocks accelerated leading to the opening of the Bedoulian basin. The reconstruction of the sequence-stratigraphic and paleoenvironmental evolution of the Urgonian platforms was then tested by the construction of a 3D numerical model of the Urgonian formation of southeastern France. Firstly, its consistency with the data collected during this study, and secondly, its geometrical coherence validate the proposed theory. Urgonian analogs exist all over the world and particularly in Middle East where they constitute important oil reservoirs. The exact reconstruction of the major factors, which influenced the architecture of these formations, will allow for a better exploitation of these energy resources.

Mejorando la robustez de aplicaciones frente a fallos transitorios

Computer chips implementation technologies evolving to obtain more performance are increasing the probability of transient faults. As this probability grows and on-chip solutions are expensive or tend to degrade processor performance, the efforts to deal with these transient faults in higher levels (such as the operating system or even at the application level) are increasing. Mostly, these efforts are trying to avoid silent data corruptions using hardware, software and hybrid based techniques to add redundancy to detect the errors generated by the transient faults. This work presents our proposal to improve the robustness of applications with source code based transformation adding redundancy. Also, our proposal takes account of the tradeoff between the improved robustness and the overhead generated by the added redundancy.

Tectonic evolution of the High Himalaya in upper Lahul (NW Himalaya, India)

The Upper Lahul region in the NW Himalaya is located in the transition zone between the High Himalayan Crystalline (HHC) to the SW and the Tethyan Zone sedimentary series to the NE. The tectonic evolution of these domains during the Himalayan Orogeny is the consequence of a succession of five deformation events. An early D1 phase corresponds to synmetamorphic, NE verging folding. This deformation created the Tandi Syncline, which consists of Permian to Jurassic Tethyan metasediments cropping out in the core of a large-scale synformal fold within the HHC paragneiss. This tectonic event is interpreted as related to a NE directed nappe stacking (Shikar Beh Nappe), probably during the late Eocene to the early Oligocene. A subsequent D2a phase caused SW verging folding in the HHC. This deformation is interpreted as contemporaneous with late Oligocene to early Miocene SW directed thrusting along the Main Central Thrust. In the Tethyan Zone, a D2b phase is marked by a decollement thrust, a system of reverse faults, and gentle folds, associated with SW directed tectonic movements. This deformation is related to an imbricate structure, characteristic of a shallow structural level, and developed in the frontal part of a nappe affecting the Tethyan Zone units of SE Zanskar (Nyimaling-Tsarap Nappe). A later D3 phase generated the Chandra Dextral Shear Zone (CDSZ), a large-scale, ductile, dextral strike-slip shear zone, located in the transition zone between the HHC and the Tethyan Himalaya. The CDSZ most likely represents a part of a system of early Miocene extensional and/or dextral, strike-slip shear zones-observed at the HHC-Tethyan Zone contact along the entire Himalaya. A final D4 phase induced large-scale doming and NE:verging back folding.

The oldest Triassic platform margin reef from the Alpine - Carpathian region (Aggtelek, NE Hungary): platform evolution, reefal biota and biostratigraphic framework

The 1:10,000 scale mapping of the southern part of the Aggtelek Plateau (Western Carpathians, Silica Nappe, NE Hungary) and the study of five sections revealed two Middle Triassic reef bodies. In the late Pelsonian the uniform Steinalm Platform was drowned and dissected due to the Reifling Event. A connection with the open sea was established, indicated by the appearance of gladigondolellid conodonts from the early Illyrian. Basins and highs were formed. In the NW part of the studied area lower - middle? Illyrian basinal carbonates were followed by a platform margin reef (early? - middle Illyrian; reef stage 1) developed on a morphological high. This is the oldest known Triassic platform margin reef within the Alpine-Carpathian region. The reef association is dominated by sphinctozoans and microproblematics. The fossils are characteristic of the Wetterstein - type reef communities. Differently from this in the SE part of the studied region a basin existed from the late Pelsonian until the early Ladinian. During the late Illyrian - early Ladinian, the reef prograded to the SE, and reef stage 2 was established. Meanwhile, on the NW part of the platform a lagoon was formed behind the reef. Based on our palaeontological study the stratigraphic range of Colospongia catenulata, Follicatena cautica, Solenolmia manon manon, Vesicocaulis oenipontanus must be extended down to the middle Illyrian. Synsedimentary tectonics were detected in the 1. Binodosus Subzone, 2. Trinodosus Zone - the most part of the Reitzi Zone, 3. Avisianum Subzone.

I-SS: integrated supervision systems approach based on interactive components

Process supervision is the activity focused on monitoring the process operation in order to deduce conditions to maintain the normality including when faults are present Depending on the number/distribution/heterogeneity of variables, behaviour situations, sub-processes, etc. from processes, human operators and engineers do not easily manipulate the information. This leads to the necessity of automation of supervision activities. Nevertheless, the difficulty to deal with the information complicates the design and development of software applications. We present an approach called "integrated supervision systems". It proposes multiple supervisors coordination to supervise multiple sub-processes whose interactions permit one to supervise the global process

Application for fault location in electrical power distribution systems

Fault location has been studied deeply for transmission lines due to its importance in power systems. Nowadays the problem of fault location on distribution systems is receiving special attention mainly because of the power quality regulations. In this context, this paper presents an application software developed in Matlabtrade that automatically calculates the location of a fault in a distribution power system, starting from voltages and currents measured at the line terminal and the model of the distribution power system data. The application is based on a N-ary tree structure, which is suitable to be used in this application due to the highly branched and the non- homogeneity nature of the distribution systems, and has been developed for single-phase, two-phase, two-phase-to-ground, and three-phase faults. The implemented application is tested by using fault data in a real electrical distribution power system

Latest Miocene - Pliocene Larger Foraminifera and depositional environments of the carbonate bank of La Désirade Island, Guadeloupe (French Antilles)

In this paper we present first results of the study of planktonic Foraminifera, large benthic Foraminifera and carbonate facies of La Désirade, aiming at a definition of the age and depositional environments of the Neogene carbonates of this island. The study of planktonic Foraminifera from the Detrital Offshore Limestones (DOL) of the Anciènne Carrière allows to constrain the biochronology of this formation to the lower Zone N19 and indicates a latest Miocene to early Pliocene (5.48 - 4.52 Ma) age. Large benthic Foraminifera were studied both as isolated and often naturally split specimens from the DOL, and in thin sections of limestones from the DOL and the Limestone Table (LT). The assemblages of Foraminifera include Nummulitidae, Amphisteginidae, Asterigerinidae, Peneroplidae, Soritidae, Rotalidae (Globigerinidae: Globigerinoides, Sphaeroidenellopsis, Orbulina) and incrusting Foraminifera (Homotrema and Sporadotrema). The genera Amphistegina, Archaias and Operculina are discussed. Concerning the Nummulitidae we include both "Paraspiroclypeus" chawneri and "Nummulites" cojimarensis, as well as a newly described species, Operculina desiradensis new species, in the genus Operculina, because the differences between these 3 species are rather on the specific than the generic level, while their morphology, studied by SEM, is compatible with the definition of the genus Operculina (D'Orbigny1826, emend. Hottinger 1977). The three species can be easily distinguished on the basis of their differences in spiral growth: while O. desiradensis has an overall logarithmic spiral growth, O. cojimarensis and especially O. chawneri show a tighter and more geometric spiral growth. O. cojimarensis and O. chawneri were originally described from Cuba in outcrops originally dated as Oligocene and later redated as early Pliocene. Therefore, O. chawneri was considered until now as restricted to the early Pliocene. However, in the absence of a detailed morphometric and biostratigraphic study of the Caribbean Neogene nummulitids, it is difficult to evaluate the biochronologic range of these species.The history of the carbonates begins with the initial tectonic uplift and erosion of the Jurassic igneous basement of La Désirade, that must have occurred at latest in late Miocene times, when sea-level oscillated around a long term stable mean. The rhythmic deposition of the Désirade Limestone Table (LT) can be explained by synsedimentary subsidence in a context of rapidly oscillating sea-level due to precession-driven (19-21 kyr) glacio-eustatic sea-level changes during the latest Miocene- Pliocene. Except for a thin reef cap present at the eastern edge of the LT, no other in-place reefal constructions have been observed in the LT. The DOL of western Désirade are interpreted as below wave base gravity deposits that accumulated beneath a steep fore-reef slope. They document the mobilisation of carbonate material (including Larger Foraminifera) from an adjacent carbonate platform by storms and their gravitational emplacement as debris and grain flows. The provenance of both the reefal carbonate debris and the tuffaceous components redeposited in the carbonates of La Désirade must be to the west, i. e. the carbonate platforms of Marie Galante and Grande Terre.