Vous êtes ici : Accueil > Écoles doctorales > S2IM - Sciences et ingénierie pour l'information, mathématiques

S2IM - Sciences et ingénierie pour l'information, mathématiques

Les thèses soutenues à l'école doctorale "S2IM - Sciences et ingénierie pour l'information, mathématiques"

Pour être informé de la mise en ligne des nouvelles thèses correspondant à la recherche effectuée, abonnez-vous au flux RSS : rss

accès internet    accès intranet    confidentialité
82 ressources ont été trouvées. Voici les résultats 31 à 40
Tri :   Date Auteur Titre thèses par page
  • Vers des traitements morphologiques couleur et spectraux valides au sens perceptuel et physique : méthodes et critères de sélection    - Ledoux Audrey  -  05 décembre 2013

    Voir le résumé
    Voir le résumé
    L'extension de la morphologie mathématique au domaine de la couleur ou du multi/hyperspectral en traitement et analyse d'images n'est pas élémentaire. La majorité des approches se sont focalisées sur la formulation mathématique des opérateurs sans prendre en compte le sens physique ou perceptuel de l'information couleur/spectrale. Les outils développés dans ce travail s'inscrivent dans un nouveau formalisme générique basé sur une fonction de distance. Cette construction permet d'utiliser les opérateurs morphologiques dans le domaine de la couleur ou du multi/hyperspectral en adaptant la fonction de distance. De plus, le choix de la fonction de distance rend les opérateurs valides au sens de la perception ou de la physique. Face aux nombre croissant d'approches existantes, des critères de sélection ont été développés afin de les comparer les différentes écritures de morphologie mathématique. Ces critères sont basés sur le respect des propriétés théoriques des opérateurs, sur les propriétés métrologiques et sur l'efficacité numérique. Grâce à un formalisme prenant en compte l'information perceptuelle de la couleur et intégrant une définition valide des éléments structurants non-plats, deux types d'opérateurs de plus haut niveau ont été définis. Le premier est un détecteur d'objets spatio-colorimétrique passant par la définition d'un gabarit spatial et vectoriel. Le second, est le calcul de spectres de textures vectoriels. L'extension des deux propos au spectral a été réalisé et ouvre de nouvelles questions scientifiques.

  • Comportement asymptotique de modèles en séparation de phases    - Israel Haydi  -  05 décembre 2013

    Voir le résumé
    Voir le résumé
    Dans cette thèse, on étudie l'existence, l'unicité et la régularité des solutions d'équation de type Cahn-Hilliard ainsi que son comportement asymptotique en termes d'existence de l'attracteur global et d'un attracteur exponentiel. Cette équation est considérée dans un domaine borné et régulier pour différents types de nonlinéarités et de conditions au bord. D'abord, on étudie l'équation avec des conditions de type Dirichlet sur le bord et une nonlinéarité régulière. Après, on considère une perturbation du problème et on démontre l'existence d'une famille robuste d'attracteurs exponentiels lorsque ε tend vers 0. Ensuite, on étudie l'équation avec des conditions dynamiques sur le bord. On considère tout d'abord une nonlinéarité régulière et on donne une étude théorique et numérique. Après, on illustre ces résultats par des simulations numériques en dimension deux d'espace qui permettent d'étudier l'influence des différents paramètres. On termine par une étude du modèle considéré avec une nonlinéarité singulière que l'on approche par des fonctions régulières et on introduit une notion de solution appropriée.

  • Modélisation de l'interaction lumière/matière pour l'analyse de surfaces rugueuses texturées par stéréo photométrie    - Bony Alexandre  -  02 décembre 2013

    Voir le résumé
    Voir le résumé
    Les techniques de reconstruction 3d sont devenues incontournables pour des applications telles que la caractérisation et l'analyse de surfaces. Les travaux réalisés au cours de cette thèse ont pour objectif d'améliorer la qualité des reconstructions 3d par stéréophotométrie. Cette méthode repose sur deux principes, l'inversion d'un modèle d'interaction lumière/matière (BRDF) et la configuration d'un système d'éclairage et de prises de vues. Pour des surfaces diffuses, la stéréo-photométrie est réalisée à partir d'un minimum de trois images acquises d'un point de vue fixe pour des directions d'éclairages différentes. Son avantage est d'extraire simultanément les propriétés géométriques et colorimétriques des surfaces analysées même en cas de forte rugosité. Néanmoins, son application exige la formulation de plusieurs hypothèses qui sont difficilement respectables dans un contexte réel. Ceci génère des erreurs significatives dans les reconstructions. Pour les réduire, nous proposons différentes contributions qui s'articulent autour de la prise en compte globale de la chaine d'acquisition. Les apports de nos travaux se situent aux niveaux de la caractérisation et de la modélisation du système d'éclairage, du capteur d'acquisition et de l'amélioration de la qualité des images. Nous nous sommes aussi intéressés à l'optimisation des protocoles de prises de vues dans le cas de spécularité surfacique ou d'ombrage dus à la présence de rugosité. Les résultats obtenus montrent que la prise en compte de ces caractéristiques dans l'inversion d'un modèle de BRDF permet une nette amélioration des reconstructions et offre la possibilité de réduire la taille des systèmes d'acquisition.

  • Étude de la dynamique symbolique des développements en base négative, système de Lyndon    - Nguema Ndong Florent  -  26 septembre 2013

    Voir le résumé
    Voir le résumé
    Ce travail est consacré à l'étude de systèmes de Lyndon (pour la relation d'ordre alterné) et à la dynamique symbolique des développements des nombres en base négative. Pour un réel ß > 1 fixé, nous construisons un code préfixe récurrent positif permettant non seulement de montrer l'intrinsèque ergodicité du —ß-shift mais aussi de déterminer la fonction zêta qui lui est associée. Nous étudions les conditions pour lesquelles le —ß-shift possède la spécification. En outre, lorsque ß est strictement plus petit que le nombre d'or, le langage du —ß-shift admet des mots intransitifs. Cet état de fait engendre dans le système dynamique des cylindres négligeables par rapport à la mesure d'entropie maximale. Ces cylindres génèrent sur Iß=[—ß/(ß+1),1/(ß+1)[ de petits intervalles de mesure nulle (la mesure considérée étant l'unique mesure ergodique sur Iß). Nous en faisons une étude détaillée, en particulier nous déterminons ces intervalles "trous". Par ailleurs, nous étudions l'unicité des systèmes de numération des entiers relatifs en base négative et nous montrons qu'à chaque mot de Lyndon correspond un tel système.

  • Étude des solutions stationnaires d'un modèle de champs de phase cristallin    - Abourou Ella Appolinaire  -  19 septembre 2013

    Voir le résumé
    Voir le résumé
    Cette thèse porte essentiellement sur l'étude des solutions stationnaires, en dimension 1 d'espace, d'un modèle de champs de phase cristallin introduit par Elder en 2002. Ainsi, nous prouvons, par la méthode de réduction de Lyapunov-Schmidt et la technique des multiparamètres, l'existence de courbes de solutions bifurquantes stationnaires lorsque le noyau de l'opérateur linéarisé, au voisinage de la solution triviale est de dimension 2. Une parenthèse est ouverte pour la comparaison de l'énergie de la solution bifurquante par rapport à celle la solution triviale. Aussi, grâce au principe de la stabilité réduite, nous fournissons des ensembles précis de valeurs des paramètres de bifurcation pour lesquelles les solutions obtenues sont stables ou instables. Ces résultats théoriques sont corroborés par plusieurs tests numériques. Par ailleurs, dans le cas classique du noyau unidimensionel, nous établissons des diagrammes de phases permettant de comprendre les différentes orientations de courbes de solutions non triviales au voisinage de chaque point de bifurcation.

  • Détection de points d'intérêts dans une image multi ou hyperspectral par acquisition compressée    - Rousseau Sylvain  -  02 juillet 2013

    Voir le résumé
    Voir le résumé
    Les capteurs multi- et hyper-spectraux génèrent un énorme flot de données. Un moyen de contourner cette difficulté est de pratiquer une acquisition compressée de l'objet multi- et hyper-spectral. Les données sont alors directement compressées et l'objet est reconstruit lorsqu'on en a besoin. L'étape suivante consiste à éviter cette reconstruction et à travailler directement avec les données compressées pour réaliser un traitement classique sur un objet de cette nature. Après avoir introduit une première approche qui utilise des outils riemanniens pour effectuer une détection de contours dans une image multispectrale, nous présentons les principes de l'acquisition compressée et différents algorithmes utilisés pour résoudre les problèmes qu'elle pose. Ensuite, nous consacrons un chapitre entier à l'étude détaillée de l'un d'entre eux, les algorithmes de type Bregman qui, par leur flexibilité et leur efficacité vont nous permettre de résoudre les minimisations rencontrées plus tard. On s'intéresse ensuite à la détection de signatures dans une image multispectrale et plus particulièrement à un algorithme original du Guo et Osher reposant sur une minimisation L1. Cet algorithme est généralisé dans le cadre de l'acquisition compressée. Une seconde généralisation va permettre de réaliser de la détection de motifs dans une image multispectrale. Et enfin, nous introduirons de nouvelles matrices de mesures qui simplifie énormément les calculs tout en gardant de bonnes qualités de mesures.

  • Étude de quelques liens entre les groupes de rang de Morley fini et les groupes algébriques linéaires    - Tindzogho Ntsiri Jules  -  25 juin 2013

    Voir le résumé
    Voir le résumé
    Cette thèse traite essentiellement des liens qui peuvent exister entre les groupes de rang de Morley fini et les groupes algébriques linéaires. En effet, nous y établissons quelques propriétés algébriques aux K-groupes ; d'ailleurs une étude de linéarité sur ces groupes est dressée et permet en particulier d'obtenir une généralisation du théorème de Levi sur la décomposition des groupes algébriques. Ensuite, nous étudions dans un univers de rang de Morley fini, une action définissable de SL2(K) sur un groupe abélien SL2(K)-minimal V où K est un corps définissable de caractéristique positive p > 0. À cet effet, nous montrons que le rang de Morley rk(V ) de V est pair et multiple de rk(K). Enfin, nous analysons sous quelles conditions, étant donné G un groupe algébrique sur un corps algébriquement clos de caractéristique non nulle, le quotient G=Z(G) est définissablement linéaire. Par ailleurs, nous montrons sous certaines hypothèses le groupe des automorphismes définissables d'un K*-groupe simple est interprétable.

  • Contribution à la modélisation non-linéaire et à la commande d'un actionneur robotique intégré pour la manipulation    - Huard Benoît  -  07 juin 2013

    Voir le résumé
    Voir le résumé
    La réalisation de tâches de manipulation dextres requiert une complexité aussi bien dans la conception de préhenseur robotique que dans la synthèse de leurs lois de commande. Une optimisation de la mécatronique de ces systèmes permet de répondre aux contraintes d'intégration fonctionnelle en se passant de capteurs de force terminaux. L'utilisation de mécanismes réversibles rend alors possible la détermination du positionnement du système dans l'espace libre et la détection de son interaction avec les objets manipulés, grâce aux mesures proprioceptives inhérentes aux actionneurs électriques. L'objectif de cette thèse est de parvenir synthétiser, dans le contexte articulaire (un degré-de-liberté), une commande adaptée à la manipulation en tenant compte de ces particularités mécaniques. La méthode proposée est basée sur une commande robuste par rapport aux non-linéarités structurelles dues aux effets gravitationnels et aux frottements secs d'une part et par rapport aux rigidités variables des objets manipulés. L'approche choisie nécessite la connaissance précise de la configuration du système étudié à chaque instant. Une représentation dynamique de son comportement permet de synthétiser un capteur logiciel pour l'estimation des grandeurs indispensables à la commande. Ces différentes étapes sont validées par des essais expérimentaux pour justifier la démarche choisie menant à une commande adaptée à la manipulation d'objets.

  • Étude de modèles de champ de phase de type Caginalp    - Doumbé Bangola Brice Landry  -  03 mai 2013

    Voir le résumé
    Voir le résumé
    Ce rapport de thèse est consacré à l'étude de modèles de champ de phase de type Caginalp. Nous considérons ici, deux modèles : le premier étant une généralisation du modèle de champ de phase de Caginalp basée sur une généralisation de la loi de Maxwell-Cattaneo et le second une généralisation provenant de la théorie de la conduction de chaleur introduite par Chen et Gurtin. L'étude du premier modèle est faite aussi bien dans un domaine borné (avec un potentiel régulier puis dans le cas d'un potentiel non régulier), que dans un domaine non borné, en l'occurrence R3. Le second modèle est un problème de champ de phase avec un couplage (linéaire et non linéaire). Tout d'abord, l'existence, l'unicité et la régularité des solutions sont analysées aux moyens d'arguments classiques. Ensuite, l'existence d'ensembles bornés absorbants et compacts attractifs est établie, assurant ainsi l'existence de l'attracteur global. Enfin, dans certains cas, l'existence d'attracteurs exponentiels, ainsi que le comportement spatial des solutions lorsque le domaine spatial est un cylindre semi-infini tri-dimensionnel, sont analysés.

  • Analyse de quelques équations différentielles à retard et EDP modélisant les instabilités de surfaces    - Alriyabi Ali  -  08 mars 2013

    Voir le résumé
    Voir le résumé
    Cette thèse est divisée en deux parties principales : La première partie concerne la déformation plastique d'un matériau contraint. Nous commençons cette partie par une introduction physique sur la dislocation et son rôle dans l'étude de la déformation plastique. Nous exposons ensuite deux types de modélisation de la déformation plastique ce qui nous conduit à deux équations différentielles à retard de Mecking-Lüke-Grilhé. Nous présentons une analyse mathématique complète des deux modèles linéaire et non linéaire. Nous terminons cette partie par des tests numériques et une comparaison des deux modèles. La deuxième partie de la thèse traite l'instabilité de Rayleigh-Plateau. Cette étude porte sur les instabilités de surface d'un pore cylindrique sans contraintes. Nous nous intéressons à une EDP parabolique non linéaire d'ordre quatre, obtenue à partir d'une équation d'évolution des films minces. Le résultat principal est l'existence globale de la solution et la convergence vers la valeur moyenne de la donnée initiale en temps long. L'étude théorique est aussi appuyée comme dans la première partie par une validation numérique.

|< << 1 2 3 4 5 6 7 8 9 >> >| thèses par page

Haut de page


  • Avec le service Ubib.fr, posez votre question par chat à un bibliothécaire dans la fenêtre ci-dessous.

 
 

Université de Poitiers - 15, rue de l'Hôtel Dieu - 86034 POITIERS Cedex - France - Tél : (33) (0)5 49 45 30 00 - Fax : (33) (0)5 49 45 30 50
these@support.univ-poitiers.fr - Crédits et mentions légales