Les mini ou nanoémulsions sont des systèmes fréquemment rencontrés dans différents domaines : cosmétique, pharmaceutique, biomédical… Plusieurs procédés permettent la préparation de nanoémulsions. Cependant, ils présentent tous des limitations en termes de taille des gouttelettes, d’énergie de mélange, de rapport de viscosité entre les phases dispersées et continues, de gamme de pression à appliquer… Ce travail s’intéresse au développement d’un nouveau dispositif basé sur un écoulement élongationnel pour l’élaboration de miniémulsions de monomères. La démarche a consisté d’abord à étudier l’influence des paramètres liés au procédé proprement dit puis à la formulation du système sur la taille des gouttelettes. Cette étude a permis de comprendre les mécanismes mis en jeu lors de la fragmentation des gouttes. Une analyse dimensionnelle a ensuite été développée afin de corréler les tailles obtenues aux paramètres étudiés, par l’utilisation des nombres adimensionnels appropriés. Finalement, des expériences de synthèse en miniémulsion ont été conduites pour tenter de combiner dans le même dispositif les fonctions d’émulsificateur et de réacteur de polymérisation, dans une perspective d’intensification du procédé. / Mini or nanoemulsions are widely used in different fields like cosmetic, pharmaceutic and biomedical… Different processes allow the preparation of nanoemulsions. However, they all present limitations in terms of droplet size, mixing energy, viscosity ratios, pressure ranges… This work focused on the development of a new process based on elongational flow for theelaboration of miniemulsions. The approach consisted in studying the influence of the process and formulation parameters on droplet sizes. This study allowed us to better understand the mechanisms of drop breakup. Then, a dimensional analysis was carried out in order to correlate the obtained droplet sizes to the studied parameters by the use of the appropriate dimensionless numbers. Finally, miniemulsion synthesis experiments were performed in order to try to combine, in the samedevice, both emulsification and polymerization, in the prospect of process intensification.

L'inclusion de requête est un problème bien étudié sur plusieurs décennies de recherche. En règle générale, il est défini comme le problème de déterminer si le résultat d'une requête est inclus dans le résultat d'une autre requête pour tout ensemble de données. Elle a des applications importantes dans l'optimisation des requêtes et la vérification de bases de connaissances. L'objectif principal de cette thèse est de fournir des procédures solides et com- plètes pour déterminer l'inclusion des requêtes SPARQL en vertu d'exprimés en axiomes logiques de description. De plus, nous mettons en œuvre ces procédures à l'appui des résultats théoriques par l'expérimentation. À ce jour, test d'inclusion de requête a été effectuée à l'aide de différentes techniques: homomorphisme de graphes, bases de données canoniques, les tech- niques de la théorie des automates et par une réduction au problème de la va- lidité de la logique. Dans cette thèse, nous utilisons la derniere technique pour tester l'inclusion des requêtes SPARQL utilisant une logique expressive appelée μ-calcul. Pour ce faire, les graphes RDF sont codés comme des systèmes de transitions, et les requêtes et les axiomes du schéma sont codés comme des formules de μ-calcul. Ainsi, l'inclusion de requêtes peut être réduit á test de validité de formule logique. L'objectif de cette thèse est d'identifier les divers fragments de SPARQL (et PSPARQL) et les langages de description logique de schéma pour lequelle l'inculsion est décidable. En outre, afin de fournir théoriquement et expériment- alement éprouvées procédures de vérifier l'inclusion de ces fragments décid- ables. Pas durer au moins mais, cette thèse propose un point de repère pour les solveurs d'inclusion. Ce benchmark est utilisé pour tester et comparer l'état actuel des solveurs d'inclusion. / Query containment is a well-studied problem spanning over several decades of research. Generally, it is defined as the problem of determining if the result of one query is included in the result of another query for any given dataset. It has major applications in query optimization and knowledge base verification. The main objective of this thesis is to provide sound and complete procedures to determine containment of SPARQL queries under expressive description logic axioms. Further, to support theoretical results by experimentation. To date query containment has been done using different techniques: containment mapping, canonical databases, automata theory techniques and through a reduction to the validity problem in logic. In this thesis, we use the later technique to address containment using an expressive logic called mu-calculus. In doing so, RDF graphs are encoded as transitions systems, and queries and schema axioms are encoded as mu-calculus formulae. Thereby, query containment can be reduced to validity test in the logic. The focus of this thesis is to identify various fragments of SPARQL (and PSPARQL) and description logic schema languages for which containment is decidable. Additionally, to provide theoretically and experimentally proven procedures to check containment of those decidable fragments. Last not but least, this thesis proposes a benchmark for containment solvers. This benchmark is used to test and compare the current state-of-the-art containment solvers.

Les Installations de Stockage de Déchets actuelles sont munies de barrieres de confinement composites géosynthétiques et minerales. En couverture, les interfaces entre composants de ces systèmes installés sur forte pente peuvent constituer des surfaces de glissement préférentiel. L'étude de ces interfaces est donc cruciale pour l'évaluation de la stabilité des barrières de ces installations. Le comportement de ces interfaces, en particuliers des interfaces géosynthétique - géosynthétique se révèle complexe: il va dépendre de la nature des polymères, de l'endommagement , de la vitesse de glissement relatif, de la température. Les conditions de chargement sont aussi primordiales, statiques ou dynamiques (cas de seisme). L'originalité du travail effectué dans le cadre de la présente étude tient d'abord aux dispositifs expérimentaux utilisés en parallèle, un Plan incliné et une Table Vibrante, les deux permettant de simuler les conditions réelles sur site, sous faible contrainte normale, en conditions d'une part statiques, d'autre part dynamiques. Des procédures d'essai nouvelles ont permis une interprétation fine des résultats d'essais. En particulier la variation du frottement en fonction de la cinétique d'essai est clairement démontrée, et le couplage des résultats obtenus dans les deux configurations d'essai permet de montrer que leur interprétation est complexe et ne peut se limiter à celle proposée par la norme européenne. En particulier, le niveau du déplacement relatif et la vitesse de déplacement influent significativement sur les résultats. Une étude spécifique de l'endommagement est aussi présentée. / Modern landfills are equipped with multi-layered liners, including geosynthetic-geosynthetic and soil-geosynthetic interfaces. The interfaces represent weakness surfaces where the shear strength is a crucial aspect for the landfill stability. The behaviour of each interface can be different depending on the interactions of the materials in contact under the different load conditions (i.e. static and seismic loading). Nevertheless, the assessment of the geosynthetic interface shear strength can be difficult depending on different factors such as mechanical damage, time-dependent processes (ageing), stress dependent processes (such as repeated loading), coupled effects of both time and stress-strain dependent processes (creep or relaxation). In the present work, the static and the dynamic behaviour of typical geosynthetic - geosynthetic interfaces is investigated by means of the Inclined Plane and the Shaking Table tests since both devices permit to simulate experimental conditions close to them expected in landfill cover systems (low normal stress, small and large deformations). Two new test procedures are proposed and applied in order to assess the interface friction at both devices during all the phases of the tests. Taking advantage of the complementarity of both facilities, an innovative interpretation of test results considering the evolution of the shear strength parameters, passing from the static to the dynamic loading conditions, from small to large displacements is carried out. Furthermore, the dependence of the interface friction on different parameters such as the kinematic conditions, the normal stress and the mechanical damage is also investigated. In light of test results, it has been demonstrated that the variation of the interface friction could be significant, depending on the loading conditions (static or dynamic), on the actual kinematic conditions and on the level of deformation at which the interface is subjected.

La rapidité, la consommation énergétique et l'efficacité des systèmes logiciels et matériels sont devenues les préoccupations majeures de la communauté informatique de nos jours. Gérer de manière correcte et efficace les problématiques mémoire est essentiel pour le développement des programmes de grande tailles sur des architectures de plus en plus complexes. Dans ce contexte, cette thèse contribue aux domaines de l'analyse mémoire et de la compilation tant sur les aspects théoriques que sur les aspects pratiques et expérimentaux. Outre l'étude approfondie de l'état de l'art des analyses mémoire et des différentes limitations qu'elles montrent, notre contribution réside dans la conception et l'évaluation de nouvelles analyses qui remédient au manque de précision des techniques publiées et implémentées. Nous nous sommes principalement attachés à améliorer l'analyse de pointeurs appartenant à une même structure de données, afin de lever une des limitations majeures des compilateurs actuels. Nous développons nos analyses dans le cadre général de l'interprétation abstraite « non dense ». Ce choix est motivé par les aspects de correction et d'efficacité : deux critères requis pour une intégration facile dans un compilateur. La première analyse que nous concevons est basée sur l'analyse d'intervalles des variables entières ; elle utilise le fait que deux pointeurs définis à l'aide d'un même pointeur de base n'aliasent pas si les valeurs possibles des décalages sont disjointes. La seconde analyse que nous développons est inspirée du domaine abstrait des Pentagones ; elle génère des relations d'ordre strict entre des paires de pointeurs comparables. Enfin, nous combinons et enrichissons les deux analyses précédentes dans un cadre plus général. Ces analyses ont été implémentées dans le compilateur LLVM. Nous expérimentons et évaluons leurs performances, et les comparons aux implémentations disponibles selon deux métriques : le nombre de paires de pointeurs pour lesquelles nous inférons le non-aliasing et les optimisations rendues possibles par nos analyses / This thesis was motivated by the emergence of massively parallel processing and supercomputingthat tend to make computer programming extremely performing. Speedup, the power consump-tion, and the efficiency of both software and hardware are nowadays the main concerns of theinformation systems community. Handling memory in a correct and efficient way is a step towardless complex and more performing programs and architectures. This thesis falls into this contextand contributes to memory analysis and compilation fields in both theoretical and experimentalaspects.Besides the deep study of the current state-of-the-art of memory analyses and their limitations,our theoretical results stand in designing new algorithms to recover part of the imprecisionthat published techniques still show. Among the present limitations, we focus our research onthe pointer arithmetic to disambiguate pointers within the same data structure. We develop ouranalyses in the abstract interpretation framework. The key idea behind this choice is correctness,and scalability: two requisite criteria for analyses to be embedded to the compiler construction.The first alias analysis we design is based on the range lattice of integer variables. Given a pair ofpointers defined from a common base pointer, they are disjoint if their offsets cannot have valuesthat intersect at runtime. The second pointer analysis we develop is inspired from the Pentagonabstract domain. We conclude that two pointers do not alias whenever we are able to build astrict relation between them, valid at program points where the two variables are simultaneouslyalive. In a third algorithm we design, we combine both the first and second analysis, and enhancethem with a coarse grained but efficient analysis to deal with non related pointers.We implement these analyses on top of the LLVM compiler. We experiment and evaluate theirperformance based on two metrics: the number of disambiguated pairs of pointers compared tocommon analyses of the compiler, and the optimizations further enabled thanks to the extraprecision they introduce

Les aciers ferritiques pour structures industrielles présentent une transition fragile-ductile de ténacité et de résilience avec leur température. Leur résistance à la rupture fragile joue un rôle essentiel dans la certification de la sécurité des structures industrielles importantes. De nos jours, le souci de performance et de longévité sont des points clés pour des acteurs majeurs comme EDF.Dans ces études de transition ductile-fragile, de ténacité et de résilience, la ténacité est prédite à partir de la résilience. Plusieurs travaux antérieurs ont déjà montré que la probabilité de rupture par clivage peut être correctement décrite dans le palier fragile par une approche locale de la rupture. Mais ces études supposent que le matériau ne subit pas de vieillissement sous déformation, ce qui est en fait rarement pertinent pour les aciers bas carbone et peu calmés. Le travail a consisté d'une part à caractériser le comportement et d'autre part à en proposer une modélisation robuste et explicite des phénomènes observés. La caractérisation a consisté en la réalisation d'essais de traction entre -150°C et 20°C à plusieurs vitesses de déformation. Un modèle capable de simuler le vieillissement statique est identifié en mettant en place une stratégie adéquate et systématique. Des essais de résilience permettent de construire la courbe de transition ductile-fragile du matériau pour différentes conditions afin de comprendre et d'observer l'influence du vieillissement statique sur la rupture. Enfin, la modélisation de la rupture fragile a été décrite pour toutes les conditions expérimentales testées en utilisant le modèle de comportement développé et identifié dans la partie précédente afin de prédire numériquement la transition pour les différentes conditions du matériau. / Ferritic steels for industrial structures have a brittle-ductile transition toughness and impact energy with temperature. Their resistance to the brittle fracture plays an essential role in the safety certification of industrial structures. Nowadays, the performance and the durability are key issues for major players such as EDF. In these approaches ductile-to-brittle transition toughness and impact energy, toughness is predicted from resilience. Several previous studies have shown that the probability of cleavage fracture can be adequately described in brittle plateau by a local approach to fracture. However, these studies assume that the material does not undergo strain aging, which is rarely relevant for low carbon steels and low calmed down. The work consisted firstly to characterize the behavior and secondly to propose a robust and explicit modeling of the observed phenomena. Characterization consisted of performing tensile tests between -150degreC~and 20degreC for several strain rates. A model able to simulate the static aging is identified by implementing an appropriate and systematic strategy. Impact resistance test allows us to build the curve of ductile-to-brittle transition of the material for different conditions to understand and observe the influence of static strain aging on the failure. Finally, the modeling of the brittle fracture has been described for all experimental conditions tested using the model developed and identified in the previous section to predict the transition for different material conditions.

Ce travail se situe dans le cadre du projet ANR VBD ECOREB qui œuvre avec le projet national PN RECYBETON à la levée des verrous technologiques propres à l’utilisation des granulats recyclés en vue de la formulation des bétons de structure.Pour cette étude six bétons de granulats recyclés correspondant à deux classes de résistance C25/30 et C35/40 et à une classe de consistance S4 sont élaborés. Ces formulations, définies dans le cadre du PN RECYBETON, sont conçues à partir de deux formulations de référence en substituant partiellement ou complètement les granulats naturels par des matériaux issus du recyclage des bétons. Un programme expérimental a été réalisé pour déterminer les propriétés du béton à l’état frais et à l’état durci. Les résultats des essais mécaniques montrent que pour la même classe de résistance à la compression, l’incorporation des granulats recyclés dans le béton induit une diminution de la résistance à la traction et du module d'élasticité .aussi bien qu’une augmentation de la déformation au pic et de la déformation ultime. Sous compression cyclique du type charge-décharge, l’endommagement au pic de contrainte augmente lorsque le taux de substitution est important alors que la vitesse d’endommagement devient plus faible. La campagne d’essais du fluage menée sur des poutres chargées en flexion trois points indique que la cinétique du fluage est influencée par la présence des granulats recyclés et elle est d’autant plus accélérée que le taux de remplacement est important.Les résultats expérimentaux de cette étude ainsi qu’un nombre important des résultats rapportés dans les références bibliographiques ont permis d’évaluer la validité des relations analytiques développées pour prédire les propriétés mécaniques du béton des granulats naturels en vue de leur utilisation pour le béton des granulats recyclés. On montre que ces expressions nécessitent la connaissance de la résistance moyenne à la compression, fcm aussi bien qu’un coefficient qui tient compte de l’effet des granulats recyclés. La comparaison entre les courbes contrainte-déformation obtenues dans le cadre de cette thèse et certains modèles montre, qu’avec les modifications proposées, ils décrivent d’une manière satisfaisante le comportement jusqu’à la rupture. / This work is part of the ANR VBD ECOREB which aims with the project PN RECYBETON to remove the technological locks for the use of recycled aggregates for the formulation of structural concretes.For this study, six concretes of recycled aggregates corresponding to two classes of compressive strength C25 / 30 and C35 / 40 and S4 class of workability are developed. These mixtures, defined in the framework of the PN RECYBETON, are derived from two reference formulations by substituting partially or completely the natural aggregates with materials resulting from the recycling of concretes. An experimental program was carried out to determine the properties of concrete in fresh state and hardened state. The results of mechanical tests show that for the same class of compressive strength, the incorporation of recycled aggregates into the concrete induces a decrease in the tensile strength and the elastic modulus as well as an increase in the peak and ultimate strains. Under loading-unloading compression, the damage at the peak stress increases when the substitution rate is high while the damage rate becomes lower The creep tests carried out on beams loaded under three-point bending indicate that creep kinetics are influenced by the presence of recycled aggregates and is accelerated as the replacement rate is important.The experimental results of the present study together with an extensive number of results reported in the literature have allowed evaluating the current relationships used for predicting mechanical properties of recycled concrete aggregates (RAC). The validity of many analytical expressions of the stress-strain relationship has been also studied and the effect of replacement ratio was taken into account. It was pointed out that design codes relationships dedicated to assess the mechanical properties and the stress-strain compressive curve of natural aggregates concretes (NAC) are not adequate to predict the behavior of recycled aggregates concrete (RAC). It is established that these properties are related to fcm and to a parameter, which takes into account the effect of the recycled aggregates. The comparison between the stress-strain curves obtained in this thesis and some models shows that, with the proposed modifications, these models satisfactorily describe the behavior up to failure.

Cette thèse propose un nouveau cadre pour la composition de domaines abstraits. L'idée principale en est l'organisation d'une sémantique abstraite suivant la distinction usuelle entre expressions et instructions, en cours dans la plupart des langages impératifs. La définition d'une sémantique abstraite peut alors se diviser entre abstractions de valeurs et abstractions d'états (ou domaine abstrait). Les abstractions de valeurs représentent les valeurs possibles d'une expression en un point donné, et assurent l'interprétation de la sémantique des expressions. Les abstractions d'états représentent les états machines qui peuvent se produire lors de l'exécution d'un programme, et permettent d'interpréter la sémantique des instructions. De ce choix de conception découle naturellement un élégant système de communication entre abstractions. Lors de l'interprétation d'une instruction, les abstractions d'états peuvent échanger des informations au moyen d'abstractions de valeurs, qui expriment des propriétés à propos des expressions. Les valeurs forment donc une interface de communication entre états abstraits, mais sont également des éléments canoniques de l'interprétation abstraite. Ils peuvent donc eux-même être combinés par les moyens existants de composition d'abstractions, permettant encore davantage d'interactions entre les composants des sémantiques abstraites. Cette thèse explore les possibilités offertes par cette nouvelle architecture des sémantiques abstraites. Nous décrivons en particulier des stratégies efficaces pour le calcul d'abstractions de valeurs précises à partir des propriétés inférées par les domaines, et nous illustrons les différentes possibilités d'interactions que ce système offre. L'architecture que nous proposons inclue également une collaboration directe des abstractions pour l'émission des alarmes qui signalent les erreurs possibles du programme analysé. Nous proposons également un mécanisme permettant d'interagir avec les composants d'une combinaison générique de types OCaml. Nous utilisons des GADT pour encoder la structure interne d'une combinaison, et construisons automatiquement les fonctions d'injection et de projection entre le produit et ses composants. Cette fonctionnalité permet d'établir une communication directe entre les différentes abstractions d'un interpréteur abstrait. Enfin, une dernière contribution de cette thèse est l'extension automatique de domaines abstraits à l'aide de prédicats logiques qui évitent les pertes d'information aux points de jonction. De fait, lorsque plusieurs chemins d'exécution se rejoignent, un domaine abstrait doit représenter les comportements possibles de chacun des chemins, ce qui engendre souvent des pertes de précision. Pour remédier à cette limitation, nous proposons de propager un ensemble d'états abstraits, munis chacun d'un prédicat qui indique sous quelle condition l'état est valable. Contrairement à d'autres approches, notre analyse ne maintient pas une stricte partition des états abstraits, car les prédicats utilisés ne sont pas mutuellement exclusifs. Cette particularité rend possible des optimisations cruciales pour le passage à l'échelle de cette technique, confirmée par nos résultats expérimentaux sur un programme industriel généré. L'ensemble du système de composition des abstractions proposé dans cette thèse a été mis en œuvre dans EVA, la nouvelle version de l'interpréteur abstrait de Frama-C. EVA a été spécifiquement conçu pour faciliter l'introduction de nouvelles abstractions et permettre des interactions riches entre ces abstractions. Grâce à son architecture modulaire et extensible, cinq nouveaux domaines abstraits ont pu être introduit dans l'analyseur en moins d'un an, améliorant ainsi tant ses capacités que sa précision. / This thesis proposes a new framework for the combination of multiple domains in the abstract interpretation theory. Its core concept is the structuring of the abstract semantics by following the usual distinction between expressions and statements. This can be achieved by a convenient architecture where abstractions are separated in two layers: value abstractions, in charge of the expression semantics, and state abstractions —or abstract domains—, in charge of the statement semantics. This design leads naturally to an elegant communication system where the abstract domains, when interpreting a statement, interact and exchange information through value abstractions, that express properties about expressions. While the values form the communication interface between domains, they are also standard elements of the abstract interpretation framework. The communication system is thus embedded in the abstract semantics, and the usual tools of abstract interpretation apply naturally to value abstractions. For instance, different kinds of value abstractions can be composed through the existing methods of combination of abstractions, enabling even further interaction between the components of the abstract semantics. This thesis explores the possibilities offered by this framework. We discuss efficient strategies to compute precise value abstractions from the information inferred by abstract domains, and illustrate the means of communication between different state abstractions. Our architecture also features a direct collaboration for the emission of alarms that report the possible errors of a program. We also proposes a mechanism to enable interacting with the components of a modular combination of OCaml types. We use GADT to encode the inner shape of a combination, and automatically build injection and projection functions between a product of datatypes and its components. This allows direct communications between the abstractions of an abstract interpreter. Finally, a last contribution of this thesis is the automatic extension of abstract domains to track sets of disjunctive abstract states, each one being qualified with a predicate for which the state holds. This enhances the precision of an abstract semantics at join points, when several possible paths of a program execution meet. At these points, predicates preserve the information usually lost by the merge of abstract states. Unlike other approaches, the analysis does not maintain a strict partition of the abstract states, as the predicates we use are not mutually exclusive. This design enables some optimizations that are crucial for scalability, as confirmed by our experimental results on an industrial, generated program. The general system of abstractions combination has been implemented within EVA, the new version of the abstract interpreter provided by the Frama-C platform. Thus, Eva enjoys a modular and extensible architecture designed to facilitate the introduction of new abstractions and to enable rich interactions between them. Thanks to this work, five new domains from the literature have been implemented in less than a year, enhancing the scope and the precision of the analyzer.

Les liaisons hybrides métal/composite sont fréquemment sollicitées en matage. Dans le système de transmission d’un hélicoptère, ces liaisons peuvent subir plus de 〖10〗^9 cycles de chargement en fatigue. Il convient de maîtriser les effets du matage sur le comportement des matériaux, afin que ce mode de sollicitation ne conduise pas à la ruine de pièces tournantes hybrides.L’objectif de cette thèse est de s’intéresser au comportement en matage des matériaux composites stratifiés, d’abord en statique, afin d’identifier les principaux phénomènes d’endommagement, puis en fatigue. En statique, des modèles d’endommagement de complexité croissante sont proposés, puis leur réponse est analysée en détails. La fatigue est abordée principalement sous un angle expérimental. La question de l’existence éventuelle d’une limite de fatigue est discutée, et les liens étroits entre les mécanismes d’endommagement en statique et en fatigue sont mis en évidence / Hybrid metal/composite connections are frequently subjected to bearing (localised compression) loads. In a helicopter, such connections can endure as many as 〖10〗^9 fatigue cycles. It has to be ensured that the effects of bearing loads are understood in order to prevent in-service failure of hybrid rotating components. The aim of this thesis is to study the bearing behaviour of composite laminates, first under a monotonic loading, in order to identify the main damage modes, and then in fatigue. Static damage models of increasing complexity are elaborated and thoroughly analyzed. Fatigue is mainly dealt with from an experimental point of view. The possible existence of a fatigue limit is debated, and the existence of a strong connection between fatigue and static damage is emphasised.

L’utilisation du parallélisme des architectures actuelles dans le domaine du calcul hautes performances, oblige à recourir à différents langages parallèles. Ainsi, l’utilisation conjointe de MPI pour le parallélisme gros grain, à mémoire distribuée et OpenMP pour du parallélisme de thread, fait partie des pratiques de développement d’applications pour supercalculateurs. Des erreurs, liées à l’utilisation conjointe de ces langages de parallélisme, sont actuellement difficiles à détecter et cela limite l’écriture de codes, permettant des interactions plus poussées entre ces niveaux de parallélisme. Des outils ont été proposés afin de palier ce problème. Cependant, ces outils sont généralement focalisés sur un type de modèle et permettent une vérification dite statique (à la compilation) ou dynamique (à l’exécution). Pourtant une combinaison statique/- dynamique donnerait des informations plus pertinentes. En effet, le compilateur est en mesure de donner des informations relatives au comportement général du code, indépendamment du jeu d’entrée. C’est par exemple le cas des problèmes liés aux communications collectives du modèle MPI. Cette thèse a pour objectif de développer des analyses statiques/dynamiques permettant la vérification d’une application parallèle mélangeant plusieurs modèles de programmation, afin de diriger les développeurs vers un code parallèle multi-modèles correct et performant. La vérification se fait en deux étapes. Premièrement, de potentielles erreurs sont détectées lors de la phase de compilation. Ensuite, un test au runtime est ajouté pour savoir si le problème va réellement se produire. Grâce à ces analyses combinées, nous renvoyons des messages précis aux utilisateurs et évitons les situations de blocage. / Supercomputing plays an important role in several innovative fields, speeding up prototyping or validating scientific theories. However, supercomputers are evolving rapidly with now millions of processing units, posing the questions of their programmability. Despite the emergence of more widespread and functional parallel programming models, developing correct and effective parallel applications still remains a complex task. Although debugging solutions have emerged to address this issue, they often come with restrictions. However programming model evolutions stress the requirement for a convenient validation tool able to handle hybrid applications. Indeed as current scientific applications mainly rely on the Message Passing Interface (MPI) parallel programming model, new hardwares designed for Exascale with higher node-level parallelism clearly advocate for an MPI+X solutions with X a thread-based model such as OpenMP. But integrating two different programming models inside the same application can be error-prone leading to complex bugs - mostly detected unfortunately at runtime. In an MPI+X program not only the correctness of MPI should be ensured but also its interactions with the multi-threaded model, for example identical MPI collective operations cannot be performed by multiple nonsynchronized threads. This thesis aims at developing a combination of static and dynamic analysis to enable an early verification of hybrid HPC applications. The first pass statically verifies the thread level required by an MPI+OpenMP application and outlines execution paths leading to potential deadlocks. Thanks to this analysis, the code is selectively instrumented, displaying an error and synchronously interrupting all processes if the actual scheduling leads to a deadlock situation.

Ce travail de thèse a pour objet d’étudier le comportement mécanique en statique, en fatigue, en vibration linéaire et non linéaire et d’évaluer et suivre les mécanismes endommagement par émission acoustique des matériaux composites stratifiés et sandwichs. Deux grandes familles de matériaux composites ont été considérées dans ce travail: a) descomposites stratifiés constitués de fibres de carbone, fibres hybrides (verre/carbone) et fibres de verre avec différentes séquences d’empilement associées à une résine époxyde, b) des matériaux sandwichs constitués de peaux en stratifiés à fibres de verre/résine époxyde et d'une âme en mousse PVC de différentes densités. La mise en oeuvre de l’ensemble de ces matériaux est réalisée au laboratoire (LAUM).Les composites stratifiés ont été caractérisés en sollicitations de traction et de flambement en statique et en fatigue. Au cours de ces essais, les signaux d’émission acoustique sont collectés dans les différents matériaux. Les mécanismes d’endommagement de chaque matériau sont identifiés, caractérisés et suivis en utilisant une analyse multivariable(méthode de coalescence floue) des signaux collectés. L’analyse des résultats obtenus a permis de mettre en évidence l’effet du type de renfort, la séquence d’empilement et de l’épaisseur des couches à 90° sur le comportement mécanique et sur la dynamique de chaque mécanisme d’endommagement jusqu’à la rupture des différents stratifiés. Une analyseexpérimentale du comportement dynamique des composites stratifiés de différents renforts fibreux et différentes orientations des plis a été menée dans le cas de vibration en flexion. La réponse à une excitation par pot vibrant a été établie et les fréquences de résonance et les amortissements ont été déduits et comparés dans différents composites.Ensuite, une étude détaillée est menée pour caractériser le comportement mécanique en statique et en fatigue cyclique des matériaux sandwichs avec une âme de différentes densités.Les essais ont été conduits en flexion 4-points sur des poutres de ces matériaux. L’analyse des résultats et l’observation des signaux d’EA obtenus dans ces structures ont permis de définir les principales signatures acoustiques des différents modes d’endommagement prépondérants dans les peaux et dans l’âme du matériau sandwich. Une étude de comportement vibratoire linéaire des composites sandwichs aux états sains a été menée en flexion.Enfin, une étude du comportement mécanique en statique, en fatigue cyclique, en vibration linéaire et non linéaire des matériaux sandwichs endommagés par des fissures de type cisaillement dans l’âme a été menée. Les caractéristiques statiques sont déterminées en fonction de la densité de fissuration. En fatigue, la rigidité, l’énergie dissipée, l’amortissement et la durée de vie sont évalués à partir des données expérimentales en fonction de la densité defissures et du nombre de cycles. Ensuite, une étude expérimentale du comportement vibratoire linéaire et non-linéaire des composites sandwichs endommagés a été menée. Elle a permis de mesurer les fréquences propres et les amortissements de ces matériaux autour de chaque pic de résonance en fonction de la densité de fissuration. Enfin, la méthode de vibration non linéaire a été appliquée pour caractériser le comportement des matériaux sandwichsendommagés par fissuration. Les paramètres non linéaires relatifs au décalage fréquentiel et à l’amortissement sont mesurés en faisant varier l’amplitude d’excitation et sont comparés aux paramètres linéaires. / The present study investigates the mechanical behavior under static, fatigue, linear and non linear vibration and assesses damage by the acoustic emission method of laminated composite materials (tensile and buckling) and of sandwich composite materials (4 points bending).