L'automatique est une discipline qui traite entre autres de la commande et du diagnostic des systèmes industriels. Une première étape à l'obtention de schémas de commande et de diagnostic est d'analyser les propriétés du système considéré. Les principales propriétés analysées sont la commandabilité, l'observabilité, la diagnosticabilité, la stabilité... Des critères, souvent basés sur des approches algébriques ou géométriques, permettent de caractériser ces propriétés. En outre, des travaux publiés dans les années 1970 ont permis d'introduire une nouvelle représentation de systèmes à base de graphes orientés. De ces travaux, il résulte que l'approche graphique fournit des solutions simples et est ainsi très bien adaptée pour analyser des systèmes de grande dimension et/ou incertains. Malheureusement, peu de travaux basés sur des méthodes graphiques traitent des systèmes non linéaires. Par notre travail, nous avons souhaité combler ce manque en étudiant les propriétés d'observabilité et de diagnosticabilité des systèmes bilinéaires structurés à l'aide d'une approche graphique. Des conditions graphiques nécessaires et suffisantes d'observabilité de l'ensemble et d'une partie de l'état d'un système sont formulées. Par la suite le problème de placement de capteurs est abordé afin de recouvrer les propriétés d'observabilité. Enfin, nous nous sommes focalisés sur la propriété de diagnosticabilité. Après avoir donné une condition graphique nécessaire et suffisante de solubilité du problème de détection de défauts, nous avons alors étudié différents cas particuliers de commande afin de donner des conditions de solubilité au problème actif de détection de défauts.

Ce travail porte sur le développement de nouvelles voies de fonctionnalisation des oligo- et poly-thiophènes en vue leurs applications potentielles comme capteurs ou comme actionneurs moléculaires dans des nanosystèmes dynamiques. La première partie de ce travail est consacrée à la synthèse de trois nouvelles séries de macrocycles. Deux séries ont à la base l'unité bithiophène. Ces systèmes macrocycliques ont été polymérisés électrochimiquement donnant des polymères possédant plusieurs cavités éther couronne reliées au système conjugué et présentant une certaine sélectivité vis-à-vis de cation de Li+. Cette approche a été utilisée pour la réalisation de nanosystèmes dynamiques capables de donner lieu à un mouvement moléculaire à l'aide d'une stimulation chimique. La troisième série se base sur l'unité terthiophène hybride contenant l'unité EDOT, qui empêche l'existence de changements conformationnels associés à la complexion du cation de Pb2+ par l'éther couronne reliées au système conjugué, au contraire du système parent sans l'unité EDOT. La deuxième partie de ce travail décrit la synthèse d'une série de molécules cyanées en modifiant les conditions classiques de la condensation de Knoevenagel et la mise au point de deux nouvelles voies de fonctionnalisation des dérivés du thiophène. Au cours de la dernière partie on a testé la réactivité du 3-(tributylstannylsulfanyl)propanenitrile , un nouveau réactif d'introduction de groupe 2-cyanoéthylsulfanyle, développé pendant la première partie de ce travail, sur les dérivés du thiophène et du benzène.

Nous nous intéressons au cas de structures poutres vibrantes soumises à des précharges. Ces précharges influent sur les fréquences propres. Elles induisent un comportement non linéaire de la structure. L'attention est portée en particulier sur les poutres préchargées en rotation uniforme. Celles-ci subissent alors les effets des forces d'inertie centrifuge et aérodynamiques. Les effets rigidifiants augmentent la raideur en flexion des poutres et décalent les modes propres. Il apparaît alors une matrice de raideur géométrique, et une matrice de raideur cinétique dans le cas des poutres en rotation. Nous utilisons une méthode développée par D. GAY permettant une modélisation unidimensionnelle d'une structure réelle composite tridimensionnelle. Cette méthode s'appuie sur le concept d'homogénéisation avec prise en compte des effets de gauchissement. Des paramètres intégraux de déplacements et de rotation «moyens» de la section permettent alors la constitution d'un élément fini de poutre. Nous avons rédigé et mis au point le code de calculs correspondant, qui permet d'effectuer des calculs de fréquences et modes de poutres composites à ligne moyenne rectiligne avec des conditions aux limites variées en déplacement et en efforts. Afin de valider les outils informatiques développés, nous avons réalisé des vérifications expérimentales sur des poutres soumises à des précontraintes de traction et de flexion pure. Ces essais, menés conjointement aux calculs numériques ont montré une bonne corrélation

Cette thèse porte sur la tomographie micro-ondes appliquée à la détection du cancer du sein. Les aspects algorithmiques ainsi que ceux reliés à la configuration du montage de mesure y sont traités.<br /><br />Le temps nécessaire à la reconstruction d'une image étant critique pour d'éventuelles applications cliniques de la tomographie micro-ondes, nous proposons, en première partie, une série d'algorithmes qui offrent un coût de calcul diminué par rapport aux méthodes concurrentes. La méthode « current source inversion » (CSI) est utilisée comme point de départ de la réflexion. On identifie certaines faiblesses de cet algorithme et on en propose deux généralisations, plus rapides et plus robustes. Deux nouvelles familles de méthodes, s'attaquant à différents goulots d'étranglement des méthodes CSI généralisées, sont aussi proposées. Elles sont basées sur deux nouvelles formulations du problème direct. La première est mathématiquement équivalente à celle d'origine alors que la seconde est basée sur des approximations.<br /><br />En ce qui a trait à la configuration du montage de mesures, on montre que la résolution des images reconstruites peut être significativement améliorée en ayant recours à la compression du sein. On propose aussi un montage qui exploite les propriétés des guides d'ondes diélectriques. Celui-ci permet de mesurer le champ dans l'air plutôt que dans un liquide d'adaptation, ce qui ouvre la porte au développement de montages plus compacts.

Dans ce travail, on étudie les problèmes de localisation et de classification des capteurs pour des propriétés génériques - propriétés valables pour presque toutes les valeurs des paramètres. Lorsqu'une propriété donnée du système n'est pas vérifiée avec l'ensemble des capteurs, on cherche à implanter de nouveaux capteurs pour rendre la propriété vraie. Lorsqu'une propriété est vérifiée avec l'ensemble des capteurs existants, on classe les capteurs en fonction de leur criticité relativement à la propriété. La thèse caractérise les capteurs essentiels, ceux qui doivent être sans défaut. La défaillance d'un de ces capteurs essentiels fait perdre la propriété. Les capteurs inutiles qui peuvent tomber en panne sans aucun impact sur la propriété sont également caractérisés. Cette approche a été appliquée à deux propriétés: l'observabilité et le rejet de perturbation par retour de mesure. Tous les résultats ont été obtenus par une approche graphique et sont simple à implanter numériquement.

La sécurité et la fiabilité sont des préoccupations de première importance lors du développement de structures tournantes. Afin de diminuer les possibilités de dysfonctionnement du fait des vibrations, les amortisseurs pas frottement représentent une technologie très utilisée. Dans les ensembles aubagés, l'amortissement par friction est situé entre les aubes, entre les aubes et le disque ou encore entre les aubes et des dispositifs situés sur les plateformes. Il est par conséquent utile de savoir comment prendre en compte ces phénomènes dans les études vibratoires.

Cette thèse a été menée en collaboration avec la der-edf. Il s'agit d'étudier ici la parallélisation d'un probleme de répartition de charges dans les réseaux électriques. Ce probleme correspond mathématiquement a la resolution successive de systèmes linéaires dont les matrices sont proches les unes des autres. Une methode originale de resolution est tout d'abord présentée dans un cadre séquentiel, puis une parallélisation sur plusieurs types d'architectures (mimd vectoriel, simd massivement parallèle et mimd a topologie reconfigurable) est proposée. Les machines cibles ont ete étudiées en profondeur et modélisées théoriquement. Plusieurs idées de parallélisation ont été envisagées. Il est intéressant de constater que les meilleures méthodes de resolution de ce probleme concret modèle (c'est-a-dire les plus rapides) sont différentes suivant le type de machine parallèle considéré

Ce travail a pour but l'étude de la dynamique de structures non-linéaires soumises à des passages de véhicules. Le cas d'un demi-espace multi-couche visco-élastique soumis à une charge mobile est premièrement résolu par une méthode semi-analytique. Il permet de comprendre les phénomènes physiques et peut servir à valider des approches plus complexes élaborées dans la suite. Plusieurs études sur ce problème ont été réalisées mais il en existe encore peu qui tiennent compte de la non-linéarité des matériaux. Ces nonlinéarités, qui peuvent être très forte dans certains matériaux (par exemple le ballast), causent des surcharges dynamiques plus importantes. On considère ici deux types de non-linéarité : l'élasticité non-linéaire et l'unilatéralité. La structure est étudiée avec des modèles très simples en unidimensionnel ou plus complexes en tridimensionnel. La méthode des éléments finis est choisie pour les calculs. Le cas 1D consiste en un problème uniaxial d'une barre et un problème de flexion d'une poutre posée sur un système de ressortsamortisseurs. Le cas 3D utilise un modèle de matériau ballast qui est élastique (non-linéaire) en compression et unilatéral dans les directions principales. Comme on s'intéresse au régime permanent, on écrit les équations des éléments finis et on les résout dans le repère mobile en utilisant un changement de variable. Dans le cas où la vitesse de la charge devient supersonique, la méthode des éléments finis dans le repère mobile n'est plus valable et on doit utiliser une autre approche dans laquelle le changement de variable est réalisé à partir de l'équation discrétisée. On montre aussi pour le modèle uniaxial, dans le cas où la vitesse de la charge se situe entre la vitesse de l'onde de compression et la vitesse de l'onde de tension, qu'il peut exister des ondes de chocs dans le régime permanent. Les résultats obtenus sont présentés et sont comparés avec ceux des cas linéaires. Ils montrent les influences importantes de la non-linéarité sur la réponse dynamique des structures.

.

Cette thèse porte sur la résolution numérique de systèmes d'équations non-linéaires. Elle présente des contributions dans trois sous-domaines utilisant le calcul par intervalles : l'analyse par intervalles, les intervalles modaux et la programmation par contraintes. Le traitement des systèmes linéaires est au centre de plusieurs des travaux. Il sert notamment de base à la résolution dans le cas non-linéaire. En analyse par intervalles, nous proposons une extension de la méthode de Hansen-Bliek pour l'approximation extérieure optimale de l'ensemble des solutions d'un système linéaire dont les coefficients varient dans des intervalles. L'extension proposée prend en compte la possibilité de choisir le quanticateur (existentiel ou universel) associé à certains coefficients du système. Cette liberté permet de modéliser un plus large éventail de problèmes linéaires, notamment ceux obtenus itérativement à partir de l'opérateur de Newton (intervalle) généralisé. Une généralisation de la décomposition LU exploitant l'arithmétique de Kaucher est également proposée. Sur les intervalles modaux, nous proposons une construction originale de la théorie qui s'articule autour de la notion d'image quantiée, généralisation naturelle de la notion d'image d'une fonction. La construction proposée présente certains avantages, comme celui de pouvoir donner un sens plus concret à l'arithmétique de Kaucher. En programmation par contraintes, nous étudions de nouvelles cohérences partielles reposant sur la structure d'unions d'intervalles. Cette structure peut être utilisée pour représenter plus nement le domaine des variables dans des systèmes de contraintes numériques. Nous montrons notamment dans quelle mesure, et à quel coût, la propriété d'arc-cohérence peut ainsi être obtenue grâce à cette nouvelle représentation.