L'étude des Systèmes Contrôlés en Réseaux (SCR) repose sur l'identification des exigences de fonctionnement de l'application appelées Qualité de Contrôle (QdC) et sur l'évaluation de la Qualité de Service (QdS) offerte par le réseau. Les travaux sur les SCR se repartissent selon deux approches : la commande en réseau et la commande de réseau. Cette thèse se positionne sur la deuxième approche avec une recherche axée sur la modélisation des mécanismes d'ordonnancement implémentés dans les équipements réseau et notamment dans les commutateurs Ethernet qui sont de plus en plus utilisés dans les applications industrielles. Ce travail de recherche étudie plus particulièrement comme paramètre de QdS, les délais qui engendrent des perturbations sur le système commandé. Cette thèse propose deux modèles de classification de service reposant sur des ordonnanceurs WRR (Weighted Round Robin). La première modélisation suit une approche constructive en utilisant la théorie du calcul réseau. La seconde s'appuie sur une phase d'identification à partir de simulations numériques et de la logique floue. Dans les deux cas, le but est d'offrir une bande passante suffisante pour le trafic contraint temporellement tout en maximisant la bande passante dédiée aux autres trafics pour éviter des effets famine. L'approche calcul réseau permet de configurer le réseau hors-ligne pour répondre à des contraintes temporelles strictes du SCR. La solution basée sur la logique floue autorise une commande dynamique de l'ordonnanceur pour ajuster en ligne le réseau en fonction des variations du trafic. Elle ne peut s'appliquer qu'à des SCR ayant des contraintes de temps souples.

En informatique, les logiques formelles ont une place centrale dans la représentation et le traitement des connaissances. Elles sont utilisées pour la modélisation et la vérification de systèmes informatiques et de leurs propriétés ainsi que pour la formalisation de différents types de raisonnement. Dans ce contexte il existe un large spectre de logiques non-classiques parmi lesquelles les logiques modales jouent un rôle important. Alors que les logiques modales classiques ont été largement étudiées, nous nous focalisons dans cette thèse sur les logiques modales intuitionnistes et aussi hybrides floues en abordant un certain nombre de questions principalement du point de vue de la théorie de la démonstration. Nous proposons pour ces logiques de nouveaux systèmes de preuve, notamment suivant les formalismes de déduction naturelle et de calcul des séquents, qui sont fondés sur de nouvelles structures multi-contextuelles généralisant la structure standard de séquent. Ainsi dans le cadre des logiques modales intuitionnistes formées à partir des combinaisons des axiomes T, B, 4 et 5, nous définissons des systèmes de preuve sans labels ayant de bonnes propriétés comme par exemple celle de la sous-formule. En outre, nous proposons des procédures de décision simples à partir de nos nouveaux calculs des séquents. Nous étudions également la première version intuitionniste de la logique hybride IHL et nous proposons son premier calcul des séquents à partir duquel nous donnons la première démonstration de sa décidabilité. Enfin, nous introduisons une nouvelle famille de logiques hybrides floues fondées sur les logiques modales de Gödel. Nous proposons pour ces logiques des procédures de décision avec génération de contre-modèles en utilisant un ensemble de règles de preuve fondées sur une structure multi-contextuelle adaptée.

Nous présentons une méthode originale de recherche de preuve par récurrence utilisant la surréduction. Elle a la particularité d'être fondée sur la déduction modulo et d'utiliser la surréduction pour sélectionner à la fois les variables de récurrence et les schémas d'instanciation. Elle donne également la possibilité de traduire directement toute dérivation effectuée avec succès en une preuve dans le calcul des séquents modulo. La correction et la complétude réfutationnelle de la méthode sont démontrées en théorie de la preuve. Nous étendons ensuite cette première approche aux théories de réécriture équationnelles constituées d'un système de réécriture R et d'un ensemble E d'égalités. A partir du moment où le système de réécriture équationnel (R,E) possède de bonnes propriétés de terminaison et de complétude suffisante, et si on suppose également que E préserve les constructeurs, la surréduction au niveau des positions les plus profondes où apparaît un symbole défini s'effectue uniquement à l'aide d'unificateurs qui sont également des substitutions constructeurs. Ceci est particulièrement intéressant dans le cas des théories associatives, ou associatives commutatives, pour lesquelles notre système de recherche de preuve a été raffiné.

Les travaux présentés dans ce mémoire s'inscrivent dans une thématique nouvelle pour 1*équipe Electronique de Puissance du LEG : "l'intégration hybride des composants passifs". Us portent sur la conception de composants passifs et s'attardent sur leur modélisation, leur réalisation et leur caractensation. Ces composants seront employés au sein d'un convertisseur AC-DC à prélèvement sinusoïdal qui servira de support à notre étude. Il ressort d'une évaluation de quelques convertisseurs que la structure à résonance série se prête bien à l'intégration. Les effets des interactions électriques en haute fréquence ont été pris en compte grâce à une nouvelle formulation axisymétrique. Cette dernière couplée avec les équations de circuit électrique s'avère bien adaptée pour la caractérisation électromagnétique des composants magnétiques. Les travaux de modélisation des composants passifs, développés au LEG, ont permis de caractériser la structure LCT en prenant en compte tous les aspects utiles de son comportement. Cela a conduit, en particulier, à l'évaluation des pertes dues au diélectrique. Les mesures ont montré que la structure LCT intégrée apporte surtout une meilleure compacité.

Cette thèse s'intéresse à l'interaction entre le couplage spin-orbite et les corrélations électroniques dans la matière condensée. En effet, de plus en plus de matériaux - tels que les isolants topologiques ou les oxydes de métaux de transition 5d à base d'iridium - présentent des propriétés pour lesquels l'interaction spin-orbite joue un rôle essentiel. Parmi eux, l'iridate de strontium (Sr2IrO4) a récemment été décrit comme un "isolant de Mott régi par les effets spin-orbite": dans cette image, l'interaction de Coulomb entre les électrons et le couplage spin-orbite se combinent pour rendre le composé isolant. Nous avons étudié la phase isolante paramagnétique de ce matériau avec l'approche LDA+DMFT, une méthode qui combine la théorie de la fonctionnelle de la densité dans l'approximation de la densité locale (LDA) avec la théorie du champ moyen dynamique (DMFT). Sr2IrO4 s'est avéré être un isolant de Mott pour une valeur raisonnable des corrélations électroniques une fois que le couplage spin-orbite et les distorsions structurales du cristal ont été pris en compte. En outre, nos résultats mettent en évidence les rôles respectifs joués par ces deux éléments dans l'obtention d'un état isolant et montrent que seule leur action conjointe permet d'ouvrir un gap de Mott dans un tel composé. Afin de réaliser cette étude, le couplage spin-orbite a dû être inclus au sein du formalisme LDA+DMFT. L'intérêt d'un tel développement technique dépasse le cas de Sr2IrO4, cette implémentation, dite "LDA+SO+DMFT", pouvant être aussi utilisée pour prendre en compte les corrélations électroniques dans d'autres oxydes de métaux de transition 5d ou même au sein des isolants topologiques.

La résolution numérique de l'équation de Schrödinger en domaine extérieur nécessite l'utilisation de conditions aux limites appropriées sur la frontière du domaine de calcul. Les conditions aux limites à utiliser sont directement reliées à la fonction de potentiel intervenant dans l'équation. Pour l'équation à potentiel nul, la condition aux limites exacte est connue, ainsi que des méthodes efficaces de discrétisation et d'implémentation numérique. L'objectif de cette thèse est d'étendre les méthodes mises en jeu à potentiel nul dans le cas d'un potentiel aussi général que possible, à l'image des situations physiques variées faisant intervenir un potentiel, linéaire ou non linéaire. Nous prenons le parti de renoncer à établir des conditions aux limites exactes, au profit d'une plus grande généralité de la méthode et d'une bonne adaptation à une implémentation numérique. En se basant sur le calcul pseudodifférentiel, on propose alors une recherche détaillée de méthodes permettant de prendre en compte le potentiel dans une condition aux limites artificielle (CLA). Cette thèse traite le cas de l'équation en dimension un ou deux avec potentiel linéaire ou non linéaire, ainsi que de l'équation stationnaire en dimension un. La construction de ces CLA repose sur l'analyse microlocale et le calcul symbolique associé aux opérateurs pseudodifférentiels fractionnaires. La discrétisation en temps est effectuée à l'aide de convolutions discrètes ou d'approximants de Padé, et la discrétisation en espace repose sur des éléments finis linéaires. On utilise la méthode de relaxation de Besse pour résoudre l'équation non linéaire. L'analyse mathématique des conditions construites dans cette thèse permet de démontrer dans certains cas des estimations a priori, sur le plan continu et sur le plan semi-discret. De nombreuses simulations numériques permettent de tester l'efficacité des conditions aux limites proposées et de les comparer entre elles.

Afin de répondre aux besoins de l'industrie pétrolière d'une description plus fine de la géométrie et des propriétés pétrophysiques des bassins et des réservoirs, la simulation numérique des écoulements en milieux poreux doit évoluer vers des algorithmes plus performants et plus robustes vis à vis de la taille des simulations, de la complexité des maillages et des hétérogénéités du milieu poreux. Les méthodes de décomposition de domaine constituent une alternative aux méthodes multigrilles et pourraient permettre de lever les difficultés précédentes en terme de robustesse et d'efficacité sur architectures parallèles. Elles sont par nature plus adaptées au calcul parallèle et sont plus robustes en particulier lorsque les sous domaines sont résolus par des méthodes directes. Elles permettent aussi de traiter dans un cadre unique les couplages de modèles comme les puits ou les failles conductrices et s'étendent au cas des systèmes couplés. Le travail de thèse traite plus particulièrement de méthodes définies au niveau algébrique. On ne suppose pas avoir une connaissance préalable du problème continu dont la matrice provient. On n'a pas non plus accés aux matrices avant assemblage. Ce manque d'informations a priori rend plus difficile la construction de méthodes efficaces. On propose deux nouvelles méthodes de construction de méthodes de décomposition de domaine au niveau algébrique: la construction de conditions d'interface optimisées et d'une grille grossière. Ce dernier point est particulièrement important pour avoir des méthodes robustes vis à vis du nombre des sous-domaines. Les méthodes sont adaptatives et basées sur l'analyse de l'espace de Krylov généré durant les premières itérations de la méthode de Schwarz classique. A partir des vecteurs de Ritz correspondant aux plus basses valeurs propres, on construit des conditions d'interface et des grilles grossières qui annihilent l'erreur sur ces composantes. Les méthodes ont été testées sur des calculateurs parallèles pour des matrices issues de la simulation de milieux poreux.

Ce travail comporte deux parties indépendantes: la première concerne les suspensions de particules anisotropes en écoulement élongationnel, la seconde porte sur l'étude en lois d'échelle des couches limites en convection thermosolutale. L'écoulement de suspensions de particules anisotropes présente en déformation élongationnelle des propriétés spécifiques liées à la géométrie des particules. Après la mise en oeuvre d'une cellule d'écoulement à orifice relisant une sollicitation élongationnelle bien définie, des suspensions de fibres non-browniennes sont étudiées dans deux régimes de concentration. En régime dilué, les résultats expérimentaux concernant la dynamique d'orientation d'une fibre sont bien décrits par les équations d'orientations du vecteur directeur obtenues analytiquement. En régime semi-dilué, l'écoulement présente une structuration remarquable, qui est étudiée en fonction de la fraction volumique et du rapport de forme des particules. Un modèle d'écoulement obtenu en minimisant l'énergie dissipée permet d'interpréter les résultats expérimentaux en termes de viscosité élongationnelle, et en relation avec les propriétés de la suspension à l'échelle des particules. Les écoulements de couche limite au voisinage d'une paroi verticale dans un milieu fluide soumis a des gradients de température et de concentration horizontaux présentent une grande variété de situations suivant la valeur des paramètres adimensionnels du problème. Une analyse combinant raisonnements en loi d'échelle et méthode intégrale permet de prédire complètement les différents régimes d'écoulement et les variations des couches limites. Les résultats sont corroborés par des solutions de similitude obtenues numériquement.

Le Pare-blocs Structurellement Dissipant (PSD) est un type de galerie pare-blocs innovant. Il se compose d'une dalle en béton armé reposant sur des appuis fusibles métalliques. Contrairement aux galeries pare-blocs traditionnelles, le PSD utilise directement le mouvement de la dalle, et la déformation de la dalle et des appuis, pour dissiper l'énergie d'impact de blocs rocheux. Le but de cette thèse est de contribuer à améliorer l'analyse et le dimensionnement du PSD sous les impacts rocheux. L'analyse structurelle du PSD nécessite des analyses d'impact appropriées. Un algorithme d'impact est donc développé, qui permet de traiter les impacts unilatéraux entre un projectile rigide et une structure déformable. Cet algorithme est ensuite mis en œuvre dans un code de calculs par éléments finis. Validé par plusieurs tests, ce développement fournit un outil de calcul pour le PSD permettant de prendre en compte les effets de vitesse du comportement des matériaux. Cet outil est utilisé pour modéliser le PSD sous différentes conditions d'impact. D'abord, les essais d'impact sur une maquette PSD à l'échelle 1/3 sont modélisés pour connaître la faisabilité de la modélisation structurelle. Une corrélation satisfaisante entre les résultats numériques et expérimentaux permet de réaliser plusieurs séries d'études paramétriques avec le même modèle aux éléments finis pour mettre en évidence l'influence de la masse et de la vitesse des blocs rocheux, de la position de point d'impact sur la dalle, de l'épaisseur de la dalle, du type de béton et du pourcentage d'armatures de la dalle. Enfin, des calculs à l'échelle de la structure sont effectués. Toutes ces études montrent la robustesse du concept PSD, ainsi que ses optimisations possibles, particulièrement pour améliorer sa résistance vis-à-vis du poinçonnement.

Lors des études de tracés routiers ou autoroutiers dans les zones de sols compressibles, la reconnaissance géotechnique des sols utilise différentes techniques de sondage, de prélèvement d'échantillons de sol intact ou remanié, d'essais en place et d'essais en laboratoire. Ces sondages et essais sont répartis régulièrement le long du tracé envisagé, mais ils ne concernent qu'une fraction minime du sol qui aura à supporter le remblai, de sorte qu'il existe une certaine incertitude sur les propriétés réelles de ces sols. Cette incertitude sur les propriétés mécaniques des sols se traduit par une incertitude sur la représentativité des résultats des calculs réalisés lors de l'élaboration du projet. Le travail réalisé dans le cadre de cette thèse porte sur le traitement quantitatif de cette incertitude dans le cas des calculs de stabilité à court terme des remblais sur sols mous. Le traitement de l'incertitude sur les propriétés de résistance au cisaillement non drainé des sols mous a été effectué en suivant la démarche habituelle des ingénieurs chargés d'élaborer de tels projets : - définition de couches homogènes du point de vue de la nature et des principes généraux de comportement des sols, - utilisation éventuelle de corrélations pour compléter les données directement utilisables pour les calculs, - définition de valeurs "représentatives" des différents paramètres nécessaires au dimensionnement. A partir de cette étape de l'étude, on passe à un traitement de type probabiliste, afin de déterminer l'incertitude sur la valeur estimée du coefficient de sécurité le long du tracé et de calculer des probabilités de rupture. L'analyse des résultats de la reconnaissance géotechnique a été effectuée en utilisant les méthodes de géostatistique. Tous les traitements effectués sur les données sont représentés sur l'écran d'une console de visualisation interactive, qui sert également à transmettre à la chaîne de traitement les instructions qui lui sont nécessaires. L'estimation des valeurs des paramètres mécaniques du sol entre les sondages de reconnaissance est effectuée au moyen du programme Bluepack de l'E.N.S.Mines de Paris. Pour le calcul de la stabilité du remblai, on a utilisé un schéma de calcul en rupture circulaire, en analysant la stabilité de blocs de sol cylindriques et de longueur limitée. Le calcul de la loi de probabilité des valeurs du coefficient de sécurité, dont on déduira la probabilité de rupture, est effectué par la méthode de Monte Carlo. La méthode développée dans le cadre de cette thèse a été appliquée à l'analyse de la stabilité d'un long remblai sur sols mous dont la construction a été étudiée dans le sud-ouest de la France. L'étude permet de retrouver par le calcul un résultat bien connu, qui est qu'il existe une longueur critique vis à vis de la stabilité du remblai, et de prévoir la position de cette zone le long du tracé. La méthode d'étude ainsi développée constitue une première étape dans la résolution de ce problème complexe de la prévision des risques de rupture sur les tracés de remblais sur sols mous, compte tenu du volume limité des reconnaissances qu'il est possible d'effectuer en pratique.