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 51 à 60
Tri :   Date Auteur Titre thèses par page
  • Transformations de graphes pour la modélisation géométrique à base topologique    - Bellet Thomas  -  10 juillet 2012

    Voir le résumé
    Voir le résumé
    De nombreux domaines comme le jeu vidéo, l’architecture, l’ingénierie ou l’archéologie font désormais appel à la modélisation géométrique. Les objets à représenter sont de natures diverses, et leurs opérations de manipulation sont spécifiques. Ainsi, les modeleurs sont nombreux car tous spécialisés à leur domaine d’application. Or ils sont à la fois chers à développer, souvent peu robustes, et difficilement extensibles. Nous avons proposé dans la thèse l’approche alternative suivante : – fournir un langage dédié à la modélisation qui permet de définir les opérations quelque soit le domaine d’application ; dans ce langage, les objets sont représentés avec le modèle topologique des cartes généralisées, dont nous avons étendu la définition aux plongements ; les opérations sont elles définies par des règles de transformation de graphes, issues de la théorie des catégorie ; – garantir les opérations définies dans le langage à l’aide de conditions de cohérence ; une opération dont la définition vérifie ces conditions ne produit pas d’anomalie ; – développer un noyau de modeleur générique qui interprète ce langage ; les opérations définies sont directement appliquées dans le modeleur, sans implantation dans un langage de programmation ; l’outil assure également la vérification automatique des conditions du langage pour prévenir un utilisateur lorsqu’il propose une opération incohérente. Le langage et le modeleur développés se sont révélés performants à la fois en termes de temps de développement et en termes de temps machine. L’implantation d’une nouvelle opération par une règle ne prend que quelques minutes à l’aide des conditions du langage, au contraire de l’approche classi

  • Modélisation dynamique des canaux MIMO pour les transports ferroviaires    - Hairoud Siham  -  02 juillet 2012

    Voir le résumé
    Voir le résumé
    L'exploitation, le contrôle et la signalisation des systèmes de métros modernes et en particulier les métros sans conducteur, reposent sur deux familles de systèmes de communication radio sans fil : les transmissions vitales pour la signalisation et le contrôle des trains à faible débit et les transmissions non vitales très haut débit pour la vidéo surveillance embarquée, le télé-diagnostic, l'information des clients, etc. Lors de la mise en œuvre de tels systèmes de transmission, l'industriel doit donc garantir à l'exploitant de métro des performances concernant les débits et la qualité de la transmission en termes de perte de paquets d'information. Dès lors, appréhender le comportement du canal de propagation est un élément clé pour prédire et améliorer les performances des systèmes de transmission. L'objectif de ces travaux de thèse est double et concerne : • D'une part, la réduction des temps de calcul d'un simulateur de canal à tracé de rayons 3D qui prédit avec précision le comportement du canal de propagation, mais reste coûteux en temps de calculs pour les simulations dynamiques. Nous proposons dans cette thèse une méthode qui s'appuie sur trois critères de visibilité pour simplifier la description de la géométrie de l'environnement sans pénaliser la prédiction des paramètres caractéristiques du canal de propagation ; • D'autre part, la mise en œuvre d'un nouveau modèle de canal de propagation MIMO dynamique en tunnel rectiligne de section rectangulaire qui permettra d'optimiser des systèmes de transmission multi antennaires (MIMO) pour des applications de transmissions sans fil pour les métros en tunnel. Ce modèle s'inspire globalement du modèle de canal utilisé

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

  • Optimisation d'un réseau de capteurs par techniques MIMO coopératives : Smart Grid, télédétection    - Madi Ghadir  -  23 mars 2012

    Voir le résumé
    Voir le résumé
    Dans les réseaux de capteurs, la réduction de la consommation d'énergie représente une contrainte très forte. L'enjeu de cette thèse est d'étudier l'application des nouvelles techniques MIMO dans le contexte de coopération pour les réseaux de capteurs afin de réduire la consommation d'énergie. Ces techniques sont basées sur les précodeurs max-dmin et P-OSM qui nécessitent la connaissance du canal à l'émission (Channel State Information ou CSI). Afin de rendre l'utilisation de la CSI réaliste, nous avons quantifié l'information de retour de ces précodeurs avec comme objectif de réduire l'information envoyée vers l'émetteur. Nous avons exploité certaines techniques de la littérature et proposé d'autres pour effectuer cette quantification. Plusieurs schémas coopératifs sont alors proposés pour la mise en place des précodeurs max-dmin et P-OSM avec un canal de retour quantifié. Les performances des systèmes proposés en termes de consommation d'énergie sont évaluées en les comparant avec le système coopératif de la littérature basé sur des codes spatio-temporels et en présence d'une erreur de synchronisation entre les capteurs. Nous nous sommes ensuite intéressés à l'application des réseaux de capteurs dans les postes électriques haute tension (HT) dans le contexte du Smart-Grid. L'objectif est d'évaluer les performances des systèmes proposés en présence de bruit impulsionnel et dans un environnement réel d'un poste HT ay Québec. En utilisant une série de mesures de ce bruit effectuée par l'Ecole de technologie supérieure de Montréal, nous déterminons un modèle statistique du bruit impulsionnel. Nous proposons une extension de ce modèle afin d'utiliser des systèmes multi-antennaires.

  • Problèmes de valeurs propres pour des opérateurs multivoques    - Chrayteh Houssam  -  08 mars 2012

    Voir le résumé
    Voir le résumé
    L'objectif de notre recherche est d'étudier l'existence et la régularité des solutions pour des problèmes de valeurs propres faisant intervenir un opérateur →p-multivoque A : V → P(V*) sur un domaine régulier Ω C Rᶰ. Par l'intermédiaire des N-fonctions, nous construisons un opérateur →p-multivoque de Leray-Lions "fortement monotone" sur un espace d'Orlicz-Sobolev anisotrope. Nous signalons que la formulation théorique des problèmes associés à cet opérateur repose essentiellement sur la notion de sous-différentielle de Clarke, pour cela, nous donnons des nouvelles méthodes variationelles qui correspondent à la résolution de ces problèmes dans le cas "sous-critique" dans lequel la compacité joue un rôle important puis dans le cas critique lorsque nous perdons la compacité. Différentes applications sont données pour illustrer nos résultats abstraits, par exemple, un opérateur anisotrope aux exposants variables et un opérateur avec un poids de type Hardy.

  • Modélisations polynomiales hiérarchisées applications à l'analyse de mouvements complexes    - Kihl Olivier  -  17 février 2012

    Voir le résumé
    Voir le résumé
    Dans ce mémoire, nous proposons une méthode de modélisation du mouvement à l’aide de bases de polynômes bi-variables orthogonaux. L’objectif est de proposer une modélisation hiérarchique des champs de vecteurs adaptable à tous types de champs. Nous étudions différentes méthodes de partitionnement de l’espace, parmi lesquelles les grilles régulières, les quadtree ou les diagrammes de Voronoï, afin de prendre en compte la complexité locale du champ pour affiner la modélisation. Nous obtenons des résultats qualitatifs montrant l’intérêt de ce type de modélisation. De plus, nous proposons une procédure de génération des bases afin de modéliser les champs épars. Nous appliquons cette méthode de modélisation dans deux contextes. La détection de points singuliers dans les champs de déplacement et la reconnaissance de mouvements humains. Ces deux applications nous permettent de mettre en évidence l’efficacité de cette méthode, puisque nous obtenons des résultats comparables aux méthodes les plus efficaces de la littérature.

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

  • Redimensionnement adaptatif et reconnaissance de primitives discrètes    - Rodriguez Marc  -  12 décembre 2011

    Voir le résumé
    Voir le résumé
    Cette thèse se place dans le cadre de l'imagerie informatique et plus particulièrement celui de la géométrie discrète. Nous nous intéressons à la reconstruction, c'est-à-dire, l'opération qui transforme un objet discret en objet euclidien. Les méthodes de reconstruction que nous utilisons se déroulent en deux étapes ; la première consiste à reconnaître des primitives discrères (droites, cercles, etc) et la seconde à les transformer en primitives euclidiennes. La présence de bruit dans les objets manipulés perturbe considérablement la reconnaissance de primitives, nous avons proposé un moyen simple et efficace de lui accorder une marge d'erreur : le redimensionnement adaptatif. Le redimensionnement est dit adaptatif car chaque pixel est redimensionné indépendamment des autres selon des critères locaux. Pour la reconnaissance de droites, nous avons utilisé la méthode de J. Vittone basée sur les espaces de paramètres. En la combinant avec le redimensionnement adaptatif, nous avons défini des opérations telles que le lissage de courbes et le débruitage. Nous avons amélioré ces opérations grâce à deux méthodes permettant d'éviter dans la plupart des cas une modification de la topologie de l'objet. Pour la reconnaissance de cercles discrets, nous avons généralisé les notions de médiatrices et de centre des cercles circonscrits aux espaces discrets. Cette méthode de reconstruction de cercles se combine très bien avec le redimensionnement adaptatif.

  • Optimisation du contrôle de débit de H.264/AVC basée sur une nouvelle modélisation Débit-Quantification et une allocation sélective de bits    - Hrarti Miryem  -  10 décembre 2011

    Voir le résumé
    Voir le résumé
    Cette thèse se focalise sur l'optimisation de l'algorithme du contrôle de débit du standard H.264/AVC. Cet algorithme constitué de deux parties fondamentales : allocation de bits et détermination du paramètre de quantification (QP), ne présente pas les meilleures performances et loin d'être optimal. Ainsi, nous avons proposé de nouvelles techniques permettant de déterminer de manière plus appropriée le QP et d'allouer finement le budget de bits tout en intégrant des propriétés du système visuel humain. Pour une meilleure estimation du QP, deux modèles Débit-Quantification (R-Q) sont proposés. Le premier modèle conçu pour les trames Intra, est un modèle non-linéaire utilisé pour déterminer de manière optimale le QP initial en exploitant la relation entre le débit cible et la complexité des trames Intra. Le second modèle logarithmique, est conçu pour les unités de codage Inter. Outre ses performances, ce modèle se substitue aux deux modèles utilisés par le contrôleur de débit de H.264/AVC, et offre ainsi une réduction de la complexité calculatoire. L'allocation de bits au niveau trame du profil de base de H.264/AVC reste basique car elle alloue équitablement le nombre de bits aux unités Inter indépendamment de leur complexité. Pour une allocation plus fine, deux mesures de complexité sont exploitées. La première est un rapport de mouvement déterminé à partir de bits réels utilisés pour coder les trames précédentes. La seconde mesure exploite la différence entre trames adjacentes et l'histogramme de cette différence. Enfin, et pour mieux contrôler la qualité, une carte de saillance est intégrée au processus d'allocation de bits. Au niveau trame, elle est utilisée...

  • Conception d'un réseau de capteurs sans fil, faible consommation, dédié au diagnostic in-situ des performances des bâtiments en exploitation    - Dessales Denis  -  08 décembre 2011

    Voir le résumé
    Voir le résumé
    Ce travail de thèse est le fruit d'une collaboration de recherche à travers une convention CIFRE entre le laboratoire XLIM-SIC de l'université de Poitiers et le Centre scientifique et technique du bâtiment (CSTB) de Grenoble. L'objectif principal de cette thèse concerne la conception et l'optimisation énergétique d'un réseau de capteurs sans fil capable de mesurer in-situ, pendant plusieurs années, les performances énergétiques d'un bâtiment (luminosité, acoustique, température ...). Dans ce but, les travaux de recherche se sont principalement portés sur l'optimisation énergétique des communications sans fil du réseau à travers les couches basses du modèle OSI. Sachant que les performances de la couche physique impactent directement l'efficacité des autres couches, l'approche développée a consisté à modéliser de façon réaliste la chaîne de transmission numérique à partir du développement d'un modèle de canal qui tient compte de l'influence des personnes sur la qualité de transmission. Ensuite, à partir de cette modélisation de la couche physique et d'un modèle d'énergie existant, la qualité des liens radio a été évaluée de façon à trouver le meilleur compromis entre la robustesse et l'efficacité énergétique des transmissions radio. Pour étendre notre raisonnement à l'échelle d'un réseau, la suite des travaux s'est portée sur l'étude de la couche MAC. En raison de l'interdépendance des paramètres affectant la consommation, la méthode choisie a consisté à évaluer par une approche "cross-layer" les performances énergétiques de différents protocoles MAC, en prenant en compte l'impact des performances de la couche physique dans l'évaluation. Cette étude a ensuite permis...

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