La dalle d'impact est une zone du revêtement en céramique réfractaire du fond de la poche à acier, renforcée pour résister aux sollicitations thermomécaniques induites par l'impact du jet d'acier liquide lors du remplissage. Les résultats d'une enquête menée sur un site de production sont d'abord présentés. Les causes et les modes de dégradation observés sur différents types de dalles ont été identifiés et l'influence de certains paramètres du procédé d'affinage de l'acier sur la durée de vie de la dalle a été évaluée. Une campagne d'essais mécaniques de compression simple et de flexion 3-points a ensuite été réalisée jusqu'à 1500°C sur différents types de bétons réfractaires alumine-magnésie formant des spinelles MgAl2O4. Elle a permis de caractériser le comportement mécanique de ces céramiques et les déformations induites par les changements de phases se produisant à haute température. Une loi de comportement thermoélasto-viscoplastique prenant en compte les changements de phases a été construite pour décrire le comportement en service des réfractaires. La dernière partie du document est consacrée à des simulations numériques réalisées avec les codes de calculs FLUENT et ABAQUS. Elle vise à décrire le comportement thermique et mécanique de la dalle d'impact au cours d'un cycle d'affinage et en particulier lors de l'impact du jet de métal liquide. Associées à des observations de la microstructure et des données recueillies sur le procédé d'affinage, ces simulations ont permis de reconstruire l'historique des sollicitations s'appliquant sur la dalle et de mieux comprendre à quelles étapes du procédé d'affinage certaines dégradations observées pouvaient être attribuées.

Ce document est la synthèse d'un parcours de recherche en mécanique étalé sur plus de dix ans et intéressant différents secteurs de la mécanique. La thèse se compose de trois parties principales. La première partie concerne les activités rattachées à la thèse de doctorat, portant sur l'optimisation des dimensions de la coque d'une plate-forme pétrolière de type TLP. Les deux thèmes traités dans la recherche sont rapidement présentés: la simplification des solutions pour le calcul des actions de la houle en théorie de la diffraction et la mise au point du procédé pour la détermination des dimensions de la coque de poids minimal. La deuxième partie porte sur une recherche de mécanique non linéaire: l'application de la Méthode Asymptotique Numérique (MAN) à la détection des points de bifurcation de l'équilibre d'une structure élastique et au suivi des branches de réponse post-critique. Après un bref rappel de la MAN, on montre la formulation théorique de la recherche et des exemples numériques traités, avec une discussion des résultats obtenus. La troisième partie concerne une série de travaux dans le domaine des matériaux composites, ayant pour fil conducteur l'utilisation de la méthode polaire en analyse, conception et identification des stratifiés en composite. Après une présentation détaillée et complète de la méthode polaire, les recherches développées dans ce domaine sont présentées, en les distinguant en quatre parties. Le chapitre 8 porte sur les stratifiés découplés ou quasi-homogènes, dont on met en évidence la découverte des solutions de type quasi-trivial, en soulignant leurs propriétés. Ensuite, on aborde la conception de stratifiés isotropes, totalement ou en partie, ainsi que celle des stratifiés formés de couches à symétrie carrée. Le point commun à ces travaux est l'approche entièrement analytique, qui a permis de dégager des solutions exactes pour chacun des problèmes cités. Dans le chapitre 9 on présente une formulation unique, sous forme d'un problème classique de l'optimisation structurale non convexe, d'un grand nombre de problèmes de conception des stratifiés, tandis que le chapitre 10 porte sur la mise au point d'un algorithme génétique de nouvelle conception, BIANCA, pour la conception et optimisation des stratifiés. Toujours en thème d'optimisation, le chapitre 11 porte sur une étude, théorique et numérique, de sensibilité de certaines solutions aux défauts d'orientation des couches. Le chapitre 12 concerne la découverte d'un cas particulier d'orthotropie plane, dite orthotropie R0, dont les caractéristiques assez singulières seront mises en évidence, ainsi que la façon d'obtenir un tel type de lamina et l'intérêt à son utilisation. Finalement, le dernier chapitre concerne certaines applications de la méthode polaire à l'identification des propriétés élastiques et de rupture des composites.

Dans la Combe de Savoie , entre Albertville et Montmélian, les alluvions modernes de l'Isère recèlent une nappe en étroite liaison avec les cours d ' eau qui empruntent la vallée. L'objet de cette étude est de définir avec précision le comportement hydrodynamique de l 'aquifère afin d' en déterminer les potentialités . Une première partie sera consacrée à l'analyse des nombreuses données fournies par diverses campagnes de reconnaissance (géophysique , hydrométrie des cours d ' eau , relevés piézométriques réguliers, etc ... ), elle portera essentiellement sur - la définition de la structure du remplissage alluvial, - l'évaluation des paramètres régissant les écoulements souterrains (transmissivité, emmagasinement, etc . .. ) à l ' aide de méthodes analytiques , - la caractérisation climatologique et hydrologique d'une période d'étiage de référence (octobre 1980). Dans une seconde partie, nous réaliserons, à partir des résultats précédents , plusieurs simulations numériques des écoulements souterrains à l'échelle de l'ensemble de la vallée. La mise en oeuvre de ce modèle mathématique conduit à évaluer sommairement les potentialités actuelles de l'aquifère qui permettent d'ores et déjà d'envisager un premier schéma d'exploitation de cette ressource en eau.

Le sujet de cette thèse est le développement de méthodes pour l'analyse automatique des programmes informatiques. Une des applications majeures est la conception d'outils pour découvrir les erreurs de programmations avant qu'elles ne se produisent, ce qui est crucial à l'heure où des tâches critiques mais complexes sont confiées à des ordinateurs. Nous nous plaçons dans le cadre de l'interprétation abstraite, qui est une théorie de l'approximation sûre des sémantiques de programmes, et nous nous intéressons en particulier aux domaines abstraits numériques spécialisés dans la découverte automatique des propriétés des variables numérique d'un programme.<br />Dans cette thèse, nous introduisons plusieurs nouveaux domaines numériques abstraits et en particulier le domaine des zones (permettant de découvrir des invariants de la forme X-Y≤c, des zones de congruence (X≡Y+c [b]) et des octogones (±X ±Y≤c). Ces domaines sont basés sur les concepts existants de graphe de potentiel, de matrice de différences bornées et sur l'algorithmique des plus courts chemins. Ils sont intermédiaires, en terme de précision et de coût, entre les domaines non relationnels (tel celui des intervalles), très peu précis, et les domaines relationnels classiques (tel celui des polyèdres), très coûteux. Nous les nommons " faiblement relationnels ". Nous présentons également des méthodes permettant d'appliquer les domaines relationnels à l'analyse de nombres à virgule flottante, jusqu'à présent uniquement réalisable par des domaines non relationnels donc peu précis. Enfin, nous présentons des méthodes génériques dites de " linéarisation " et de " propagation de constantes symboliques " permettant d'améliorer la précision de tout domaine numérique, pour un surcoût réduit.<br />Les méthodes introduites dans cette thèse ont été intégrées à Astrée, un analyseur spécialisé dans la vérification de logiciels embarqués critiques et se sont révélées indispensables pour prouver l'absence d'erreurs à l'exécution de logiciels de commande de vol électrique. Ces résultats expérimentaux viennent justifier l'intérêt de nos méthodes pour des cadre d'applications réelles.

Le tatouage des signaux audio numériques, outre ses applications de protection de la propriété intellectuelle, révèle la possibilité d'utiliser le signal audio numérique comme un support de communication: une information peut être insérée imperceptiblement dans un signal audio et être ainsi diffusée en suivant le même canal de transmission que celui emprunté par le signal audio. Concevoir un système de tatouage performant est l'objectif de ces travaux de thèse. Cette performance relève de contraintes et d'enjeux spécifiques: l'insertion du tatouage doit (1) être transparente (inaudible), (2) offrir un débit de transmission le plus élevé possible pour une fiabilité de transmission la meilleure possible tout en étant robuste à un ensemble de perturbations (traitements licites qui peuvent être effectués sur un signal audio lors de son parcours dans un réseau de diffusion) et (3) être peu coûteux en temps de calcul pour permettre une implémentation temps réel. Pour satisfaire au mieux la contrainte de transparence, un module de contrôle d'inaudibilité innovant, adjacent au modèle psychoacoustique utilisé pour la mise en forme spectrale du tatouage, est proposé. Ce module, basé sur l'algorithme de mesure objective de la qualité sonore PEAQ, établit de façon adaptative les conditions de transparence locale du tatouage en fonction du signal audio. Atteindre une fiabilité de transmission élevée et garantir la robustesse aux perturbations (telles que la compression MPEG, les changements de format, les filtrages, etc.) constituent la majeure partie de ce travail. La prise en compte, ces dernières années, de la connaissance du bruit audio pour la construction du tatouage a permis de très nettes avancées dans ce domaine tant sur la formalisation du problème de tatouage que sur les performances à escompter des systèmes, dit informés, qui en découlent. La majorité des systèmes de l'État de l'Art s'est concentrée sur la recherche d'un tatouage robuste souvent au détriment de la contrainte d'inaudibilité. A l'inverse, nous proposons différentes stratégies d'insertion du tatouage qui établissent en premier lieu l'inaudibilité locale du tatouage et maximisent ensuite la robustesse de sa transmission aux perturbations. Les performances du système et l'efficacité des stratégies d'insertion proposées sont établies sur des signaux audio réels et comparées à des systèmes de la littérature: une transmission "audible mais non gênante" avec un TEB de 0,001 peut être obtenue pour un débit de 170 bit/s en l'absence de perturbations (contre 80 bit/s pour une insertion non informée); le débit devra être fixé à 75 bit/s pour garantir la robustesse aux perturbations non désynchronisantes et à 125 bit/s pour résister à une opération désynchronisante.

This research work deals with three-dimensional modeling of groundwater flow and solute transport problems in groundwater aquifer systems, with several complexities, heterogeneities and variable conditions as encountered in the field. Finite element methods are used throughout to solve a range of different problems, using in particular the Galerkin weighted residual approach based on trilinear hexahedral elements. Special emphasis is made on transient and non-linear groundwater flow problems with moving interfaces, such as the water table and the freshwater-saltwater sharp interface. A generalized Fast Updating Procedure technique is developed for these situations, which presents a number of advantageous features in comparison to classic computational techniques used to deal with such problems. One of the important contributions is the automatic construction of the generic soils characteristic curves, which are dynamically dependent upon the overall system water status. Several test examples are successfully worked out for validating this technique in different aquifer configurations, and under different initial and boundary conditions. These test cases show that the proposed method is cheap, numerically stable and accurate. Numerical stability is guaranteed through a developed solver, which is obtained by using state of the art methods for robust preconditioning and efficient numerical implementation. The accuracy is demonstrated by comparison against analytical, other numerical approaches, and laboratory experimental solutions. The usefulness of the method is clearly shown by the application of the 3-D sharp interface finite element model 'GEO-SWIM' to the coastal aquifer system of Martil in the north of Morocco. Several efficient runs are made, leading to a calibrated management model for the study area, giving a clear picture of the salinization risk in the aquifer due to saltwater encroachment. Three-dimensional modeling of solute transport problems in groundwater aquifer systems is equally investigated. It is concluded that the standard Galerkin finite element method is computationally intensive, since the obtained system of numerical equations is very large, sparse, none symmetric and usually difficult to solve with standard iterative techniques. Hence, preconditioning is necessary to improve the convergence behavior of ill-conditioned systems. In this work, we propose an M-matrix type of transformation on the general transport matrix which guarantees the existence of the preconditioning schemes, and hence improves the overall solvers performance and robustness. The usefulness of the method is demonstrated by solving several test examples with different complexities, including hypothetical and field applications in Belgium. Different solvers are tested as the minimal residual method and the stabilized biconjugate gradient method, in combination with different preconditioning schemes, as diagonal scaling and incomplete factorization. It is concluded that M-matrix preconditioning is very simple to implement, and proves to be very efficient and robust. An effort is put on packaging the computer programs, by giving modern visual support to many modules. Therefore, several GUI programs are provided as complementary tools to support the developed models, enabling their friendly use, and the possibility for future extensions.

Les machines tournantes sont présentes dans bien de domaines de nos industries et de nos sociétés et jouent un rôle primordial dans le transport et l'énergie. Le contexte actuel d'épuisement de ressources fossiles et la demande continuellement en augmentation d'énergie, font du domaine de la production de l'énergie (qu'elle soit électrique, thermique, éolienne, hydraulique ou nucléaire) un secteur qui concentre une part importante de l'innovation et de l'investissement des institutions et des industriels. Les tendances actuelles concernent l'augmentation du rendement et de la fiabilité, la diminution des dimensions, des coûts d'exploitation et des impacts environnementaux. Les machines doivent donc opérer dans des conditions respectant les normes de sécurité, de sûreté, de confort et d'environnement. La maîtrise et l'optimisation de ces conditions ont constitué le fil conducteur des recherches menées. L'ensemble de cette recherche concerne le suivi du comportement, l'équilibrage et le contrôle actif des machines tournantes. Trois thèmes qui ont un point commun la définition et l'identification d'un modèle de la machine ensuite, connaissant les réponses identifier les perturbations et les forces extérieures. Ces recherches constituent la base vers le développement de machines avec une capacité de réagir, sans interventions extérieures, en présence d'une défaillance ou lors de passage des zones de vitesses critiques ou des zones d'instabilités, de modifier ses caractéristiques afin d'avoir toujours un comportement respectant les normes de sécurité, de sûreté, de confort et d'environnement. La base vers un développement d'une Eco machine tournante réactive: une Smart machine tournante. Les premières recherches traitent du suivi de comportement et du diagnostic des boites de transmission de puissance par engrenages. L'objectif est la mise en place d'une approche de maintenance préventive de machines tournantes en présence de défauts combinés d'engrenages et de roulements. L'approche scientifique est à la fois numérique et expérimentale. Dans les deux approches, les défauts critiques étudiés ont été choisis suite à une étude AMDEC (Analyse de Modes de Défaillance, de leurs Effets et leurs Criticités). Les approches pour réduire les nuisances et d'assurer la sécurité de fonctionnement se déclinent, selon les possibilités et les moyens d'intervention, en deux solutions; équilibrage et contrôle actif. En équilibrage les recherches permettront d'une part le développement de méthodes basées sur des modèles identifiés expérimentalement prenant en compte des non linéarités dues à la très grande flexibilité des structures étudiées ou à la dépendance de certaines caractéristiques aux fréquences; elles permettront d'autre part l'optimisation de la répartition des masses de correction à la fois en position et en valeur en considérant des perturbations stochastiques des mesures. Le thème contrôle actif des machines tournantes porte sur le développement et la mise en place de stratégies de contrôle permettant la modification du comportement dynamique des rotors en flexion, en régime transitoire, par l'utilisation d'actionneurs. Le contrôleur peut être dans le domaine physique ou modal avec une commande floue ou neuro-floue. Concernant la technologie d'actionneurs, des travaux ont déjà été réalisés en utilisant des actionneurs piézoélectriques. Le contrôle est efficace et robuste, le seul inconvénient concerne la liaison entre l'actionneur et la machine. Nos recherches actuelles portent sur la conception et le dimensionnement d'actionneurs électromagnétiques qui présentent l'avantage d'être sans contact et offrent la possibilité de contrôler à la fois l'arbre du rotor et un de ces composants (paliers hydrodynamiques). Les activités et thèmes de recherches sont présentés en trois chapitres sans prendre en compte l'aspect chronologique. Chaque chapitre présente la recherche déjà réalisée, celle en cours puis future. Un chapitre est consacré au projet de recherche concernant les études initiées dans un souci d'appliquer et d'adapter les acquis dans des contextes particuliers de complexité des nouvelles machines ou tout simplement la volonté de considérer les besoins environnementaux et le développement d'Eco- Machines Tournantes.

Depuis quelques années, la plupart des constructeurs automobiles innovent en faisant appel aux techniques de la réalité virtuelle (RV). Cette approche possède un fort potentiel en termes de gain de temps et de réduction des coûts. Elle permet également d'évaluer de nouvelles approches liées au processus de conception lui-même. Cependant, un certain nombre de verrous technologiques et méthodologiques subsistent. Ils concernent en particulier (i) la simplification et la physicalisation des maquettes numériques issues des logiciels de CAO, (ii) le développement de configurations visuo-haptiques adaptées aux différentes tâches impliquées par le prototypage virtuel, et (iii) l'identification des retours sensoriels les plus pertinents, permettant à l'opérateur d'effectuer ces tâches efficacement. Un ensemble de problématiques soulevées par le service R&D de Valeo Lighting Systems (Angers) nous a conduit à traiter les trois aspects évoqués ci-dessus. Les tâches étudiées sont l'accessibilité, l'extraction et la manipulation de lampes sur prototype virtuel à l'échelle 1:1. Dans le manuscrit, nous commençons par aborder les limites du prototypage réel et les apports liés au prototypage virtuel. Ces apports sont examinés en particulier pour les phases de création et de validation des prototypes. Puis, nous présentons un état de l'art exhaustif des dispositifs d'affichage et des interfaces à retour d'effort, que nous avons classées en fonction de leur architecture mécanique et de leur support de référence. Ensuite, nous traitons la simplification et l'intégration de maquettes virtuelles ainsi que l'intégration du modèle biomécanique de l'opérateur humain. Différentes simulations permettant de valider la méthodologie d'intégration proposée sont décrites. Celles-ci sont basées sur l'utilisation de notre plate-forme de réalité virtuelle. Enfin, nous décrivons une série cohérente et progressive d'expérimentations permettant d'évaluer la pertinence et l'influence de différentes modalités sensorielles (visuelle, sonore, vibro-tactile, et kinesthésique) sur la performance humaine. L'objectif est d'identifier les avantages et inconvénients de ces retours d'information dans différentes configurations matérielles. Les résultats sont analysés via différents indicateurs de performance (temps de réalisation des tâches, précision de placement). Des données subjectives sont également recueillies via l'observation des sujets pendant l'exécution des tâches et à partir de questionnaires.

Beaucoup de programmes de visualisation, de planification de trajectoire, etc., utilisent intensivement des calculs de visibilité. Si ces calculs de visibilité ne constituent qu'une petite partie de ces programmes, ils sont en revanche responsables d'une grande partie du temps d'exécution de ces programmes: leur efficacité est donc cruciale. Les algorithmes traditionnels de calculs de visibilité ont deux défauts: ils effectuent - inutilement - des calculs sur des objets non visibles et refont tous ces calculs à chaque nouvelle requête, même si les changements avec la requête précédente sont minimes. Pour remédier à ces inconvénients dans le cadre de scènes polygonales bidimensionnelles, nous nous servons d'une structure de données - le complexe de visibilité - qui code toutes les relations de visibilité entre objets d'une scène. Après avoir montré comment construire de façon optimale le complexe de visibilité, nous montrons comment il permet d'utiliser la cohérence spatiale de la scène dans les calculs de polygones de visibilité. Nous montrons aussi comment il permet d'utiliser la cohérence temporelle dans le maintien d'une vue autour d'un point se déplaçant dans la scène. Nous étudions ces algorithmes non seulement d'un point de vue théorique mais aussi d'un point de vue pratique. Nous avons programmé ces algorithmes et effectué des comparaisons expérimentales entre algorithmes. Nous nous sommes aussi intéressés aux problèmes de dégénérescences et d'imprécisions des calculs numériques qui se posent dès que les programmes sont exécutés sur des données «réelles»

Dans cette thèse on explore l'utilisation du contrôle optimal et du transport de masse pour la modélisation économique. Nous saisissons ainsi l'occasion de réunir plusieurs travaux faisant intervenir ces deux outils, parfois en interactions l'un avec l'autre. Dans un premier temps nous présentons brièvement la récente théorie des jeux à champ moyen introduite par Lasry et Lions et nous concentrons sur le point de vue du contrôle de l'équation de Fokker-Planck. Nous exploitons cet aspect à la fois pour obtenir des résultats d'existence d'équilibres et pour développer des méthodes numériques de résolution. Nous testons les algorithmes dans deux cas complémentaires à savoir le cadre convexe (aversion à la foule, dynamiques à deux populations) et le cadre concave (attraction, externalités et effets d'échelle dans un modèle stylisé de transition technologique). Dans un second temps, nous étudions un problème de matching mêlant transport optimal et contrôle optimal. Le planificateur cherche un couplage optimal, fixé pour une période donnée (engagement), étant donné que les marges évoluent (éventuellement aléatoirement) de façon contrôlée. Enfin, nous reformulons un problème de partage de risque entre d agents (pour lequel nous prouvons un résultat d'existence) en un problème de contrôle optimal avec contraintes de comonotonie; ceci nous permet d'obtenir des conditions d'optimalité à l'aide desquelles nous construisons un algorithme simple et convergent.