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é
122 ressources ont été trouvées. Voici les résultats 41 à 50
Tri :   Date Auteur Titre thèses par page
  • 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.

  • On the classification of some automorphisms of K3 surfaces    - Al Tabbaa Dima  -  07 décembre 2015

    Voir le résumé
    Voir le résumé
    Un automorphisme non-symplectique d'ordre fini n sur une surface X de type K3 est un automorphisme σ ∈ Aut(X) qui satisfait σ*(ω) = λω où λ est une racine primitive n-ième de l'unité et ω est le générateur de H2,0(X). Dans cette thèse on s’intéresse aux automorphismes non-symplectiques d'ordre 8 et 16 sur les surfaces K3. Dans un premier temps, nous classifions les automorphismes non-symplectiques σ d'ordre 8 quand le lieu fixe de sa quatrième puissance σ⁴ contient une courbe de genre positif, on montre plus précisément que le genre de la courbe fixée par σ est au plus un. Ensuite nous étudions le cas où le lieu fixe de σ contient au moins une courbe et toutes les courbes fixées par sa quatrième puissance σ⁴ sont rationnelles. Enfin nous étudions le cas où σ et son carré σ² agissent trivialement sur le groupe de Néron-Severi. Nous classifions toutes les possibilités pour le lieu fixe de σ et de son carré σ² dans ces trois cas. Nous obtenons la classification complète pour les automorphismes non-symplectiques d'ordre 8 sur les surfaces K3. Dans la deuxième partie de la thèse, nous classifions les surfaces K3 avec automorphisme non-symplectique d'ordre 16 en toute généralité. Nous montrons que le lieu fixe contient seulement courbes rationnelles et points isolés et nous classifions complètement les sept configurations possibles. Si le groupe de Néron-Severi a rang 6, alors il y a deux possibilités et si son rang est 14, il y a cinq possibilités. En particulier si l'action de l'automorphisme est trivial sur le groupe de Néron-Severi, alors nous montrons que son rang est six. Enfin, nous construisons des exemples qui correspondent à plusieurs cas dans la classification des automorphismes non-symplectiques d'ordre 8 et nous donnons des exemples pour chaque cas dans la classification des automorphismes non-symplectiques d'ordre 16.

  • Improving image representation using image saliency and information gain    - Le Huu Ton  -  23 novembre 2015

    Voir le résumé
    Voir le résumé
    De nos jours, avec le développement des nouvelles technologies multimédia, la recherche d’images basée sur le contenu visuel est un sujet de recherche en plein essor avec de nombreux domaines d'application: indexation et recherche d’images, la graphologie, la détection et le suivi d’objets... Un des modèles les plus utilisés dans ce domaine est le sac de mots visuels qui tire son inspiration de la recherche d’information dans des documents textuels. Dans ce modèle, les images sont représentées par des histogrammes de mots visuels à partir d'un dictionnaire visuel de référence. La signature d’une image joue un rôle important car elle détermine la précision des résultats retournés par le système de recherche. Dans cette thèse, nous étudions les différentes approches concernant la représentation des images. Notre première contribution est de proposer une nouvelle méthodologie pour la construction du vocabulaire visuel en utilisant le gain d'information extrait des mots visuels. Ce gain d’information est la combinaison d’un modèle de recherche d’information avec un modèle d'attention visuelle. Ensuite, nous utilisons un modèle d'attention visuelle pour améliorer la performance de notre modèle de sacs de mots visuels. Cette étude de la saillance des descripteurs locaux souligne l’importance d’utiliser un modèle d’attention visuelle pour la description d’une image. La dernière contribution de cette thèse au domaine de la recherche d’information multimédia démontre comment notre méthodologie améliore le modèle des sacs de phrases visuelles. Finalement, une technique d’expansion de requêtes est utilisée pour augmenter la performance de la recherche par les deux modèles étudiés.

  • Estimation non-paramétrique du quantile conditionnel et apprentissage semi-paramétrique : applications en assurance et actuariat    - Knefati Muhammad Anas  -  19 novembre 2015

    Voir le résumé
    Voir le résumé
    La thèse se compose de deux parties : une partie consacrée à l'estimation des quantiles conditionnels et une autre à l'apprentissage supervisé. La partie "Estimation des quantiles conditionnels" est organisée en 3 chapitres : Le chapitre 1 est consacré à une introduction sur la régression linéaire locale, présentant les méthodes les plus utilisées, pour estimer le paramètre de lissage. Le chapitre 2 traite des méthodes existantes d’estimation nonparamétriques du quantile conditionnel ; Ces méthodes sont comparées, au moyen d’expériences numériques sur des données simulées et des données réelles. Le chapitre 3 est consacré à un nouvel estimateur du quantile conditionnel et que nous proposons ; Cet estimateur repose sur l'utilisation d'un noyau asymétrique en x. Sous certaines hypothèses, notre estimateur s'avère plus performant que les estimateurs usuels.
    La partie "Apprentissage supervisé" est, elle aussi, composée de 3 chapitres : Le chapitre 4 est une introduction à l’apprentissage statistique et les notions de base utilisées, dans cette partie. Le chapitre 5 est une revue des méthodes conventionnelles de classification supervisée. Le chapitre 6 est consacré au transfert d'un modèle d'apprentissage semi-paramétrique. La performance de cette méthode est montrée par des expériences numériques sur des données morphométriques et des données de credit-scoring.

  • Étude mathématique et numérique de quelques généralisations de l'équation de Cahn-Hilliard : applications à la retouche d'images et à la biologie    - Fakih Hussein  -  02 octobre 2015

    Voir le résumé
    Voir le résumé
    Cette thèse se situe dans le cadre de l'analyse théorique et numérique de quelques généralisations de l'équation de Cahn-Hilliard. On étudie l'existence, l'unicité et la régularité de la solution de ces modèles ainsi que son comportement asymptotique en terme d'existence d'un attracteur global de dimension fractale finie. La première partie de la thèse concerne des modèles appliqués à la retouche d'images. D'abord, on étudie la dynamique de l'équation de Bertozzi-Esedoglu-Gillette-Cahn-Hilliard avec des conditions de type Neumann sur le bord et une nonlinéarité régulière de type polynomial et on propose un schéma numérique avec une méthode de seuil efficace pour le problème de la retouche et très rapide en terme de temps de convergence. Ensuite, on étudie ce modèle avec des conditions de type Neumann sur le bord et une nonlinéarité singulière de type logarithmique et on donne des simulations numériques avec seuil qui confirment que les résultats obtenus avec une nonlinéarité de type logarithmique sont meilleurs que ceux obtenus avec une nonlinéarité de type polynomial. Finalement, on propose un modèle basé sur le système de Cahn-Hilliard pour la retouche d'images colorées. La deuxième partie de la thèse est consacrée à des applications en biologie et en chimie. On étudie la convergence de la solution d'une généralisation de l'équation de Cahn-Hilliard avec un terme de prolifération, associée à des conditions aux limites de type Neumann et une nonlinéarité régulière. Dans ce cas, on démontre que soit la solution explose en temps fini soit elle existe globalement en temps. Par ailleurs, on donne des simulations numériques qui confirment les résultats théoriques obtenus. On termine par l'étude de l'équation de Cahn-Hilliard avec un terme source et une nonlinéarité régulière. Dans cette étude, on considère le modèle à la fois avec des conditions aux limites de type Neumann et de type Dirichlet.

  • Représentation de Weil d'une paire duale de groupes de similitudes    - Gaborieau Alice  -  01 octobre 2015

    Voir le résumé
    Voir le résumé
    Soit F une extension finie du corps des nombres p-adiques, de corps résiduel Fq. Pour un groupe réductif G sur F, les conjectures de Langlands prédisent une classification des représentations lisses irréductibles de G(F) en termes du groupe dual G^. En particulier, la donnée d’un homomorphisme de groupes duaux de H^ vers G^ doit se traduire par un transfert des représentations de H(F) vers G(F). Pour H = SO2n+1, et G = GL2n, l’injection canonique de H^ vers G^ fournit un transfert des représentations de H(F) vers G(F) qui a été obtenu récemment (pour les représentations génériques) par Jiang et Soudry. Cependant, leurs méthodes utilisent des arguments globaux et l’objet de ce travail consiste à décrire explicitement ce transfert, dans le cas particulier où n = 2 (le cas n = 1 étant déjà connu), et pour des représentations génériques de niveau zéro, lesquelles proviennent essentiellement de représentations du groupe réductif fini SO5 sur le corps résiduel de F. Pour cela, l’isomorphisme entre SO5 et PGSp4 et l’isogénie entre GL4 et GSO6 suggèrent que l’on peut réaliser un transfert entre les représentations de SO5 et celles de GL4 au moyen d’une correspondance de Howe. Nous présentons ici une généralisation des travaux de Srinivasan, qui nous permet d’obtenir la projection uniforme de la représentation de Weil associée à une paire duale de groupes de similitudes lorsque q est assez grand.

  • Contribution des technologies CPL et sans fil à la supervision des réseaux de distribution d'électricité    - Lefort Romain  -  03 février 2015

    Voir le résumé
    Voir le résumé
    Le déploiement d'une infrastructure de supervision permet une gestion plus intelligente des réseaux de distribution d'électricité comparé à un renforcement traditionnel pour répondre aux nouveaux enjeux de la maitrise de l'énergie (Consommations, EnR, VE, ...). Pour acheminer les données, les Courants Porteurs en Ligne (CPL) possèdent un atout majeur. En effet, cette technologie permet de superposer un signal de plus haute fréquence au signal électrique 50/60 Hz. Toutefois, le support de transmission est difficile et non maîtrisable. Ces travaux de recherche ont pour objectif d'apporter une contribution à cette problématique par l'élaboration d'une plateforme de simulation des réseaux pour des fréquences allant jusqu'à 1 MHz dans un but de transmission de données. Des éléments clés des réseaux sont traités de façon séparés puis assemblés pour estimer les performances des CPL « Outdoor » actuels. La variation du comportement des réseaux en fonction du temps et de la fréquence, en particulier des perturbations en tête d'installation clients sur 24h est étudiée. Les transformateurs entre les réseaux HTA et BT sont modélisés sous la forme d'un « modèle à constantes localisées » et d'un « modèle boite noire ». Les deux modèles sont appliqués sur un transformateur H61 100 kVA. Par la suite, une modélisation des câbles de distribution est proposée sous forme d'un « modèle cascadé ». Celle-ci est appliquée sur un câble souterrain BT. Chaque modèle est obtenu à l'aide de mesures d'impédances, et validé par des mesures de transmissions. Pour compléter, une étude préliminaire sur les communications radio mobile est réalisée pour la supervision des réseaux de distribution.

  • Réjection de perturbation sur un système multi-sources - Application à une propulsion hybride    - Dai Ping  -  19 janvier 2015

    Voir le résumé
    Voir le résumé
    Ce mémoire porte sur l'étude d'un système de gestion d'énergie électrique dans un système multi-sources soumis à des perturbations exogènes. L'application visée est l'alimentation d'une propulsion hybride diesel/électrique équipée d'un système d'absorption des pulsations de couple. Les perturbations exogènes considérées peuvent être transitoires ou persistantes. Une perturbation transitoire correspond à une variation rapide du couple de charge, due par exemple à une accélération ou une décélération du véhicule. Une perturbation persistante provient du système de compensation des pulsations de couple générées par le moteur thermique. Le premier objectif du contrôle est de maintenir constante la tension du bus continu. Le deuxième objectif est d'absorber dans un système de stockage rapide constitué de super condensateur ces perturbations qui peuvent à terme provoquer une usure prématurée de la batterie. Le troisième objectif est de compenser l'auto-décharge dans le super condensateur en maintenant constante sa tension nominale. Les deux sources (batterie et super condensateur) sont reliées au bus continu par l'intermédiaire de deux convertisseurs boost DC/DC. La commande consiste à piloter les rapports cycliques de chaque convertisseur. C'est un système non linéaire où la commande est multiplicative de l'état. L'approche classique consistant à résoudre les équations Francis-Byrnes-Isidori ne s'applique pas directement dans ce cas où la sortie et la matrice d'interconnection dépendent de la commande. De plus, si cette approche est bien adaptée au rejet de perturbations persistantes, elle montre ces limites pour le rejet de perturbations non persistantes combiné à des objectifs de régulation. Notre approche a consisté à écrire le système sous un formalisme Port-Controlled Hamiltonian et à s'affranchir de la contrainte de la dépendance de la matrice d'interconnection avec la commande en utilisant la théorie des perturbations singulières. La commande du système dégénéré peut ensuite être calculée par une approche passive. Les performances de cette commande ont été testées en simulation et à l'aide d'un banc d'essai expérimental. Les résultats montrent l'efficacité du système d'absorption des différents types de perturbation tout en respectant les deux objectifs de régulation.

  • Modélisation hybride du canal de propagation dans un contexte industriel    - Hariri Essamlali Kaoutar El  -  19 décembre 2014

    Voir le résumé
    Voir le résumé
    Ce travail de thèse concerne la modélisation du canal de propagation dans les milieux industriels. Dans ce contexte, le canal de propagation a un comportement différent de celui classiquement rencontré en indoor. Cela est dû à l'aménagement des bâtiments qui sont plus grand et ouverts ainsi qu'à la présence de machines, d'objets mobiles et d'autres matériaux métalliques rencontrés dans ces environnements. Ainsi, les modèles de canaux indoor existants ne sont plus valides. L'utilisation de modèles déterministes comme alternative est possible mais limitée en raison du temps de calcul qui en découle. Pour répondre à cette problématique, nous proposons un modèle hybride de canal s'inspirant d'une méthode à tracer de rayons 3D et du modèle WINNER. L'originalité de ce modèle repose sur son caractère hybride consistant, en prétraitement, à partitionner l'environnement en zones de visibilité ou de non-visibilité «faible» et «forte» sur des critères déterministes liés à la propagation des ondes. Un modèle statistique, type WINNER, reprenant le concept de cluster est ensuite "joué" au sein de chacune des ces zones reproduisant ainsi fidèlement l'évolution des paramètres caractéristiques des clusters identifiés. Nous avons validé notre modèle en le comparant d'abord à un modèle déterministe et ensuite à la mesure. Sa robustesse ainsi que celle de WINNER sont testées en les simulant dans trois environnements différents et en les comparant au modèle déterministe à tracer de rayons.

  • Développement d'un outil statistique pour évaluer les charges maximales subies par l'isolation d'une cuve de méthanier au cours de sa période d'exploitation    - Fillon Blandine  -  19 décembre 2014

    Voir le résumé
    Voir le résumé
    Ce travail de thèse porte sur les outils statistiques pour l'évaluation des maxima de charges de sloshing dans les cuves de méthaniers. Selon les caractéristiques du navire, son chargement et les conditions de navigation, un ballotement hydrodynamique est observé à l'intérieur des cuves, phénomène communément appelé sloshing. La détermination des charges qui s'appliquent à la structure est basée sur des mesures de pression d'impact au moyen d'essais sur maquette. Les maxima de pression par impact, extraits des mesures, sont étudiés. La durée d'un essai est équivalente à 5 heures au réel et insuffisante pour déterminer des maxima de pression associés à de grandes périodes de retour (40 ans). Un modèle probabiliste est nécessaire pour extrapoler les maxima de pression. Le modèle usuel est une loi de Weibull. Comme ce sont les valeurs extrêmes des échantillons qui nous intéressent, les ajustements sont aussi effectués par les lois des valeurs extrêmes et de Pareto généralisées via les méthodes de maximum par bloc et d'excès au-dessus d'un seuil. L'originalité du travail repose sur l'emploi d'un système alternatif, plus pertinent pour la capture des maxima de pression et d'une quantité de 480 heures de mesures disponible pour les mêmes conditions d'essai. Cela fournit une distribution de référence pour les maxima de pression et nous permet d'évaluer la pertinence des modèles sélectionnés. Nous insistons sur l'importance d'évaluer la qualité des ajustements par des tests statistiques et de quantifier les incertitudes sur les estimations obtenues. La méthodologie fournie a été implémentée dans un logiciel nommé Stat_R qui facilite la manipulation et le traitement des résultats.

|< << 1 2 3 4 5 6 7 8 9 10 >> >| 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 :


    ou par messagerie électronique 7j/7 - 24h/24h, une réponse vous sera adressée sous 48h.
    Accédez au formulaire...
 
 

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