Une étude expérimentale du comportement de poutres courtes en béton armé pré-fissurées puis renforcées par matériaux composites à base de fibres de carbone sous chargement quasi statique et de fatigue, a été menée par le biais d'essais de flexion 3 points. Les essais de fatigue sont d'abord effectués sous chargement répété à l'état limite de service. Les poutres en béton armé non renforcées se rompent en fatigue. La rupture en fatigue des poutres renforcées n'est jamais atteinte pour deux millions de cycles. Le collage du composite en face tendue améliore considérablement la tenue à la fatigue des éléments pré-fissurés. La rupture en fatigue des poutres courtes pré-fissurées et renforcées, pour des amplitudes et efforts maximaux élevés, est due à la ruine en fatigue des armatures tendues au droits des fissures lorsque l'amplitude de contrainte dans les armatures atteint au moins 200 MPa. Le comportement ultime de nos poutres est étudié par le biais d'essais statiques. La rupture est due à l'effort tranchant suivant deux modes: le décollement du composite latéral, ou les fissurations d'effort tranchant. Des essais statiques sont également effectués sur les poutres renforcées ayant subi deux millions de cycles de fatigue (à l'état de service) afin d'étudier leur résistance statique résiduelle. Une autre étude concerne l'influence du vieillissement des matériaux sur le comportement en fatigue des poutres renforcées, étudiée par les essais de fatigue réalisés sur deux poutres préfissurées (une renforcée par composite, l'autre sans renforcement) stockées dans une salle climatisée à 100% de l'humidité relative et à 38oC de température pendant 4,5 mois avant être testées. On ne note pas d'effet détectable de ce vieillissement sur le comportement en fatigue des poutres: la prise en eau potentielle de la résine n'a pas de conséquence structurale. Une étude numérique (éléments finis) est effectuée pour modéliser le comportement de nos poutres courtes pré-fissurées et renforcées par composite. La validation des méthodes de calcul de type réglementaire est également effectuée. Une amélioration des méthodes existantes de calcul à l'effort tranchant est proposée.

Un système mobile est un ensemble de composants qui peuvent interagir entre eux, tout en modifiant dynamiquement le système lui-même. Ces interactions contrôlent ainsi la création et la destruction des liaisons entre les composants, mais aussi la création dynamique de nouveaux composants au sein du système. La taille d'un tel système varie au cours du temps, elle n'est pas bornée en général. Un système mobile peut représenter des réseaux de télécommunication, des systèmes reconfigurables, des applications client-serveur sur la toile, des protocoles cryptographiques, ou des systèmes biologiques. Plusieurs modèles sont disponibles selon le domaine d'application et la granularité du niveau d'observation. Dans cette thèse, nous proposons un cadre de travail unifiant pour découvrir et prouver statiquement (avant leur exécution) et automatiquement les propriétés des systèmes mobiles. Nous proposons un méta-langage dans lequel nous encodons les modèles les plus couramment utilisés dans la littérature (le p-calcul, le calcul des ambients, le join-calcul, le spi-calcul, les BIO-ambients, etc). Pour chaque modèle encodé, le méta-langage calcule une sémantique enrichie dans laquelle à la fois les composants et les objets qu'ils manipulent (adresses mémoires, noms de canaux, clefs secrètes ou partagées, etc) sont identifiés par l'historique de leur création. Ainsi, nous n'utilisons pas de relation de congruence (ni de renommage), ce qui rend l'analyse plus facile. Le cadre général de l'Interprétation Abstraite nous permet ensuite de dériver des sémantiques abstraites, qui sont décidables, correctes, et approchées. Dans cette thèse, nous donnons trois analyses génériques que nous instancions selon le compromis désiré entre le temps de calcul et la précision de l'analyse. La première analyse se concentre sur les propriétés dynamiques du système. Elle infère des relations entre les historiques des objets qui sont manipulés par les composants du système. Cette analyse distingue les instances récursives d'un même objet, et ce, même lorsque le nombre de ces instances n'est pas borné. à titre d'exemple, cette analyse prouve dans le cas d'une application client-serveur à nombre illimité de clients, que les données de chaque client ne sont pas communiquées aux autres clients. La deuxième analyse se concentre sur des propriétés de concurrence. Cette analyse compte le nombre de composants du système. Elle permet de détecter que certains composants ne peuvent pas interagir, car ils ne coexistent jamais. Elle peut aussi garantir à un système qu'il n'épuisera pas les ressources physiques disponibles. Une troisième analyse mêle concurrence et dynamicité.

Le cadre de cette thèse est l'analyse statique modulaire par interprétation abstraite de logiciels en vue de leur vérification automatique. Nous nous intéressons en particulier aux programmes comportant des objets alloués dynamiquement sur un tas et repérés par des pointeurs. Le but final étant de trouver des erreurs dans un programme (problèmes de déréférencements et d'alias) ou de prouver qu'un programme est correct (relativement à ces problèmes) de façon automatique. Isthiaq, Pym, O'Hearn et Reynolds ont développé récemment des logiques de fragmentation (separation logics) qui sont des logiques de Hoare avec un langage d'assertions/de prédicats permettant de démontrer qu'un programme manipulant des pointeurs sur un tas est correct. La sémantique des triplets de la logique ({P}C{P

Dans la thèse nous présentons un cadre pour l'analyse statique de langages orientés objets qui tient compte des propriétés de modularité de ces langages. Il y a plusieurs défis à relever pour obtenir une analyse statique efficace de langages orientés objet. Tout d'abord, elle doit gérer les particularités de ces langages telles que l'héritage, le polymorphisme et la résolution de méthodes virtuelles. Deuxièmement, elle doit être modulaire. En fait, les programmes orientés objet typiques sont fait de plusieurs milliers de classes et une analyse monolithique du programmes complet peut être trop coûteuse pour être pratiquée. Troisièmement, la technologie orientée objet favorise la programmation par composants, en cela qu'un composant (une classe) est développée une fois pour toute et utilisée dans de nombreux contextes différents. Aussi, une analyse statique efficace doit pouvoir inférée des propriétés des composants valides pour toutes les instantiations possibles de contextes. Dans cette thèse, nous présentons une analyse qui relève les défis esquissés ci-dessus. En particulier, nous nous concentrons sur une analyse qui peut inférer des invariants de classe. Un invariant de classe est une propriété d'une classe valide pour chaque instanciation, avant et après l'exécution de n'importe quelle méthode de la classe. Notre analyse a plusieurs avantages. Elle est indépendante du langage, elle exploite la structure modulaire des langages orientés objet et elle gère les principales fonctionnalités de ces langages, à savoir l'héritage, le polymorphisme et l'encapsulation. Le cadre présenté dans cette thèse est très flexible. En particulier, il permet de régler finement l'analyse selon les trois axes orthogonaux suivants: - Domaine abstrait sous-jacent: une classe peut être analysée en utilisant soit un domaine abstrait générique soit un domaine abstrait symbolique de façon à obtenir une analyse plus efficace mais moins précise. - Gestion de l'héritage: une sous-classe peut être analysée soit directement, en expansant syntaxiquement la relation de sous-classe, soit indirectement, en utilisant l'invariant du parent afin d'éviter une explosion quadratique de la complexité. -Traitement des contextes d'instantiation: une classe peut être utilisée soit indépendamment du contexte, afin d'obtenir un résultat valable dans tous les contextes, soit en utilisant une approximation du contexte afin d'obtenir un résultat plus précis mais moins général.

Une partie traite de la dynamique des systèmes de solides rigides en présence de liaisons unilatérales (comme les problèmes de billard par exemple). On discute de la formulation systématique du problème de Cauchy correspondant ainsi que de l'existence et l'unicité de ses solutions. Une autre partie partie concerne l'étude des problèmes de contact avec frottement au bord en élasticité tridimensionnelle linéarisée, et les difficultés associées à l'absence de monotonie dans la discussion de l'unicité de solution. On fait valoir l'importance possible de cette discussion par rapport au problème de dimensionnement (de dispositifs de frein par exemple) vis-à-vis du phénomène de crissement. Une dernière partie traite de problèmes posés par l'évolution quasi-statique de structures minces élastiques (comme des fils ou des poutres) au-dessus d'obstacles rigides en présence de frottement. Ces problèmes fournissent des exemples archétypaux de processus de rafle de Moreau en dimension infinie. Des exemples simples mettent en évidence l'apparition spontanée de discontinuités spatiales mobiles de la vitesse, alors même que les données peuvent être des fonctions aussi régulières que l'on veut. Il ne peut y avoir alors de solution forte et il faut se contenter de solution faible au processus de rafle sous-jacent.

Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modéles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences de nœuds. Dans les langages de requêtes (XPath, XQuery), ces contraintes permettent de sélectionner les nœuds ayant un nombre limité de nœuds accessibles par une expression de chemin donnée. Les types et chemins étendus avec les contraintes de comptage constituent le prolongement naturel de leurs homologues sans comptage déjà considérés comme des constructions fondamentales dans les langages de programmation et les systèmes de type pour XML. Un des défis majeurs en programmation XML consiste à développer des techniques automatisées permettant d'assurer statiquement un typage correct et des optimisations de programmes manipulant les données XML. À cette fin, il est nécessaire de résoudre certaines tâches de raisonnement qui impliquent des constructions telles que les types et les expressions XPath avec des contraintes de comptage. Dans un futur proche, les compilateurs de programmes XML devront résoudre des problèmes de base tels que le sous-typage afin de s'assurer au moment de la compilation qu'un programme ne pourra jamais générer de documents non valides à l'exécution. Cette thèse étudie les logiques capables d'exprimer des contraintes de comptage sur les structures d'arbres. Il a été montré récemment que le mu-calcul sur les graphes, lorsqu'il est étendu à des contraintes de comptage portant exclusivement sur les nœuds successeurs immédiats est indécidable. Dans cette thèse, nous montrons que, sur les arbres finis, la logique avec contraintes de comptage est décidable en temps exponentiel. En outre, cette logique fournit des opérateurs de comptage selon des chemins plus généraux. En effet, la logique peut exprimer des contraintes numériques sur le nombre de nœuds descendants ou même ascendants. Nous présentons également des traductions linéaires d'expressions XPath et de types XML comportant des contraintes de comptage dans la logique.

Ce travail de thèse propose une méthodologie de dimensionnement s'adaptant à un grand nombre de structures de convertisseurs statiques. Elle intègre différents outils préexistants, et s'appuie sur la formulation automatique, avec des techniques de calcul symbolique, d'un modèle de dimensionnement. Celui-ci prend en charge, à un même niveau, l'aspect physique du fonctionnement et l'aspect conception qui s'exprime en termes de respect d'un cahier des charges. La connaissance fondamentale pour mettre en œuvre cette démarche se veut minimale, et comprend les équations des nœuds du circuit et les spécifications du cahier des charges. L'intervention de l'utilisateur dans la méthodologie est réduite au maximum et simplifiée. Sur ces principes, cette approche de CAO cherche à fournir au concepteur, via l'ordinateur, en plus de logiciels d'analyse, un véritable outil d'aide au dimensionnement intégrable dans une méthodologie globale de conception des convertisseurs statiques.

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.

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.

Cette thèse se préoccupe d'améliorer la conception de convertisseur. Le nombre de contraintes augmente avec l'évolution technologique et les restrictions actuelle et amènent à .des solutions informatiques. Dans une première partie nous allons analysé nos connaissances actuelles sur la base de la réalisation d'un Flyback et d'un Forward. De nombreuses difficultés ont été rencontrées et une étude du transformateur en découle. Cette approche ne tien par contre pas conte des problèmes CEM. Dans une deuxième partie nous traitons la modélisation du transformateur. La prédétermination magnétique d'enroulement en fils de Litz est développée et des comparaisons avec des résultats expérimentaux la valide. Une approche analytique 2D permet d'améliorer le calcul * de l'inductru1ce de fuite. La pris en compte du plan de masse * et l'instauration d'une nouvelle méthode d'identification permet d'améliorer le modèle électrostatique du transformateur. La problématique de la CEM dans la conception est aborder dans la troisième partie. Un recensement des modèles * actuellement disponible est effectué. Trois méthodes * de calculs de perturbations en fréquencielle sont étudiées. Une analyse des perturbations, en fonction des paramètres des modèles, permet l'identification des paramètres les plus sensibles et d'agir en conséquence pour améliorer le comportement CEM. Une dernière partie est consacrée à l'expérimentation d'un logicielle de conception de convertisseur en plein développement. Jusque là il n'est pas encore possible d'obtenir des résultats probants cependant de nombreuses erreurs ont pu être éliminer et des modifications significatives sont élaborées pour une prochaine version.