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 1 à 10
Tri :   Date Auteur Titre thèses par page
  • Contribution to the stiffness and transparency improvement of a haptic interface used for surgical cobotic applications    - Jabbour Ziad  -  29 novembre 2010

    Voir le résumé
    Voir le résumé
    Un cobot chirurgical est un système développé pour empêcher les chirurgiens d'endommager les structures anatomiques sensibles. Le cobot permet au chirurgien de manipuler librement ses instruments de chirurgie, sauf dans les volumes définis à l'avance comme des zones anatomiques à protéger. Le cobot évite au chirurgien de pénétrer dans ces zones interdites et assure par conséquent des opérations chirurgicales délicates en protégeant activement les structures sensibles, comme la moelle épinière, etc. Ainsi un cobot chirurgical est un système haptique présentant à la fois une excellente transparence et une capacité à générer des forces dans la main de son opérateur. L'objectif de cette thèse est d'améliorer les performances d'une interface haptique à un degré de liberté en termes de raideur atteinte et de transparence. L'interface haptique étudiée est entraînée par une machine synchrone à aimants permanents (MSAP) en utilisant un D.S.P. à virgule fixe. Deux modes de fonctionnement différents sont considérés pour l'interface haptique: le mode bloqué et le mode transparent (ou fonctionnement libre). En mode bloqué, la MSAP doit délivrer son couple nominal instantanément et le maximum de raideur. Pour obtenir la meilleure raideur, la méthode d'estimation de la vitesse de MSAP est améliorée et la fréquence d'asservissement du contrôleur est augmentée. Ainsi, deux méthodes d'estimation de vitesse sont proposées, évaluées et comparées avec la classique méthode d'estimation de vitesse " Synchronous Constant Elapsed Time method " (SCET): l'une est basée sur le filtre de Kalman (KF) et la seconde sur un observateur d'état (FOSO). En parallèle, le code du DSP est optimisé afin d'augmenter la fréquence d'asservissement du contrôleur. En mode transparent, l'interface haptique doit être aussi légère que possible. Toutefois, la transparence est dégradée par les frottements et l'inertie liés à la structure mécanique, ainsi que le phénomène de " cogging " de la MSAP. Deux stratégies pour compenser les frottements et l'inertie du système sont proposées. La première utilise l'estimation en ligne du couple de perturbation à l'aide de l'observateur d'état (FOSO) et la seconde estime en hors ligne le couple de perturbation en utilisant l'équation mécanique du système et les paramètres mécaniques pré-identifiés. Quant au phénomène de " cogging " de la MSAP, une technique d'identification hors ligne et de compensation des ondulations du couple est proposée et évaluée. La combinaison des solutions proposées permet d'obtenir une raideur maximale de 35Nm/rad en mode bloqué et de compenser 91% du phénomène de " cogging " de la MSAP en mode transparent, ainsi que les frottements et l'inertie du système.

  • Contribution to the study of synchronized differential oscillators used to controm antenna arrays    - Ionita Mihaela-Izabela  -  18 octobre 2012

    Voir le résumé
    Voir le résumé
    Le travail présenté dans ce mémoire traite de l’étude d’oscillateurs et d’Oscillateurs Contrôlés en Tension (OCT) différentiels couplés appliqués à la commande d’un réseau d’antennes linéaire. Après avoir rappelé les concepts d’antennes réseaux et d’oscillateurs, une synthèse de la théorie élaborée par R. York et donnant les équations dynamiques modélisant deux oscillateurs de Van der Pol couplés par un circuit résonnant a été présentée. Après avoir montré la limitation de cette approche concernant la prédiction de l’amplitude des oscillateurs, une nouvelle formulation des équations non linéaires décrivant les états de synchronisation a été proposée. Néanmoins, compte tenu du caractère trigonométrique et fortement non linéaire de ces équations, une nouvelle écriture facilitant la résolution numérique a été proposée. Ceci a permis l’élaboration d’un outil de Conception Assistée par Ordinateur (CAO) fournissant une cartographie de la zone de synchronisation de deux oscillateurs de Van der Pol couplés. Celle-ci permet de déterminer rapidement les fréquences d’oscillation libres nécessaires à l’obtention du déphasage souhaité. Pour ce faire, une procédure de modélisation de deux oscillateurs et OCTs différentiels couplés, par deux oscillateurs de Van der Pol couplés par une résistance a été élaborée. Les résultats fournis par l’outil de CAO proposé ont ensuite été comparés avec les résultats de simulations de deux oscillateurs et OCTs différentiels couplés obtenus avec le logiciel ADS d’Agilent. Une très bonne concordance des résultats a alors été obtenue montrant ainsi l’utilité et la précision de l’outil présenté.

  • Extracting cell complexes from 4-dimensional digital images    - Pacheco-Martínez Ana María  -  10 juillet 2012

    Voir le résumé
    Voir le résumé
    Une image numérique peut être définie comme un ensemble de n-xels sur une grille constituée de n-cubes. La segmentation consiste à calculer une partition d'une image en régions. Les n-xels ayant des caractéristiques similaires (couleur, intensité, etc.) sont regroupés. Schématiquement, à chaque n-xel est attribuée une étiquette, et chaque région de l'image est constituée de n-xels de même étiquette. Les méthodes "de type" Marching cubes et Kenmochi et al. construisent des complexes représentant la topologie de la région d'intérêt d'une image numérique binaire de dimension 3. Dans la première méthode, l'algorithme construit un complexe simplicial, dont 0-cellules sont des points des arêtes de la grille duale. Dans la deuxième méthode, les auteurs construisent un complexe cellulaire sur une grille duale, c.a.d les 0-cellules du complexe sont des sommets de la grille duale. Afin de construire le complexe, Kenmochi et al. calculent (à rotations près) les différentes configurations de sommets blancs et noirs d'un cube, puis, ils construisent les enveloppes convexes des points noirs de ces configurations. Ces enveloppes convexes définissent les cellules du complexe, à rotations près. Le travail développé dans cette thèse étend la méthode de Kenmochi et al. en dimension 4. L'objectif est de construire un complexe cellulaire à partir d'une image numérique binaire définie sur une grille duale. Nous calculons d'abord les différentes configurations de sommets blancs et noirs d'un 4-cube (à isométries près), puis, nous construisons des enveloppes convexes définies par ces configurations. Ces enveloppes convexes sont construites par déformation du 4-cube d'origine, et nous distinguon

  • Face analysis using polynomials    - Bordei Cristina  -  03 mars 2016

    Voir le résumé
    Voir le résumé
    Considéré comme l'un des sujets de recherche les plus actifs et visibles de la vision par ordinateur, de la reconnaissance des formes et de la biométrie, l'analyse faciale a fait l'objet d'études approfondies au cours des deux dernières décennies. Le travail de cette thèse a pour objectif de proposer de nouvelles techniques d'utilisation de représentations de texture basées polynômes pour l'analyse faciale.
    La première partie de cette thèse est dédiée à l'intégration de bases de polynômes dans les modèles actifs d'apparence. Nous proposons premièrement une manière d'utiliser les coefficients polynomiaux dans la modélisation de l'apparence. Ensuite, afin de réduire la complexité du modèle nous proposons de choisir et d'utiliser les meilleurs coefficients en tant que représentation de texture. Enfin, nous montrons comment ces derniers peuvent être utilisés dans un algorithme de descente de gradient.
    La deuxième partie de la thèse porte sur l'utilisation des bases polynomiales pour la détection des points/zones d'intérêt et comme descripteur pour la reconnaissance des expressions faciales. Inspirés par des techniques de détection des singularités dans des champ de vecteurs, nous commençons par présenter un algorithme utilisé pour l'extraction des points d'intérêt dans une image. Puis nous montrons comment les bases polynomiales peuvent être utilisées pour extraire des informations sur les expressions faciales. Puisque les coefficients polynomiaux fournissent une analyse précise multi-échelles et multi-orientation et traitent le problème de redondance efficacement ils sont utilisés en tant que descripteurs dans un algorithme de classification d'expression faciale.

  • Towards spectral mathematical morphology    - Deborah Hilda  -  21 décembre 2016

    Voir le résumé
    Voir le résumé
    En fournissant en plus de l'information spatiale une mesure spectrale en fonction des longueurs d'ondes, l'imagerie hyperspectrale s'enorgueillie d'atteindre une précision bien plus importante que l'imagerie couleur. Grâce à cela, elle a été utilisée en contrôle qualité, inspection de matériaux,… Cependant, pour exploiter pleinement ce potentiel, il est important de traiter la donnée spectrale comme une mesure, d'où la nécessité de la métrologie, pour laquelle exactitude, incertitude et biais doivent être maitrisés à tous les niveaux de traitement. Face à cet objectif, nous avons choisi de développer une approche non-linéaire, basée sur la morphologie mathématique et de l'étendre au domaine spectral par le biais d'une relation d'ordre spectral basée sur les fonctions de distance. Une nouvelle fonction de distance spectrale et une nouvelle relation d'ordonnancement sont ainsi proposées. De plus, un nouvel outil d'analyse du basé sur les histogrammes de différences spectrales a été développé. Afin d'assurer la validité des opérateurs, une validation théorique rigoureuse et une évaluation métrologique ont été mises en œuvre à chaque étage de développement. Des protocoles d'évaluation de la qualité des traitements morphologiques sont proposés, exploitant des jeux de données artificielles pour la validation théorique, des ensembles de données dont certaines caractéristiques sont connues pour évaluer la robustesse et la stabilité et des jeux de données de cas réel pour prouver l'intérêt des approches en contexte applicatif. Les applications sont développées dans le contexte du patrimoine culturel pour l'analyse de peintures et pigments.

  • Analyse d'images couleurs pour le contrôle qualité non destructif    - Harouna Seybou Aboubacar  -  23 septembre 2016

    Voir le résumé
    Voir le résumé
    La couleur est un critère important dans de nombreux secteurs d'activité pour identifier, comparer ou encore contrôler la qualité de produits. Cette tâche est souvent assumée par un opérateur humain qui effectue un contrôle visuel. Malheureusement la subjectivité de celui-ci rend ces contrôles peu fiables ou répétables. Pour contourner ces limitations, l'utilisation d'une caméra RGB permet d'acquérir et d'extraire des propriétés photométriques. Cette solution est facile à mettre en place et offre une rapidité de contrôle. Cependant, elle est sensible au phénomène de métamérisme. La mesure de réflectance spectrale est alors la solution la plus appropriée pour s'assurer de la conformité colorimétrique entre des échantillons et une référence. Ainsi dans l'imprimerie, des spectrophotomètres sont utilisés pour mesurer des patchs uniformes imprimés sur une bande latérale. Pour contrôler l'ensemble d'une surface imprimée, des caméras multi-spectrales sont utilisées pour estimer la réflectance de chaque pixel. Cependant, elles sont couteuses comparées aux caméras conventionnelles. Dans ces travaux de recherche, nous étudions l'utilisation d'une caméra RGB pour l'estimation de la réflectance dans le cadre de l'imprimerie. Nous proposons une description spectrale complète de la chaîne de reproduction pour réduire le nombre de mesures dans les phases d'apprentissage et pour compenser les limitations de l'acquisition. Notre première contribution concerne la prise en compte des limitations colorimétriques lors de la caractérisation spectrale d'une caméra. La deuxième contribution est l'exploitation du modèle spectrale de l'imprimante dans les méthodes d'estimation de réflectance.

  • 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.

  • Analyse et modélisation des moteurs Flexfuel pour leur contrôle    - Coppin Thomas  -  05 juin 2012

    Voir le résumé
    Voir le résumé
    L'intérêt pour les énergies renouvelables et pour la réduction des émissions de gaz à effet de serre a conduit au développement de l'éthanol comme carburant pour les moteurs à combustion interne. Les moteurs dits Flexfuel, en particulier, peuvent fonctionner avec un mélange quelconque d'essence et d'éthanol. Ces deux carburants ont des propriétés physico-chimiques différentes, qui influent sur le fonctionnement du moteur et, partant, sur son contrôle. Les systèmes de contrôle moteur habituels ne prennent pas en compte ces propriétés variables. Sur un moteur Flexfuel, les réglages doivent être adaptés à chaque carburant, afin de maintenir le niveau des émissions polluantes et l'agrément. Cependant, ces adaptations ne doivent pas se faire au prix d'un accroissement excessif du travail de calibration. Cette thèse traite de ces questions. Les effets des différentes propriétés du carburant sur le moteur et son contrôle sont tout d'abord analysés afin de définir les besoins en termes de contrôle. Un modèle moyen de moteur, adapté aux variations de propriétés du carburant, est alors développé pour reproduire ces effets et permettre l'évaluation de stratégies de contrôle. Dans ce travail, celles-ci incluent une méthode d'estimation de la composition du carburant pendant le fonctionnement du moteur, et son utilisation dans le contrôle de la richesse.

  • Attracteurs pour des systèmes dissipatifs non autonomes    - Saoud Batoul  -  16 décembre 2011

    Voir le résumé
    Voir le résumé
    L'objectif de notre recherche est d'étudier l'existence d'attracteurs de dimension finie pour trois modèles d'équations aux dérivées partielles non linéaires : Navier-Stokes, Cahn-Hilliard et Cahn-Hilliard visqueux. En outre, nous étudions ces modèles dans les cas autonome et non autonome. Dans le but de définir les attracteurs pour chaque modèle nous avons démontré l'existence et l'unicité de la solution, puis l'existence d'un ensemble borné absorbant. Nous avons démontré également l'existence d'un attracteur global et d'attracteurs exponentiels dans le cas autonome, ainsi que les attracteurs exponentiels, uniforme, rétrograde et exponentiels rétrogrades dans le cas non autonome. Par ailleurs, nous avons démontré que pour les deux derniers modèles, l'attracteur pullback est unique et de dimension finie. L'existence d'un paramètre ε, dans le modèle de Cahn-Hilliard visqueux, nous a conduit à construire une famille robuste d'attracteurs exponentiels en étudiant la limite ε tend vers zéro.

  • Automorphismes des variétés de Kummer généralisées    - Tari Kévin  -  08 décembre 2015

    Voir le résumé
    Voir le résumé
    Dans ce travail, nous classifions les automorphismes non-symplectiques des variétés équivalentes par déformations à des variétés de Kummer généralisées de dimension 4, ayant une action d'ordre premier sur le réseau de Beauville-Bogomolov. Dans un premier temps, nous donnons les lieux fixes des automorphismes naturels de cette forme. Par la suite, nous développons des outils sur les réseaux en vue de les appliquer à nos variétés. Une étude réticulaire des tores complexes de dimension 2 permet de mieux comprendre les automorphismes naturels sur les variétés de type Kummer. Nous classifions finalement tous les automorphismes décrits précédemment sur ces variétés. En application de nos résultats sur les réseaux, nous complétons également la classification des automorphismes d'ordre premier sur les variétés équivalentes par déformations à des schémas de Hilbert de 2 points sur des surfaces K3, en traitant le cas de l'ordre 5 qui restait ouvert.

|< << 1 2 3 4 5 6 >> >| 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