L'objectif principal de ce travail est d'étudier la cinétique d'endommagement par multifissuration matricielle de stratifiés croisés [0m/90n]S, carbone/époxyde IM7/977-2 ou IMS/M21 utilisés dans l'industrie aéronautiques, à partir d'essais de traction sous chargement monotone et de fatigue, à plusieurs températures. L'évolution de la densité de fissures dans des stratifiés [0m/90n]S sous chargement monotone est étudiée expérimentalement puis décrite par un critère énergétique faisant intervenir l'énergie de rupture. Plusieurs expressions du taux de restitution d'énergie ont été comparés pour obtenir une bonne évaluation de l'énergie de rupture en fonction de la densité de fissures. L'influence du délaminage et de la température sur les courbes de fissuration a aussi été considérée. Pour le composite IM7/977-2, l'influence de la température est décrite au moyen du principe de superposition temps-température, en cherchant à construire des courbes maîtresses d'iso-endommagement. Un passage de l'étude de la fissuration sous chargement monotone à l'étude de la fissuration progressive sous chargement de fatigue a été étudié. Une étude expérimentale et une simulation de l'évolution de la densité de fissures transverses en fonction du nombre de cycles sont présentées. Dans le critère de fissuration, une loi de dégradation de l'énergie de rupture en fatigue du matériau qui repose sur une génération de l'hypothèse simple de Vinogradov concernant la forme des courbes S-N de première fissuration et qui prend en compte l'effet de courbe «R» a été utilisée.

Cette étude est dédiée à établir un outil de prédiction de durée de vie pour un métal polycristallin soumis à des chargements multiaxiaux complexes en fatigue à grand nombre de cycles. Afin d'appréhender les mécanismes de plasticité et d'endommagement à modéliser, une campagne d'expériences menées sur un acier type C35 est effectuée dans la première partie de l'étude. Les options de modélisation sont choisies en lien avec cette caractérisation précise des mécanismes. La modélisation s'intéresse à la prévision à la fois du domaine de l'endurance infinie et celui de la durée de vie limitée (105 – 107 cycles). Pour répondre au premier objectif, un critère de fatigue multiaxiale basé sur des invariants des contraintes est proposé. Malgré une formulation simple, les confrontations du critère avec une large base de données sont satisfaisantes. En ce qui concerne le deuxième objectif, afin de dépasser une description purement phénoménologique, un modèle d'endommagement à deux échelles (macro – méso) intègre le critère proposé et est construit dans le cadre de la thermodynamique des processus irréversibles permettant de traduire le plus fidèlement possible les mécanismes de dégradation à l'échelle mésoscopique ainsi que capter l'effet de déphasage et le cumul non linéaire du dommage. Au-delà des chargements à amplitude constante, le caractère incrémental du modèle ouvre la perspective du traitement des chargements à amplitude variable.

Le but de ce travail de recherche est d'étudier le comportement thermomécanique des matériaux constituant un réservoir de stockage d'hydrogène de type IV : un composite, assurant la tenue, est bobiné autour du liner polyuréthane qui assure l'étanchéité du réservoir et l'isolation thermique ; aux extrémités, des embases en acier inoxydable sont utilisées pour permettre le raccord du réservoir. Dans ce type de réservoir, lors du remplissage, il y a une augmentation significative de la température de l'hydrogène, entraînant un échauffement progressif de la structure et la présence de gradients de température. Le but de cette étude est principalement de caractériser le comportement d'une telle structure sous chargement thermomécanique complexe. Dans un premier temps, des essais de caractérisation mécanique et thermique ont été réalisés sur toute la plage de température d'utilisation du réservoir afin d'obtenir les données nécessaires à la réalisation d'un modèle numérique thermomécanique. Ensuite , une loi de comportement du composite pouvant être facilement transférable à une structure complexe telle que le réservoir et prenant en compte la non-linéarité, l'endommagement matriciel, la perte de rigidité progressive en cisaillement, ainsi que la thermo-dépendance des paramètres matériaux, est développée. Puis, des essais sur des éprouvettes technologiques représentatives d'un réservoir ont permis de mieux comprendre les mécanismes pouvant apparaître dans le réservoir et de valider le modèle développé. Enfin, une étude numérique d'un réservoir et de l'influence couplée de la température et de l'endommagement matriciel sur le comportement de cette structure a été réalisée.

Cette thèse a porté sur l'endommagement par cavitation des élastomères soumis à une décompression de gaz. Des études ont montré qu'à partir d'un niveau de chargement hydrostatique, des cavités se forment dans un élastomère. Des cavités peuvent aussi apparaître dans un élastomère saturé en gaz lorsque la pression est brusquement supprimée. Les critères développés dans un cadre purement mécanique ont été utilisés pour essayer de prédire le phénomène observé sous chargement de gaz. La première étape du travail a consisté à caractériser expérimentalement les conditions spatiales et temporelles d'apparition de l'endommagement. Une pression macroscopique de gaz ou une contrainte hydrostatique critique ne peuvent pas pleinement prédire tous les cas observés. La diffusion de gaz ajoute un aspect temporel non négligeable. Ces résultats justifient l'étude numérique diffuso-mécanique couplée à l'échelle de la cavité qui a été conduite en considérant une cavité au centre d'un échantillon hyperélastique incompressible soumis à un chargement mécanique et à une diffusion de gaz. Ce modèle de sphère creuse a permis d'observer la croissance stable de la cavité pendant un cycle complet de chargement en gaz, avec un gonflement pendant la décompression. Ce gonflement a été couplé à un critère en allongement critique de la cavité pour reproduire les courbes donnant l'instant de cavitation pour les différents essais expérimentaux réalisés. Le modèle construit au aussi permis de reproduire qualitativement et quantitativement l'effet des paramètres du cycle en gaz sur le temps d'apparition des cavités, ainsi que l'effet de l'épaisseur des échantillons, ce qui n'avait pas été fait auparavant.

Dans le premier chapitre, nous étudions le conditionnement d'un processus de Lévy complètement asymétrique à demeurer dans un intervalle fini. <br /><br />Les deux suivants sont consacrés aux processus de branchement à espace d'états continu, qui sont des processus de Lévy sans saut négatif changés de temps : généalogie (deuxième chapitre), dont nous dérivons des théorèmes de type Ray-Knight, et conditionnement à ne jamais s'éteindre (troisième chapitre). <br /><br />Enfin, le dernier chapitre traite de théorie du renouvellement multivariée dans deux cas naturels d'ensembles aléatoires emboîtés.

Nous présentons un ensemble de méthodes pour la vérification et la commande de systèmes continus et hybrides, basées sur l'utilisation de trajectoires individuelles. Dans une première partie, nous précisons la classe des systèmes considérés et leurs propriétés. Nous partons de systèmes continus régis par des équations différentielles ordinaires auxquels nous ajoutons des entrées et des événements discrets, constituant ainsi une classe de systèmes dynamiques hybrides. La seconde partie est consacrée à la vérification de ces systèmes basée sur le calcul d'atteignabilité. Nous étudions comment un nombre fini de trajectoires peut couvrir l'ensemble infini des états atteignables du système. Nous montrons qu'en utilisant une analyse de la sensibilité aux conditions initiales, une sur-approximation de l'ensemble atteignable peut être obtenue. Nous en déduisons un algorithme qui, par une sélection hiérarchique des trajectoires, trouve rapidement un comportement mauvais ou prouve qu'il n'en existe aucun. La troisième partie concerne la commande optimale et se base sur des techniques de programmation dynamique approchée. Un coût est défini pour chaque trajectoire, et la commande minimisant ce coût se déduit d'une fonction valeur définie sur l'espace d'état et que nous représentons en utilisant un approximateur de fonction . Nous utilisons l'expérience fournie par des trajectoires tests pour améliorer cette approximation. Enfin, nous utilisons les résultats de la deuxième partie pour sélectionner ces trajectoires en cohérence avec les propriétés de généralisation locales de l'approximateur de fonction et en restreignant l'exploration de l'espace d'état pour limiter les calculs.

Les systèmes dynamiques continus permettent de modéliser de nombreux<br />systèmes physiques, biologiques, ou issus de l'informatique<br />distribuée. Nous nous intéressons à leur pouvoir de modélisation, et à<br />leurs propriétés en tant que systèmes de calculs, et plus généralement<br />aux propriétés calculatoires des modèles continus.<br /><br />Les deux premiers chapitres ne visent pas à produire des résultats<br />nouveaux, mais à motiver ce travail, et à le mettre en<br />perspectives. Le chapitre 3 constitue un survol. Les chapitres 4, 5 et<br />l'annexe A présentent un panorama de quelques-uns de nos résultats<br />personnels en relations avec cette problématique.<br /><br />Plus précisément, le chapitre 1 présente les systèmes dynamiques, avec<br />un point de vue classique et mathématique. Il vise d'une part à<br />souligner la richesse, et la subtilité des comportements possibles des<br />systèmes dynamiques continus, et d'autre part à mettre en évidence que<br />différents dispositifs sont intrinsèquement continus, et utilisables<br />comme tels pour réaliser des calculs. En outre nous insistons sur la<br />puissance de modélisation d'une classe de systèmes dynamiques, que<br />nous nommons les problèmes de Cauchy polynomiaux.<br /><br />Les exemples du chapitre 2, issus de la bioinformatique, des modèles<br />de la biologie des populations, de la virologie biologique et de la<br />virologie informatique, et de l'algorithmique distribuée, se<br />distinguent de ceux du chapitre 1 par le fait qu'ils mettent<br />explicitement en jeu une certaine notion de concurrence entre agents.<br />Nous présentons la théorie des jeux, et ses modèles, en nous<br />focalisant sur certains de ses modèles du dynamisme. Ces modèles<br />continus deviennent naturels pour parler d'algorithmique distribuée,<br />en particulier dès que l'on a affaire à des systèmes de grandes<br />tailles, ou dont on ne contrôle pas les interactions. Nous pointons<br />quelques modèles de l'algorithmique distribuée qui intègrent ces<br />considérations, et le potentiel de l'utilisation des systèmes continus<br />pour l'algorithmique distribuée.<br /><br />Le chapitre 3 constitue un survol de la théorie des calculs pour les<br />modèles à temps continu. La puissance des modèles de calculs à temps<br />et espace discrets est relativement bien comprise grâce à la thèse de<br />Church, qui postule que tous les modèles raisonnables et suffisamment<br />puissants ont la même puissance, celle des machines de Turing. On peut<br />aussi considérer des modèles où le temps est continu. Certaines<br />grandes classes de modèles ont été considérées dans la<br />littérature. Nous les reprenons dans ce chapitre, en présentant un<br />panorama de ce qui est connu sur leurs propriétés calculatoires.<br /><br />Le chapitre 4 présente un résumé de quelques-uns de nos résultats<br />personnels à propos de la comparaison de la puissance de plusieurs<br />modèles à temps continu, en relations avec la thèse de Emmanuel<br />Hainry. Claude Shannon a introduit en 1941 le GPAC comme un modèle des<br />dispositifs de calculs analogiques. Les résultats de Shannon ont<br />longtemps été utilisés pour argumenter que ce modèle était plus faible<br />que l'analyse récursive, et donc que les machines analogiques sont<br />prouvablement plus faibles que les machines digitales. Avec Manuel<br />Campagnolo, Daniel Graça, et Emmanuel Hainry, nous avons prouvé<br />récemment que le GPAC et l'analyse récursive calculent en fait les<br />mêmes fonctions. Ce résultat prend toute sa perspective si l'on<br />comprend que les fonctions calculées par le GPAC correspondent aux<br />problèmes de Cauchy polynomiaux, dont le pouvoir de modélisation est<br />discuté dans le chapitre 1.<br /><br />D'autre part, nous avons montré qu'il était possible de caractériser<br />algébriquement les fonctions élémentairement calculables et<br />calculables au sens de l'analyse récursive. Cela signifie d'une part<br />qu'il est possible de les caractériser en termes d'une sous-classe des<br />fonctions R-récursives à la Moore, ce qui étend les résultats de<br />Campagnolo, Costa, Moore, de la calculabilité discrète à l'analyse<br />récursive, mais aussi d'autre part, qu'il est possible de caractériser<br />ces fonctions de façon purement continue, par l'analyse, sans<br />référence à de la calculabilité.<br /><br />Dans le chapitre 5, nous reprenons certains de nos résultats à propos<br />de caractérisations logiques de classes de complexité dans le modèle<br />de Blum Shub et Smale, en relations avec la thèse de Paulin Jacobé de<br />Naurois. Le modèle de Blum Shub et Smale constitue un modèle de calcul<br />à temps discret et à espace continu. Le modèle, défini initialement<br />pour parler de complexité algébrique de problèmes sur le corps des<br />réels, ou plus généralement sur un anneau, a été par la suite été<br />étendu par Poizat en un modèle de calculs sur une structure logique<br />arbitraire. Avec Paulin Jacobé de Naurois, Felipe Cucker et Jean-Yves<br />Marion, nous avons caractérisé syntaxiquement les classes de<br />complexité majeures dans ce modèle sur une structure arbitraire, à la<br />Bellantoni et Cook 1992.<br /><br />Le chapitre 6 est consacré à une conclusion, dans laquelle nous<br />reprenons plusieurs questions et perspectives qui nous semblent<br />intéressantes.<br /><br />Dans l'annexe A, nous discutons un point de vue sur les<br />hypercalculs. La question de l'existence de systèmes capables de<br />réaliser des hypercalculs, c'est-à-dire d'effectuer des calculs<br />exploitables qui ne seraient pas réalisables par aucune machine de<br />Turing, fait encore couler de l'encre et des controverses. Nous avons<br />été invité à exprimer notre point de vue dans un numéro spécial sur le<br />sujet, que nous reprenons en annexe A. Nous y rappelons plusieurs<br />mauvaises compréhensions fréquentes de la thèse de Church, et nous<br />présentons un panorama de plusieurs classes de systèmes mathématiques,<br />avec la caractérisation de leur puissance.

Thèse doctorat : Mécanique : Lille 1 : 2003. / N° d'ordre (Lille 1) : 3390. Résumé en français et en anglais. Bibliogr. p. 129-134.

Thèse doctorat : Génie des Matériaux : INSA LYON : 2002. / Titre provenant de l'écran-titre. Bibliogr. p. 182-186.

Thèse doctorat : Conception en Bâtiment et Techniques Urbaines : Villeurbanne, INSA : 1997. / Titre provenant de l'écran-titre. Bibliogr. p. 182-193.