Toward a validation process for model based safety analysis

Today, Model Based processes become more and more widespread to achieve the analysis of a system. However, there is no formal testing approach to ensure that the formal model is compliant with the real system. In the paper, we choose to study AltaRica model. We present a general process to well construct and validate an AltaRica formal model. The focus is made on this validation phase, i.e. verifying the compliance between the model and the real system. For it, the proposed process recommends to build a specification for the AltaRica model. Then, the validation process is transformed to a classical verification problem between an implementation and a specification

Toward a methodology for the AltaRica modelling of multi-physical systems

Numerous works deal with the use of the formal language AltaRica to improve the safety as-sessment process of industrial systems. In this context, the paper aims at describing and applying a common methodology to model physical systems. The example of a mechanical system and a hydro-mechanical system will be taken

Towards better comprehension of Uk’37 and TEX86 molecular paleothermometers : data-model approach applied to the iberian margin

L’objectif de ma thèse est de mieux comprendre le fonctionnement de deux proxies de température de surface de l’océan (SST), les indices Uk’37 et TEX86, notamment en terme de saison et de profondeur de production des alcènones et des tétraéthers sur lesquels ils reposent, au cours des 160 000 dernières années au niveau de la marge ibérique. L’originalité de ce projet de thèse réside dans sa double approche, avec d’une part l’acquisition des enregistrements sédimentaires, et d’autre part l’utilisation d’un outil de modélisation régionale couplée physique-biogéochimie pour simuler ces proxies sous 3 modes climatiques : au présent, lors du dernier maximum glaciaire, et lors d’événements de Heinrich. La confrontation des résultats des biomarqueurs avec ceux de tests de scénarios de production par la modélisation ont conduit aux conclusions suivantes. L’Uk’37 enregistre bien des SSTs moyennes annuelles, alors que le TEX86 présente a priori des températures beaucoup trop élevées pour cette zone. La formulation d’une calibration régionale pour le TEX86 permet d’obtenir des SSTs moyennes annuelles cohérentes. Le meilleur endroit de la marge ibérique pour appliquer ces deux paléothermomètres est le site de Shackleton. Après analyse fine des timings des signaux multiproxies, le TEX86 semble être produit à des profondeurs intermédiaires, potentiellement par des communautés d’Archées d’origine méditerranéenne. Les variations de gradients thermiques latitudinaux ont été quantifiées, et des réorganisations de masses d’eaux de surface et intermédiaire au niveau de la marge ibérique ont été envisagées selon le climat glaciaire/interglaciaire lors des évènements de type Heinrich.My PhD project aims at better understanding the functioning of both organic proxies of sea surface temperature (SST), Uk’37 and TEX86, especially in terms of season and depth of alkenone and tetraether production, over the last 160 000 years on the Iberian Margin. The originality of this project lies in its double approach: on the one hand, with the acquisition of Uk’37 and TEX86 sedimentary records from the Iberian Margin, and on the other hand with the use of a coupled physics-biogeochemistry regional model to simulate these temperature proxies for 3 climate modes: at present, during the last glacial maximum, and during Heinrich Stadials. The comparison of biomarker results with those from modeling tests of production scenarios provided the following conclusions. Uk’37 does record annual mean SSTs, whereas TEX86 shows a priori too high temperature for this area. The formulation of a regional calibration for TEX86 index enables to obtain coherent past annual mean SSTs. The best location to apply both paleothermometers on the Iberian Margin is the Shackleton site. After refined analysis of multiproxy signal timings, TEX86 production seems to take place at intermediate depth, potentially by archaean communities coming from the Mediterranean Sea. Latitudinal thermal gradient variations are quantified, and glacial/interglacial surface and intermediate water masses reorganizations during 'Heinrich like' events are considered

Holocene North African Climate

During the Holocene, that is, the last 11,500 years, the North African climate has undergone significant changes. While the Sahara is now the largest desert on Earth, there used to be a “Green Sahara” at the beginning of the Holocene. It resulted from significant precipitations that were linked to the northward shift of the inter-tropical convergence zone, which was caused by the increase in summer insolation in the northern hemisphere. Holocene lacustrine deposits from Hassi El Medjna, Gran..

Climat de l’Afrique du Nord pendant l’Holocène

Dépôts lacustres holocènes de Hassi El Medjna, Grand Erg Occidental, Algérie Au cours de l’Holocène, c’est-à-dire les 11 500 dernières années, le climat de l’Afrique du Nord a connu d’importants changements.Alors qu’aujourd’hui le Sahara est le plus vaste désert du monde, il y avait un « Sahara Vert » au début de l’Holocène, du fait d’importantes précipitations liées à la migration vers le Nord de la zone de convergence intertropicale, sous l’effet d’une augmentation de l’insolation estivale ..

Arctique : les grands enjeux scientifiques

« Le climat arctique est en train de changer, et ce à un rythme qui a surpris […] la communauté scientifique. Mais les faits sont là, incontournables. Si les changements en cours et à venir offrent pour certains de vastes opportunités économiques, ils sont aussi à l’origine de perturbations majeures de l’environnement ». Ces premiers mots prononcés par Alain Fuchs, Président du CNRS, lors du discours d’inauguration du colloque de prospective « Arctique : les grands enjeux scientifiques », ne..

Biomarker indices and concentrations and biomarker-based temperature estimates from Iberian Margin cores MD99-2331, MD95-2040 and MD95-2042

Biomarker metadata and data for cores MD99-2331, MD95-2040, and MD95-2042: depth, age, summed OH-GDGT, iGDGT, and di-unsaturated and tri-unsaturated C37 alkenone concentrations, OH-GDGT-based, iGDGT-based, and alkenone-based paleothermometric indices, GDGT-2/GDGT-3 ratio, and biomarker-based sea surface temperature (SST) and 0‐ to 200‐m sea temperature (subT; gamma function probability distribution for target temperatures with a = 4.5 and b = 15) estimates. The 1σ analytical uncertainties are 0.008 (0.5 °C) for RI-OH, 0.007 (0.2 °C) for RI-OH′, 0.003 (0.1 °C) for TEX86, 0.263 for GDGT-2/GDGT-3, and 0.010 (0.26 °C) for UK′37. RI-OH′-SST estimates are from the following global calibration: SST = (RI-OH′ + 0.029)/0.0422 (Fietz et al., 2020). RI-OH-SST estimates are from the following global calibration: SST = (RI-OH − 1.11)/0.018 (Lü et al., 2015). TEX86H-SST estimates are from the following regional paleocalibration: SST = 68.4 × TEX86H + 33.0 (Darfeuil et al., 2016). UK′37-SST estimates are from the following global calibration: SST = 29.876 × UK′37 − 1.334 (Conte et al., 2006). Bayesian calibrations were also used for TEX86-SST and TEX86-subT estimates (BAYSPAR; Tierney & Tingley, 2014, 2015) and for UK′37-SST estimates (BAYSPLINE; Tierney & Tingley, 2018). Core MD95-2040 UK′37 and summed di-unsaturated and tri-unsaturated C37 alkenone concentration data are from Pailler and Bard (2002). Core MD95-2042 UK′37 and summed di-unsaturated and tri-unsaturated C37 alkenone concentration data covering the 70–45 ka BP period are from Darfeuil et al. (2016). GDGT data for core MD95-2042 samples with TEX86 values below 0.4 are deemed anomalous and are thus excluded from any description and analysis. MIS, Marine Isotope Stage; DO, Dansgaard–Oeschger event; GS, Greenland stadial; H, Heinrich event; GDGT, glycerol dialkyl glycerol tetraether; and N/A, not available

Modélisation de la dégradation d’un composant à partir du retour d’expériences

ACLInternational audienc