Le problème d'alignement de graphes, qui joue un rôle central dans différents domaines de la reconnaissance de formes, est l'un des plus grands défis dans le traitement de graphes. Nous proposons une méthode approximative pour l'alignement de graphes étiquetés et pondérés, basée sur la programmation convexe concave. Une application importante du problème d'alignement de graphes est l'alignement de réseaux d'interactions de protéines, qui joue un rôle central pour la recherche de voies de signalisation conservées dans l'évolution, de complexes protéiques conservés entre les espèces, et pour l'identification d'orthologues fonctionnels. Nous reformulons le problème d'alignement de réseaux d'interactions comme un problème d'alignement de graphes, et étudions comment les algorithmes existants d'alignement de graphes peuvent être utilisés pour le résoudre. Dans la formulation classique de problème d'alignement de graphes, seules les correspondances bijectives entre les noeuds de deux graphes sont considérées. Dans beaucoup d'applications, cependant, il est plus intéressant de considérer les correspondances entre des ensembles de nœuds. Nous proposons une nouvelle formulation de ce problème comme un problème d'optimisation discret, ainsi qu'un algorithme approximatif basé sur une relaxation continue. Nous présentons également deux résultats indépendants dans les domaines de la traduction automatique statistique et de la bio-informatique. Nous montrons d'une part comment le problème de la traduction statistique basé sur les phrases peut être reformulé comme un problème du voyageur de commerce. Nous proposons d'autre part une nouvelle mesure de similarité entre les sites de fixation de protéines, basée sur la comparaison 3D de nuages atomiques.

Le procédé de forgeage à froid permet d'obtenir des pièces de géométrie complexe et présentant une très bonne précision dimensionnelle. La forme finale est obtenue en une ou plusieurs passes, et la matière est soumise à des chargements à la fois multiaxiaux et non monotones accompagnés de forts niveaux de déformation plastique qui peuvent l'amener à s'endommager : rupture de la pièce, fissures en surface ou à cœur, ... Il est alors tout à fait primordial de connaître et mieux comprendre les mécanismes qui peuvent produire ces défauts. Le sujet de thèse concerne donc la modélisation numérique de l'endommagement en forge à froid. Dans un premier temps, le contexte bibliographique concernant les mécanismes d'endommagement et leurs modélisations ont été étudiés. Un modèle d'endommagement, basé sur le modèle de Lemaitre, a alors été implémenté dans le logiciel éléments finis Forge2005®. Dans un deuxième temps, une étude expérimentale concernant la caractérisation de deux nuances en forge à froid a été réalisée. Différents essais de traction ont été menés afin d'étudier notamment l'influence de l'orientation des inclusions sur l'endommagement. Des essais de compression/traction ont également été réalisés dans le but d'examiner l'influence éventuelle de la pré-compression sur la matière. Enfin des essais in-situ (MEB et tomographie X) ont été menés pour analyser l'endommagement au cœur de la matière et mieux en comprendre les mécanismes. Sur la base de ces observations expérimentales, plusieurs améliorations ont été apportées au modèle de Lemaitre afin de le rendre plus adapté aux chargements complexes. Parmi ces améliorations, nous pouvons citer par exemple la prise en compte de l'endommagement en compression, l'introduction d'une limite en triaxialité des contraintes négative, l'introduction d'un nouveau potentiel d'endommagement et la prise en compte de l'orientation des inclusions. Pour finir, des simulations numériques ont été réalisées par le biais du logiciel Forge2005® afin de tester le modèle d'endommagement implémenté. Des cas de validations portant sur des essais mécaniques simples (traction, TELE) ainsi que sur des cas industriels ont alors été simulés et comparés aux résultats expérimentaux.

Le MILO (Magnetically Insulated Line Oscillator) est une source micro-onde de forte puissance capable de produire des puissances crêtes supérieures au gigawatt à des fréquences de quelques gigahertz. Ce tube hyperfréquence est un oscillateur à champs électrique et magnétique croisés qui ne requiert pas de structure externe pour produire le champ magnétique nécessaire au guidage du faisceau d'électrons. Ceux-ci sont produits par émission explosive à partir d'une cathode de type velours et sont accélérés par la différence de potentiel dans l'espace anode – cathode. L'anode constitue une cavité hyperfréquence capable d'emmagasiner de l'énergie électromagnétique, transférée depuis le faisceau d'électrons. Ainsi, la géométrie du tube fixe les conditions de propagation des électrons dans le vide (isolement magnétique) et les conditions de synchronisme permettant les échanges d'énergie dans la structure hyperfréquence. Cette thèse vise à détailler les caractéristiques de fonctionnement d'un MILO compact, c'est-à-dire à l'échelle ½ en comparaison des dispositifs existants, en vue d'un développement expérimental. Pour cela nous avons démontré la faisabilité d'un modèle réduit en redimensionnant tous les paramètres géométriques. Des simulations en géométrie 2D et 3D sous code PIC – Electromagnétique MAGIC ont permis de caractériser, d'une part, la structure hyperfréquence afin d'optimiser les couplages cavité – guide d'onde de sortie pour l'extraction du rayonnement et de démontrer, d'autre part, les contraintes physiques limitant la puissance micro-onde de sortie. Le prototype ainsi optimisé a conduit à la conception d'un dispositif expérimental où les tests préliminaires à froid (sans faisceau) ont montré une bonne concordance avec les prévisions théoriques. Cette thèse ouvre la voie à l'expérimentation et au développement d'une source micro-onde de puissance compacte.

N'importe quel liquide peut etre refroidi au-dessous de sa temperature de cristallisation sans se cristalliser en devenant un liquide surfondu. Ces proprietes statiques sont les continuations analytiques de celles d'un liquide ordinaire. Par contre la dynamique montre un ralentissement dramatique qu'on apelle la transition vitreuse: le temps de relaxation croit de picoseconds au voisinage de la transition de cristallisation au temps macroscopique pour les basses temperatures. Comprehension et explication de ce comportement des liquides surfondus a basses temperatures est l'un des problemes ouverts de mecanique statistique hors d'equilibre. Les scenarios divers ont ete proposes pour expliquer ce comportement des liquides surfondus. Dans cette th`ese nous adoptons celui base sur l'analyse des modeles de verres de spins generalises et la Theorie de Couplage de Modes (MCT). Ce scenario reproduit bien le ralentissement initial de la dynamique. Cependant il predit une transition spurieuse vers une phase non-ergodique pour les basses temperatures. C a pose un probleme naturel: comment peut-t-on generaliser le modele afin de reproduire le comportement aux basses temperatures observe et eliminer la transition ? Le but principal de la these etait de construire une telle generalisation. Il est suppose de facon generale que c'est les corrections aux MCT qui modifient la theorie aux basses temperatures. Cependant le defaut principal de MCT est la nature incontrolee de l'approximation qui amene a MCT ce qui fait le calcul des corrections a MCT un probleme quasiment insoluble. Un methode promettant pour contourner cette difficulte est la rederivation de MCT dans le contexte d'une theorie de champs. La revision des essaies precedents a releve leur inconsistance a cause d'une violation de la symetrie par rapport de renversement de temps (TRS) dans les series perturbatives. La solution de ce probleme amene a une rederivation correcte de MCT et donne des series perturbatives respectantes TRS. Cette construction permet de verifier directement la stabilite structurelle de MCT ce qui permet de repondre a une question principale de la theorie: Est ce que la transition est coupee par dans le cadre d'une approximation plus astucieuse ou il y a des raisons plus fondamentales ? Le reponse est que MCT n'est qu'une theorie de champ moyen et, par consequence, les corrections pertrubatives sont irrelevantes. Dans le meme contexte on etudie aussi le mapping des liquides surfondus sur les systemes de reaction-diffusion. Les resultats donnes au-dessus sont valables au-dessus de la transition vitreuse i.e pour les liquides en equilibre. Dans la derniere chapitre on etudie la generalisation de ces resultats aux basses temperatures ou le systeme n'atteint jamais l'equilibre pendant l'observation et le temps relaxation est, effectivement, infini. L'analyse est plus complique dans ce cas car des nouveaux phenomene, comme le vieillissement des proprietes physique, apparaissent.

Cette étude est consacrée à l'analyse thermomécanique de la transformation martensitique prenant place dans les Alliages à Mémoire de Forme (AMF). Cette analyse est effectuée à différentes échelles et s'appuie sur des champs de mesures thermomécaniques, des simulations numériques 3D par éléments finis et des simulations utilisant la dynamique moléculaire. L'étude est restreinte au comportement pseudoélastique d'un monocristal de CuAlBe, soumis à des chargements de traction. Les observations par imagerie cinématique et énergétique couplées rendent possible la caractérisation précise et locale du front de changement de phase qui apparait lors d'une sollicitation mécanique d'une éprouvette d'AMF. L'analyse énergétique qui en est faite, permet d'interpréter la transformation de phase comme liée à un couplage thermomécanique fort, et de négliger la dissipation intrinsèque. Conformément à ces résultats, un modèle thermomécanique monovariant est proposé qui rend compte du phénomène d'hystérésis et des effets du temps observés expérimentalement. Le front de changement de phase est ensuite généré numériquement puis comparé à l'expérience et à la littérature. Dans un second temps, un modèle d'AMF idéal est proposé à l'échelle cristalline. La dynamique moléculaire permet de construire l'énergie libre associée à un ensemble d'atomes et de réaliser des expériences numériques. L'évolution du comportement avec la dimension de l'échantillon est étudiée numériquement puis discutée. Une tendance à la convexification du potentiel énergétique est observée, ainsi que l'apparition d'une microstructure complexe.

La réaction sulfatique interne est une pathologie qui affecte certains bétons hydrauliques ayant subi une élévation de température excessive au jeune âge. La formation tardive d'ettringite provoque un gonflement du béton, incompatible avec la rigidité du matériau et sa faible capacité en extension, ce qui engendre des fissurations dans la structure et des déformations différentielles incompatibles avec le fonctionnement en service de l'ouvrage. Le mécanisme de la réaction est assez complexe et il ne fait pas encore l'objet d'un accord complet dans la littérature. La description phénoménologique des gonflements nécessite la prise en compte de nombreux paramètres (composition du béton, conditions environnementales, histoire thermique et hydrique du béton...). Les modélisations proposées sont peu nombreuses, elles cherchent surtout à estimer l'amplitude finale maximale des gonflements et ne permettent pas de calculer l'état actuel d'un ouvrage où la réaction progresse plus ou moins en fonction du couplage avec les différents paramètres influents. S'appuyant sur ces constats et la nécessité de gérer les ouvrages atteints en prévoyant leur évolution, la présente recherche vise à développer une modélisation des effets mécaniques de la formation différée d'ettringite qui permette d'estimer l'état mécanique d'une structure atteinte. On présente donc une modélisation chimico-mécanique, formulée à l'échelle macroscopique. Le modèle est basé sur une approche thermodynamique décrivant la formation d'un cristal à l'intérieur d'un milieu poreux. Le comportement mécanique se trouve couplé à l'évolution d'une variable chimique décrivant l'avancement de la réaction, ce qui se traduit à chaque pas de temps par une déformation chimique imposée. L'amplitude et l'évolution de cette déformation sont décrites par une loi sigmoïdale modifiée dont les paramètres sont liés à la composition du béton et peuvent être identifiés expérimentalement dans des conditions standardisées. La valeur de calcul de la déformation chimique imposée tient également compte de l'histoire thermique au jeune âge du béton (qui a un effet sur le gonflement potentiel) et des conditions environnementales (température et humidité) qui ont un effet sur l'amplification des gonflements à chaque pas de temps. Un programme expérimental spécifique a permis de confirmer quantitativement le couplage proposé entre le potentiel d'expansion et l'histoire thermique au jeune âge. Le modèle est également écrit pour tenir compte de l'effet de la contrainte sur l'anisotropie du gonflement, qui constitue un phénomène important à l'échelle des ouvrages atteints, du retrait de séchage et de l'endommagement du module de Young en fonction de la déformation chimique induite par la réaction. Ce modèle a été implémenté dans le code de calcul CESAR-LCPC sous le nom RGIB, en intégrant et élargissant les fonctionnalités du module ALKA destiné aux structures atteintes d'alcali-réaction et constituant ainsi un nouveau module destiné au recalcul des structures atteintes de réaction de gonflement d'origine interne. On a appliqué ce module au recalcul de deux ouvrages ou parties d'ouvrages réels, afin de prédire leur comportement. On a adopté dans notre présentation des résultats une démarche progressive qui permet d'illustrer les différentes fonctionnalités du module. Les résultats trouvés sont satisfaisants et leur comparaison aux résultats in-situ montre une bonne coïncidence. Si le modèle proposé dans ce module RGIB rend compte des connaissances actuelles sur la RSI et ses effets, il met aussi en évidence les manques de connaissance quantitative sur cette réaction et les couplages qui l'influencent et l'importance de calibrages appropriés pour un recalcul précis des ouvrages atteints.

In this doctoral work, we adress various problems arising when dealing with multi-physical simulations using a segregated (non-monolithic) approach. We concentrate on a few specific problems and focus on the solution of aeroelastic flutter for linear elastic structures in compressible fl ows, conjugate heat transfer for re-entry vehicles including thermo-chemical reactions and finally, industrial electro-chemical plating processes which often include stiff source terms. These problems are often solved using specifically developed solvers, but these cannot easily be reused for different purposes. We have therefore considered the development of a flexible and reusable software platform for the simulation of multi-physics problems. We have based this development on the COOLFluiD framework developed at the von Karman Institute in collaboration with a group of partner institutions. For the solution of fl uid fl ow problems involving compressible flows, we have used the Finite Volume method and we have focused on the application of the method to moving and deforming computational domains using the Arbitrary Lagrangian Eulerian formulation. Validation on a series of testcases (including turbulent flows) is shown. In parallel, novel time integration methods have been derived from two popular time discretization methods. They allow to reduce the computational effort needed for unsteady fl ow computations. Good numerical properties have been obtained for both methods. For the computations on deforming domains, a series of mesh deformation techniques are described and compared. In particular, the effect of the stiffness definition is analyzed for the Solid material analogy technique. Using the techniques developed, large movements can be obtained while preserving a good mesh quality. In order to account for very large movements for which mesh deformation techniques lead to badly behaved meshes, remeshing is also considered. We also focus on the numerical discretization of a class of physical models that are often associated with fluid fl ows in coupled problems. For the elliptic problems considered here (elasticity, heat conduction and electrochemical potential problems), the implementation of a Finite Element solver is presented. Standard techniques are described and applied for a variety of problems, both steady and unsteady. Finally, we discuss the coupling of the fluid flow solver with the finite element solver for a series of applications. We concentrate only on loosely and strongly coupled algorithms and the issues associated with their use and implementation. The treatment of non-conformal meshes at the interface between two coupled computational domains is discussed and the problem of the conservation of global quantities is analyzed. The software development of a flexible multi-physics framework is also detailed. Then, several coupling algorithms are described and assessed for testcases in aeroelasticity and conjugate heat transfer showing the integration of the fluid and solid solvers within a multi-physics framework. A novel strongly coupled algorithm, based on a Jacobian-Free Newton-Krylov method is also presented and applied to stiff coupled electrochemical potential problems.

Cette thèse présente un couplage thermodynamique pour une modélisation approfondie du processus de soudure par ultrasons, surtout la soudure des thermoplastiques. Il s'agit de bien connaître le mode de fonctionnement des ensembles acoustiques réalisant la soudure ainsi que le comportement des matériaux à souder. En conséquence, les propriétés de ces matériaux, surtout celles nécessaires pour la modélisation par éléments finis, sont identifiées. Les paramètres mécaniques et thermiques sont mesurés en statique et ils sont comparés avec les résultats calcules par homogénéisation. Certains sont déterminés en dynamique, selon la fréquence et aussi en fonction de la température. Ceci est très utile parce que les matériaux travaillent à haute fréquence ultrasonique et que la température lors de la soudure change fortement. La machine de soudage par ultrasons (l'ensemble acoustique) a déjà été conçue et fabriquée. La modélisation EF en 3D avec Abaqus nous montre bien ses comportements modaux et vibratoires. Ensuite, les matériaux à souder sont introduits en modélisants le contact dynamique entre l'ensemble acoustique et la bande à souder. Ce modèle nous permet de déterminer le temps de contact et la compression dans les matériaux en fonction de la force de maintien. La dissipation d'énergie qui est engendrée par viscosité des matériaux à souder est calculée et introduite dans le modèle couplé thermomécanique. Le transfert de chaleur dans tout l'ensemble lors de la soudure est modélisé et il montre le champ de température, surtout la température à l'interface entre deux couches de matériaux. Cette modélisation est complétée en utilisant la méthode ALE (Arbitrary Lagrangian Eulerian) afin de tenir compte du mouvement d'avancement des bandes à souder

En vue de répondre à l'absence de données complètes et réalistes de la part des fournisseurs, la connaissance du comportement des ferrites MnZn qui équipent les noyaux des composants haute fréquence a progressé nettement grâce à l'apport d'une nouvelle méthode de caractérisation des matériaux magnétiques. Contrairement aux méthodes normalisées, cette méthode, basée sur la mesure de deux impédances électriques complémentaires, permet d'accéder, à toute fréquence, aux données perméabilité et permittivité complexes. En ce qui concerne les formulations par éléments finis, les formulations générales en 3D ont été réécrites avec des propriétés physiques complexes, à l'aide de deux types de potentiel: le potentiel électrique et magnétique. Les hypothèses bidimensionnelles cartésienne et axisymétrique sont aussi utilisées. Le couplage avec les équations du circuit électrique d'alimentation est réalisé par la méthode des potentiels électriques intégrés dans le temps. Cette méthode généralement utilisée en 3D est adaptée pour les problèmes 2D. Les problèmes des capacités parasites liés aux effets des interactions électriques en haute fréquence sont aussi présentés. Pour la modélisation à des fréquences élevées, l'influence du champ magnétique sur le fonctionnement du composant n'est plus négligeable. Un modèle magnétique devient nécessaire afm de tenir compte de l'inductance d'un composant. Plusieurs études récentes sur les effets des interactions magnétiques électriques en haute fréquence sont montrées. Chaque méthode a comme particularité la nécessité des approximations, dans la plupart des cas géométriques, par rapport au problème qui est essentiellement tridimensionnel. Une modélisation par la méthode des éléments fmis utilisant la formulation axisymétrique couplée avec les équations de circuit électrique est proposée et bien adaptée pour une caractérisation électromagnétique des composants bobinés.

Ce travail de thèse, mené dans le cadre d'une convention CIFRE entre TURBOMECA et le CERFACS, s'inscrit dans un contexte d'amélioration des performances des turbines de type axial équipant les turboréacteurs d'hélicoptère. L'une des principales difficultés rencontrée dans cette démarche concerne la maîtrise de la température que voient les pales de ce composant, notamment la roue haute pression. Les travaux de cette thèse s'articulent autour de deux axes principaux: * Le premier traite l'analyse de la Simulations aux Grandes Echelles (SGE) autour de pales. Une approche numérique SGE sur des maillages non-structurés est comparée aux résultats Reynolds Averaged Navier-Stokes (RANS) sur des maillages structurés, usuels dans ce type de configuration, ainsi qu'à une approche SGE sur maillages structurés. La SGE sur maillage non-structuré démontre sa capacité à prendre en compte les phénomènes qui ont un impact sur les flux de chaleur pariétaux. * Le second axe de recherche a pour objectif de développer un outil numérique de couplage pour assurer le transfert d'information entre un code SGE réactif sur maillage non-structuré, employé dans les chambres de combustion, et un code non-réactif en RANS, utilisé par les industriels pour modéliser l'étage turbine. Cet outil a été validé sur plusieurs cas tests qui montrent le potentiel de cette méthodologie pour le couplage multi-composant.