Depuis le milieu des années 90, la minéralisation in situ du CO2 est envisagée comme une solution durable et efficace pour limiter ses émissions anthropiques vers l'atmosphère. Il s'agit de récupérer le CO2 émis par certaines industries pour le piéger en profondeur sous forme minérale (carbonates) dans les aquifères mafiques et ultramafiques naturels (de type basaltes et péridotites). La carbonatation du CO2 a été largement décrite dans les systèmes naturels où elle apparait à travers une série de réactions chimiques couplées au transport des espèces réactives dans le fluide. Plusieurs expériences en réacteurs fermés ont été menées depuis une quinzaine d'années afin de mieux comprendre les paramètres physico-chimiques contrôlant ces réactions. Mais très peu d'études n'ont encore caractérisé les processus de transport-réactif au cours de l'injection et de la minéralisation in situ du CO2 dans ces roches.Ces travaux visent à répondre à 3 principaux objectifs : (i) caractériser l'évolution des chemins réactifs lors de l'injection de CO2 dans des roches (ultra-)mafiques, (ii) mesurer les effets en retour des réactions sur les propriétés hydrodynamiques du milieu et (iii) quantifier le rendement et la pérennité des processus sur le long terme. Ils s'appuient sur le développement de protocoles expérimentaux pour (i) reproduire l'injection de CO2 dans les roches (ultra-)mafiques et (ii) caractériser les réactions à l'aide d'une série d'outils géochimiques et analytiques de l'échelle atomique à centimétrique. Trois séries d'expériences de percolation réactive ont été réalisé sur des agrégats (ultra-)mafiques relativement simples (olivines de San Carlos et d'Hawaii) et plus complexes (basaltes de Stapafell) dans des conditions de P-T-confinement in situ (Ptot=10-25 MPa ; T=180-185°C;Pconf=15-28 MPa).Les résultats obtenus ont permis de différencier plusieurs chemins réactifs dans ces systèmes en fonction du transport du fluide, de la porosité du milieu, des hétérogénéités locales de la roche, de la minéralogie et/ou des variations locales de la composition chimique du fluide. Les calculs du bilan de masse ont révélé une minéralisation efficace du CO2 contrôlée par les propriétés chimiques et hydrodynamiques du milieu. Mais certaines réactions associées à l'altération des roches (ultra-)mafiques (hydratation) ont des effets en retour négatifs sur les propriétés réservoirs de la roche (porosité, perméabilité) pouvant compromettre la pérennité du stockage du CO2 dans les aquifères naturels sur le long terme.Ces nouvelles données permettront aux modèles numériques de mieux simuler la carbonatation des roches (ultra-)mafiques en connaissant les propriétés hydrodynamiques du milieu et les hétérogénéités structurales du réservoir. Elles suggèrent aussi qu'un meilleur contrôle de certains paramètres d'injection, comme le débit ou la composition du fluide injecté (ex: pCO2), permettrait d'améliorer le taux et le rendement de la carbonatation. / Since the mid-90s, in situ mineralization of CO2 has been considered as a safe and efficient solution to mitigate its anthropogenic emissions to the atmosphere. It is to recover the CO2 emitted by some industries and trap it in the mineral form (carbonates) in mafic and ultramafic aquifers (e.g. basalts and peridotites). The carbonation of CO2 has been widely described in natural systems where it occurs through a series of complex chemical reactions coupled to the transport of reactive species in the fluid. Numerous experiments have been conducted in batch reactors over the past fifteen years to better understand the physico-chemical parameters controlling the carbonation of (ultra-)mafic rocks. But few studies have further characterized the coupling reactive-transport processes during the injection and in situ mineralization of CO2 in these rocks.This work aims to meet 3 main objectives: (i) characterize changes in reaction paths during the injection of CO2 in (ultra-)mafic systems, (ii) measure the feedbacks effects of chemical reactions on the hydrodynamic rock properties and (iii) quantify the efficiency and sustainability of such processes over long time periods. It is based on the development of experimental protocols to (i) reproduce the injection of CO2 into (ultra-)mafic rocks and (ii) characterize the reactions using a series of geochemical and analytical tools from the atomic to the centimetric scale. Three series of reactive percolation experiments have been performed on (ultra-)mafic aggregates from relatively simple (olivines from San Carlos and Hawaii) to more complex samples (basalts from Stapafell) under in situ P-T-containment conditions (Ptot=10-25 MPa; T=180-185°C; Pcont=15-28 MPa).The results allowed us to differentiate several reactions paths in these systems depending on the fluid transport, rock porosity, local hydrodynamic properties, mineralogy and/or local changes in the fluid composition. Mass balance calculations have revealed an efficient mineralization of CO2 in the samples. It is controlled by the chemical and the hydrodynamic properties of the rock at the pore scale. But some reactions associated with the alteration of (ultra-)mafic rocks (e.g. hydration) have negative feedbacks effects on the reservoir rock properties (porosity and permeability) that may compromise the sustainability of CO2 storage in natural aquifers in the long term.These new supporting data will allow numerical models to better simulate the carbonation of (ultra-)mafic rocks knowing the hydrodynamic properties and the structural heterogeneities of the reservoir. They also suggest that a better control of some injection parameters, such as the flow injection rate and the injected fluid composition (e.g. pCO2), would improve the rate and yield of CO2 mineralization in these systems.

Dans le domaine du calcul de haute performance, les architectures d'exécution sont en continuelle évolution. L'augmentation du nombre de nœuds de calcul, ou le choix d'une topologie réseau plus rapide représentent un investissement important tant en temps qu'en moyen financier. Les méthodes de prédiction de performances permettent de guider ce choix. En parallèle à ce développement, les systèmes HPC pair-à-pair (P2P) se sont également développés ces dernières années. Ce type d'architecture hétérogène permettrait la résolution des problèmes scientifiques pour un coût très faible par rapport au coût d'une architecture dédiée.Ce manuscrit présente une méthode nouvelle de prédiction de performances pour les applications réelles de calcul distribué, exécutées dans des conditions réelles. La prédiction prend en compte l'optimisation du compilateur. Les résultats sont extrapolables et ils sont obtenus pour un ralentissement réduit. Ce travail de recherche est implémenté dans un logiciel nouveau nommé dPerf. dPerf est capable de prédire les performances des applications C, C++ ou Fortran qui communiquent en utilisant les normes MPI ou P2P-SAP et qui s'exécutent sur une architecture cible pair à pair, hétérogène et décentralisée. La précision de cette contribution a été étudiée sur (i) la transformée Laplace, pour l'aspect séquentiel, (ii) le benchmark IS de NAS, pour l'aspect MPI, (iii) et le code de l'obstacle pour l'aspect calcul P2P décentralisé et l'extrapolation du nombre de nœuds.

Les systèmes sur puce sont de plus en plus complexes : ils intègrent des parties numériques, desparties analogiques et des capteurs ou actionneurs. SystemC et son extension SystemC AMSpermettent aujourd’hui de modéliser à haut niveau d’abstraction de tels systèmes. Ces outilsconstituent de véritables atouts dans une optique d’étude de faisabilité, d’exploration architecturale etde vérification du fonctionnement global des systèmes complexes hétérogènes et multiphysiques. Eneffet, les durées de simulation deviennent trop importantes pour envisager les simulations globales àbas niveau d’abstraction. De plus, les simulations basées sur l’utilisation conjointe de différents outilsprovoquent des problèmes de synchronisation. Les modèles de bas niveau, une fois crées par lesspécialistes des différents domaines peuvent toutefois être abstraits afin de générer des modèles dehaut niveau simulables sous SystemC/SystemC AMS en des temps de simulation réduits. Une analysedes modèles de calcul et des styles de modélisation possibles est d’abord présentée afin d’établir unlien avec les durées de simulation, ceci pour proposer un style de modélisation en fonction du niveaud’abstraction souhaité et de l’ampleur de la simulation à effectuer. Dans le cas des circuits analogiqueslinéaires, une méthode permettant de générer automatiquement des modèles de haut niveaud’abstraction à partir de modèles de bas niveau a été proposée. Afin d’évaluer très tôt dans le flot deconception la consommation d’un système, un moyen d’enrichir les modèles de haut niveaupréalablement générés est présenté. L’attention a ensuite été portée sur la modélisation à haut niveaudes systèmes multiphysiques. Deux méthodes y sont discutées : la méthode consistant à utiliser lecircuit équivalent électrique puis la méthode basée sur les bond graphs. En particulier, nous proposonsune méthode permettant de générer un modèle équivalent au bond graph à partir d’un modèle de basniveau. Enfin, la modélisation d’un système éolien est étudiée afin d’illustrer les différents conceptsprésentés dans cette thèse. / Systems on chip are more and more complex as they now embed not only digital and analog parts, butalso sensors and actuators. SystemC and its extension SystemC AMS allow the high level modeling ofsuch systems. These tools are efficient for feasibility study, architectural exploration and globalverification of heterogeneous and multiphysics systems. At low level of abstraction, the simulationdurations are too important. Moreover, synchronization problems appear when cosimulations areperformed. It is possible to abstract the low level models that are developed by the specialists of thedifferent domains to create high level models that can be simulated faster using SystemC/SystemCAMS. The models of computation and the modeling styles have been studied. A relation is shownbetween the modeling style, the model size and the simulation speed. A method that generatesautomatically the high level model of an analog linear circuit from its low level representation isproposed. Then, it is shown how to include in the high level model some information allowing thepower consumption estimation. After that, the multiphysics systems modeling is studied. Twomethods are discussed: firstly, the one that uses the electrical equivalent circuit, then the one based onthe bond graph approach. It is shown how to generate a bond graph equivalent model from a low levelrepresentation. Finally, the modeling of a wind turbine system is discussed in order to illustrate thedifferent concepts presented in this thesis.

Dans le domaine du calcul de haute performance, les architectures d’exécution sont en continuelle évolution. L’augmentation du nombre de nœuds de calcul, ou le choix d’une topologie réseau plus rapide représentent un investissement important tant en temps qu’en moyen financier. Les méthodes de prédiction de performances permettent de guider ce choix. En parallèle à ce développement, les systèmes HPC pair-à-pair (P2P) se sont également développés ces dernières années. Ce type d’architecture hétérogène permettrait la résolution des problèmes scientifiques pour un coût très faible par rapport au coût d’une architecture dédiée.Ce manuscrit présente une méthode nouvelle de prédiction de performances pour les applications réelles de calcul distribué, exécutées dans des conditions réelles. La prédiction prend en compte l’optimisation du compilateur. Les résultats sont extrapolables et ils sont obtenus pour un ralentissement réduit. Ce travail de recherche est implémenté dans un logiciel nouveau nommé dPerf. dPerf est capable de prédire les performances des applications C, C++ ou Fortran qui communiquent en utilisant les normes MPI ou P2P-SAP et qui s’exécutent sur une architecture cible pair à pair, hétérogène et décentralisée. La précision de cette contribution a été étudiée sur (i) la transformée Laplace, pour l’aspect séquentiel, (ii) le benchmark IS de NAS, pour l’aspect MPI, (iii) et le code de l’obstacle pour l’aspect calcul P2P décentralisé et l’extrapolation du nombre de nœuds. / In the field of high performance computing, the architectures evolve continuously. In order to increase the number of computing nodes or the network speed, an important investment must be considered, from both temporal and financial point of view. Performance prediction methods aim at assisting in finding the best trade-off for such an investment. At the same time, P2P HPC systems have known an increase in development. These heterogeneous architectures would allow solving scientific problems at a low cost, with respect to dedicated systems.The manuscript presents a new method for performance prediction. This method applies to real applications for distributed computing, considered in a real execution environment. This method uses information about the different compiler optimization levels. The prediction results are obtained with reduced slowdown and are scalable. This thesis took shape in the development of the dPerf tool. dPerf predicts the performances of C, C++, and Fortran application, which use MPI or P2P-SAP to communicate. The applications modeled by dPerf are meant for execution on P2P heterogeneous architectures, with a decentralized communication topology. The accuracy of dPerf has been studied on three applications: (i) the Laplace transform, for sequential codes, (ii) the NAS Integer Sort benchmark for distributed MPI programs, (iii) and the obstacle problem, for the decentralized P2P computing and the scaling of the number of computing nodes.

L’existence de concurrence dans l’industrie aérospatiale obligé à une évolution continue des technologies en lien avec une diminution des coûts de lancement et une fiabilité accrue. Ceci passe, entre autre, par l’amélioration des moyens de protection des charges utiles. Le but de cette thèse est de vérifier l’applicabilité des systèmes hétérogènes lyophobes (association d’un matériau nanoporeux et d’un liquide non-mouillant) dans l’amortissement des vibrations pour le confort de celles-ci. L’intrusion de liquide dans des SHL demande une énergie mécanique importante sous forme de pression. En fonction des propriétés du couple solide/liquide cette énergie peut être partiellement dissipée. Cette dissipation, de l’ordre de quelques dizaines de joules par gramme de matériau est bien supérieure à celle des systèmes conventionnels (élastomères, amortisseurs visqueux…) et montre une grande stabilité vis-à-vis de la fréquence, d’où leur intérêt dans l’amortissement des vibrations. Bien que l’eau soit déjà très largement étudié dans le cadre de la recherche sur les SHL, elle ne peut être utilisée que pour des températures comprises entre 0 et 100°C (à pression atmosphérique). Dans le but d’élargir cette gamme de températures jusqu’à -50°C, des mélanges ont été utilisés. L’ajout d’électrolytes dans l’eau permet de baisser la température de solidification du liquide. L’étude des solutions d’électrolytes a permis de mettre en évidence deux phénomènes différents menant à des augmentations de pressions d’intrusion et d’extrusion dans les SHL. Dans les matériaux microporeux (comme les ZIF-8 étudiés dans ce travail), un phénomène d’exclusion totale des ions de la matrice poreuse peut être observé. Cet effet est accompagné de l’apparition d’un terme de pression osmotique menant aux augmentations importantes de pressions d’intrusion et d’extrusion mises en évidence. Dans le cas où les ions peuvent pénétrer les pores, les variations de pressions d’intrusion et d’extrusion sont beaucoup plus faibles et ont été attribuées à des changements dans les propriétés de surface du liquide. Les matériaux mésoporeux (comme les MCM-41 étudiés au cours de ce travail) semblent se comporter de cette manière quels que soient les ions considérés. L’extension de la gamme d’application des SHL vers les hautes températures a été faite grâce à l’utilisation du Galinstan, alliage de gallium, d’indium et d’étain, non-toxique et liquide entre -20 et 1300°C environ. Ce liquide, associé à des verres mésoporeux rendus chimiquement inertes, a permis l’obtention de cycles de dissipation d’énergie reproductibles. Enfin, une étude numérique d’un amortisseur SHL simplifié dans un système mécanique a été menée. La variété des comportements a mis en évidence la complexité de ces systèmes qui nécessitent un dimensionnement très précis. Si cette condition est vérifiée, les amortisseurs SHL s’avèrent très efficaces et adaptables du fait de la grande variété des couples solide/liquide utilisables. / Competition in aerospace industry forces to follow a constant evolution of technologies linked to launching costs decreasing and reliability increasing. An improvement of payload protection systems is a way to achieve these conditions. The main issue of this PhD thesis is to verify the applicability of lyophobic heterogeneous systems (association of a nanoporous material and a non- wetting liquid) in vibrations damping for payload comfort. Intrusion of liquid in LH S requires a high mechanical energy in the form of p res sure. Depending on solid/liquid couple properties this energy can be partly dissipated. This dissipation, of the order of ten joules per gram of material, is far higher than classical systems (elastomeric ones, viscous dampers...) and shows a relative stability regarding to frequency variations. These properties explain their interest in vibrations damping applications. Although water is a very common liquid which is very studied in the research field of LHS, it can only be used in the 0 to 100˚C temperatures range (under atmospheric pressure). In order to broaden this temperatures range to -50˚C, electrolytes have been used. Adding electrolytes to water permits to decrease the liquid melting temperature. The study of electrolyte solutions has highlighted two different phenomena leading to intrusion and extrusion pressures increasing in LHS. In microporous materials (such as ZIF-8 studied here), a total exclusion phenomenon of ions from porous matrix can be observed. This effect leads to the appearance of an osmotic pressure term which explains high increasing of both intrusion and extrusion pressures. If ions can penetrate pores, intrusion and extrusion pressures increasing are smaller and have been explained by liquid surface properties changes. Mesoporous materials (such as MCM-41 studied here) seem to show this last behaviour whatever ion is. Increasing of LHS application range to high temperatures has been made using Galinstan, gallium, indium and tin alloy, which is non-toxic and stays liquid between approximately -20 and 1300˚C. This liquid, associated with chemically inert mesoporous glasses, permits to obtain reproducible energy dissipation cycles. Finally, a numerical study of a simplified LHS damper in a mechanical system has been done. The behaviours variety has brought to light the complexity of such a system which needs a very accurate design. If this condition is verified, LHS dampers can be very effective and adaptable thanks to the numerous solid/liquid couples which can be used.