À l'interface entre informatique distribuée et en génie logiciel, nous présentons trois contributions liées aux problématiques de réutilisation du logiciel dans trois cas représentatifs de systèmes distribués grande échelle: les réseaux logiques pair-à-pair, les protocoles épidémiques, et les intergiciels de grille. Les travaux que nous présentons portent sur trois problématiques différentes mais néanmoins liées de ces systèmes: la tolérance aux pannes modulaire (dans les réseaux pair-à-pair), la programmabilité des systèmes à composants (dans les protocoles épidémiques), et l'analyse interactive de performances (dans les intergiciels de grille). Le message qui se dégage de nos travaux est double. Nos contributions démontrent tout d'abord en termes concrets l'intérêt d'abstractions logicielles réutilisables pour les systèmes distribués grande échelle. Nos travaux illustrent par ailleurs la tension inhérente entre réutilisation et complexité logicielle dans les plates-formes distribuées modernes. Notre travail sur les protocoles épidémiques montre par exemple comment une approche de développement par composants peut être combinée à un langage métier dédié pour une plus grande programmabilité. De même notre analyse d'un intergiciel de grille (Globus) illustre clairement les difficultés introduites par la réutilisation logicielle dans les plates-formes distribuées d'aujourd'hui, et comment ces difficultés peuvent être abordées dans le cas du diagnostic en combinant des principes de rétro-conception architecturale avec une analyse dynamique de performances.

Cette recherche propose une structure et un dictionnaire de données de la conception thermique d'un bâtiment d'habitation. L'analyse qui y est effectuée facilite la tâche des créateurs de logiciels spécifiques aux différents domaines de la conception des bâtiments en les dispensant des analyses séparées et répétées. Ces logiciels se partagent les données, saisies et manipulées une seule fois, et les échangent entre eux sans problèmes de compatibilité. La démarche se résume en quatre points : - L'analyse préliminaire de la conception d'un bâtiment fournit des listes, de phases, de fonctions et tâches, de dossiers et documents, et enfin d'ouvrages, à partir desquelles pourraient être collectées les données. - Cette collecte sera effectuée dans le domaine restreint de la conception thermique, pour permettre une analyse plus détaillée. Celle-ci aboutit, grâce aux méthodes de structuration, à la "structure brute" du premier niveau, qui contient des fichiers, et à la "structure simplifiée" du second niveau, qui contient des structures de données. - La "méta-structure" du troisième niveau contient la totalité des résultats dans le fichier "STRUCTURE" : nomenclature des données classées par types, et le fichier "DICTIONNAIRE" : tous les paramètres des données classées par ordre alphabétique. - L'application est réalisée grâce au fichier "BASE", dont le contenu (identifiants et valeurs des données) est saisi une seule fois par le premier utilisateur. La méthode qui a permis la proposition de ces résultats pour ce domaine restreint reste valable pour les domaines non traités. Le traitement de tous les domaines de la conception d'un bâtiment aboutirait à un système de CAO global.

Les éléments de coques multicouches ont montré une grande efficacité dans l'analyse non linéaire des structures. A l'origine, ces éléments avaient été développés pour des lois de comportement spécifiques au béton et à l'acier. Leur généralisation à l'analyse des structures dont le comportement est régi par des lois de comportement à variables internes (plasticité, élasto-visco-plasticité, endommagement) constitue le propos de ce travail de thèse. Issus de l'approche semi-globale, les éléments de coques multicouches permettent de rendre compte des phénomènes non-linéaires tant matériels que géométriques pour l'analyse des structures constituées de coques, sous divers chargements, avec un temps de calcul raisonnable. Dans une première partie, nous développons ces éléments dans le cadre de l'hypothèse des petites perturbations. Une extension est ensuite présentée en intégrant les effets non-linéaires géométriques. Une description lagrangienne actualisée avec un traitement semi-tangentiel des paramètres de rotation est utilisée à cet effet. Dans une seconde partie, nous présentons dans un cadre général, l'aspect théorique ainsi que le traitement numérique des lois de comportement à variables internes. A partir de là, un ensemble de lois de comportement à variables internes permettant la modélisation des comportements de l'acier et du béton sous divers chargements, est présenté. Le but étant d'utiliser ces modèles au sein des éléments finis de coques multicouches, pour le calcul de structures coques en béton armé soumises à des chargements statiques et dynamiques. Une attention particulière est portée sur la condition de contraintes planes d'une part dans le schéma d'intégration des contraintes, et d'autre part dans le calcul du tenseur de comportement tangent. Enfin, les développements effectués sont implantés dans le code de calcul par éléments finis CESAR-LCPC. Au travers d'exemples d'applications numériques, nous précisons le domaine d'application ainsi que les limites des outils proposés.

La thèse est que la représentation par contraintes, en terme de langage et la déduction par la gestion automatique des réseaux de contraintes est une voie adéquate pour les systèmes d'aide à la conception en ingénierie. Deux techniques de l'Intelligence Artificielle à savoir la Propagation de Contraintes et le Raisonnement Qualitatif sont abordées. La Propagation de Contraintes est un mécanisme d'inférences déductives sur les réseaux de contraintes. Ce mécanisme présente plusieurs difficultés, particulièrement dans les calculs pas-à-pas de la résolution des relations entre valeurs des variables. Pour améliorer ce mécanisme, il est proposé dans le présente travail des algorithmes de filtrage sur la consistance locale dans des réseaux de contraintes algébriques n-aires. Ainsi, le concept de réseaux dynamiques est exploité comme un module d'aide à la conception. Le Raisonnement Qualitatif permet aux concepteurs d'analyser les modèles quand la connaissance est incomplète. L'approche de la Simulation Qualitative est proposée. L'adéquation de celle-ci est illustrée par d'une part, la représentation de connaissances incomplètes en termes de contraintes qualitatives, et d'autre part, sa capacité de saisir les comportements qualitatifs possibles des modèles. Un ensemble de logiciels est développé et leur efficacité démontrée sur des cas simples.

En géotechnique, le phénomène du flambement se rencontre principalement dans le cas des micropieux traversant des sols de faibles caractéristiques mécaniques. Pour des pieux plus massifs chargés latéralement et soumis à une charge verticale importante se pose plutôt le problème de l'influence de l'effort normal sur la réponse en flexion des pieux. Ces deux problèmes se traitent mécaniquement en tenant compte des non-linéarités géométriques (effets du second ordre - grands déplacements). Une synthèse bibliographique est d'abord entreprise. Il ressort que la théorie de Mandel est souvent utilisée dans la pratique. Une approche théorique appelée "résistance des matériaux locale (RDM locale)" est ensuite développée pour tenir compte des non-linéarités géométriques. Cette approche est mise en oeuvre numériquement par le programme GOUFLA de calcul de la réponse d'un groupe de pieux en tenant compte des grands déplacements. La validation du programme GOUFLA s'appuie, d'une part, sur des résultats analytiques obtenus par la théorie de Mandel et, d'autre part, sur les résultats numériques obtenus par le logiciel CESAR-LCPC (code par éléments finis). Les principaux résultats d'un programme d'essais de chargement axial sur des modèles réduits de pieux centrifugés sont ensuite présentés, ainsi qu'une confrontation de ces résultats avec les prévisions théoriques de Mandel ; une méthode est ainsi proposée pour une bonne estimation de la force critique à partir de la théorie de Mandel. Les résultats expérimentaux sont aussi comparés avec ceux obtenus numériquement par le programme GOUFLA. Des prévisions de la force critique de flambement sont calculées par le programme GOUFLA pour le dimensionnement des fondations de plusieurs ouvrages réels. L'interprétation et l'analyse d'un essai de flambement d'un micropieu en vraie grandeur sont présentées.

Modélisation du comportement du béton sous des charges multiaxiales avec une loi incrémentale non linéaire. Simulation numérique d'essais uniaxiaux, biaxiaux et triaxiaux. Comparaison avec les résultats expérimentaux obtenus avec une presse biaxiale.

Dans le but de mener à bien le dimensionnement des barrages en terre construits sur sols mous, on développe une approche couplant la consolidation des sols et les écoulements à surface libre. Ce modèle de consolidation à surface libre des sols élastiques ou élastoplastiques isotropes ou anisotropes, écrouissables ou non, prend en compte la variabilité ou la constance des principaux paramètres mécaniques et hydrauliques du sol (indice des vides, écrouissage, perméabilités, compressibilités, teneur en eau). Le traitement numérique de ce problème, effectué au niveau du code de calculs par éléments finis CESAR du Laboratoire Central des Ponts et Chaussées, conduit à la résolution de systèmes d'équations différentielles non-linéaires, pour lesquels on propose des algorithmes transitoires itératifs et des éléments finis appropriés du type déplacement et diffusion. L'application du modèle au calcul d'un ouvrage réel, construit et mis en eau par étapes, a permis d'obtenir des résultats encourageants tant du point de vue mécanique que du point de vue hydraulique.

Le renforcement des sols en général, et le clouage en particulier connaissent depuis quelques années un développement important. Cette dernière méthode est apparue sur les chantiers depuis plus de dix ans, alors que le comportement des parois clouées n'est toujours pas réellement maîtrisé. Le présent rapport traite de ce comportement et du dimensionnement de tels ouvrages. Après une présentation sommaire de la méthode, la première partie du mémoire concerne les connaissances bibliographiques en matière de comportement des parois clouées, et les résultats obtenus sur les modèles réduits développés dans le cadre de ces travaux. Les aspects originaux découverts, notamment sur la rupture et les essais d'arrachement, sont valorisés par la bonne représentativité générale des modèles. Dans une deuxième partie, les méthodes actuelles de dimensionnement sont présentées, avant la description du nouveau logiciel développé durant ces travaux. Conçu spécialement pour le dimensionnement des parois clouées, ce logiciel est basé sur des idées nouvelles propres au concept de clouage. Les premiers résultats obtenus permettent de constater une bonne concordance avec les quelques résultats expérimentaux disponibles à l'heure actuelle.

La tenue des barrages en remblai homogènes dépend fortement de la variation de teneur en eau du sol compacté, comme le montrent les ruptures d'ouvrages connues. Mais jusqu'à présent il n'existait pas de méthode permettant de relier le coefficient de sécurité à la teneur en eau. Le programme UDAM modélise le comportement de massifs de sols non saturés durant leur construction. Le modèle est composé de deux équations de conservation (eau et air) et d'une équation d'équilibre. Des surfaces d'états sont utilisées pour calculer l'indice des vides et le degré de saturation. La loi de comportement mécanique est celle de DUNCAN. La résolution numérique est composée d'une intégration en temps de type EULER semi-implicite et d'une discrétisation spatiale de type GALERKIN bidimensionnelle Ql. Dans ce mémoire, on abordera le calcul de bornes limitant le pas de temps. Un critère de pas de temps minimum limitant le domaine d'oscillation est calculé par une approche théorique sur la discrétisation. La borne supérieure est calculée pour garantir la stabilité du modèle. Le programme UDAM est ensuite validé sur trois cas de barrages différents (MIRGENBACH, La GANNE, El INFIERNILLO). Une démarche d'identification pour les paramètres de la surface d'état a été proposée. On trouvera aussi un essai de mise en eau des ouvrages. Enfin dans une partie informatique, on trouvera une description des notions intrinsèques du code, un pré-processeur graphique de traitement des résultats ainsi qu'un système de distribution des informations entre les différents outils périphériques.

Parmi les techniques de renforcement des sols par inclusions, les micropieux offrent un très vaste champ d'application pour les fondations, les reprises en sous-oeuvre et la stabilisation des pentes et talus. La présente recherche qui fait partie du projet national FOREVER (Renforcement des Sols par Micropieux) a pour objet de modéliser le comportement des micropieux isolés ou en groupe, plus particulièrement développer des outils numériques permettant le calcul. Pour l'étude du comportement des micropieux isolés sous charge axiale, en prenant en compte deux modèles pour la mobilisation du frottement latéral et la résistance de pointe (modèle basé sur l'utilisation des résultats pressiométriques MENARD et modèle basé sur le mécanisme de cisaillement pur d'anneaux concentriques avec une nouvelle définition pour le rayon d'influence), trois micropieux d'essai en vraie grandeur réalisé sur le chantier du TGV Paris-Bruxelles (1994) sont analysés. Un modèle, dit modèle "Multizones", a été présenté et développé pour l'analyse non linéaire des micropieux isolés et chargés latéralement. Ce modèle basé sur le concept de rotule plastique, calcule l'expansion de la zone plastifiée le long du micropieu. Il est introduit dans le programme PILATE-LCPC, donnant le nouveau programme "PILATEP". Les résultats de PILATEP sont comparés avec ceux obtenus par la méthode des éléments finis (programme CESAR-LCPC) ainsi qu'avec des résultats d'essais en modèle réduit par MAHMOUD et BURLY (1994). Un nouveau modèle "hybride" de type "facteur z" et "facteur y" pour le calcul des groupes et des réseaux de micropieux est présenté. Ce modèle combine, d'une part, la méthode des fonctions de transfert de charge pour analyser chacun des micropieux du groupe (modèles 't-z' et 'p-y'), et d'autre part, les concepts du continuum élastique pour déterminer l'interaction entre les micropieux du groupe, appelée "effet de groupe". Ce modèle est introduit dans le programme GOUPIL-LCPC, donnant naissance au programme "GOUPEG". Afin de valider ce logiciel, on compare les résultats de GOUPEG aux résultats expérimentaux du groupe de trois micropieux en vraie grandeur (à Rueil-Malmaison, 1994). Dans un réseau, les micropieux sont chargés axialement et latéralement. Dans ce cas, le couplage entre les efforts axiaux et latéraux est étudié. Enfin, les résultats de GOUPEG sont comparés, avec succès, à ceux obtenus par les méthodes du continuum ainsi que par la méthode des éléments finis (programme CESAR-LCPC).