La reconnaissance d'iris est un des systèmes biométriques les plus fiables et les plus précis. Cependant sa robustesse aux dégradations des images d'entrées est limitée. Généralement les systèmes basés sur l'iris peuvent être décomposés en quatre étapes : segmentation, normalisation, extraction de caractéristiques et comparaison. Des dégradations de la qualité des images d'entrées peuvent avoir des répercussions sur chacune de ses étapes. Elles compliquent notamment la segmentation, ce qui peut engendrer des images normalisées contenant des distorsions ou des artefacts non détectés. De plus, la quantité d'information disponible pour la comparaison peut être réduite. Dans cette thèse, nous proposons des solutions pour améliorer la robustesse des étapes d'extraction de caractéristiques et de comparaison à la dégradation des images d'entrées. Nous travaillons avec deux algorithmes pour ces deux étapes, basés sur les convolutions avec des filtres de Gabor 2D, mais des processus de comparaison différents. L'objectif de la première partie de notre travail est de contrôler la qualité et la quantité d'information sélectionnée pour la comparaison dans les images d'iris normalisées. Dans ce but nous avons défini des mesures de qualité locale et globale qui mesurent la quantité d'occlusions et la richesse de la texture dans les images d'iris. Nous utilisons ces mesures pour déterminer la position et le nombre de régions à exploiter pour l'extraction. Dans une seconde partie de ce travail, nous étudions le lien entre la qualité des images et les performances de reconnaissance des deux algorithmes de reconnaissance décrits ci-dessus. Nous montrons que le second est plus robuste aux images dégradées contenant des artefacts, des distorsions ou une texture pauvre. Enfin, nous proposons un système complet pour la reconnaissance d'iris, qui combine l'utilisation de nos mesures de qualités locale et globale pour optimiser les performances des algorithmes d'extraction de caractéristiques et de comparaison / Iris recognition has become one of the most reliable and accurate biometric systems available. However its robustness to degradations of the input images is limited. Generally iris based systems can be cut into four steps : segmentation, normalization, feature extraction and matching. Degradations of the input image quality can have repercussions on all of these steps. For instance, they make the segmentation more difficult which can result in normalized iris images that contain distortion or undetected artefacts. Moreover the amount of information available for matching can be reduced. In this thesis we propose methods to improve the robustness of the feature extraction and matching steps to degraded input images. We work with two algorithms for these two steps. They are both based on convolution with 2D Gabor filters but use different techniques for matching. The first part of our work is aimed at controlling the quality and quantity of information selected in the normalized iris images for matching. To this end we defined local and global quality metrics that measure the amount of occlusion and the richness of texture in iris images. We use these measures to determine the position and the number of regions to exploit for feature extraction and matching. In the second part, we study the link between image quality and the performance of the two recognition algoritms just described. We show that the second one is more robust to degraded images that contain artefacts, distortion or a poor iris texture. Finally, we propose a complete system for iris recognition that combines the use of our local and global quality metrics to optimize recognition performance

Hourya Sinaceur présente dans son ouvrage Corps et Modèles la théorie des caractéristiques de Kronecker comme la fin d’« un cycle d’idées sturmiennes », la situant ainsi dans une histoire de l’algébrisation du théorème de Sturm. Pourtant, cette théorie est souvent aussi présentée comme le point de départ de certains des premiers travaux de topologie de la toute fin du dix-neuvième siècle. Nous souhaitons dans cette thèse rendre compte de la façon dont ces deux histoires se rencontrent au sein de la théorie de Kronecker. Pour cela, nous disposons d’un matériel particulièrement éclairant et jusqu’alors très peu exploité : les manuscrits des cours que Kronecker a donnés à l’Université de Berlin entre 1872 et 1891 sur la Théorie des équations algébriques. Nous commencerons par présenter ces manuscrits, leur contenu et leur contexte de rédaction. Nous nous intéresserons ensuite plus précisément à la reprise du théorème de Sturm par Kronecker, et nous montrerons que la théorie des caractéristiques n’est pas seulement un prolongement algébrique de ce théorème, mais qu’elle se transforme pour fournir certains des outils analytiques que Poincaré utilisera lors de la construction de son Analysis Situs. L’exposition de la théorie des caractéristiques dans ses cours est l’occasion pour Kronecker de reprendre trois des quatre démonstrations que Gauss a données du théorème fondamental de l’algèbre, et nous montrerons comment, dans la pratique de Kronecker, la notion même de racine est interrogée / In her book Corps et Modèles, Hourya Sinaceur presented Kronecker’s theory of characteristics as the end of a “cycle of Sturmian ideas”, making it a step in history of the algebraization of Sturm’s theorem. However, this theory is often also introduced as the starting point of some of the early works of topology of the very end of the nineteenth century. In this PhD thesis, I will describe how these two stories are connected in Kronecker’s theory. To achieve this, I used material which has seldom been discussed before : the manuscripts of the courses that Kronecker gave at the University of Berlin between 1872 and 1891 on the Theory of algebraic equations. I begin with the presentation of these manuscripts, their contents and their writing contexts. I then look more closely at Kronecker’s rework of the theorem of Sturm and show that the theory of characteristics is not only an algebraic extension of this theorem but also that it is transformed in order to provide some of the analytic tools that Poincaré will use for the construction of his Analysis Situs. The exposition of the theory of characteristics in his courses is an opportunity for Kronecker to take up three of the four demonstrations from Gauss of the fundamental theorem of algebra, and I will show how, in Kronecker’s practice, the very notion of root is questioned

Cette thèse s'intéresse au problème de la diffraction d'ondes par un obstacle borné, <br />et plus particulièrement à l'étude de sa Surface Equivalente Radar (SER). <br /><br />Etant donné une onde incidente sur l'objet, la détermination des courants induits sur la <br />surface de celui-ci, des champs diffractés puis, par la suite, de leur comportement à <br />l'infini, est un problème couramment abordé dans la littérature. <br />De plus, pour des longueurs d'onde comparables à la taille de l'objet, ces grandeurs <br />peuvent maintenant être approximées numériquement par des méthodes à la fois rapides <br />et précises. <br /><br />Néanmoins, au contraire des nombreuses théories développées dans les domaines hautes <br />fréquences (tracés de rayon, points brillants, TGD, ...), les phénomènes produits sur la <br />surface de l'objet, et en particulier leur effet sur le champ diffracté et la SER, <br />demeurent mal compris et maîtrisés. <br /><br />La notion de courants caractéristiques, initialement introduite par J.R. Harrington et <br />R.F. Mautz dans les années 70 dans pour des objets parfaitement conducteurs, permet la <br />décomposition d'un courant induit quelconque en courants ``élémentaires''. <br />Cette décomposition semble alors particulièrement adaptée à l'étude de la SER de l'objet, <br />grâce notamment à des propriétés d'orthogonalités des champs lointains rayonnés <br />permettant d'identifier directement entres elles les composantes d'un courant (les zones <br />sollicités sur l'objet) et celles de son champ rayonné. <br /><br />Nous revenons dans un premier temps dans cette thèse sur cette décomposition modale, <br />en fournissant un cadre et les résultats mathématiques nécessaires à la bonne <br />compréhension et utilisation de cette décomposition. <br /><br />L'introduction de ce cadre permet alors de donner une première généralisation de ce type <br />de décomposition à des objets modélisés par une condition d'impédance. <br /><br />Ces courants et champs caractéristiques peuvent de plus se révéler intéressant d'un point <br />de vue théorique, de par les bases adaptés qu'ils fournissent. <br />L'application au problème inverse, à savoir celui de la reconstruction de la surface de <br />l'objet à partir de la connaissance des champs lointains diffractés, donne un exemple <br />d'utilisation théorique de ces modes caractéristiques.

Suivant des idées de B.Malgrange, on présente la construction d'un<br />nouvel invariant pour les faisceaux pervers : le déterminant microlocal. C'est une généralisation aux faisceaux pervers de la première classe caractéristique secondaire des fibrés plats.<br /><br /> Le déterminant microlocal est une classe de cohomologie sur le<br />fibré cotangent à support dans la variété caractéristique : il est<br />construit sur les déterminants des systèmes locaux obtenus par<br />microlocalisations le long des strates.<br /><br /> Pour montrer son existence, on ramène la variété<br />caractéristique en position générique par une transformation canonique en contrôlant le comportement des microlocalisés <br />par une telle transformation. On est alors ramené au cas de la dimension 2 où un calcul explicite est effectué en utilisant les descriptions combinatoires des faisceaux pervers de Ph. Maisonobe.

Un modèle discret tridimensionnel dédié à la prédiction des propriétés élastiques linéaires et en fatigue des matériaux granulaires cohésifs (matrice+inclusions) tel que les bétons bitumineux est présenté. Le matériau est considéré comme un assemblage d'inclusions cohésives infiniment rigides. La mosaïque de Voronoï pour un ensemble de sphères et sa triangulation duale de Delaunay sont utilisées pour modéliser la microstructure du matériau. Le comportement mécanique des contacts entre particules est modélisé via une loi d'interface. Une méthode d'homogénéisation discrète est employée pour l'estimation des propriétés effectives du matériau. Les prédictions du modèle sont comparées à celles déterminées par la méthode des éléments finis pour les réseaux cubique simple et cubique centré. Les résultats des simulations ont montré que les erreurs de modélisation sont inférieures à 15% lorsque à la fois le contraste entre rigidité des inclusions et celle de la matrice est supérieure à 100 et la compacité des inclusions est assez élevée (>50%). Dans un premier lieu, le modèle discret est appliqué aux matériaux aléatoires pour la détermination de la taille minimale du Volume Élémentaire Représentatif (VER) en élasticité linéaire et en fatigue en utilisant une approche statistique. Dans un second lieu, le modèle proposé est appliqué à l'étude de l'influence des caractéristiques morphologiques sur les propriétés effectives du matériau.

Le quotient d'un espace vectoriel de dimension finie par l'action d'un sous-groupe fini d'automorphismes est une variété en général singulière. Sous bonnes hypothèses, la correspondance de McKay relie la géométrie de bonnes résolutions des singularités aux représentations du groupe. Pour le schéma de Hilbert de points sur le plan affine, nous étudions comment les différentes correspondances (McKay, McKay duale et McKay multiplicative) sont reliées les unes aux autres. A cette fin, nous calculons des formules combinatoires pour les fibrés vectoriels usuels sur le schéma de Hilbert de points sur le plan affine. Parallèlement à ces questions, nous étudions le comportement multiplicatif du théorème de Bridgeland, King \& Reid construisant la correspondance de McKay pour le schéma de Hilbert de points sur le plan affine. Dans une dernière partie, nous calculons les classes de Chern du fibré tangent au schéma de Hilbert de points sur le plan affine.

Cette thèse traite de méthodes statistiques appliquées au traitement du signal. Afin de résoudre le problème de séparation aveugle de sources à l'aide de la méthode d'analyse en composantes indépendantes, nous introduisons deux mesures de dépendance, l'une bien connue l'information mutuelle, et l'autre que nous appelons la mesure de dépendance quadratique. Nous montrons le lien de cette dernière avec les fonctions caractéristiques et en proposons une estimation simple, dont les propriétés asymptotiques sont obtenues grâce aux U-statistiques. Les choix du noyau et de la taille de fenêtre sont ainsi analysés. Enfin, la minimisation des mesures de dépendance permet de résoudre le problème de séparation de sources dans le cadre de mélanges post non linéaires. Plusieurs approches sont proposées, dont une non paramétrique basée sur les dérivées des non linéarités. Nous illustrons les obstacles à la minimisation par des graphes des fonctions objectifs.

L'analyse différentielle de consommation (notée DPA pour Differential Power Analysis) est une puissante attaque non intrusive par canal auxilliaire dont l'objectif est de retrouver des informations secrètes contenues dans des circuits intégrés en exploitant la consommation globale. Des clés de chiffrement peuvent alors être découvertes pendant l'exécution d'algorithmes cryptographiques. L'objet de cette thèse est de proposer une contre-mesure véritablement efficace basée sur la conception de portes logiques intrinsèquement résistantes à la DPA indépendamment des états logiques et électriques passés, présents et futurs. Il est alors théoriquement possible de concevoir des circuits intégrés résistants à l'attaque DPA. La contre-mesure proposée repose sur des bases microélectroniques précises qui permettent d'expliciter les sources de la DPA. La solution s'appuie sur la conception CMOS (Complementary Metal Oxide Silicon) de circuits intégrés réalisant des algorithmes cryptographiques tels que l'AES (Advanced Encryption Standard).

Parmi les différentes méthodes de résolution numérique de l'équation du transport des neutrons, la méthode des caractéristiques est actuellement l'une des plus employées pour les calculs industriels. Elle permet en effet d'obtenir un bon rapport entre précision et temps de calcul, tout en facilitant la description précise de géométries complexes grâce à un maillage non structuré. Afin de réduire la quantité de ressources requises par la méthode des caractéristiques, nous proposons dans ce mémoire deux axes d'amélioration. Le premier axe de travail est fondé sur une analyse de la technique d'intégration transverse dans la méthode des caractéristiques. Un certain nombre de limites ont été détectées à ce niveau, que nous nous proposons de corriger en proposant une variante de la méthode des caractéristiques. En traitant au mieux les discontinuités matérielles, l'objectif est d'accroître la précision de l'intégration transverse, en vue de réduire le temps de calcul sans sacrifier la qualité des résultats. L'analyse des résultats numériques fournis par cette nouvelle méthode permet d'en montrer l'intérêt, ainsi que de mieux quantifier les approximations dues à l'intégration transverse. Une autre amélioration découle de l'observation que la plupart des réacteurs en exploitation présentent des structures complexes, mais formées –au moins en partie– d'un réseau de cellules ou d'assemblages de géométries identiques. Nous proposons une méthode systématique issue de la théorie des groupes et permettant de tirer parti de ces répétitions. L'implémentation de cette technique permet de diminuer la quantité de ressources nécessaires pour stocker les informations relatives à la géométrie. Les résultats numériques en montrent l'intérêt dans un contexte industriel.

approche experimentale de techniques en propagation libre ou guidée pour évaluer : <br />- des champs électromagnétiques diffractés ou rayonnés<br />- des caractéristiques électromagnétiques de matériaux<br />dans le domaine des hyperfréquences