Le but de ce travail est de développer des outils par éléments finis permettant de calculer des structures sandwich sans ajouter aucune autre hypothèse que celle, très générale, de l'élasticité linéaire. Deux voies ont été suivies dans ce travail. Tout d'abord, nous exposons comment développer des éléments finis hybrides, dans lesquels les contraintes aux interfaces entre les différentes couches sont obtenues par l'intermédiaire de multiplicateurs de Lagrange. Des éléments 2D et 3D, basés sur le principe du travail virtuel et sur la fonctionnelle de Pian et Tong sont développés et validés. Ensuite, après avoir examiné les possibilités offertes par le code de calcul Ansys 5.3, nous proposons une méthode de post-traitement, basée sur la fonctionnelle de Reissner, permettant de recouvrer les contraintes d'interfaces à partir des déplacements nodaux obtenus à partir des éléments en déplacements. Finalement ces deux approches sont confrontées entre elles, tant sur le plan de la qualité des résultats numériques que sur la facilité d'utilisation, de programmation et d'implémentation dans des codes de calculs existants.

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.

Le but de cette thèse est l'étude prédictive par calcul aux éléments finis des effets de la fissuration à l'échelle de structures en béton armé et précontraint soumises à des chargements statiques, cycliques et dynamiques. Il s'agit d'une part de préciser les lois de comportement des matériaux constitutifs de ces structures, et d'autre part de développer des outils numériques adaptés. Pour la modélisation du comportement du béton, un modèle du comportement macroscopique est présenté, couplant la plasticité à l'endommagement. Pour la partie plastique, il s'agit d'adapter la loi élastoplastique au comportement spécifique du béton. La (micro)fissuration du matériau est représentée à l'échelle macroscopique en termes de déformations plastiques, et l'apparition et l'évolution du dommage par l'évolution de variables plastiques. En particulier, la porosité plastique modélise la variation irréversible de l'espace poreux connecté créé par (micro)fissuration. Cette signification physique est à la base du couplage phénoménologique de la plasticité et de l'endommagement : les effets du dommage sont modélisés par une variation des caractéristiques élastiques fonction de la variable d'endommagement choisie : la porosité plastique. Cette loi de comportement est utilisée au sein d'un élément fini particulier : l'élément poutre multifibre, issu de l'extension des approches multicouches au cas tridimensionnel. L'outil numérique développé permet de prendre en compte des phénomènes non-linéaires tant matériels que géométriques dans l'analyse de structures à poutres sous des chargement divers avec un temps de calcul raisonnable. Pour l'application au cas des structures en béton précontraint, la formulation prend en compte des déplacements relatifs (glissement) entre câble précontraint et béton : la précontrainte est traitée comme un problème de condition aux limites à l'interface acier-béton. Ces développements sont mis en oeuvre dans un code de calcul par éléments finis. Au travers d'exemples d'applications numériques, le domaine d'application et les limites des outils proposés sont précisés. Ces outils se veulent une aide à la conception pour les ingénieurs, dans les études prédictives des effets du dommage à l'échelle des structures.

Le comportement des structures sous certains types d'actions tels que les séismes nécessite une bonne connaissance du comportement des matériaux composants sous des charges cycliques. Dans cette étude, le modèle de comportement cyclique du béton est basé sur la théorie de l'endommagement, sur la mécanique des milieux continus et la thermodynamique des processus irréversibles. Ce modèle tient compte des déformations résiduelles et de la perte de raideur due à la fissuration. Dans son application, les effets biaxiaux et le fluage ne sont pas pris en considération. Le comportement des armatures est considéré élasto - plastique parfait. Une amélioration importante pour l'application du modèle a été de définir une méthode d'identification des paramètres à partir des données physiques obtenues dans les essais classiques de contrôle du béton et d'une expression analytique de la loi de comportement d'usage courant. Le modèle uniaxial est introduit dans un code numérique pour structures planes. La structure à analyser est découpée en plusieurs éléments de poutres. Chaque élément est représenté par un certain nombre de sections. La section est divisée en plusieurs fibres soumises à une sollicitation uniaxiale. Chaque fibre suit sa propre histoire conforme au modèle ci-dessus, mais sa déformation respecte la loi de planéité de la section considérée. Des essais de validation ont été réalisés sur des éprouvettes cylindriques sous charges cycliques de compression, sur des poteaux courts sous compression - traction cyclique et sur des poteaux sous flexion alternée et effort normal constant. La comparaison modèle - essais apporte des résultats encourageants pour l'analyse des structures en béton armé sous charges cycliques.

Dans le domaine du calcul de haute performance, les architectures d'exécution sont en continuelle évolution. L'augmentation du nombre de nœuds de calcul, ou le choix d'une topologie réseau plus rapide représentent un investissement important tant en temps qu'en moyen financier. Les méthodes de prédiction de performances permettent de guider ce choix. En parallèle à ce développement, les systèmes HPC pair-à-pair (P2P) se sont également développés ces dernières années. Ce type d'architecture hétérogène permettrait la résolution des problèmes scientifiques pour un coût très faible par rapport au coût d'une architecture dédiée.Ce manuscrit présente une méthode nouvelle de prédiction de performances pour les applications réelles de calcul distribué, exécutées dans des conditions réelles. La prédiction prend en compte l'optimisation du compilateur. Les résultats sont extrapolables et ils sont obtenus pour un ralentissement réduit. Ce travail de recherche est implémenté dans un logiciel nouveau nommé dPerf. dPerf est capable de prédire les performances des applications C, C++ ou Fortran qui communiquent en utilisant les normes MPI ou P2P-SAP et qui s'exécutent sur une architecture cible pair à pair, hétérogène et décentralisée. La précision de cette contribution a été étudiée sur (i) la transformée Laplace, pour l'aspect séquentiel, (ii) le benchmark IS de NAS, pour l'aspect MPI, (iii) et le code de l'obstacle pour l'aspect calcul P2P décentralisé et l'extrapolation du nombre de nœuds.

L'étude présentée porte sur la caractérisation et la comparaison des propriétés quasi-statiques et en fatigue de composites à fibres de lin et de verre avec une matrice époxy. Une importante campagne d'essais de fatigue a été réalisée à partir des propriétés quasi-statiques de traction et cisaillement plan mesurées. Il apparaît que les caractéristiques en statique et en fatigue du verre/époxy sont supérieures à celles du lin/époxy à taux de fibres et stratification identiques. Cependant, en raison de la faible densité des renforts de lin, les écarts entre les propriétés spécifiques des deux matériaux sont faibles. La mesure de l'évolution des propriétés en fatigue a mis à jour des comportements phénoménologiques particuliers tels que la diminution de l'amortissement et l'augmentation de la rigidité des lin/époxy ayant des fibres parallèles à la direction du chargement, au cours de la vie des éprouvettes. Le suivi de l'endommagement par la mesure des densités de fissures montre que celle-ci augmente avec le chargement et le nombre de cycles appliqués. Les simulations par éléments finis de la durée de vie des composites lin/époxy, intégrant la variabilité des paramètres du modèle par la méthode Monté-Carlo, donnent des courbes de Wöhler conservatives par rapport aux données expérimentales. Conformément aux mesures expérimentales, la variabilité des durées de vie calculées diminue lorsque le chargement baisse

Je présente dans ce document mes résultats de recherche sur la conception sûre de systèmes embarqués sûrs. La première partie concerne la répartition automatique de programmes synchrones. Le caractère automatique de la répartition apporte un réel degré de sûreté dans la conception de systèmes répartis car c'est la partie la plus délicate de la spécification qui est automatisée. Grâce à cela, l'absence d'inter-blocage et l'équivalence fonctionnelle entre le programme source centralisé et le programme final réparti peuvent être formellement démontrées. La deuxième partie traite le sujet de l'ordonnancement et de la répartition de graphes de tâches flots-de-données sur des architectures à mémoire répartie, avec contraintes de tolérance aux fautes et de fiabilité. Je présente principalement des heuristiques d'ordonnancement statique multiprocesseur avec pour but la tolérance aux fautes et la fiabilité des systèmes, mais également l'utilisation de méthodes formelles telles que la synthèse de contrôleurs discrets ou les transformations automatiques de programmes. Enfin, la troisième partie concerne les autoroutes automatisées, avec deux volets : la commande longitudinale de véhicules autonomes et les stratégies d'insertion dans les autoroutes automatisées.

Dans le cadre de la protection du bâti face au risque sismique, les techniques d'analyse simplifiées, basées sur des calculs quasi-statiques en poussée progressive, se sont fortement développées au cours des deux dernières décennies. Le travail de thèse a pour objectif d'optimiser une stratégie d'analyse simplifiée proposée par Chopra et al. (2001) et adoptée par les normes américaines FEMA 273. Il s'agit d'une analyse modale non linéaire découplée, dénommée par les auteurs UMRHA qui se caractérisent principalement par : des calculs de type pushover selon les modes de vibration dominants de la structure, la création de modèles à un degré de liberté non linéaire à partir des courbes de pushover, puis le calcul de la réponse temporelle de la structure en recombinant les réponses temporelles associées à chaque mode de vibration. Dans ce travail, la méthode UMRHA a été améliorée en investiguant les points suivants. Tout d'abord, plusieurs modèles à un degré de liberté non linéaire déduits des courbes de pushover modal sont proposés afin d'enrichir la méthode UMRHA originelle qui emploie un simple modèle élasto-plastique : autres modèles élasto-plastiques avec des courbes enveloppes différentes, le modèle de Takeda prenant en compte un comportement hystérétique propre aux structures sous séismes, et enfin, un modèle simplifié basé sur la dégradation de fréquence en fonction d'un indicateur de dommage. Ce dernier modèle à un degré de liberté privilégie la vision de la chute de fréquence au cours du processus d'endommagement de la structure par rapport à une description réaliste des boucles d'hystérésis. La réponse totale de la structure est obtenue en sommant les contributions non linéaires des modes dominants aux contributions linéaires des modes non dominants. Enfin, la dégradation des déformées modales, due à l'endommagement subi par la structure au cours de la sollicitation sismique, est prise en compte dans la méthode M-UMRHA proposée dans ce travail, en généralisant le concept précédent de dégradation des fréquences modales en fonction d'un indicateur de dommage : la déformée modale devient elle-aussi dépendante d'un indicateur de dommage, le déplacement maximum en tête de l'ouvrage ; l'évolution de la déformée modale en fonction de cet indicateur est directement identifiée à partir des calculs de pushover modal. La pertinence de la nouvelle méthode M-UMRHA est investiguée pour plusieurs types de structures, en adoptant des modélisations éprouvées dans le cadre de la simulation des structures sous séismes : portique en béton armé modélisé par des éléments multifibres pour le béton et les armatures, remplissage en maçonnerie avec des éléments barres diagonales résistant uniquement en compression, bâti existant contreventé (Hôtel de Ville de Grenoble) avec des approches coques multicouches. Les résultats obtenus par la méthode simplifiée proposée sont comparés aux résultats de référence issus de l'analyse temporelle non linéaire dynamique.

Les résultats de récentes études supportent l’idée que la perception de la force aurait un rôle important dans la réalisation des tâches fonctionnelles telles que le passage assis à debout (PAD). Cependant, très peu d’études se sont attardées à quantifier la précision avec laquelle les individus en santé sont capables de percevoir la force musculaire. De plus, aucune étude n’a évalué la perception de la distribution du poids lors du PAD chez la clientèle saine. L’objectif principal était de recueillir des données sur la capacité des individus en santé, jeunes et âgés, à percevoir la force musculaire lors d’une contraction statique des extenseurs du genou et à percevoir la distribution du poids (DP) lorsqu’ils réalisent le passage assis à debout. Cette étude a été effectuée auprès de 31 individus, divisés en deux groupes d’âge (< 50 ans et > 60 ans). Les résultats du premier objectif visant à quantifier les erreurs de perception de la force lors d’une contraction statique des extenseurs du genou ont démontré que les erreurs absolues et brutes sont plus élevées pour les niveaux de force supérieurs à 50 % CVM et que les erreurs brutes sont plus importantes chez les jeunes pour les hauts niveaux de force. Les résultats du second objectif visant à évaluer l’effet de différentes références sensorimotrices sur les erreurs de perception de la force musculaire ont montré qu’une référence à 50 % CVM préalablement montrée au participant et qu’une contraction simultanée des muscles de la préhension de la main diminuent les erreurs brutes et absolues de perception pour le niveau de force 70%. Les résultats du troisième objectif visant à quantifier les erreurs de perception de la DP lors du PAD ont démontré que les sujets jeunes et âgés ont une bonne capacité à percevoir leur DP avec des erreurs absolues et brutes variant respectivement entre 2,9 % et 9,4 % et entre -5,7 % et 5,7 % et des coefficients de corrélations intra-classes supérieurs à 0,75 entre la DP produite et celle perçue. Les résultats contribuent à approfondir les connaissances relatives à la perception de la force et de la DP chez les individus en santé. Ces données pourront servir à titre comparatif lors d’études menées auprès des patients hémiparétiques afin d’évaluer s’ils ont des problèmes perceptifs pouvant expliquer l’asymétrie récurrente qu’ils présentent dans leurs tâches fonctionnelles. / Results of recent studies support the idea that perception of force would have an important role in performing functional tasks such as sit-to-stand (STS). However, very few studies have focused on the quantification of the accuracy with which healthy individuals are able to perceive muscular force. Furthermore, no study has assessed the perception of weight-bearing distribution during the STS in healthy individuals. The purpose of this study was to provide evidence on the capacity to perceive muscular force and weight-bearing distribution in simple and complex tasks in healthy individuals. This study was conducted with 31 individuals, divided into two main age groups (<50 years > 60 years). Its first objective was to quantify the errors in perception of force during a static contraction of knee extensors and to compare these errors between young and elderly groups. Results showed that the absolute and raw errors are greater for force levels higher than 50% of maximum voluntary contraction (MVC) and that raw errors are greater in young participants for high force levels. This study’s second objective was to assess the effect of different sensorimotor references on the magnitude of errors of force perception. The results showed that a reference of 50% MVC presented to the participant beforehand or a simultaneous contraction of hand grip muscles reduced the raw and absolute errors of perception at the level of 70% MVC. A third objective was to quantify the errors of perception of weight-bearing distribution during STS and to measure the effect of age on these errors. The results showed that younger and elderly participants have an ability to perceive their weight-bearing distribution with absolute and raw errors varying respectively from 2.9% to 9.4% and from -5.7% to 5.7%. The intra-class correlation coefficient was higher than 0.75 between the weight-bearing distribution produced and that perceived during STS. The results contribute to extend knowledge about perception of force and weight bearing distribution in young and elderly healthy individuals. This data will be used for comparison in studies conducted with hemiparetic individuals in order to assess if the latter have perceptual problems which may explain the recurrent asymmetry they present in functional tasks.

L'inclusion de requête est un problème bien étudié durant plusieurs décen- nies 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 ensem- ble 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 correctes et complètes pour déterminer l'inclusion des requêtes SPARQL en vertu d'axiomes exprimés en logiques de description. De plus, nous met- tons en œuvre ces procédures à l'appui des résultats théoriques par l'expérimentation. À ce jour, l'inclusion de requête a été testée à l'aide de différentes techniques: ho- momorphisme de graphes, bases de données canoniques, les techniques de la théorie des automates et réduction au problème de la validité d'une logique. Dans cette thèse, nous utilisons la derniere technique pour tester l'inclusion des requêtes SPARQL utilisant une logique expressive appelée le μ-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éduite au test de la validité d'une formule logique. Dans cette thèse j'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érimentalement des procédures éprouvées pour vérifier l'inclusion de ces fragments décidables. Enfin, 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.