Vous êtes ici : Accueil > Sections CNU > Section 27 - Informatique

Section 27 - Informatique

Les thèses se rapportant à la section CNU "Section 27 - Informatique"

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é
16 ressources ont été trouvées. Voici les résultats 1 à 10
Tri :   Date Auteur Titre thèses par page
  • Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données    - Ngo Khanh Hieu  -  04 novembre 2008

    Voir le résumé
    Voir le résumé
    Le développement d'un logiciel embarqué ou d'un système temps réel nécessite plusieurs étapes qui peuvent être échelonnées dans des intervalles de temps différents, et qui sont souvent itératives. De nos jours, il existe de nombreuses méthodes et outils de développement que l'on peut énumérer tels SA-RT, SD, DARTS, CODARTS, JSD, State-Charts, UML-RT, etc. L'objectif de la thèse est de proposer un environnement de conception, développement et validation d'applications temps réel basé sur la méthode DARTS, et sur le cycle de développement logiciel en W (une extension du cycle de développement classique en V). Cela se traduit par la création d'une bibliothèque logicielle pour un langage graphique flots de données, nommée DARTSVIEW, qui comporte des outils graphiques implémentés en langage G. Grâce à la palette DARTSVIEW, un concepteur pourra non seulement représenter une conception DARTS de façon aisée et intuitive, mais également simuler et tester sur place le modèle pour vérifier le respect de l'aspect fonctionnel du système. Les systèmes temps réel sont des systèmes dont le respect des contraintes temporelles est aussi important que l'exactitude du résultat, autrement dit il faut valider leur aspect temporel. Donc concernant cette pour aider dans cette tâche, la palette DARTSVIEW propose aux utilisateurs la possibilité de générer du code spécifique à une norme temps réel ou un langage cible d'un exécutif temps réel afin de pouvoir tester le système sur cible, et de pouvoir vérifier les paramètres temporels. Il s'agit de deuxième V du cycle de développement en W.

  • Reconstruction géométrique et topologique de complexes architecturaux 3D à partir de plans numériques 2D    - Horna Sébastien  -  27 novembre 2008

    Voir le résumé
    Voir le résumé
    L'intérieur des bâtiments est souvent modélisé en 3D pour diverses applications de modélisation ou de simulation. Par exemple, plusieurs méthodes permettent d'étudier l'éclairage, les transferts de chaleur, la propagation d'ondes. Ces applications nécessitent dans la plupart des cas une représentation volumique de l'environnement avec des relations d'adjacence et d'incidence entre les éléments. Malheureusement, les données correspondant au bâtiment sont en général seulement disponibles en 2D et les besoins des applications 3D varient d'une utilisation à l'autre. Pour résoudre ce problème, nous proposons une description formelle d'un ensemble de contraintes de cohérence dédiées à la modélisation d'intérieur de bâtiments. Dans cette thèse nous montrons comment cette représentation est utilisée pour : (i) reconstruire un modèle 3D à partir de plans d'architecte numériques 2D ; (ii) détecter automatiquement les incohérences géométriques, topologiques et sémantiques ; (iii) développer des opérations automatiques et semi-automatiques pour corriger les plans 2D. Toutes les contraintes de cohérence sont définies en 2D et 3D et reposent sur le modèle topologique des cartes généralisées. Ces opérations sont utilisées pour éditer les scènes 2D et 3D afin d'affiner ou de modifier les modèles. Enfin, nous expliquons comment ce modèle est utilisé pour une application de visualisation par lancé de rayons.

  • Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF    - Rahni Ahmed  -  05 décembre 2008

    Voir le résumé
    Voir le résumé
    Un système temps réel critique nécessite une validation temporelle utilisant un test d'ordonnançabilité avant sa mise en oeuvre. Cette thèse traite le problème d'ordonnancement des taches à offset (transactions) sur une architecture monoprocesseur, en priorités fixes et en priorités dynamiques. Les méthodes existantes pour un test exact ont une complexité exponentielle et seules existent des méthodes approchées, donc pessimistes, qui sont pseudo-polynomiales. En priorités fixes nous proposons des méthodes pseudo-polynomiales, basées sur l'analyse de temps de réponse qui sont moins pessimistes que les méthodes existantes. Nous présentons quelques propriétés (accumulativité monotonique, dominance de tâches) rendant exacte les méthodes d'analyse approchées pour certains cas de systèmes, et optimisant le temps de calcul. En priorités dynamiques, nous proposons un test d'ordonnançabilité exact avec une complexité pseudopolynomiale. Ce test est basé sur l'analyse de la demande processeur. Les qualités des résultats de nos méthodes sont confirmées par des évaluations expérimentales.

  • Définition et réalisation d'une boîte à outils générique dédiée à la Programmation sur exemple    - Sanou Loé  -  17 décembre 2008

    Voir le résumé
    Voir le résumé
    L'implémentation d'un système intégrant la Programmation sur Exemple (PsE) demande au développeur de mettre à disposition de l'utilisateur final des outils d'assistance lors de la réalisation des tâches. Pour le développeur, cela passe par la mise à disposition des différents services à partir de l'interface utilisateur de l'application. Le système doit donc fournir des interfaces particulières, car non seulement l'objectif fonctionnel de l'application ne doit pas changer, mais surtout parce que les techniques de la PsE doivent être naturellement intégrées. Un système de PsE est difficile à implanter, et pourtant, la plupart possèdent des éléments en commun parmi lesquels on trouve une représentation des actions utilisateur, un historique des actions, et parfois un algorithme d'apprentissage symbolique opérant sur l'historique. Nous favorisons la création d'un tel système en fournissant les outils nécessaires sous forme d'une boîte à outils par extension de Swing. Les développeurs peuvent bâtir, avec un minimum d'effort, des applications mettant en oeuvre les techniques de la PsE. Les principaux services de base ont été identifiés et définis : enregistrement des actions utilisateur, rejeu des actions et des techniques utilisables pour la mise en oeuvre d'applications types. Ils ont été prototypés à travers l'outil PbDToolkit, ouvrant la voie vers la simplification de la mise en oeuvre des applications de PsE. En utilisant PbDToolkit, il n'est pas nécessaire d'implémenter les fonctionnalités de base car toutes les opérations y sont déjà implémentées avec la liberté d'usage et d'exploitation offerte aux développeurs. PbDToolkit est instrumenté pour permettre de vérifier la conformité d'une IHM à son modèle de tâches. Le concept établit un lien entre les tâches élémentaires du modèle de tâches et les actions de l'IHM. Ainsi, à l'exécution, un scénario est généré suivant le format de scénario de l'environnement K-MADe, outil de modélisation utilisé.

  • Animation et contrôle de structures topologiques : application à la simulation d'évolution en couches géologiques 2D    - Léon Pierre-François  -  19 juin 2009

    Voir le résumé
    Voir le résumé
    Cette thèse présente une nouvelle méthode d'animation basée sur la topologie. Elle consiste à animer une partition de l'espace et en assurer sa cohérence. Le système d'animation s'appuie sur un mécanisme événementiel qui détecte les incohérences topologiques. L'animation est générée à partir du traitement séquentiel de tous les événements. Lors du mouvement des entités, l'instant des collisions est calculé et des événements sont générés. Pour prendre en charge ces collisions, ces événements sont traités par rapport à leurs contextes locaux (géométrique, sémantique). Un traitement engendre des changements géométriques et topologiques et assure la cohérence entre le modèle géométrique et le modèle topologique. Cette thèse présente également une application en géologie permettant de générer l'animation de l'évolution du sous-sol à partir de phénomènes naturels décrits dans un scénario. Dans ce cadre, un scénario est composé d'une suite de phénomènes géologiques (sédimentation, érosion, création de failles et glissement) analysée par le système d'animation 2D. Un phénomène est traduit en un ensemble d'événements initiaux. Une fois l'animation générée, le géologue peut l'analyser et la valider grâce aux informations sémantiques et historiques fournies par le modèle.

  • Opérations et algorithmes pour la segmentation topologique d'images 3D    - Dupas Alexandre  -  25 novembre 2009

    Voir le résumé
    Voir le résumé
    Une carte topologique 3D est un modèle servant à représenter la partition en régions d'une image 3D pour le traitement d'images. Dans ce travail, nous développons des outils permettant de modifier la partition représentée par une carte topologique, puis nous utilisons ces outils afin de proposer des algorithmes de segmentation intégrant des critères topologiques. Dans une première partie, nous proposons trois opérations. La fusion de régions est définie avec une approche locale adaptée à une utilisation interactive et une approche globale pour une utilisation automatisée comme lors d'une segmentation. La division de régions est proposée avec une méthode d'éclatement en voxels et la division à l'aide d'un guide. Enfin, la déformation de la partition est basée sur la définition de points ML-Simples : des voxels pouvant changer de région sans modifier la topologie de la partition. À l'aide de ces opérations, nous mettons en oeuvre dans une seconde partie des algorithmes de segmentation d'images utilisant les cartes topologiques. Notre première approche adapte au modèle des cartes topologiques un algorithme existant qui utilise un critère basé sur la notion de contraste. Nous proposons ensuite des méthodes de calcul d'invariants topologiques sur les régions : les nombres de Betti. Grâce à eux, nous développons un critère topologique de segmentation permettant de contrôler le nombre de tunnels et de cavités des régions. Enfin, nous illustrons les possibilités de tous nos outils en mettant en place une chaîne de traitement pour la segmentation de tumeurs cérébrales dans des images médicales.

  • Système de nomination hiérarchique pour les systèmes paramétriques    - Baba-Ali Mehdi  -  22 janvier 2010

    Voir le résumé
    Voir le résumé
    Au début des années 60, les systèmes de modélisation géométrique sont apparus. D'abord cantonnés à de simples outils d'esquisse, ils ont su, au fil des années, se doter de modèles géométriques plus élaborés (tant sur l'aspect plongement avec les courbes et surfaces paramétriques ou les surfaces implicites que sur l'aspect topologie avec des modèles à base combinatoire) et des informations additionnelles permettant la gestion de divers aspects du processus de modélisation industrielle. Les modèles géométriques permettent de décrire des formes géométriques en s'appuyant sur des structures topologiques très variées. Cependant, les opérations de modèlisation menant à ces descriptions ne prennent pas en compte les intentions de l'utilisateur du fait qu'elles n'utilisent ni son langage, ni ses gestes et moins encore son expérience métier. C'est pourquoi on a associé aux modèles géométriques initiaux des informations supplémentaires connues sous le terme de caractéristiques (features) et en particulier les caractéristiques de formes (rainure, bossage, arrondi, etc.). Si la description par caractéristiques (géométrie, paramètres des opérations de modèlisation de haut niveau, contraintes) est enregistrée pour être exploitée dans la perspective d'être réutilisée (réévaluée en faisant varier les paramètres), on parle alors de modèlisation paramétrique basée historique (ou history-based en terminologie anglo-saxonne). Aussi, un modèle paramétrique, de par sa structure duale, pose le problème de la nomination persistante qui dérive de la nécessité de maintenir un lien entre la géométrie et sa représentation implicite en termes de script de modèlisation. Dans ce contexte, plusieurs solutions ont été proposées. Chacune d'entre elles s'efforce de caractériser (de façon unique et non ambigüe) puis apparier (c'est-à-dire mettre en correspondance) les entités des modèles initial et réévalué. Dans un environnement 3D extrêmement variant, les approches actuelles s'appuient sur des éléments invariants -les faces- pour mettre en oeuvre différents procédés de caractérisation. En les étudiant de plus près, on constate d'une part que ces procédés ne proposent pas de caractérisation homogène pour les entités ou les agrégats d'entités de dimension supèrieure ou égale à 3. Cela limite la généralisation en toute dimension des mécanismes de nomination (caractérisation et appariement). D'autre part, ces méthodes pêchent de façon plus ou moins importante lorsqu'il s'agit de manipuler des objets dans un contexte non-planaire. Dans ce mémoire, nous nous intéressons à la nomination persistante et homogène des entités de toute dimension (sommets, arêtes, agrégats d'arêtes, faces, agrégats de faces (" coques "), volumes, agrégats de volumes, etc.) et celles résultant de l'interaction d'objets non-planaires. Pour ce faire, nous proposons une plate-forme hiérarchique mettant en scène, par des relations d'agrégations, des entités de n'importe quelle dimension. Notre idée est alors de commencer par nommer, c'est-à-dire caractériser et apparier, les entités de la plus petite dimension exploitable : les arêtes. La gestion des noms au niveau des arêtes s'effectue principalement via un graphe traçant l'évolution de ces entités au cours du processus de modèlisation paramétrique. Ensuite, nous faisons en sorte d'exploiter l'appariement calculé entre ces arêtes, en parcourant la structure hiérarchique et agrègative, afin d'en déduire celui entre les entités de dimension supèrieure. Notre solution est implantée sur un noyau géométrique basé sur le modèle des cartes généralisées.

  • Pyramides irrégulières descendantes pour la segmentation de grandes images histologiques    - Goffe Romain  -  14 septembre 2011

    Voir le résumé
    Voir le résumé
    Différents modes d'acquisition permettent d'obtenir des images de plusieurs gigaoctets. L'analyse de ces grandes images doit faire face à deux problèmes majeurs. Premièrement, le volume de données à traiter ne permet pas une analyse globale de l'image, d'où la difficulté d'en construire une partition. Deuxièmement, une approche multi-résolution est nécessaire pour distinguer les structures globales à faible résolution. Par exemple, dans le cadre des images d'histologie, les récentes améliorations des scanners permettent d'observer les structures cellulaires sur l'ensemble de la lame. En contrepartie, les images produites représentent jusqu'à 18 Go de données. De plus, l'agencement de ces cellules en tissus correspond à une information globale qui ne peut être observée qu'à faible résolution. Ces images combinent donc un aspect multi-échelle et multi-résolution. Dans ce manuscrit, nous définissons un modèle topologique et hiérarchique adapté à la segmentation de grandes images. Nos travaux sont fondés sur les modèles existants de carte topologique et de pyramide combinatoire. Nous présentons le modèle de carte tuilée pour la représentation de grandes partitions ainsi qu'une extension hiérarchique, la pyramide descendante tuilée, qui représente la dualité des informations multi-échelle et multi-résolution. Enfin, nous utilisons notre modèle pour la segmentation de grandes images en histologie.

  • Décomposition des rotations nD et arithmétisation des cercles    - Richard Aurélie  -  06 décembre 2011

    Voir le résumé
    Voir le résumé
    Cette thèse est basée sur deux axes principaux : la décomposition des rotations nD et le processus d'arithmétisation des cercles. D'une part, estimer les paramètres des rotations est utile dans de nombreux domaines d'applications. Les méthodes existantes ne peuvent pas être étendues à la dimension n et/ou ne sont pas robustes au bruit. Dans cette thèse, nous étudions les rotations nD bruitées et nous proposons des algorithmes permettant de les décomposer et d'estimer leurs paramètres. Les deux premières méthodes utilisent respectivement l'algèbre géométrique et la décomposition de Schur des matrices. Elles estiment les paramètres (plans et angles) des rotations à partir de n vecteurs et leurs images par cette rotation. Notre troisième algorithme décompose les rotations en rotations planes de même angle (rotations isoclines). D'autre part, le processus d'arithmétisation par des schémas numériques est souvent utilisé en géométrie discrète car il permet de donner un équivalent discret à une courbe continue. Nous étudions l'application de ce processus à l'équation différentielle du cercle dans le cas du schéma de Heun. Nous présentons notamment des résultats sur la connexité des arcs de cercles générés par cette méthode. Des résultats sur l'ordre de l'erreur de la méthode sont finalement proposés.

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

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