Le travail présente dans ce mémoire décrit le développement et l'utilisation de réseaux de neurones artificiels pour la resolution d'un probleme de reconnaissance de formes particulières, les partitions musicales. Le premier chapitre est consacre a une étude bibliographique des méthodes connexionnistes employées en reconnaissance de formes. Nous tentons de présenter les principaux modèles de réseaux de neurones de manière homogène et de justifier le choix du modèle auquel nous nous sommes particulièrement intéresses: celui des réseaux multi-couches. Nous consacrons le deuxième chapitre a l'étude de ces derniers. Après une synthèse des différentes connaissances utiles au choix de l'architecture d'un réseau multi-couche et a la mise en œuvre de l'algorithme d'apprentissage par rétro-propagation du gradient, nous nous intéressons aux réseaux d'automates a seuil. Les propriétés de ces réseaux et leurs liens avec les méthodes usuelles de classification sont mis en évidence. Ceci nous amène a proposer un nouvel algorithme d'apprentissage hiérarchique. Dans le dernier chapitre, nous décrivons un système de reconnaissance bas-niveau d'images de partitions musicales imprimées. Différentes solutions pour le pré-traitement, la segmentation et la classification sont proposées. Ces solutions font appel tant a l'analyse d'image conventionnelle qu'aux réseaux de neurones décrits dans les chapitres précédents; elles sont illustrées par des résultats expérimentaux

Étude des moyens de description et de manipulation des objets contenus dans des images binaires discrètes. Le calcul d'une ligne médiane, puis d'un graphe de la ligne médiane, aboutit a la représentation hiérarchisée de l'axe médian qui induit une analyse structurée de l'objet original. Différents procédés de manipulation de formes sont proposes et testés.

Cette thèse essaie d'apporter une solution au problème de l'automatisation de la production des générateurs de code. Elle propose une méthode formelle de génération basée sur une séparation nette entre les algorithmes de génération et les données relatives a la machine cible. Réservation d'un système capable de créer, a partir d'une description de la machine cible, un générateur de code basé sur cette méthode

La forme du noyau est une caractéristique fondamentale de la matière nucléaire. Les isotopes légers pairs-pairs du krypton possèdent la surprenante propriété de présenter deux minimas pour leur énergie potentielle correspondants à deux déformations opposées. Alors que l'état fondamental 0+ peut avoir une déformation allongée ou aplatie, un second minimum aplati ou allongé respectivement, se dessine à une énergie inférieure à 1 MeV. Un tel phénomène est appelé coexistence de formes. Une première indication expérimentale est l'observation du second minimum correspondant à un état 0+ excité. Celui-ci a été observé tout au long de la chaîne du krypton. Un calcul de mélange des configurations allongée et aplatie met en évidence un changement de forme important de l'état fondamental en fonction du nombre de neutrons. Celui-ci serait de déformation allongée pour les 76,74Kr et deviendrait aplati pour le 72Kr. Une mesure directe de la déformation de ces noyaux est l'étape indispensable pour confirmer ces hypothèses. Une série d'expériences d'excitation Coulombienne auprès du dispositif SPIRAL associé au multi-détecteur EXOGAM au GANIL a été réalisée. Lors de ces expériences, la statistique était suffisante pour extraire les moments quadripolaires intrinsèques de ces noyaux grâce au code GOSIA. Ils établissent le caractère allongé de l'état fondamental et un état excité aplati conformément au scénario de coexistence de formes. Une mesure par « plunger » des temps de vie des états excités complète cette étude. Une expérience a été réalisée à haute énergie auprès du spectromètre LISE au GANIL permettant une première estimation de la collectivité du noyau de 68Se qui présenterait les mêmes propriétés. L'ensemble des résultats obtenus est comparé à des calculs théoriques de type HFB+Sly6+GCM.

Cette thèse présente le résultat de notre travail sur l'étude des structures organisationnelles dans les systèmes multi-agents. L'approche proposée met l'accent sur la primauté de l'organisation multi-agents sur les architectures individuelles pour répondre aux besoins d'hétérogénéité,d'adaptation et de contrôle dans les systèmes de taille importante. Le coeur de ce travail est donc un modèle générique de description d'organisation, basé sur les notions de groupe, agent et rôle. Il est montré comment cette description structurelle et fonctionnelle permet de fédérer des systèmes multi-agents ayant des architectures de contrôle, des buts ou des modèles d'interactions différents. Nous dégageons alors plusieurs conséquences de ce modèle, selon les points de vue de la formalisation, de l'implémentation, de la conception ou des applications. Nous présentons en particulier une expression dans une variante du pi-calcul, que nous illustrons par l'étude du meta-niveau dans cette formalisation. L'aspect opératoire a été abordé par la réalisation une plate-forme générique de développement et exécution de systèmes multi-agents, basée sur le modèle d'organisation proposé et conçue pour permettre l'accueil de systèmes ayant des architectures fortement hétérogènes. Nous montrons alors comment un lien peut être fait avec d'autres approches en conception multi-agent, et proposons quelques pistes pour l'utilisation dans le cadre des langages de modélisation. La validation expérimentale de ce travail est finalement abordée par des expérimentations ciblées sur le modèle et la plate-forme proposée ainsi que par des applications à visée plus générique.

Nous proposons de mettre en œuvre un prototype de processeur<br />optoélectronique destiné à segmenter par contour actif des images<br />réelles. Le processus de segmentation est fondé sur des algorithmes<br />statistiques itératifs qui contiennent des opérations de corrélation.<br />Notre première contribution a été de les adapter pour bénéficier de la<br />rapidité de la rapidité des corrélations optiques.<br /><br />Nous avons conçu et mis en œuvre un corrélateur incohérent ombroscopique<br />dont les résultats ont pu valider cette approche optoélectronique de la<br />segmentation par contour actif.<br /><br />Afin d'accélérer le processus, nous avons ensuite exploité les capacités<br />de traitement parallèle de l'optique. La configuration multicanal permet<br />alors d'accélérer sensiblement la segmentation.<br /><br />Cette thèse ouvre de nouvelles perpectives pour les processeurs optiques<br />vers des applications de description et met en lumière les grandes<br />capacités de traitement des corrélateurs incohérents utilisés comme<br />calculateurs parallèles.

La supervision automatique des processus industriels permet d'accroître la productivité et de diminuer le coût d'entretien. Le diagnostic est une composante principale d'un module de supervision. Il existe plusieurs approches pour réaliser le diagnostic. Les performances de chaque approche dépendent du problème posé. Nous cherchons une méthode de diagnostic capable de résoudre les problèmes suivants :<br />- dans une base de connaissance incomplète, tous les modes de fonctionnement ne sont pas représentés. En conséquence, un module de diagnostic doit être adaptatif afin d'inclure à sa base de connaissance les nouveaux modes dés qu'ils apparaissent,<br />- lorsque le système évolue vers un mode anormal ou non désiré, il est nécessaire d'anticiper cette évolution plutôt que d'attendre d'arriver à ce mode afin d'éviter ses conséquences surtout s'il est dangereux. Le module de diagnostic doit donc être prédictif,<br />- dans le cas d'un système évolutif, la base de connaissance doit être enrichie grâce à l'information apportée par les nouvelles observations. Cet enrichissement doit être réalisé en temps réel,<br />- les données sont à la fois incertaines et imprécises.<br />L'objectif principal de ma thèse consistait à mettre au point un module de diagnostic en temps réel adaptatif et prédictif pour des systèmes évolutifs, en utilisant les techniques de Reconnaissance des Formes, la théorie des ensembles flous et la théorie des possibilités. Ce module a été appliqué sur plusieurs applications industrielles.

Cette thèse étudie les formes normales rationnelles de perturbations de matrices en vue de la résolution du problème de perturbations pour les valeurs propres : le comportement asymptotique des valeurs propres d'une perturbation de matrice pouvant être entièrement décrit à partir de seulement quelques monômes du polynôme caractéristique, il s'agit essentiellement d'arriver à "lire" ces invariants matriciels directement sur la matrice de départ (perturbations quasi-génériques) ou, à défaut, sur une perturbation qui lui soit semblable (forme réduite). Partant des travaux de Moser et de Lidskii, on propose deux premières formes réduites, chacune étant associée à une famille de perturbations quasi-génériques. Des algorithmes de réduction par similitude polynomiale ainsi que les formes normales correspondantes sont également présentés. Enfin, une généralisation d'un théorème de Lidskii indique une troisième forme réduite, pour laquelle le problème de départ est complètement résolu. L'ensemble de ces résultats trouve une interprétation simple avec le polygone de Newton et l'implantation en Maple des algorithmes proposés a permis de développer une première "boîte à outils" pour les perturbations de matrices.

Le but de cette thèse est de généraliser un certain nombre de résultats arithmétiques connus pour les formes modulaires elliptiques au cas des formes modulaires de Hilbert. Parmi ces résultats citons le contrôle de l'image de la représentation galoisienne résiduelle [Serre, Ribet], le critère de congruence de Hida, ainsi que la liberté de la cohomologie entière de la variété modulaire de Hilbert sur certaines composantes locales de l'algèbre de Hecke et la propriété de Gorenstein de celles-ci [Mazur, Faltings-Jordan]. Dans le cas de niveau "minimal" ceci permet de relier la $p$-partie "algébrique" de la valeur en 1 de la fonction L adjointe d'une forme modulaire de Hilbert nouvelle au cardinal du groupe de Selmer correspondant. L'approche des propriétés arithmétiques des formes modulaires de Hilbert se fait à travers leurs représentations galoisiennes modulo $p$ et l'outil principal est l'action de l'inertie en $p$. Cette action est contrôlée par le calcul des poids de Hodge-Tate (resp. de Fontaine-Laffaille) de la cohomologie $p$-adique (resp. modulo $p$) de la variété modulaire de Hilbert. La partie cohomologique de ce travail repose sur la construction des compactifications toroïdales arithmétiques de la variété abélienne de Hilbert-Blumenthal universelle (et de ses produits fibrés), au-dessus des compactifications toroïdales arithmétiques de la variété modulaire de Hilbert en niveau $\Gamma_1(c,n)$.

Les semi-groupes de Markov ergodiques permettent d'approcher des mesures de probabilité au moyen d'inégalités fonctionnelles. L'objectif de la thèse est l'étude de certaines de ces inégalités, de l'isopérimétrie gaussienne aux inégalités de Sobolev. Nous cherchons essentiellement à établir des liens entre elles, à déterminer leurs constantes optimales et à obtenir des critères assurant leur existence. Le travail est divisé en trois parties. Dans la première , nous nous intéressons aux liens entre les inégalités de Sobolev logarithmiques (SL) et celles d'?isopérimétrie gaussienne de Bobkov (IGB). Nous montrons qu'?un semi-groupe de courbure minorée (éventuellement négative) qui satisfait à (SL) vérifie également une inégalité (IGB). Nous obtenons ainsi une inégalité (IGB) pour certains systèmes de spins. Dans la seconde partie, nous montrons que la constante de Poincaré d'une mesure de probabilité log-concave sur la droite réelle est universellement comparable au carré de la distance moyenne à la médiane. La preuve repose sur un calcul de variations dans l'ensemble des fonctions convexes. La dernière partie est consacrée à de nouveaux critères conduisant aux inégalités de Sobolev lorsque le critère de courbure-dimension (CD) de Bakry et Emery est mis en défaut. La technique utilisée repose sur la construction (au moyen de changements conformes de métrique et tensorisation) d?'une structure de Dirichlet en dimension supérieure qui satisfait un critère (CD) et se projette sur la structure de départ.