Ce travail porte sur le test structurel des programmes réactifs synchrones érits en Lustre et sur la définition de critères de couverture pour assurer ce test structurel. Lustre est un langage réactif synchrone flot de données, largement utilisé pour la spécification et la programmation des applications critiques dans des domaines comme l'aéronautique, l'énergie ou les transports. L'application à Lustre des critères de couverture usuels basés sur le flot de contrôle (couverture des instructions, couverture des branches,...) n'est pas significative. <br /><br />Nous avons, en conséquence, défini une hiérarchie de critères adaptés au paradigme flot de données synchrone. Les critères permettent de mesurer la couverture des chemins dans un réseau d'opérateurs. Un réseau d'opérateurs est une modélisation graphique des flots de données dans un programme Lustre. Les critères sont basés sur le calcul symbolique des conditions d'activation de ces chemins. <br /><br />Un outil nommé Lustructu, a été réalisé pour mesurer la couverture atteinte par un jeu de tests selon ces critères. Lustructu analyse le programme sous test et calcule les chemins et leurs conditions d'activation. L'évaluation de la couverture par Lustructu est non-intrusive (pas d'instrumentation du code). L'applicabilité et la pertinence des critères ont été évaluées sur une étude de cas significative issue du secteur de l'aéronautique.

Dans cette thèse, nous nous intéressons aux méthodes permettant de décomposer une image en deux parties: l'une contenant les structures (ou objets) de l'image et l'autre les textures. Le point de départ de ces travaux est le modèle proposé par Yves Meyer en 1999 puis les travaux de Jean-François Aujol pour les aspects algorithmiques.<br />Après une étude théorique de ces approches, nous proposons une extension au cas des images bruitées nous permettant d'obtenir alors une décomposition en trois composantes: structures + textures + bruit.<br />Par ailleurs, nous proposons une méthode spécifique en vue d'évaluer les résultats obtenus à partir des différents alggorithmes. <br />Enfin, nous présentons quelques applications des ces méthodes de décomposition d'image, notamment un algorithme de détection de réseaux routiers en imagerie aérienne ou satellitaire. Cet algorithme combine décomposition d'image, détection d'alignements par la théorie de la Gestalt et modèle déformable.

Les systèmes de surveillance et de supervision jouent un rôle majeur pour la sécurité des installations industrielles et la disponibilité des équipements. Signaler le plus tôt possible à l'opérateur les écarts détectés par rapport au comportement nominal prévu est fondamental pour la mise en œuvre des actions préventives et correctives sur le procédé. Certains types d'installations tels que les procédés chimiques et de traitement par lots (batch systems) présentent une grande complexité pour la commande/surveillance en raison de leur caractère hybride (aspects continus et discrets étroitement liés), du nombre de variables mis en jeu et de la complexité de leurs relations. Cette complexité est accentuée par la nécessité de nombreux changements de modes opératoires qui conduisent à de nombreuses phases transitoires. <br />La surveillance de ces phases transitoires est délicate. Le nombre élevé de variables à considérer rend difficile l'interprétation du comportement du procédé. En cas de défaut, un diagnostic devient alors une tâche complexe. Les écarts, même marginaux, par rapport au comportement nominal souhaité doivent être surveillés de façon à avertir l'opérateur sur des évolutions non prévues qui peuvent aboutir à une défaillance. Les écarts marginaux peuvent indiquer un dysfonctionnement qui dégénère lentement ou encore une conduite inadéquate de l'opérateur ou du système de pilotage. <br />Pour faire face à la complexité, le système de commande/surveillance est hiérarchisé selon la hiérarchie procédurale proposée par la norme ISA88. Notre démarche de surveillance et diagnostic se situe à deux niveaux hauts de cette hiérarchie procédurale : i) au niveau d'une opération et plus particulièrement lors du transitoire du mode opératoire (MOt) où les relations d'influence entre les variables sont faiblement connues ou non connues, ii) au sein d'une phase où les relations d'influence sont connues dans un intervalle de temps appartenant à l'horizon du mode opératoire.<br />Concernant la complexité des relations des variables mises en jeu, il n'est pas toujours facile et forcément nécessaire une modélisation précise de la dynamique du procédé. Dans ce cas, les approches qualitatives permettent une représentation avec un degré d'abstraction plus en adéquation avec le niveau haut de surveillance considéré. <br />Pour cela, nous proposons une abstraction des dynamiques continues basée sur un raisonnement temporel et événementiel compatibles avec les niveaux de la hiérarchie de surveillance. Cette abstraction est basée sur un partitionnement temporel flou de la dynamique des variables importantes définissant ainsi un ensemble d'états qualitatifs. Des mécanismes de vérification et de rétablissement de cohérence temporelle entre les variables sont proposés de façon à décrire les relations dynamiques locales existantes. Pour son pouvoir de représentation et pour rester cohérent avec une approche hiérarchique basée réseau de Petri, les Réseaux de Petri Temporels Flous ont été choisis.

Cette thèse présente une méthode de détection et de correction des intersections visuelles et singulières entre courbes B-splines adaptée à la généralisation des cartes marines. Dans une première partie, nous nous intéressons à la détection des intersections. La méthode proposée effectue d'abord un partitionnement du plan. Les courbes sont reparties dans les cellules sans calcul numérique. Le partitionnement est donc rapide et robuste. Ensuite, les intersections sont calculées à l'aide de schémas de subdivision. La deuxième partie concerne la correction des conflits par déformation respectant les contraintes cartographiques. Nous présentons une première méthode où le polygone de contrôle est assimilé à un réseau de barres déformé par l'application de forces externes. Une deuxième méthode est ensuite présentée où le déplacement est représenté par un snake soumis a des énergies définies en fonction des conflits. Les paramètres de forme sont réglés automatiquement.

Il a été observé expérimentalement, dans la littérature, que la résistance du béton léger de polystyrène, à densité égale, diminue sensiblement lorsqu'on augmente la taille Ø des inclusions légères. L'objectif de cette thèse est l'identification de l'origine physique ainsi que la modélisation de cet effet de taille. Dans la première partie de ce travail, nous avons étudié les mécanismes de rupture et l'effet de taille dans un béton léger modèle 2D où les billes de polystyrène sont remplacées par des trous de même taille distribués dans une matrice cimentaire homogène. Dans la deuxième partie de ce travail, une étude expérimentale a été conduite sur trois types de béton de polystyrène renfermant trois tailles différentes de billes et présentant des densités allant de 1200kg/m3 à 2000kg/m3. En outre, pour s'assurer que la taille du Volume Elémentaire Représentatif (VER) pour la résistance en compression du béton de polystyrène est atteinte, des éprouvettes homothétiques ont été testées. L'effet de la taille des hétérogénéités de la matrice (grains du sable) a été aussi étudié en testant trois types de matrice cimentaire. Les résultats de cette étude ont confirmé la présence d'un effet de taille, mais aussi une interaction antagoniste avec l'effet de la taille maximale lm des hétérogénéités de la matrice. Une démarche phénoménologique, basée sur l'analyse des mécanismes de ruine observés expérimentalement dans le béton de polystyrène a été suivie pour expliquer l'effet de taille et identifier la loi le régissant. Enfin, une étude numérique 2D de cet effet de taille a été conduite sur un réseau de barres, en se basant sur la théorie des équivalences.

L'observation sociale est l'étude de la dimension sociale des organisation. Les dispositifs d'observation sociale ont pour but d'informer les dirigeants sur la dynamique sociale de l'entreprise. Cette information permet d'enrichir le dialogue social et accompagne le changement organisationnel. La thèse décrit tout dispositif morphologie de ce réseau, et les relations entre les acteurs qui le composent. La recherche propose également un modèle d'évaluation de la performance d'un dispositif d'observation sociale fondé sur une mesure de la satisfaction perçue par ses utilisateurs. Les résultats empiriques obtenues dans une grande entreprise de service public, montrent que la performance d'un réseau d'observation sociale est liée au positionnement et à la stratégie des acteurs. Les différents facteurs de performance d'un réseau d'observation sociale sont identifiés

Les développements à venir, tant dans le domaine de l'imageriemédicale que dans celui du contrôle non-destructif, sont conditionnés par les enjeux de l'imagerie tridimensionnelle ”temps réel”, parmi lesquels on peut identifier la conception de sondes ultrasonores à haute densité d'intégration et la création de nouvelles pratiques d'imagerie fondées sur des transducteurs polyvalents. Dans ce contexte, les sondes sont devenues des réseaux de plusieurs centaines, voire<br />milliers, de transducteurs élémentaires, qui, d'une part, rendent les modèles unidimensionnels obsolètes, et, d'autre part, les modèles numériques trop lourds au premier abord. Lors de ces travaux de doctorat, nous avons élaboré de nouvelles stratégies de modélisation et de conception des sondes d'imagerie, fondées sur l'exploitation du caractère massivement périodique de telles structures.<br />Avec en ligne de mire les structures composites piézoélectriques qui constituent le coeur des sondes modernes, nous avons développé deux méthodes numériques complémentaires. La première est fondée sur une méthode éléments<br />finis / éléments de frontière (FEA/BEM) qui permet de tenir compte, d'une part de la périodicité de la structure, d'autre part des milieux de propagation dans lesquels la structure rayonne. La deuxième méthode repose sur un développement en ondes planes et permet l'analyse des structures composites avec une approche différente qui est celle des structures à bandes d'arrêt encore appelées cristaux phononiques. Cette deuxième approche nous amène à imaginer des motifs qui<br />diffèrent des classiques barreaux à section carrée et qui nécessitent d'explorer de nouvelles voies quant à la fabrication des composites. Des techniques de microsablage et d'usinage abrasif par ultrasons ont été testées en collaboration avec l'EPFL et le LCEP respectivement.<br />La flexibilité de la méthode dite FEA/BEM permet de simuler tous types de réseaux périodiques de transducteurs, en fournissant une analyse fine des phénomènes qui y prennent place et en offrant la capacité d'évaluer les effets de diaphonie entre les éléments du réseau. Cette démarche a été appliquée à une sonde commerciale 1-D, architecture qui constitue encore actuellement le quotidien des ingénieurs de conception, et à une architecture de type membranes<br />micro-usinées sur silicium, qui constitue une révolution conceptuelle dans le domaine de l'imagerie.

L'utilisation des techniques holographiques pour le traitement optique de l'information est souvent limitée par les performances insuffisantes des dispositifs existants (efficacité de diffraction trop faible, sélectivité restreinte, ou forte diaphonie). L'holographie intracavité peut améliorer ces propriétés de façon considérable.<br />Ce travail a pour objectif l'étude théorique et expérimentale des propriétés diffractives d'un réseau d'indice inséré dans un résonateur de Fabry-Perot, appelé réseau d'indice intracavité. Cette approche fondamentale d'un nouveau concept a conduit à l'élaboration d'un modèle analytique. La diffraction sur un réseau d'indice intracavité épais est ainsi décrite et comparée à celle sur un réseau de Bragg hors cavité. Nous étudions en particulier la diffraction d'une onde de lecture en résonance simultanée avec la cavité de Fabry-Perot et avec le réseau de Bragg. La supériorité du dispositif intracavité en termes d'efficacité de diffraction, de sélectivité angulaire et de rapport signal sur bruit est démontrée. Il apparaît que la configuration la plus favorable est celle d'un résonateur asymétrique, dont le miroir arrière est parfaitement réfléchissant.<br />Compte tenu des résultats théoriques prometteurs, un dispositif expérimental a été conçu, afin de prouver la faisabilité du concept et de valider le modèle analytique. Le milieu non-linéaire support du réseau est un liquide, de sorte que son épaisseur peut être ajustée pour faire coïncider les résonances de Bragg et de Fabry-Perot. Le réseau est inscrit optiquement, par absorption de la figure d'interférence de deux impulsions d'écriture et diffracte le faisceau de lecture continu au voisinage de la résonance de Bragg. Le signal diffracté est analysé pour remonter aux propriétés du réseau. La comparaison avec le réseau de Bragg hors cavité montre l'amélioration significative apportée par le résonateur. Ces résultats expérimentaux sont en très bon accord avec les calculs numériques issus du modèle analytique.<br />Enfin, nous revenons sur le critère de distinction entre réseaux minces (en régime de Raman-Nath) et réseaux épais (régime de Bragg) dans le cas de réseaux intracavité. Nous établissons que le seuil en épaisseur au delà duquel un réseau est épais est nettement abaissé lorsqu'on l'insère en cavité de Fabry-Perot. Le domaine d'application du modèle que nous avons établi est donc très vaste.

Cette thèse a été motivée par le développement des réseaux à très haut débit (au-delà de 1 Gb/s). Nous avons étudié comment ce type de réseaux peut changer les concepts et les protocoles utilisés actuellement. Nous avons considéré deux problèmes : le premier est le multihoming : la possibilité pour un hôte de bénéficier de plusieurs connexions simultanées aux fournisseurs d'accès, et le deuxième la distribution de contenu. Nous avons étudié le nouveau protocole de niveau transport SCTP et proposé des extensions qui permettent d'augmenter les performances et la fiabilité de communication grâce au multi-accès. Le protocole SCTP et les extensions proposées ont été testés et validés sur le réseau à très haut débit VTHD++. Pour le deuxième problème, nous avons conçu et prototypé un protocole de diffusion de contenu basé sur la notion d'inondation. Grâce au routage par contenu proposé pour le protocole, le contenu peut être livré aux consommateurs sans connaître leur localisation.

Dans de nombreux problèmes industriels, une simple évaluation de la fonction objectif est coûteuse en temps de calcul et son gradient peut ne pas être disponible. Il est alors utile de construire un modèle, rapide à évaluer et facilement dérivable, qui approche le problème étudié. En apportant de nombreuses améliorations à l'apprentissage, nous avons montré que les réseaux de neurones peuvent répondre à ces exigences. En particulier, là où des méthodes neuronales classiques introduisent des oscillations pour approcher une fonction lisse,notre méthode donne un résultat satisfaisant. Mieux encore, notre méthode permet d'approcher des fonctions oscillantes (par exemple le résultat d'un programme entaché d'erreurs numériques), par un modèle lisse. Nous parvenons à ces résultats par le concours de nombreuses méthodes de régularisation : la méthode de Tikhonov, la stratégie d'arrêt de l'apprentissage, la taille du modèle et pour terminer l'utilisation de la méthode de Gauss-Newton (GN). Cette approche de régularisation permet en plus d'éviter les minima locaux (qui posent un serieux problème pour les méthodes classiques), en augmentant la taille du modèle pour assurer l'apprentissage et en la réduisant ensuite pour la régularisation. Pour les problèmes de grande taille, l'application de la méthode de Gauss-Newton est très " gourmande " en place mémoire. Cependant, en combinant les modes adjoint et direct de la différentiation automatique, nous avons proposé une implémentation " zéro-mémoire " qui nous permet d'appliquer cette méthode. Ce procéde, présenté dans le cadre des réseaux neuronaux peuvent, a priori, être adaptés à tout problème inverse. Dans le littérature récente, mais riche sur le sujet, les fonctions définies par un réseau neuronal classique sont optimisées par des techniques globales très coûuteuses. Dans notre cas, nous profitons des qualités du modèle obtenu (régularité, rapidité d'évaluation et disponibilité du gradient pour un coût supplémentaire négligeable) pour utiliser des méthodes d'optimisation efficaces. Nous illustrerons la pertinence de la méthode proposée par différents exemples académiques, reconnus par leur difficulté, et par des exemples issus de l'industrie automobile et l'ingénierie pétrolière.