Tesi sul tema "Représentation des graphes"
Segui questo link per vedere altri tipi di pubblicazioni sul tema: Représentation des graphes.
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-50 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Représentation des graphes".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.
1
Picard, Celia. "Représentation coinductive des graphes". Phd thesis, Université Paul Sabatier - Toulouse III, 2012. http://tel.archives-ouvertes.fr/tel-00862507.
Abstract (sommario):
Nous nous intéressons à la représentation de graphes dans le prouveur Coq. Nous avons choisi de les représenter par des types coinductifs dont nous voulions explorer l'utilisation. Ceux-ci permettent de rendre succincte et élégante la représentation et d'obtenir la navigabilité par construction. Nous avons dû contourner la condition de garde dont le but est d'assurer la validité des opérations effectuées sur les objets coinductifs. Son implantation dans Coq est restrictive et interdit parfois des définitions sémantiquement correctes. Une formalisation canonique des graphes dépasse ainsi l'expressivité directe de Coq. Nous avons donc proposé une solution respectant ces limitations, puis nous avons défini une relation sur les graphes nous permettant d'obtenir la même notion d'équivalence qu'avec une représentation classique tout en gardant les avantages de la coinduction. Nous montrons qu'elle est équivalente à une relation basée sur des observations finies.
2
Labourel, Arnaud. "Partition d'arêts et représentation implicite de graphes". Bordeaux 1, 2007. http://www.theses.fr/2007BOR13490.
Abstract (sommario):
La représentation implicite de graphes a été introduite en 1966 par Breuer afin de calculer l'adjacence dans les graphes à partir de données locales encodées par chaque sommet. Dans ce document, on s'est intéressé à cette notion pour de nombreuses familles de graphes et en particulier pour les graphes sur surfaces. Afin de pouvoir utiliser les représentations implicites existantes sur les forêts, on montre tout d'abord l'existence d'une partition des arêtes des graphes de genre d'Euler g en trois forêts plus un ensemble d'au plus 3g - 3 arêtes. On présente une représentation implicite pour les arbres de degré interne borné par d̂ ayant n sommets avec des étiquettes de log n + O (log d̂) bits. Enfin, on décrit une représentation implicite pour les graphes planaires et les graphes de genre borné en (2 + 0(1)) log n bits déduite d'une représentation implicite pour les graphes de largeur arborescente bornée avec des étiquettes de (1 + 0(1)) log n bits. On utilise une technique similaire afin d'obtenir un schéma k-relationnel sur les arbres.
3
Kerdiles, Gwenael Nang. "Logiques de graphes conceptuels". Montpellier 2, 2001. http://www.theses.fr/2001MON20185.
4
Boschin, Armand. "Machine learning techniques for automatic knowledge graph completion". Electronic Thesis or Diss., Institut polytechnique de Paris, 2023. http://www.theses.fr/2023IPPAT016.
Abstract (sommario):
Un graphe de connaissances est un graphe orienté dont les nœuds sont des entités et les arêtes, typées par une relation, représentent des faits connus liant les entités. Ces graphes sont capables d'encoder une grande variété d'information mais leur construction et leur exploitation peut se révéler complexe. Historiquement, des méthodes symboliques ont permis d'extraire des règles d'interaction entre entités et relations, afin de corriger des anomalies ou de prédire des faits manquants. Plus récemment, des méthodes d'apprentissage de représentations vectorielles, ou plongements, ont tenté de résoudre ces mêmes tâches. Initialement purement algébriques ou géométriques, ces méthodes se sont complexifiées avec les réseaux de neurones profonds et ont parfois été combinées à des techniques symboliques antérieures.Dans cette thèse, on s'intéresse tout d'abord au problème de l'implémentation. En effet, la grande diversité des bibliothèques utilisées rend difficile la comparaison des résultats obtenus par différents modèles. Dans ce contexte, la bibliothèque Python TorchKGE a été développée afin de proposer un environnement unique pour l'implémentation de modèles de plongement et un module hautement efficace d'évaluation par prédiction de liens. Cette bibliothèque repose sur l'accélération graphique de calculs tensoriels proposée par PyTorch, est compatible avec les bibliothèques d'optimisation usuelles et est disponible en source ouverte.Ensuite, les travaux portent sur l'enrichissement automatique de Wikidata par typage des hyperliens liant les articles de Wikipedia. Une étude préliminaire a montré que le graphe des articles de Wikipedia est beaucoup plus dense que le graphe de connaissances correspondant dans Wikidata. Une nouvelle méthode d'entrainement impliquant les relations et une méthode d'inférence utilisant les types des entités ont été proposées et des expériences ont montré la pertinence de l'approche, y compris sur un nouveau jeu de données.Enfin, le typage automatique d'entités est exploré comme une tâche de classification hiérarchique. Ceci a mené à la conception d'une fonction d'erreur hiérarchique, utilisée pour l'entrainement de modèles tensoriels, ainsi qu'un nouveau type d'encodeur. Des expériences ont permis une bonne compréhension de l'impact que peut avoir une connaissance a priori de la taxonomie des classes sur la classification. Elles ont aussi renforcé l'intuition que la hiérarchie peut être apprise à partir des données si le jeu est suffisamment richeA knowledge graph is a directed graph in which nodes are entities and edges, typed by a relation, represent known facts linking two entities. These graphs can encode a wide variety of information, but their construction and exploitation can be complex. Historically, symbolic methods have been used to extract rules about entities and relations, to correct anomalies or to predict missing facts. More recently, techniques of representation learning, or embeddings, have attempted to solve these same tasks. Initially purely algebraic or geometric, these methods have become more complex with deep neural networks and have sometimes been combined with pre-existing symbolic techniques.In this thesis, we first focus on the problem of implementation. Indeed, the diversity of libraries used makes the comparison of results obtained by different models a complex task. In this context, the Python library TorchKGE was developed to provide a unique setup for the implementation of embedding models and a highly efficient inference evaluation module. This library relies on graphic acceleration of tensor computation provided by PyTorch, is compatible with widespread optimization libraries and is available as open source.We then consider the automatic enrichment of Wikidata by typing the hyperlinks linking Wikipedia pages. A preliminary study showed that the graph of Wikipedia articles is much denser than the corresponding knowledge graph in Wikidata. A new training method involving relations and an inference method using entity types were proposed and experiments showed the relevance of the combined approach, including on a new dataset.Finally, we explore automatic entity typing as a hierarchical classification task. That led to the design of a new hierarchical loss used to train tensor-based models along with a new type of encoder. Experiments on two datasets have allowed a good understanding of the impact a prior knowledge of class taxonomy can have on a classifier but also reinforced the intuition that the hierarchy can be learned from the features if the dataset is large enough
5
Faci, Adam. "Représentation, simulation et exploitation de connaissances dans le formalisme des graphes conceptuels". Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS419.
Abstract (sommario):
Cette thèse aborde le domaine de la représentation des connaissances sous forme de graphes conceptuels, un formalisme de représentation structurée des connaissances proposant des outils de manipulation efficaces. Il existe une multitudes de problématiques en intelligence artificielles symbolique concernant la représentation des connaissances en général, et en particulier sur la représentation concise d’un grand nombre d’informations. Les graphes conceptuels, par la possibilité de représenter visuellement différentes sortes de connaissances, notamment ontologiques et factuelle, et la proposition d’outils de manipulation efficaces, offrent un cadre parfait pour la réponse à ces problématiques. Nous effectuons une étude comparative des extensions floues des graphes conceptuels, puis nous proposons un algorithme de simulation de graphes conceptuels ainsi qu'un algorithme efficace d'extraction de motifs fréquents non-redondants, avec les connaissances ontologiquesThis thesis addresses the field of knowledge representation in conceptual graphs, a structured knowledge representation formalism that provides efficient manipulation tools. There are many challenges in symbolic artificial intelligence concerning the representation of knowledge in general, and in particular the concise representation of a large amount of information. Conceptual graphs, by their ability to visually represent different kinds of knowledge, mainly ontological and factual, and by offering efficient manipulation tools, provide a perfect framework for the answer to these problems. We conduct a comparative study of fuzzy extensions of conceptual graphs, then we propose an algorithm for conceptual graphs simulation as well as an efficient algorithm for extracting frequent patterns that are not redundant with ontological knowledge
6
Ghilardi, Jean-Pierre. "Optimisation de la représentation de graphes par approche hybride déterministe et stochastique". Aix-Marseille 3, 2002. http://www.theses.fr/2002AIX30032.
Abstract (sommario):
Dans le domaine de la bibliométrie il est courant d'avoir à retraiter des corpus d'informations importants difficiles à interpréter par lecture directe. Des outils, intégrant des traitements mathématiques complexes, ont été développés pour traiter l'information massive structurée et en extraire l'information pertinente susceptible d'alimenter les processus de prise de décision. Le Centre de Recherche Rétrospective de Marseille s'est depuis de nombreuses années spécialisé en traitement de l'information et a développé des outils informatiques basés sur la représentation graphique de relations reliant des entités : les graphes de paires. S'inscrivant dans cette démarche, ce travail de recherche a permis de définir des traitements innovants s'appuyant sur la théorie des graphes, les algorithmes de recuit simulé et les algorithmes génétiques qui permettent d'aboutir à une expression géométrique organisée des graphes de paire et ainsi d'en faciliter l'exploitation par le plus grand nombreIn bibliometrie scope, we frequently have to compute database which constitute a quantitive information corpus, difficult to interpret by direct reading. That's the reason why some tools with complex mathematic treatments have been created, this is how structured data bank can be processing to obtain relevant information available for decision makers. The Centre de Recherche Rétrospective de Marseille is specialized in information processing for a long time. Automatic tools based on geometrical representation of relationship between entities have been developed. During this research, an innovant data processing implemented to automatically produce an organized representation of graph easily understandable have been defined. The treatment chain is based on two different approach, a determinist approach issuing from graph theory and a stochastic approach composed of simulated annealing algorithm and genetic algorithm, which allow to make easier graph reading
7
Hafidi, Hakim. "Robust machine learning for Graphs/Networks". Electronic Thesis or Diss., Institut polytechnique de Paris, 2023. http://www.theses.fr/2023IPPAT004.
Abstract (sommario):
Cette thèse aborde les progrès de l’apprentissage des représentation des nœuds d’ungraphe, en se concentrant sur les défis et les opportunités présentées par les réseaux de neuronespour graphe (GNN). Elle met en évidence l’importance des graphes dans la représentation dessystèmes complexes et la nécessité d’apprendre des représentations de nœuds qui capturent à la fois les caractéristiques des nœuds et la structure des graphes. L’ étude identifie les problèmes clés des réseaux de neurones pour graphe, tels que leur dépendance à l’ ´égard de données étiquetées de haute qualité, l’incohérence des performances dansdivers ensembles de données et la vulnérabilité auxattaques adverses.Pour relever ces défis, la thèse introduit plusieursapproches innovantes. Tout d’abord, elle utilise l’apprentissage contrastif pour la représentation des nœuds, permettant un apprentissage auto-supervisé qui réduit la dépendance aux données étiquetées.Deuxièmement, un classificateur bayésien est proposé pour la classification des nœuds, qui prenden compte la structure du graphe pour améliorer la précision. Enfin, la thèse aborde la vulnérabilité des GNN aux attaques adversariaux en évaluant la robustesse du classificateur proposé et en introduisant des mécanismes de défense efficaces. Ces contributionsvisent à améliorer à la fois la performance et la résilience des GNN dans l’apprentissage de lareprésentation des nœudsThis thesis addresses advancements in graph representation learning, focusing on the challengesand opportunities presented by Graph Neural Networks (GNNs). It highlights the significanceof graphs in representing complex systems and the necessity of learning node embeddings that capture both node features and graph structure. The study identifies key issues in GNNs, such as their dependence on high-quality labeled data, inconsistent performanceacross various datasets, and susceptibility to adversarial attacks.To tackle these challenges, the thesis introduces several innovative approaches. Firstly, it employs contrastive learning for node representation, enabling self-supervised learning that reduces reliance on labeled data. Secondly, a Bayesian-based classifier isproposed for node classification, which considers the graph’s structure to enhance accuracy. Lastly, the thesis addresses the vulnerability of GNNs to adversarialattacks by assessing the robustness of the proposed classifier and introducing effective defense mechanisms.These contributions aim to improve both the performance and resilience of GNNs in graph representation learning
8
Melki, Michaël. "Etude d'un modèle de représentation symbolique multi-résolution d'une image à base de graphes". Lyon, INSA, 2006. http://theses.insa-lyon.fr/publication/2006ISAL0074/these.pdf.
Abstract (sommario):
Dans cette thèse, nous étudions un modèle de représentation symbolique et multi-résolution d'une image. Pour cela, nous distinguons les informations concernant la structure de l'image, c'est à dire les différents blocs, ou régions, qui la composent, des informations concernant le contenu de cette dernière, c'est à dire ce que représente chacun de ces blocs. Nous nous intéresserons alors tout particulièrement aux informations de structure : plutôt que de représenter de manière complète les différents blocs de l'image, nous nous focaliserons sur l'étude de certaines propriétés vérifiées par ces derniers. En imposant certaines contraintes sur la nature des blocs considérés, nous pouvons alors dégager quelques propriétés simples qui nous permettent de caractériser complètement la topologie d'une image. Il est alors possible de construire un modèle de représentation de la structure d'une image à base de graphes de manière à représenter ces propriétés, et donc en même temps la topologie de la structure de l'image. Dans ce modèle, chaque bloc est représenté par un sommet d'un graphe, et en lui associant un symbole, choisi dans un alphabet donné, pour représenter son contenu, nous obtenons un modèle de représentation symbolique de l'image. Nous définissons ensuite un processus pour construire une nouvelle image de plus faible résolution à partir d'une image donnée à l'aide de règles de réductions, prenant compte à la fois de la structure et du contenu symbolique de l'image. Ce processus est lui-même étudié de manière à proposer différentes techniques pour par exemple apprendre à paramétrer les règles, ou encore pour accélérer ou fiabiliser le processus. Il peut être utilisé pour construire des segmentations d'une image à différents niveaux de résolution en se basant sur des informations purement symboliques, ou encore pour extraire une information donnée dans une image, en appliquant le processus jusqu'à obtenir une image ne contenant qu'un unique bloc dont le symbole contient l'information recherchéeIn this PhD, we present a symbolic, multi-resolution model for representing an image. To do that, we consider both the structure of the image, that is the blocs from which it is constituted, and its content. We first focus on the structural part of the image. Under some constraints, a few properties can be enough to fully characterize the topology of the structure. This leads us to a graph-based representation for the structure of an image, which can be completed by adding symbolic information to the nodes to represent the content part of the image. We then propose a process to build an lower resolution image from an input image. This process uses reduction rules that take into account both the structure and the content of the image, and could be used either to segment an image at different resolution levels or to extract some information from it. Then we study this process to define methods that can be used for learning some of the parameters of the rules, for speeding up the building process, or for making the whole process more reliable
9
Guinaldo, Olivier. "Etude d'un gestionnaire d'ensembles de graphes conceptuels". Montpellier 2, 1996. http://www.theses.fr/1996MON20189.
Abstract (sommario):
Depuis sa presentation par j. F. Sowa en 1984, le modele des graphes conceptuels n'a cesse d'interesser un nombre croissant d'equipes de recherche, qui l'etudient formellement ou qui l'utilisent dans des cadres divers, comme les sciences medicales, les bases de donnees ou le traitement automatique de langue naturelle. Cependant, comme tout modele de representation de connaissances, il est confronte a la gestion de la connaissance des que celle-ci devient importante. Dans cette optique, le travail presente porte essentiellement sur les problemes theoriques lies a la gestion de grands ensembles de graphes conceptuels quelconques. Les graphes conceptuels etant munis d'une relation d'ordre (la relation de specialisation) calculee par l'operation de projection (operation liee au probleme np-complet de l'existence d'un morphisme entre deux graphes), les techniques de gestion etudiees s'inscrivent dans le cadre general de la gestion d'ensembles ordonnes, et s'appuient sur des algorithmes efficaces de projection et d'isomorphisme de graphes conceptuels. Nous mettons en uvre ces techniques dans l'elaboration d'un premier gestionnaire de bases de graphes conceptuels stockees en memoire secondaire, totalement integre a la plate-forme logicielle cogito (une boite a outils pour les graphes conceptuels). Dans un deuxieme temps, nous presentons le systeme rap: un systeme d'interrogation de connaissances exprimees en termes de graphes conceptuels, fonde sur les fonctionnalites offertes par le gestionnaire precedent
10
Carbonneill, Boris. "Vers un système de représentation de connaissances et de raisonnement fondé sur les graphes conceptuels". Montpellier 2, 1996. http://www.theses.fr/1996MON20015.
Abstract (sommario):
Le travail presente fait partie d'un projet de developpement d'un systeme de representation de connaissances et de raisonnement fonde sur les graphes conceptuels. Apres un tour d'horizon des systemes utilisant les graphes conceptuels, nous presentons une formalisation du modele utilise, celui des graphes conceptuels simples. A partir d'une base de connaissances et d'une question representees respectivement sous forme d'un ensemble de graphes conceptuels et d'un graphe conceptuel, nous definissons tout d'abord la notion de reponse exacte, et proposons un algorithme de recherche, guide par la question, correct et complet. Par la suite, la notion de reponse exacte et l'algorithme de recherche correspondant sont etendus afin de prendre en compte le mecanisme de definition de types de concepts offert par le modele des graphes conceptuels. Deux autres volets de ce travail concernent le developpement d'heuristiques de raisonnement. Nous presentons dans un premier temps des heuristiques de recherche de reponse exacte ; nous proposons ensuite des heuristiques destinees a palier l'absence de reponse exacte, en produisant des reponses pertinentes. Ces deux mecanismes sont illustres dans le cadre de l'implementation du systeme rock. Notre derniere contribution concerne une extension du modele initial, les graphes conceptuels emboites, pour lesquels nous formalisons la notion de reponse exacte, et proposons les algorithmes de recherche adaptes
11
Bui-Xuan, Binh-Minh. "Représentation arborescente de familles d'ensembles avec application dans les décompositions de graphes et algorithmes efficaces". Montpellier 2, 2008. http://www.theses.fr/2008MON20084.
12
Ahn, Yun-Kang. "L'analyse musicale computationnelle : rapport avec la composition, la segmentation et la représentation à l'aide des graphes". Paris 6, 2009. https://tel.archives-ouvertes.fr/tel-00447778.
Abstract (sommario):
Ce travail est axé autour de l'analyse assistée par ordinateur, dans un cadre musicologique ciblant la musique contemporaine. Une approche computationnelle de l'analyse musicale pose la question de sa modélisation et de sa formalisation, puisque touchant à une activité souvent empirique et dont la pratique n'est pas définie à l'aide de normes communes. Cette question implique la mesure de l'importance de la représentation graphique dans l'interprétation analytique. Face au rôle croissant de la représentation, nous nous intéressons d'une part à la manière dont elle relie l'analyse et la composition en proposant, à partir d'une analyse connue des Structures IA de Piere Boulez réalisée par le compositeur György Ligeti, des modèles de machinerie informatique en vue de générer des pièces musicales sous deux interfaces, OpenMusic et Rubato. Parmi ces deux environnements de programmation visuelle, le second se base sur un puissant paradigme mathématique reposant sur la théorie des catégories. Ce paradigme constitue également une base pour modéliser les K-réseaux, outil d'analyse reposant sur des graphes décrivant les relations entre les notes. Ces relations sont formalisées dans la Set Theory d'Allen Forte qui propose une méthode de classification des structures musicales à partir des douze hauteurs de la gamme chromatique occidentale. Une application de ces réseaux et plus généralement l'apport des structures de graphe est abordée ensuite dans la modélisation de l'analyse d'une autre pièce, le Klavierstück III de Karlheinz Stockhausen : cette analyse a été faite par le théoricien David Lewin en deux étapes que nous étudierons dans leurs aspects à la fois computationnel et d'interface-homme machine. En premier lieu, la segmentation, non expliquée par l'analyste, fait l'objet d'une reconstitution dans laquelle nous tentons de la retrouver par le biais d'une exploration dans un ensemble de segmentations possibles. Il s'agit ainsi non seulement de reconstituer mais également de voir s'il est possible de la dépasser et l'améliorer selon des critères comme la couverture de la partition. Nous verrons dans ce cadre si les K-réseaux peuvent affiner cette analyse et en constituer un angle d'attaque pertinent. En second lieu, Lewin organise ses segments selon un réseau qui ne suit plus un quelconque agencement chronologique mais une disposition spatiale qui offre un nouveau parcours de la pièce. Cette difficulté s'inscrit dans le contexte plus général de la sélection et de la formation d'un graphe décrivant la structure d'une oeuvre musicale, que nous envisageons à l'intérieur du problème de l'utilisation d'un réseau en analyse computationnelle.
13
Venant, Fabienne. "Représentation et calcul dynamique du sens : exploration du lexique adjectival du français". Phd thesis, Ecole des Hautes Etudes en Sciences Sociales (EHESS), 2006. http://tel.archives-ouvertes.fr/tel-00067902.
Abstract (sommario):
Ce travail de thèse présente un modèle de construction du sens d'un genre nouveau, défini dans le cadre des mathématiques du continu. Le langage y est vu comme un système morphodynamique, obéissant aux principes de base de la Gestalttheorie. Les unités linguistiques découpent leur sens dans un espace sémantique possédant une structure de variété différentiable. Nous avons implémenté ce modèle et l'avons testé sur le lexique adjectival français. Une méthode de construction automatique des espaces sémantiques, reposant sur l'analyse d'un graphe de synonymie, permet d'explorer le lexique adjectival dans son ensemble, ou de construire des espaces locaux. Les espaces sémantiques locaux servent de base à une méthode dynamique de calcul du sens, permettant de prendre en compte les différents facteurs de polysémie adjectivale. L'utilisation des espaces sémantiques globaux ouvre de belles perspectives, tant dans le domaine du calcul du sens que celui de l'exploration de graphes petit monde.
14
Moreau, Jean-Michel. "Hiérarchisation et facétisation de la représentation par segments d'un graphe planaire dans le cadre d'une arithmetique mixte". Saint-Etienne, EMSE, 1990. http://tel.archives-ouvertes.fr/docs/00/83/15/81/PDF/1990_Moreau_Jean_Michel.pdf.
Abstract (sommario):
L'organisation structurée (graphe avec hiérarchies et propriétés sémantiques) d'objets du plan implique plusieurs opérations complexes qui doivent être effectuées en toute sécurite de cohérence topologique. La précision inhérente d'une machine étant nécessairement limitée, il faut souvent recourir à une arithmétique exacte couteuse. Cette thèse présente, à partir de travaux liés à la réalisation du module de facétisation d'un simulateur de vol industriel, une solution permettant l'utilisation d'une arithmétique mixte, de précision arbitraire et de coût trés inferieur statistiquement à la solution exacte. On y trouve aussi l'unification des méthodes de construction d'un diagramme de Voronoi, d'une triangulation de Delaunay pour un nuage de points dans le plan et de la triangulation contrainte de Delaunay de la représentation par segments d'un graphe planaire, autour d'une technique incrémentale optimale, fondamentalement plus simple que la méthode" diviser-pour-résoudre" classique. La technique incrémentale permet, par ailleurs, de donner un algorithme linéaire et très simple de construction du diagramme de Voronoi et de la triangulation de Delaunay d'un nuage de points situés sur la frontière d'un polygone monotone ou convexe.
15
Thomopoulos, Rallou. "Représentation et interrogation élargie de données imprécises et faiblement structurées". Paris, Institut national d'agronomie de Paris Grignon, 2003. http://www.theses.fr/2003INAP0018.
Abstract (sommario):
Ce travail de thèse se situe dans le cadre d'un projet appliqué à la microbiologie prévisionnelle, s'appuyant sur une base de données et sur son système d'interrogation. Les données du projet sont faiblement structurées, elles peuvent être imprécises et ne permettent pas de répondre à toute requête de façon exacte, de sorte qu'un système d'interrogation souple de la base de données est nécessaire. Nous nous appuyons sur le modèle des graphes conceptuels pour prendre en compte les données faiblement structurées et sur la théorie des sous-ensembles flous pour représenter les données imprécises et les requêtes floues. L'objet de cette thèse est la combinaison de ces deux formalismesThis work is part of a project applied to predictive microbiology, which is built on a database and on its querying system. The data used in the project are weakly structured, they may be imprecise, and cannot provide exact answers to every query, so that a flexible querying system is necessary for the querying of the database. We use the conceptual graph model in order to take into account weakly structured data, and fuzzy set theory, in order to represent imprecise data and fuzzy queries. The purpose of this work is to provide a combination of these two formalisms
16
Simonet, Geneviève. "Héritage non monotone à base de chemins et de graphes partiels". Montpellier 2, 1994. http://www.theses.fr/1994MON20151.
17
Megier, Jacques. "La conscience comme auto-représentation". Thesis, Paris, EHESS, 2017. http://www.theses.fr/2017EHES0103/document.
Abstract (sommario):
Cette thèse, qui relève de la philosophie de l'esprit, consiste en la défense d'une version de la théorie auto-représentationnelle de la conscience. En acceptant d'une part la notion d'état mental possédant un certain contenu qui peut être conscient ou inconscient, et d'autre part l'hypothèse plausible que le contenu de tout état mental consiste en une représentation, alors le problème de la manifestation de la conscience s'appliquant au contenu de CERTAINS états mentaux acquiert intelligibilité dans ce cadre. Il peut être compris comme la recherche d'une structure de représentation qui donne lieu à cette manifestation. Pour certains auteurs (Fred Dretske, Michael Tye et dautres), des conditions particulières dans la représentation directe de l'objet y suffisent, pour d'autres (en particulier David Rosenthal) il y faut une méta-représentation de l'objet sous certaines conditions. Ni l'une ni l'autre de ces structures ne s'avère cependant suffisante pour justifier la démarcation entre états mentaux conscients et inconscients, et pour caractériser la phénoménalité de la conscience. En prenant alors au sérieux l'intuition forte d'auto-référentialité de la conscience (présente déjà chez Aristote - suivant certaines interprétations -, reprise par Brentano, Sartre, et ces dernières années, par Uriah Kriegel et plusieurs autres), on est conduit à proposer, pour les états mentaux conscients, une structure d'auto-représentation (de la représentation) de l'objet qui sous-tend une intentionnalité consciente duale dirigée vers l'objet et en même temps vers elle-même. on résout ainsi les problèmes de la théorie méta-représentationnelle, mais il faut monter que ce schéma est intelligible, que le risque de régression à l'infini dans les capacités repésentationnelles de la conscience n'existe pas, et que de robustes intuitions sont ainsi éclairées, telles que la structuration du champ conscient entre premier plan et arrière-plan, et le lien entre conscience d'arrière plan, ou marginale, et conscience de soi. Ce lien dérive du fait que la conscience marginale, dans la perspective de l'auto-représentation, est la conscience de la conscience d'objet, et se qualifie aussi comme conscience subjective, c'est à dire conscience "pour moi" de l'objet. Et la conscience de soi se construit à partir des épisodes de conscience subjective. L'étude du rapport entre structures de représentation mentale consciente et configurations neuronales spatio-temporelles qui les produisent dans le cerveau est hors du domaine du présent travail, mais la présence nécessaire de ces relations demeure à l'arrière-plan, et affleure dans la réflexion quand cela peut être éclairantThis work illustrates a version of the self-representational theory of consciousness. If one accepts on the one hand the notion of mental states that have a given content - conscious or unconscious - and on the other hand the plausible hypothesis that the content of all mental states consists in a representation, then the problem of the manifestation of consciousness for (the content of) SOME states becomes intelligible within this frame. This problem can be understood as the research of the representational structure which gives rise to this manifestation. For some authors ( Fred Dretske, Michael Tye, and others) certain particular conditions in the direct representation of the object are sufficient, for others (particularly David Rosenthal) a meta-representation is necessary, under given conditions. However neither of those structures results sufficient to justify the demarcation between conscious and unconscious states and to characterize the phenomenality of consciousness. If one then takes seriously into account the strong intuition of self-referentiality of consciousness (already present in Aristotle - following some interpretations -, taken up again by Brentano, Sartre, and lately by Uriah Kriegel and several others) one is conducted to propose a self-representational structure for conscious mental states which involves a dual conscious intentionality targeting the object and itself at the same time. The problems of the meta-representational theory are thus resolved, but it remains to be shown that this scheme is intelligible, that the risk of infinite regress of the representing capacity of consciousness does not exist, and that strong intuitions are thus acknowledged : such as the distinction in the conscious field between foreground and background, and the link between background, or marginal consciousness, and self consciousness. Within the self-representational view, this link originates from the fact that marginal consciousness is the consciousness of the consciousness of the object, and qualifies itself as subjective consciousness, that is to say, consciousness "for me" of the object. Self consciousness is then constructed from the episodes of subjective consciousness. The relationship between conscious mental representational structures and the spatio-temporal neuronal configurations which produce them in the brain, is outside the domain of the present work, but it is necessarily present in the background, and it is considered when useful for the argument
18
Ahn, Yun-Kang. "L'analyse musicale computationnelle : rapport avec la composition, la segmentation et la représentation à l'aide de graphes". Phd thesis, Université Pierre et Marie Curie - Paris VI, 2009. http://tel.archives-ouvertes.fr/tel-00447778.
Abstract (sommario):
Ce travail est axé autour de l'analyse assistée par ordinateur, dans un cadre musicologique ciblant la musique contemporaine. Une approche computationnelle de l'analyse musicale pose la question de sa modélisation et de sa formalisation, puisque touchant à une activité souvent empirique et dont la pratique n'est pas définie à l'aide de normes communes. Cette question implique la mesure de l'importance de la représentation graphique dans l'interprétation analytique. Face au rôle croissant de la représentation, nous nous intéressons d'une part à la manière dont elle relie l'analyse et la composition en proposant, à partir d'une analyse connue des Structures IA de Pierre Boulez réalisée par le compositeur György Ligeti, des modèles de machinerie informatique en vue de générer des pièces musicales sous deux interfaces, OpenMusic et Rubato. Parmi ces deux environnements de programmation visuelle, le second se base sur un puissant paradigme mathématique reposant sur la théorie des catégories. Ce paradigme constitue également une base pour modéliser les K-réseaux, outil d'analyse reposant sur des graphes décrivant les relations entre les notes. Ces relations sont formalisées dans la Set Theory d'Allen Forte qui propose une méthode de classification des structures musicales à partir des douze hauteurs de la gamme chromatique occidentale. Une application de ces réseaux et plus généralement l'apport des structures de graphe est abordée ensuite dans la modélisation de l'analyse d'une autre pièce, le Klavierstück III de Karlheinz Stockhausen : cette analyse a été faite par le théoricien David Lewin en deux étapes que nous étudierons dans leurs aspects à la fois computationnel et d'interface-homme machine. En premier lieu, la segmentation, non expliquée par l'analyste, fait l'objet d'une reconstitution dans laquelle nous tentons de la retrouver par le biais d'une exploration dans un ensemble de segmentations possibles. Il s'agit ainsi non seulement de reconstituer mais également de voir s'il est possible de la dépasser et l'améliorer selon des critères comme la couverture de la partition. Nous verrons dans ce cadre si les K-réseaux peuvent affiner cette analyse et en constituer un angle d'attaque pertinent. En second lieu, Lewin organise ses segments selon un réseau qui ne suit plus un quelconque agencement chronologique mais une disposition spatiale qui offre un nouveau parcours de la pièce. Cette difficulté s'inscrit dans le contexte plus général de la sélection et de la formation d'un graphe décrivant la structure d'une oeuvre musicale, que nous envisageons à l'intérieur du problème de l'utilisation d'un réseau en analyse computationnelle.
19
Bresch, Didier. "Etude et réalisation d'un outil logiciel de modélisation et de simulation de systèmes automatiques utilisant la représentation des graphes à liens". Mulhouse, 1986. http://www.theses.fr/1986MULH0011.
Abstract (sommario):
On montre qu'en utilisant un langage de description graphique universel, il est possible de décrire n'importe quel système dynamique. Ce langage de modélisation est celui des graphes à liens qui présente des similitudes avec les graphes de fluence. On montre qu'avec le langage des graphes à liens tout système linéaire peut être synthétisé à partir de 7 éléments fondamentaux : la capacitance, l'inertance, la résistance, le transformateur, le gyrateur, l'élément de jonction série et parallèle. On propose une méthode de transformation rationnelle et universelle d'un modèle graphique d'un système dynamique multivariable en modèle mathématique utilisant les variables d'état physiques. Le logiciel se présente en 3 parties: après une phase d'expansion des macros et d'édition des liens entre les modules, le graphe final est analysé, la syntaxe et la cohérence des associations d'éléments sont vérifiées. à ce stade on applique la procédure de formulation automatique du modèle en équations d'états; la troisième partie concerne l'exploitation du modèle mathématique
20
Labbé, Cyril. "Flots stochastiques et représentation lookdown". Phd thesis, Université Pierre et Marie Curie - Paris VI, 2013. http://tel.archives-ouvertes.fr/tel-00874551.
Abstract (sommario):
Cette thèse est consacrée à l'étude de quelques propriétés mathématiques de deux modèles de population : le processus Fleming-Viot généralisé d'une part et le processus de branchement d'autre part. Dans les deux cas, la population est composée d'une infinité d'individus, chacun étant caractérisé par un type génétique. Au cours du temps les fréquences asymptotiques de ces types évoluent de façon aléatoire au travers d'événements de reproduction où un individu tiré aléatoirement donne naissance à une descendance portant le même type génétique. Mathématiquement ces deux modèles sont décrits par des processus aléatoires à valeurs mesures. Afin de donner un sens à la généalogie de la population sous-jacente, plusieurs approches ont été proposées au cours des quinze dernières années. La contribution principale de cette thèse consiste en l'unification de deux constructions : la représentation lookdown définie par Peter Donnelly et Thomas Kurtz en 1999 et les flots stochastiques de ponts (ou de subordinateurs) introduits au début des années 2000 par Jean Bertoin et Jean-François Le Gall. Cette unification nécessite l'introduction d'objets nouveaux (les Eves, les flots stochastiques de partitions) et repose sur une étude fine des comportements asymptotiques des deux modèles mentionnés précédemment. En particulier, nous définissons la propriété d'Eve comme suit : si la fréquence asymptotique d'un type génétique tend vers $1$ lorsque $t$ devient grand alors la population descend asymptotiquement d'un seul individu au temps initial, appelé l'Eve de la population. Dans le cas des processus de branchement nous obtenons une condition nécessaire et suffisante sur le paramètre du modèle (aussi appelé mécanisme de branchement) qui assure que cette propriété d'Eve est vérifiée. Nous obtenons également une classification complète de tous les autres comportements possibles. Dans le cas des processus Fleming-Viot généralisés, nous obtenons une classification partielle des comportements possibles en fonction du paramètre du modèle. Enfin, lorsque la propriété d'Eve est vérifiée, nous construisons de façon trajectorielle la représentation lookdown à partir d'un flot stochastique de ponts (ou de subordinateurs). Nous présentons également une étude complète du processus de branchement explosif conditionné à la non-explosion et faisons apparaître une famille infinie de mesures quasi-stationnaires pour ce processus. Finalement nous nous intéressons au processus des longueurs du coalescent de Kingman dynamique et présentons une construction alternative à celle de Pfaffelhuber, Wakolbinger et Weisshaupt.
21
Amilhastre, Jerome. "Représentation par automate d'ensemble de solutions de problèmes de satisfaction de contraintes". Montpellier 2, 1999. http://www.theses.fr/1999MON20027.
Abstract (sommario):
L'utilisation des problemes de satisfaction de contraintes (csp) dans certaines applications a mis en evidence la necessite d'etendre aussi bien le formalisme que le champ des questions traitees. Le calcul et la representation de l'ensemble des solutions est une reponse possible a ces nouveaux besoins. Nous proposons une representation par automates d'etats finis (fa) non deterministes qui generalise la representation par fa deterministes due a vempaty. Nous nous interessons a la minimisation des fa non deterministes, probleme qui reste np-difficile sur la classe des langages associes aux ensembles de solutions de csp : langages finis composes de mots de meme longueur. Nous etudions le probleme de recouvrement minimum par bicliques de graphes bipartis qui est equivalent au probleme de minimisation de fa reconnaissant uniquement des mots de longueur 2. Nous proposons une nouvelle classe polynomiale pour ce probleme et exhibons une propriete combinatoire qui pourrait impliquer la polynomialite des differentes classes polynomiale connues. En utilisant le lien existant entre minimisation de fa et recouvrement de bipartis, nous proposons un processus general de minimisation de fa qui repose sur le calcul d'une serie de recouvrements de graphes bipartis issus du fa. Les proprietes generales de ce processus sont etudiees et trois heuristiques differentes sont proposees. Les experimentations effectuees montrent un gain significatif par rapport a un codage par mdfa. L'influence de l'ordre choisi sur les variables sur la taille du mdfa representant un csp est etudiee : nous proposons une borne sur la taille du plus petit mdfa representant un csp ainsi qu'une etude experimentale d'heuristiques d'ordonnancement des variables. Nous proposons des algorithmes specifiques a nos automates pour la realisation des differentes etapes necessaires a la construction d'un petit fa reconnaissant l'ensemble des solutions d'un csp.
22
Samuel, Emilie. "Recherche de motifs dans des images : apport des graphes plans". Phd thesis, Université Jean Monnet - Saint-Etienne, 2011. http://tel.archives-ouvertes.fr/tel-00719187.
Abstract (sommario):
La reconnaissance de formes s'intéresse à la détection automatique de motifs dans des données d'entrée, afin de pouvoir, par exemple, les classer en catégories. La matière première de ces techniques est bien souvent l'image numérique. Cette dernière, dans sa forme la plus courante, est codée sous la forme d'une matrice de pixels. Néanmoins, la question du développement de représentations plus riches se pose. Ainsi, la structuration de l'information contenue dans l'image devrait permettre la mise en évidence des différents objets représentés, et des liens les unissant. C'est pourquoi nous proposons de modéliser les images numériques sous forme de graphes, pour leur richesse et expressivité d'une part, et pour exploiter les résultats de la théorie des graphes en reconnaissance de formes d'autre part. Nous développons pour cela une méthode d'extraction de graphes plans à partir d'images, basée sur le respect de la sémantique. Nous montrons que nous pouvons, étant donné un graphe, reconstruire avec perte limitée l'image d'origine. Par la suite, nous introduisons les graphes plans à trous, graphes dont les faces peuvent être visibles ou invisibles. Leur justification trouve sa place dans la recherche de motifs notamment, pour laquelle les éléments constituant l'arrière-plan d'une image ne doivent pas être retrouvés. En dirigeant notre attention sur la planarité de ces graphes, nous proposons des algorithmes polynomiaux d'isomorphisme de graphes plans et de motifs ; nous traitons également leur équivalence, qui se trouve être un isomorphisme aux faces invisibles près
23
Sallaberry, Arnaud. "Visualisation d'information : de la théorie sémiotique à des exemples pratiques basés sur la représentation de graphes et d'hypergraphes". Phd thesis, Université Sciences et Technologies - Bordeaux I, 2011. http://tel.archives-ouvertes.fr/tel-00646397.
Abstract (sommario):
La visualisation d'information est une discipline récente en pleine expansion et qui a pour objet l'étude des méthodes de représentation visuelle de données abstraites, c'est-à-dire non géolocalisées. La sémiotique est quant à elle une discipline beaucoup plus ancienne (fin du XIXième siècle) qui s'intéresse aux divers systèmes de signes nécessaires aux processus de communication. A ce jour, peu de travaux ont été réalisés pour mettre en parallèle ces deux disciplines. C'est pourquoi le premier chapitre de cette thèse est dédié à l'étude de la visualisation d'information selon les paradigmes élaborés par son ainée tout au long du XXième siècle. Nous montrons en particulier comment l'un des modèles les plus aboutis de validation de visualisations (modèle imbriqué de Tamara Munzner) correspond au processus d'étude sémiotique d'énoncés. Le second chapitre est consacré à la visualisation de graphe, outil de modélisation puissant de divers ensembles de données abstraites. Nous proposons d'une part une application permettant de visualiser et de naviguer à travers les pages Internet retournées par un moteur de recherche et d'autre part un algorithme de visualisation de hiérarchies dynamiques sous forme de "cartes géographiques". Enfin, nous évoquons dans le troisième chapitre un autre outil de modélisation de données abstraites : les hypergraphes. Nous proposons des résultats théoriques concernant leur représentation et donnons une ébauche de solution permettant de les visualiser.
24
Jacquelinet, Christian. "Modélisation du langage naturel et représentation des connaissances par graphes conceptuels : applications au domaine de l'information médicale". Rennes 1, 2002. http://www.theses.fr/2002REN1B060.
Abstract (sommario):
Cette thèse aborde la compréhension automatique du langage médical comme un problème de modélisation. Elle se place dans le champ de l'intelligence artificielle et des sciences cognitives appliquées à la médecine. Elle se focalise sur l'étape initiale du processus de compréhension : la transformation d'un énoncé en une structure supposée en supporter la signification. Un modèle sémiotique est proposé pour cette transformation qui opère à partir de l'énoncé une extraction de connaissances. Elle débute par une phase d'analyse lexicale qui aboutit à la transduction des signes lexicaux de l'énoncé en atomes de connaissance appelés des " signes cognitifs ". Ceux-ci sont ensuite assemblés au cours d'une phase de synthèse cognitive selon des règles de contraintes pour former une structure à type de graphe. Un unique formalisme, dérivé des graphes conceptuels, est utilisé pour la représentation des connaissances lexicales, syntaxiques, sémantiques ou référentielles et pour la représentation des règles de contraintes qui sont enregistrées au sein d'un réseau sémiotique. Ce modèle est implanté en un prototype opérationnel dénommé RIBOSOME. Deux champs d'application sont expérimentés : l'analyse de libellés de maladies issus de thesaurus différents en vue de l'organisation d'une ontologie pour le domaine de la transplantation et des défaillances terminales d'organe, et la prise en compte du contexte et de la polysémie pour le traitement automatique du langage médical.
25
Auillans, Pascal. "Modélisation de réseaux sémantiques par des hypergraphes et applications". Bordeaux 1, 2005. http://www.theses.fr/2005BOR12966.
Abstract (sommario):
Les évolutions du Web, prévues par le W3C, doivent favoriser le déploiement de services de meilleure qualité. Pour cela, la nouvelle architecture intègre un système de représentation de connaissances appelé Web Sémantique qui constitue la mise en oeuvre d'un modèle théorique reposant sur la logique descriptive. Cette thèse, dont les recherches s'appliquent plus particulièrement au système de représentation de connaissances Topic Maps, a pour objectif de proposer une alternative à l'utilisation de la logique descriptive. Nous montrerons l'intérêt d'une structuration fondée sur la théorie des graphes dans le domaine de la représentation de connaissances. Cette thèse s'est inscrite, à l'origine, dans le cadre du projet européen KePT ayant pour objectif la mise en place, pour l'application ITM de la société Mondeca, d'un environnement de visualisation de connaissances organisées selon la norme ISO 13250 Topic Maps. Les recherches sur le fractionnement de graphes menées dans le cadre du projet KePT ont montré le besoin d'une meilleure compréhension des topic maps et d'outils adaptés à la mise en oeuvre de traitements efficaces. Ces besoins nous ont conduit à proposer un modèle formel fondé sur la théorie des graphes qui permet notamment l'expression de propriétés structurelles non exprimables par la logique du premier ordre. Outre son adaptation à des études théoriques, ce modèle formel permet l'adaptation d'algorithmes efficaces de la théorie des graphes à la mise en place de traitements difficilement envisageables auparavant dans une application industrielleThe goal of the Web evolutions planned by the W3C is to enable the improvement of web services quality. To this end, W3C has added to the Web architecture a knowledge management system named Semantic Web, which implements a theoretical model relying on descriptive logic. This thesis, of which researches are more specifically applied to another knowledge representation system named Topic Maps, aims to rovide an alternative to the use of descriptive logic. We will show how graph theory can be used to structure the knowledge, hence benefit to the field of knowledge representation. This thesis initialy stands within the european project KePT, which aimed to implement a visualization interface for knowledge, structured according to the norm ISO 13250 Topic Maps, in Mondeca's ITM application. Research on graph clustering made for this project raised the need of both a better understanding of the topic maps structure, and tools that enable implementation of efficient processing. Therefore, we propose a formal model relying on graph theory that enables to express structural properties, beyond the expressive power of first order logic. Our model is not only suited for theoretical studies, but also for the adaptation of fast graph theory algorithms to knowledge processing. These processing were previously hardly implementable in industrial applications
26
Leclère, Michel. "Les connaissances du niveau terminologique du modèle des graphes conceptuels : construction et exploitation". Montpellier 2, 1995. http://www.theses.fr/1995MON20257.
Abstract (sommario):
Le modele des graphes conceptuels permet la representation de connaissances par la description de concepts et de relations entre ces concepts. On peut distinguer plusieurs niveaux de connaissance: un niveau terminologique, un niveau assertionnel, un niveau regles cette these est consacree au niveau fondamental, le niveau terminologique. Nous exposons un ensemble de protocoles cooperatifs d'aide a la construction des taxinomies de types de concepts et de relations. Certains des types de ces taxinomies peuvent etre definis. Nous proposons d'utiliser le raisonnement par classification pour introduire ces types dans leur taxinomie. Un algorithme de projection, operation fondamentale du modele des graphes conceptuels, est presente. Cette operation permet la comparaison des types definis lors de la classification. Enfin, nous nous interessons a la possibilite d'introduire des types partiellement definis dans les taxinomies et a la prise en compte des types definis dans les raisonnements effectues au niveau assertionnel
27
Attali, Dominique. "Squelettes et graphes de Voronoï 2D et 3D". Phd thesis, Université Joseph Fourier (Grenoble), 1995. http://tel.archives-ouvertes.fr/tel-00346066.
Abstract (sommario):
Notre travail concerne l'étude, le calcul et la simplification des squelettes d'objets 2D et 3D. Le squelette d'un objet est une figure mince, centrée dans la forme et qui en résume l'aspect. Il est utile pour la description et la reconnaissance de formes, la quantification, la mise en correspondance, etc. Dans un premier temps, nous recensons les différentes techniques de calcul du squelette. La très grande majorité d'entre elles travaille sur des images binaires avec des outils de la géométrie discrète. Or, dernièrement, une nouvelle famille de méthodes, appelées méthodes continues a vu le jour. Le squelette est approché à l'aide du graphe de Voronoï d'un échantillonnage de la frontière, et se calcule par des moyens propres à la géométrie algorithmique. Notre intérêt s'est porté sur cette nouvelle approche et les problèmes qui s'y rattache. Pour commencer, nous proposons une formulation des méthodes continues à l'aide du squelette d'une union finie de sphères. En effet, nous montrons que le squelette d'une union finie de sphères se construit de façon exacte à l'aide d'éléments très simples comme des segments de droite en 2D et des polygones en 3D. La construction du squelette nécessite de pouvoir interpoler par des facettes triangulaires un ensemble de points localisés sur la frontière d'un objet. Nous proposons une méthode, fondée sur le calcul du graphe de Delaunay et dont nous montrons la convergence en 2D. Enfin, des méthodes de simplification du squelette sont présentées. Elles permettent de sélectionner les branches correspondant à des renflements significatifs de la forme et conduisent en 3D soit à des squelettes surfaciques, soit à des squelettes filiformes selon les besoins de l'utilisateur. Pour finir, nous décrivons une application qui valide notre approche, et l'illustre sur des données biologiques
28
Doumbouya, Mamadou Bilo. "Système d'argumentation pour la collaboration en télémédecine". Thesis, Toulouse 1, 2016. http://www.theses.fr/2016TOU10030/document.
Abstract (sommario):
La télémédecine consiste en la pratique d’actes médicaux à distance par l’usage des nouvelles technologies de l’information et de la communication. Parmi ces actes médicaux, nous nous sommes intéressés à la téléexpertise qui est une sorte d’activité collaborative consistant aux recueils d’avis d’experts médicaux face à un problème de santé donné. Dans notre travail, nous avons fait le choix de modéliser ces activités collaboratives par le système d’argumentation de Dung basé sur des fondements mathématiques et qui permet d’illustrer les interactions entre les différentes parties prenantes et par la même occasion fournir des outils mathématiques de prises de décisions. Nous avons opté pour une modélisation sémantique avec des graphes conceptuels car l’un de nos objectifs est de garantir une interopérabilité sémantique. Cette modélisation peut inclure souvent des incohérences (mauvaises relations d’attaques dans le système d’argumentation) qui seront vérifiées par l’usage des contraintes en graphes conceptuels. Pour résoudre ces problèmes d’incohérences deux solutions majeures ont été proposées : (i) la pondération des arguments des différents professionnels de santé, (ii) la modélisation de quelques aspects de droit médical comme contraintes. Ce travail démontre une application informatique du raisonnement logique dans un cadre médical judiciaire où il apporte des éclairages sur la vérification d’information, l’argumentation et l’interaction. Il vise ainsi à garantir une bonne collaboration dans le but de se prémunir d’éventuelles conséquences financières et juridiquesTelemedicine involves the practice of medical procedures remotely through the use of new information and communications technology. Among these medical procedures, we looked at the tele-expertise which is a kind of collaborative activity consisting of collecting the opinions of medical experts facing a particular health problem. In our work, we have chosen to model these collaborative activities by Dung argumentation system based on mathematical foundations and illustrates the interactions between the different stakeholders and at the same time provides mathematical tools decisions. We opted for a semantic modeling with conceptual graphs as one of our objectives is to ensure semantic interoperability. This modeling can often include inconsistencies (poor relations of attacks in argumentation system) which will be verified by the use of constraints in conceptual graphs. To solve these inconsistency problems, two major solutions have been proposed : (i) the weight of the arguments of different health professionals, (ii) modeling some aspects of medical law as constraints. This work demonstrates a computer application of logical reasoning in a judicial medical setting where it sheds light on the verification of information, argumentation and interaction. It aims to ensure good cooperation in order to guard against possible financial and legal consequences
29
Tognetti, Yannick. "Contribution à la modélisation des systèmes d'information chimique par la théorie et l'algorithmique de graphes". Montpellier 2, 2002. http://www.theses.fr/2002MON20182.
30
Daniel-Vatonne, Marie-Christine. "Les termes : un modèle de représentation et structuration de données symboliques". Montpellier 2, 1993. http://www.theses.fr/1993MON20031.
Abstract (sommario):
Nos travaux se situent dans le cadre de l'analyse conceptuelle des donnees. Notre objectif est de generaliser les representations par variables binaires ou nominales en y adjoignant la modelisation de structures internes. Le probleme est de ne pas perdre en complexite algorithmique ce qui est gagne en puissance de representation. Selon ces considerations, decrire les donnees et les classes de donnees par des structures arborescentes est un bon compromis. Le systeme de representation que nous proposons s'appuie sur un modele algebrique: les magmas. Il permet de construire des termes assimilables a des arborescences finies, etiquetees et typees. Leur interpretation est intuitive et ils autorisent les descriptions recursives. Une relation d'ordre naturel, la generalisation, induit un treillis sur les termes. Nous etudions ce treillis et montrons qu'il possede des proprietes proches de celles d'un treillis booleen. En particulier, nous montrons que l'on peut construire un treillis de galois mettant en correspondance des ensembles d'objets et leur description par des termes
31
Raimbault, Thomas. "Transition de modèles de connaissances : un système de connaissance fondé sur OWL, graphes conceptuels et UML". Phd thesis, Nantes, 2008. https://archive.bu.univ-nantes.fr/pollux/show/show?id=4ef8d797-9884-4506-8973-e5bc095e2459.
Abstract (sommario):
La thèse soutenue est que l'utilisation conjointe de plusieurs modèles de connaissances pour représenter des connaissances et raisonner permet de modéliser élégamment des connaissances et de résoudre des problèmes complexes. Cette thèse propose des transitions de modèles entre les modèles de connaissances OWL, Graphes Conceptuels et UML. L'originalité de cette thèse réside en la modélisation centralisée de connaissances au sein d'un système de connaissance et en l'action de faire transiter ces connaissances d'un modèle à un autre du système au fur et à mesure des besoins exigés par la modélisation et les raisonnements. L'objectif principal de ces transitions de modèles de connaissances est double. D'une part, il s'agit de bénéficier de manière relativement aisée des différences d'expressivités entre les modèles et ainsi aboutir à un système de connaissance au pouvoir expressif fort. D'autre part, cela permet lors de la conception et l'exploitation d'une modélisation, d'utiliser les modèles qu'on connaît ou les mieux adaptés. Les outils de chaque modèle peuvent ainsi être utilisés sur les connaissances obtenues, offrant une complémentarité d'utilisation de ces modèlesThe purpose of this thesis is using multiple knowledge models for representating knowledge and reasoning on this represented knowledge. This thesis proposes transitions between several knowledge models\string: OWL, Conceptual Graphs and UML. The originality of this thesis lies both in the centralized modeling knowledge within a knowledge system and in action to pass this knowledge from one model to another of system as needs required by modeling and reasoning. The main goal of these transitions knowledge models is twofold. On the one hand, it is to benefit from relatively easy using expressiveness of models to obtain as result a strong expressive power. On the other hand, it helps in the design and operation of a modeling, using best knowed models or best suited models. The tools of each model can then be used on represented knowledge, providing complementary use of these models
32
Espinasse, Thibault. "Champs et processus gaussiens indexés par des graphes, estimation et prédiction". Toulouse 3, 2011. http://thesesups.ups-tlse.fr/1578/.
Abstract (sommario):
L'objet de cette thèse est l'étude de processus gaussiens indexés par des graphes. Le but est de fournir des outils pour la modélisation, l'estimation, et la prédiction de tels champs ou processus, utilisant fortement la structure du graphe. Dans un premier travail, nous nous intéressons au problème de prédiction aveugle de séries chronologiques et montrons que le biais de l'erreur de prédiction décroît à une vitesse qui dépend de la régularité de la densité spectrale, sous une hypothèse de courte mémoire. Nous utilisons ensuite la structure spectrale du graphe pour proposer des modèles de covariance pour des champs gaussiens indexés par ce graphe. Cela fournit immédiatement une représentation spectrale, qui permet d'étendre l'approximation de Whittle et l'estimation par quasi-maximum de vraissemblance à ce cadre. Enfin, cette constructionet le lemmede Szegöpeuventêtre étendus au cas spatiotemporel. Cela permet de mettre en pratique la théorie sur des données réellesIn this work, westudy Gaussian processes indexed by graphs. Weaim at providing tools for modelisation, estimation, and prediction, that uses the structure of the underlying graphs. In the first Chapter,we deal with the blind prediction problem, and compute, in the case of short range dependancy, the rate of convergence of the bias in the prediction error. This rate depends on the regularity of the spectral density of the process. Then, we use the eigenstructure of the adjacency operatorofa graphto propose some models for covariance operators of Gaussian fields indexedby this graph. It leads to aspectral representation for this operator, that can be used to extend Whittle approximation, and quasi-maximum likelihoo destimation. Finally, this construction may be extended to the spatio-temporal case, where the Szegö lemma still holds
33
Oshurko, Ievgeniia. "Knowledge representation and curation in hierarchies of graphs". Thesis, Lyon, 2020. http://www.theses.fr/2020LYSEN024.
Abstract (sommario):
L'extraction automatique des intuitions et la construction de modèles computationnels à partir de connaissances sur des systèmes complexes repose largement sur le choix d'une représentation appropriée. Ce travail s'efforce de construire un cadre adapté pour la représentation de connaissances fragmentées sur des systèmes complexes et sa curation semi-automatisé.Un système de représentation des connaissances basé sur des hiérarchies de graphes liés à l'aide d'homomorphismes est proposé. Les graphes individuels représentent des fragments de connaissances distincts et les homomorphismes permettent de relier ces fragments. Nous nous concentrons sur la conception de mécanismes mathématiques,basés sur des approches algébriques de la réécriture de graphes, pour la transformation de graphes individuels dans des hiérarchies qui maintient des relations cohérentes entre eux.De tels mécanismes fournissent une piste d'audit transparente, ainsi qu'une infrastructure pour maintenir plusieurs versions des connaissances.La théorie développée est appliquée à la conception des schémas pour les bases de données orientée graphe qui fournissent des capacités de co-évolution schémas-données.Ensuite, cette théorie est utilisée dans la construction du cadre KAMI, qui permet la curation des connaissances sur la signalisation dans les cellules. KAMI propose des mécanismes pour une agrégation semi-automatisée de faits individuels sur les interactions protéine-protéine en corpus de connaissances, la réutilisation de ces connaissances pour l'instanciation de modèles de signalisation dans différents contextes cellulaires et la génération de modèles exécutables basés sur des règlesThe task of automatically extracting insights or building computational models fromknowledge on complex systems greatly relies on the choice of appropriate representation.This work makes an effort towards building a framework suitable for representation offragmented knowledge on complex systems and its semi-automated curation---continuouscollation, integration, annotation and revision.We propose a knowledge representation system based on hierarchies of graphs relatedwith graph homomorphisms. Individual graphs situated in such hierarchies representdistinct fragments of knowledge and the homomorphisms allow relating these fragments.Their graphical structure can be used efficiently to express entities and their relations. Wefocus on the design of mathematical mechanisms, based on algebraic approaches to graphrewriting, for transformation of individual graphs in hierarchies that maintain consistentrelations between them. Such mechanisms provide a transparent audit trail, as well as aninfrastructure for maintaining multiple versions of knowledge.We describe how the developed theory can be used for building schema-aware graphdatabases that provide schema-data co-evolution capabilities. The proposed knowledgerepresentation framework is used to build the KAMI (Knowledge Aggregation and ModelInstantiation) framework for curation of cellular signalling knowledge. The frameworkallows for semi-automated aggregation of individual facts on protein-protein interactionsinto knowledge corpora, reuse of this knowledge for instantiation of signalling models indifferent cellular contexts and generation of executable rule-based models
34
Rolland, Franck. "Représentation tridimensionnelle et reconstruction 3D à partir de coupes 2D". Phd thesis, Grenoble 1, 1991. http://tel.archives-ouvertes.fr/tel-00339648.
Abstract (sommario):
L'objectif des travaux présentés dans ce mémoire est la représentation de formes tridimensionnelles ainsi que la reconstruction tridimensionnelle a partir de coupes sériées. Après avoir défini le cadre exact de la reconstruction tridimensionnelle a partir de coupes sériées, le premier chapitre analyse les différentes étapes et les méthodes généralement employées pour effectuer cette reconstruction. Les chapitre 2 et 3 s'attachent a la description et a la représentation de formes tant bidimensionnelles que tridimensionnelles. Le chapitre 3 developpe ainsi une methode de squelettisation tridimensionnelle permettant d'obtenir un squelette filaire. Le chapitre 4 est consacre a la description de deux méthodes de reconstruction tridimensionnelle opérant par inférence de formes. La methode utilisant l'inférence structurelle de graphes de la ligne médiane est ensuite développée. Elle passe par une nécessaire étape, chapitre 5, de mise en correspondance de graphes de la ligne médiane. Différentes méthodes de mise en correspondance sont présentées, finalement la methode procédant par recherche de cliques dans un graphe est développée. La construction du graphe de mise en correspondance est tout d'abord présentée, ensuite la recherche de cliques est abordée a l'aide de méthodes heuristiques de parcours (recuit simule et algorithmes génétiques). Le chapitre 6 développe le processus d'inférence de graphes de la ligne médiane mis en œuvre, il permet d'inférer des coupes intermediaires qui sont empilées pour finalement donner le volume tridimensionnel recherche. Le chapitre 7 est consacre a la présentation des divers résultats et de leurs conséquences, il présenté aussi d'autres applications possibles des différentes techniques developpees
35
Gandon, Fabien. "Graphes RDF et leur Manipulation pour la Gestion de Connaissances". Habilitation à diriger des recherches, Université de Nice Sophia-Antipolis, 2008. http://tel.archives-ouvertes.fr/tel-00351772.
Abstract (sommario):
Le premier chapitre montre que nos scénarios d'usages sont issus de problèmes de capitalisation, de gestion et de diffusion de connaissances. Nous étudions donc des mémoires individualisées (rattachées à un utilisateur donné), organisationnelles (rattachées à une organisation, notamment une entreprise) ou plus généralement communautaires (rattachées à une communauté d'intérêt ou de pratique). Nous donnons dans le premier chapitre des contextes d'application de nos travaux que nous utiliserons comme des scénarios motivants pour les chapitres suivants. Nous y définissons aussi notre positionnement en représentation des connaissances, notamment pour ce qui est de la représentation d'une mémoire à base d'ontologies.Dans le deuxième chapitre, nous rappelons comment les formalismes à base de graphes peuvent être utilisés pour représenter des connaissances avec un degré variable de formalisation en fonction des besoins identifiés dans les scénarios d'application et des traitements à effectuer notamment pour la mise en place de webs sémantiques. Nous identifierons brièvement les caractéristiques de certains de ces formalismes qui sont utilisés dans nos travaux et les opportunités d'extensions qu'ils offrent. Nous synthétiserons aussi une initiative en cours pour factoriser la définition des structures mathématiques partagées par ces formalismes et réutiliser l'algorithmique des traitements communs à ces structures.
Dans le troisième chapitre nous expliquons que l'ontologie offre un support à d'autres types de raisonnement que la dérivation logique. Par exemple, la hiérarchie de notions contenue dans une ontologie peut être vue comme un espace métrique permettant de définir des distances pour comparer la proximité sémantique de deux notions. Nous avons mis en œuvre cette idée dans plusieurs scénarios comme l'allocation distribuée d'annotations, la recherche approchée ou le clustering. Nous résumons dans ce troisième chapitre diverses utilisations que nous avons faites des distances sémantiques et discutons notre position sur ce domaine. Nous donnons les scénarios d'utilisation et les distances utilisées dans un échantillon représentatif de projets que nous avons menés. Pour nous, cette première série d'expériences a permis de démontrer l'intérêt et le potentiel des distances, et aussi de souligner l'importance du travail restant à faire pour identifier et caractériser les familles de distances existantes et leur adéquation respective aux tâches pour lesquelles nos utilisateurs souhaitent être assistés.
Dans le quatrième chapitre, nous rappelons qu'un web sémantique, tel que nous en utilisons dans nos scénarios, qu'il soit public ou sur l'intranet d'une entreprise, repose généralement sur plusieurs serveurs web qui proposent chacun différentes ontologies et différentes bases d'annotations utilisant ces ontologies pour décrire des ressources. Les scénarios d'usage amènent souvent un utilisateur à formuler des requêtes dont les réponses combinent des éléments d'annotation distribués entre plusieurs de ces serveurs.
Ceci demande alors d'être capable :
(1) d'identifier les serveurs susceptibles d'avoir des éléments de réponse ;
(2) d'interroger des serveurs distants sur les éléments qu'ils connaissent sans surcharger le réseau;
(3) de décomposer la requête et router les sous-requêtes vers les serveurs idoines ;
(4) de recomposer les résultats à partir des réponses partielles.
Nous avons, avec le web sémantique, les briques de base d'une architecture distribuée. Le quatrième chapitre résume un certain nombre d'approches que nous avons proposées pour tenir compte de la distribution et gérer des ressources distribuées dans les webs sémantiques que nous concevons.
Les ontologies et les représentations de connaissances sont souvent dans le cœur technique de nos architectures, notamment lorsqu'elles utilisent des représentations formelles. Pour interagir avec le web sémantique et ses applications, le cinquième chapitre rappelle que nous avons besoin d'interfaces qui les rendent intelligibles pour les utilisateurs finaux. Dans nos systèmes d'inférences des éléments de connaissances sont manipulés et combinés, et même si les éléments de départ étaient intelligibles, l'intelligibilité des résultats, elle, n'est pas préservée par ces transformations.
Actuellement, et dans le meilleur des cas, les concepteurs d'interfaces mettent en œuvre des transformations ad hoc des structures de données internes en représentations d'interface en oubliant souvent les capacités de raisonnement que pourraient fournir ces représentations pour construire de telles interfaces. Dans le pire des cas, et encore trop souvent, les structures de représentation normalement internes sont directement mises à nu dans des widgets sans que cela soit justifié et, au lieu d'assister l'interaction, ces représentations alourdissent les interfaces.
Puisqu'elles reçoivent les contributions d'un monde ouvert, les interfaces du web sémantique devront être, au moins en partie, générées dynamiquement et rendues pour chaque structure devant rentrer en contact avec les utilisateurs. Le cinquième et dernier chapitre souligne cette opportunité croissante d'utiliser des systèmes à base d'ontologies dans l'assistance aux interactions avec nos utilisateurs.
36
Lhomme, Walter. "Gestion d'énergie de véhicules électriques hybrides basée sur la représentation énergétique macroscopique". Lille 1, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-Lhomme.pdf.
Abstract (sommario):
La résolution du problème de pollution est l'un des défis du XXIème siècle. Ces dernières années ont vu un développement important de Véhicules Électriques Hybrides (VEHs) qui allient les avantages des propulsions thermique (autonomie) et électrique (faible pollution). Le système embarqué est de plus en plus complexe car il multiplie les éléments de conversion énergétique ainsi que les couplages. L'objectif de ce travail est de proposer une méthodologie d'étude de VEHs pour en déduire des règles de commande (gestion locale de l'énergie) et de stratégie (gestion globale de l'énergie). Nous avons utilisé la Représentation Énergétique Macroscopique (REM), qui décrit de manière synthétique des systèmes complexes et leur commande, basée sur le principe d'action et de réaction des éléments connectés. Trois types de véhicules ont ainsi été étudiés, les architectures hybrides série, parallèle et mixte. La REM permet de mettre en avant les nœuds énergétiques des VEHs étudiés. En se basant sur l'exploitation des contraintes et propriétés énergétiques des sous systèmes associés, l'inversion de ces couplages fait apparaître, au sein de la structure de commande locale, les divers degrés de liberté qui mènent à l'articulation de la gestion globale de l'énergie des architectures étudiées. De part la complexité et la multidisciplinarité des véhicules hybrides, ce travail a également participé à l'extension des travaux de formalisme pour la commande et la gestion d'énergie des systèmes à énergies réparties. De nombreux travaux sont en cours et restent à faire pour développer ce type de véhicule.
37
Lienhardt, Denis. "Exploitation de la représentation d'état linéaire : modélisation et simulation des systèmes non-linéaires décrits par le langage des graphes à liens". Mulhouse, 1989. http://www.theses.fr/1989MULH0112.
Abstract (sommario):
Réalisation d'un outil logiciel d'analyse des systèmes linéaires et de simulation des systèmes linéaires et non-linéaires. On utilise le formalisme des graphes à liens pour la description des systèmes
38
Samuel, Émilie. "Recherche de motifs dans des images : apport des graphes plans". Phd thesis, Université Jean Monnet - Saint-Etienne, 2011. http://tel.archives-ouvertes.fr/tel-00630439.
Abstract (sommario):
La reconnaissance de formes s'intéresse à la détection automatique de motifs dans des données d'entrée, afin de pouvoir, par exemple, les classer en catégories. La matière première de ces techniques est bien souvent l'image numérique. Cette dernière, dans sa forme la plus courante, est codée sous la forme d'une matrice de pixels. Néanmoins, la question du développement de représentations plus riches se pose. Ainsi, la structuration de l'information contenue dans l'image devrait permettre la mise en évidence des différents objets représentés, et des liens les unissant. C'est pourquoi nous proposons de modéliser les images numériques sous forme de graphes, pour leur richesse et expressivité d'une part, et pour exploiter les résultats de la théorie des graphes en reconnaissance de formes d'autre part. Nous développons pour cela une méthode d'extraction de graphes plans à partir d'images, basée sur le respect de la sémantique. Nous montrons que nous pouvons, étant donné un graphe, reconstruire avec perte limitée l'image d'origine. Par la suite, nous introduisons les graphes plans à trous, graphes dont les faces peuvent être visibles ou invisibles. Leur justification trouve sa place dans la recherche de motifs notamment, pour laquelle les éléments constituant l'arrière plan d'une image ne doivent pas être retrouvés. En dirigeant notre attention sur la planarité de ces graphes, nous proposons des algorithmes polynomiaux d'isomorphisme de graphes plans et de motifs ; nous traitons également leur équivalence, qui se trouve être un isomorphisme aux faces invisibles près.
39
Raimbault, Thomas. "Transition de modèles de connaissances - Un système de connaissance fondé sur OWL, Graphes conceptuels et UML". Phd thesis, Université de Nantes, 2008. http://tel.archives-ouvertes.fr/tel-00482664.
Abstract (sommario):
La thèse soutenue est que l'utilisation conjointe de plusieurs modèles de connaissances pour représenter des connaissances et raisonner permet élégamment de modéliser des connaissances et de résoudre des problèmes complexes. Cette thèse propose des transitions de modèles entre les modèles de connaissances OWL, Graphes Conceptuels et UML. L'originalité de cette thèse réside en la modélisation centralisée de connaissances au sein d'un système de connaissance et en l'action de faire transiter ces connaissances d'un modèle à un autre du système au fur et à mesure des besoins exigés par la modélisation et les raisonnements. L'objectif principal de ces transitions de modèles de connaissances est double. D'une part, il s'agit de bénéficier de manière relativement aisée des différences d'expressivités entre les modèles et ainsi aboutir à un système de connaissance au pouvoir expressif fort. D'autre part, cela permet lors de la conception et l'exploitation d'une modélisation, d'utiliser les modèles qu'on connaît ou les mieux adaptés. Les outils de chaque modèle peuvent ainsi être utilisés sur les connaissances obtenues, offrant une complémentarité d'utilisation de ces modèles.
40
Mokhtarian, Hossein. "Modélisation intégrée produit-process à l'aide d'une approche de métamodélisation reposant sur une représentation sous forme de graphes : Application à la fabrication additive". Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAI013/document.
Abstract (sommario):
La fabrication additive (FA) a initié un changement de paradigme dans le secteur de la conception et de la fabrication des produits grâce à ses capacités uniques. Cependant, l'intégration des technologies de fabrication additive dans la productique traditionnelle doit permettre d'assurer une production fiable et une qualité reproductible des pièces. Dans cette optique, la modélisation et la simulation jouent un rôle essentiel pour améliorer la compréhension de la nature complexe et multi-physique des procédés de fabrication additive. De plus, l’intégration simultanée de différents modèles multi-physiques et de la prise en compte du procédé utilisé et de la pièce constituent toujours un défi pour la modélisation de ces technologies. L’objectif final de cette recherche est de développer et d’appliquer une approche de modélisation permettant une modélisation intégrée de la fabrication additive. Cette thèse analyse le processus de développement du produit et présente une méthodologie innovante intitulée ‘Dimensional Analysis Conceptual Modeling’ (DACM) pour modéliser les produits et les procédés de fabrication aux différentes étapes de conception. La méthode a été développée pour permettre la simulation de modèles multi-physiques. Elle intègre également une recherche systématique de faiblesses et de contradictions dans une première évaluation des solutions potentielles au problème. La méthodologie développée est appliquée dans plusieurs études de cas afin de présenter des modèles intégrant les processus de fabrication additive et les pièces à fabriquer. Les résultats montrent que la méthodologie DACM permet de modéliser distinctement et simultanément le produit et le processus de fabrication. Cette méthodologie permet aussi d'intégrer les modèles théoriques et expérimentaux déjà existants. Elle contribue à la conception pour la fabrication additive et aide le concepteur à anticiper les limites des procédés et de la conception plus tôt dans les premières étapes de développement du produit. En particulier, cela permet de prendre les bonnes décisions selon les différentes possibilités d'optimiser la conception des pièces et le paramétrage des machines de fabrication additive pour aboutir à la solution la plus adaptée. La méthode permet également de détecter la nécessité de reconcevoir des machines existantes en détectant les faiblesses de celles-ci. Cette thèse montre que la méthode DACM peut être potentiellement utilisée comme une approche de méta-modélisation pour la fabrication additive.Mots-clés: Fabrication Additive, Conception Pour la Fabrication Additive, Modélisation Intégrée, Développement de Produit, Dimensional Analysis Conceptual Modeling FrameworkAdditive manufacturing (AM) has created a paradigm shift in product design and manufacturing sector due to its unique capabilities. However, the integration of AM technologies in the mainstream production faces the challenge of ensuring reliable production and repeatable quality of parts. Toward this end, Modeling and simulation play a significant role to enhance the understanding of the complex multi-physics nature of AM processes. In addition, a central issue in modeling AM technologies is the integration of different models and concurrent consideration of the AM process and the part to be manufactured. Hence, the ultimate goal of this research is to present and apply a modeling approach to develop integrated modeling in additive manufacturing. Accordingly, the thesis oversees the product development process and presents the Dimensional Analysis Conceptual Modeling (DACM) Framework to model the product and manufacturing processes at the design stages of product development process. The Framework aims at providing simulation capabilities and systematic search for weaknesses and contradictions to the models for the early evaluation of solution variants. The developed methodology is applied in multiple case studies to present models integrating AM processes and the parts to be manufactured. This thesis results show that the proposed modeling framework is not only able to model the product and manufacturing process but also provide the capability to concurrently model product and manufacturing process, and also integrate existing theoretical and experimental models. The DACM framework contributes to the design for additive manufacturing and helps the designer to anticipate limitations of the AM process and part design earlier in the design stage. In particular, it enables the designer to make informed decisions on potential design alterations and AM machine redesign, and optimized part design or process parameter settings. DACM Framework shows potentials to be used as a metamodeling approach for additive manufacturing
41
Raad, Joe. "Gestion d'identité dans des graphes de connaissances". Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLA028/document.
Abstract (sommario):
En l'absence d'une autorité de nommage centrale sur le Web de données, il est fréquent que différents graphes de connaissances utilisent des noms (IRIs) différents pour référer à la même entité. Chaque fois que plusieurs noms sont utilisés pour désigner la même entité, les faits owl:sameAs sont nécessaires pour déclarer des liens d’identité et améliorer l’exploitation des données disponibles. De telles déclarations d'identité ont une sémantique logique stricte, indiquant que chaque propriété affirmée à un nom sera également déduite à l'autre et vice versa. Bien que ces inférences puissent être extrêmement utiles pour améliorer les systèmes fondés sur les connaissances tels que les moteurs de recherche et les systèmes de recommandation, l'utilisation incorrecte de l'identité peut avoir des effets négatifs importants dans un espace de connaissances global comme le Web de données. En effet, plusieurs études ont montré que owl:sameAs est parfois incorrectement utilisé sur le Web des données. Cette thèse étudie le problème de liens d’identité erronés ou inappropriés qui sont exprimés par des liens owl:sameAs et propose des solutions différentes mais complémentaires. Premièrement, elle présente une ressource contenant la plus grande collection de liens d’identité collectés du LOD Cloud, avec un service Web à partir duquel les données et leur clôture transitive peuvent être interrogées. Une telle ressource a à la fois des impacts pratiques (elle aide les utilisateurs à trouver différents noms pour la même entité), ainsi qu'une valeur analytique (elle révèle des aspects importants de la connectivité du LOD Cloud). En outre, en s’appuyant sur cette collection de 558 millions liens d’identité, nous montrons comment des mesures de réseau telles que la structure de communauté du réseau owl:sameAs peuvent être utilisées afin de détecter des liens d’identité éventuellement erronées. Pour cela, nous attribuons un degré d'erreur pour chaque lien owl:sameAs en fonction de la densité de la ou des communautés dans lesquelles elles se produisent et de leurs caractéristiques symétriques. L'un des avantages de cette approche est qu'elle ne repose sur aucune connaissance supplémentaire. Finalement, afin de limiter l'utilisation excessive et incorrecte du owl:sameAs, nous définissons une nouvelle relation pour représenter l'identité de deux instances d’une classe dans un contexte spécifique (une sous-partie de l’ontologie). Cette relation d'identité s'accompagne d'une approche permettant de détecter automatiquement ces liens, avec la possibilité d'utiliser certaines contraintes expertes pour filtrer des contextes non pertinents. La détection et l’exploitation des liens d’identité contextuels détectés sont effectuées sur deux graphes de connaissances pour les sciences de la vie, construits en collaboration avec des experts du domaine de l’institut national de la recherche agronomique (INRA)In the absence of a central naming authority on the Web of data, it is common for different knowledge graphs to refer to the same thing by different names (IRIs). Whenever multiple names are used to denote the same thing, owl:sameAs statements are needed in order to link the data and foster reuse. Such identity statements have strict logical semantics, indicating that every property asserted to one name, will also be inferred to the other, and vice versa. While such inferences can be extremely useful in enabling and enhancing knowledge-based systems such as search engines and recommendation systems, incorrect use of identity can have wide-ranging effects in a global knowledge space like the Web of data. With several studies showing that owl:sameAs is indeed misused for different reasons, a proper approach towards the handling of identity links is required in order to make the Web of data succeed as an integrated knowledge space. This thesis investigates the identity problem at hand, and provides different, yet complementary solutions. Firstly, it presents the largest dataset of identity statements that has been gathered from the LOD Cloud to date, and a web service from which the data and its equivalence closure can be queried. Such resource has both practical impacts (it helps data users and providers to find different names for the same entity), as well as analytical value (it reveals important aspects of the connectivity of the LOD Cloud). In addition, by relying on this collection of 558 million identity statements, we show how network metrics such as the community structure of the owl:sameAs graph can be used in order to detect possibly erroneous identity assertions. For this, we assign an error degree for each owl:sameAs based on the density of the community(ies) in which they occur, and their symmetrical characteristics. One benefit of this approach is that it does not rely on any additional knowledge. Finally, as a way to limit the excessive and incorrect use of owl:sameAs, we define a new relation for asserting the identity of two ontology instances in a specific context (a sub-ontology). This identity relation is accompanied with an approach for automatically detecting these links, with the ability of using certain expert constraints for filtering irrelevant contexts. As a first experiment, the detection and exploitation of the detected contextual identity links are conducted on two knowledge graphs for life sciences, constructed in a mutual effort with domain experts from the French National Institute of Agricultural Research (INRA)
42
Allain, Pierre. "Analyse et synthèse de mouvements de foules par contrôle optimal". Lorient, 2012. http://www.theses.fr/2012LORIS257.
Abstract (sommario):
Depuis deux décennies, la compréhension des phénomènes de foules suscite un intérêt grandissant dans les domaines de la réalité virtuelle et de la vision par ordinateur en raison de l'accroissement démographique mondial et de l'urbanisation, mais aussi de la demande en réalisme dans l'industrie de l'infographie. Les mécanismes régissant la navigation d'individus ainsi que leurs interactions sont à l'heure actuelle encore mal compris, et sont le plus souvent modélisés par des lois empiriques inspirées de l'observation qualitative du phénomène de la foule. A l'inverse, les méthodes dîtes “basées données” permettent un apprentissage quantitatif des propriétés d'un phénomène. A partir de vidéos de foules humaines et de modèles régissant leur évolution, on peut chercher à enrichir la simulation comportementale par une calibration optimale des modèles utilisés. Dans cette thèse, nous proposons une approche basée donnée originale pour analyser, simuler et contrôler des mouvements de foules à partir de vidéos ou d'autres données. Pour cela, nous exploitons le formalisme du contrôle optimal et en particulier de l'assimilation variationnelle de données. L'acquisition d'information à partir de vidéos constitue toutefois une opération délicate. Son énergie reste en effet cantonnée à une description Eulérienne sensiblement différente de la description implicitement Lagrangienne, de bas niveau, et adaptée à des objet ponctuels en mouvement que sont les individus. Dans ce document, nous proposons ainsi une écriture originale unifiant ces représentations qui s'appuie sur des graphes. Les bénéfices et limites de la méthodologie retenue sont aussi discutés au travers d'exemples jouetsIn the communities of computer graphics and vision the study of human crowds phenomena has raised an increasing interest over the past years. The main reasons stem from a continuous increase in the world population and the associated problems, but also from a search of a good visual realism in computer games or computer-generated images for the movie industry. Yet, most of the navigation mechanisms or collision avoidance strategies among pedestrians are not fully understood, resulting in empirical models inspired by qualitative observations. On the contrary, data- driven methods oppose to this qualitative methods by giving ways to describe quantitatively those phenomena. From crowd videos, it should be possible to enrich the behavioral simulation models through parameterization or calibration. In this thesis, an original approach is proposed to analyze and simulate crowd motions from videos, which exploits the optimal control formalism, and more specifically the variational data assimilation principles. By exploiting some existing physical models describing the dynamics of a crowd flow, and combining this information to the perceived motion in the image, it is shown in this thesis how to extract a high level information on the flow related to a disturbance potential. The information conveyed in this process is by essence Eulerian, and opposes to the Lagrangian nature of pedestrians. To overcome this plurality of representation, a new powerful graph-based representation is introduced. The control of individuals driven by a dynamical method and under external constraints (designed by an animator or acquired from videos) is then studied and discussed
43
Vismara, Philippe. "Reconnaissance et représentation d'éléments structuraux pour la description d'objets complexes : application à l'élaboration de stratégies de synthèse en chimie organique". Montpellier 2, 1995. http://www.theses.fr/1995MON20253.
Abstract (sommario):
Dans cette these, nous nous interessons a l'analyse structurale d'objets complexes representables par des graphes, avec pour cadre d'application la synthese de molecules en chimie organique. Nous proposons une definition de l'ensemble cp des cycles pertinents d'un graphe (notamment moleculaire) par l'union des bases de cycles de taille minimale. Nous presentons un algorithme polynomial qui partionne cp en familles de cycles, chacune etant decrite par un cycle prototype. On peut alors enumerer tous les cycles de cp et determiner en temps polynomial son cardinal ou le nombre de cycles pertinents contenant un sommet donne. Nous completons l'analyse d'un graphe moleculaire par l'etude de la symetrie et la definition d'une representation abstraite decrivant les relations structurelles entre les divers motifs percus (cycles, chaines carbonees, etc. ). La suite de notre etude concerne la representation des elements structuraux dans un langage a objets et leur organisation sous la forme de hierarchies de graphes. Nous proposons une definition originale d'appariements diriges permettant de faciliter le raisonnement par classification realise sur ces hierarchies. L'ensemble de ces travaux est integre dans resyn, un prototype de systeme d'aide a la synthese organique
44
Martin, Philippe. "Exploitation de graphes conceptuels et de documents structurés et hypertextes pour l'acquisition de connaissances et la recherche d'informations". Nice, 1996. http://www.theses.fr/1996NICE4992.
Abstract (sommario):
Des taches courantes lors de la realisation d'un systeme a base de connaissances, sont la recherche et la representation d'informations contenues dans des documents (e. G. Des retranscriptions d'interviews d'experts), la creation et la manipulation de documents (e. G. Documentation technique), la recherche et la manipulation de connaissances dans une base de connaissances (e. G. Pour les valider). Afin de faciliter l'execution de telles taches par un cogniticien, nous avons cree un outil logiciel permettant l'utilisation combinee a) des techniques avancees de structuration et de gestion de documents offertes par l'editeur de documents structures et hypertextes thot, et b) de techniques avancees de representation et d'organisation de connaissances permises par le formalisme des graphes conceptuels. Des representations de connaissances peuvent ainsi a) etre stockees, recherchees et gerees dans des documents via l'editeur thot, et b) etre exploitees pour permettre la recherche des informations qu'elles indexent dans des documents. De telles recherches peuvent s'effectuer par navigation ou par requete et permettre la generation de documents qui sont des vues sur des parties de documents ou de la base selectionnees sur des criteres conceptuels. De plus, afin de guider et faciliter le travail du cogniticien dans la representation et la recherche de connaissances et d'informations, nous avons constitue une ontologie comprenant a) des types de relations elementaires usuelles (relations rhetoriques, mereologiques, spatiales, temporelles, mathematiques, etc. ), et b) des types de concepts generaux que nous avons specialises par les 90. 000 types de concepts de la base generale de connaissances terminologique wordnet. Nous montrons comment l'exploitation de cette ontologie par des cogniticiens permet d'ameliorer la coherence, l'extensibilite et la reutilisabilite de leurs representations de connaissances
45
Lauf, Aurélien. "Propagation du buzz sur Internet -- Identification, analyse, modélisation et représentation dans un contexte de veille". Thesis, Paris, INALCO, 2014. http://www.theses.fr/2014INAL0019/document.
Abstract (sommario):
S’inscrivant dans un contexte de veille et d’intelligence d’entreprise sur Internet, l’objectif de cette thèse est d’élaborer des outils et des méthodes permettant d’identifier, analyser, modéliser et représenter le cheminement des buzz sur Internet. Tout buzz a un ou plusieurs points d’origine : les sources primaires. L’information est ensuite relayée par des sources secondaires qui vont accélérer ou non la propagation en fonction de leur degré d’influence. Tout au long du cycle de vie du buzz, le contenu sémantique est amené à évoluer. La compréhension d’un buzz sur Internet passe ainsi par l’analyse de ce qui se dit et la qualification des émetteurs. Nos travaux s’axeront donc autour de deux types d’analyses complémentaires : une analyse topologique des sources (théorie des graphes et des réseaux) et une analyse du contenu textuel (linguistique de corpus)This thesis is in the context of strategic and competitive intelligence. Its goal is to develop tools and methods to identify, analyze, model and represent how buzz spread on the Internet. Any buzz has one or more starting point(s), i.e. primary source(s). The information is then passed on by secondary sources which may speed or slow down its spreading depending on their influence. Throughout the buzz lifecycle, the semantic content can evolve. To understand a buzz on the Internet, one needs to analyze what is said and qualify who speaks. This thesis will focus on two main points : a topological analysis of the sources (graph theory and networks), and an analysis of the textual content (corpus linguistics)
46
Chera, Catalin-Marian. "Contribution à l'extension de l'approche énergétique à la représentation des systèmes à paramètres distribués". Phd thesis, Ecole Centrale de Lille, 2009. http://tel.archives-ouvertes.fr/tel-00578842.
Abstract (sommario):
Tout phénomène, qu'il soit biologique, géologique ou mécanique peut être décrit à l'aide de lois de la physique en termes d'équations différentielles, algébriques ou intégrales, mettant en relation différentes variables physiques. Les objectifs de la thèse sont de montrer comment les systèmes à paramètres distribués peuvent être modélisés par un modèle bond graph, qui est par nature un modèle à paramètres localisés. Deux approches sont possibles : - utiliser une technique d'approximation qui discrétise le modèle initialement sous forme d'équations aux dérivées partielles (EDP) dans le domaine spatial, en supposant que les phénomènes physiques distribués peuvent être considérés comme homogènes dans certaines parties de l'espace, donc localisés. - déterminer la solution des EDP qui dépend du temps et de l'espace, puis à approximer cette solution avec différents outils numériques. Le premier chapitre rappelle quelques méthodes classiques utilisées pour l'approximation des EDP et les modèles bond graphs correspondants.Dans le deuxième chapitre, l'approche port-Hamiltonienne est présentée et son extension aux systèmes à paramètres distribués est proposée. Dans le troisième chapitre, les principaux modèles utilisés pour la représentation des flux de trafic routier sont rappelés et mis en œuvre en simulation. Ceci conduit à des comparaisons, d'une part entre différentes méthodes de résolution numérique et d'autre part entre différents modèles. Dans le quatrième chapitre, une approche originale propose d'étendre la représentation bond graph issue de la méthodologie Computational Fluid Dynamics au flux de trafic, en utilisant un modèle EDP à deux équations proposé par Jiang
47
Thierry, Eric. "Sur quelques interactions entre structures de données et algorithmes efficaces". Montpellier 2, 2001. http://www.theses.fr/2001MON20079.
48
Bugeaud, Florie. "ISamsara : pour une ingénierie des systèmes de services à base de méréologie et d'hypergraphes". Troyes, 2011. http://www.theses.fr/2011TROY0005.
Abstract (sommario):
L’orientation service et ses enjeux sont aujourd’hui bien connus des entreprises. Pourtant, l’analyse de l'activité des concepteurs de services chez un opérateur de télécommunication ainsi que l’état de l'art sur les théories et modèles du service montrent le caractère encore sous-spécifié de cette notion. Bien qu’ancrés en informatique, nos travaux poursuivent les discussions du courant pluridisciplinaire SSME (Service Science Management and Engineering) en redéfinissant tout d’abord le concept de service selon une perspective systémique. Ils adoptent également une théorie de la relation de service en tant que « relation de circulation » et s’inspirent de divers courants philosophiques permettant d’accéder à une conception ontologique de la réalité sous forme de processus emboîtés et interconnectés. On formalise dès lors le service comme un phénomène dynamique émergeant de la coordination d’éléments hétérogènes et pour lequel la théorie des agencements semble utile. Puis, on propose de représenter et simuler ces « agencements servi-ciels » grâce à un hypergraphe et une ontologie méréo-relationnelle révélant une structure mais aussi les scénarios d’expérience calculés. La méthode et la maquette d’un atelier de modélisation et simulation d’agencements serviciels (iSamsara) proposées ici s’inscrivent dans une volonté de construction d’une réelle Ingénierie des Systèmes de Services. Ces travaux sont expérimentés dans un contexte d’ingénierie des connaissances lié au processus d’étude d’opportunités d’un opérateur télécomsThe « service orientation » and its challenges are now well known within companies. How-ever, the analysis of the activities of services designers at a telecommunications operator, as well as the state of the art about the service theories and models show the still ill-specified nature of that term. Our work is anchored in the discipline of computer science, but it pursues the discussion of the SSME multidisciplinary approach (Service Science Management and Engineering). It first redefines the concept of service according to a systemic perspective. It also adopts a theory of the service relationship as a « traffic relationship », and various philosophical inspirations that help us to ontologically conceive reality as nested and interconnected processes. Therefore, we formalize the service as a dynamic phenomenon emerging from the coordination of heterogeneous entities, for which the « agencements theory » seems useful. Then, we propose to represent and simulate these « servicial agencements » with a hypergraph and a mereo-relational ontology revealing the structure but also to the calculated experience’s scenarios. The proposed method and tool’s proof of concept for the modeling and simulation of servicial agencements (iSamsara) are part of the problem of constructing a real Services Systems Engineering. Moreover, this work takes place in a con-text of knowledge engineering related to the process of opportunities study of a telecom operator
49
Mayet, Clément. "Simulation énergétique flexible d’un carrousel de métros basée sur la représentation énergétique macroscopique". Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10013/document.
Abstract (sommario):
La sobriété énergétique des systèmes de transport est primordiale afin de limiter leur impact environnemental. Ainsi les transports en communs électriques, tels que les métros ou tramways, sont fortement sollicités dans les zones urbaines. Diverses solutions innovantes sont apparues récemment afin d’accroître d’avantage leur efficacité énergétique (systèmes de stockage d’énergie, stations d’alimentation réversibles, etc.). Cependant, au vu de la complexité des études de dimensionnement et d’optimisation de ces systèmes, les outils de simulation numérique sont devenus indispensables. Or, ces outils sont particulièrement délicats à développer en raison des non-linéarités (non-réversibilité des stations d’alimentation), des non-stationnarités (mouvement des rames), et des fortes interactions énergétiques qui existent au sein des systèmes ferroviaires. Cette thèse propose alors un nouvel outil de simulation de carrousel de métros basé sur le formalisme REM (Représentation Energétique Macroscopique). Ce formalisme a pour volonté de structurer les modèles mis en jeux suivant les propriétés énergétiques du système. Il conduit à des approches de simulation « forward » avec un usage exclusif de la causalité intégrale. De ce fait, le programme de simulation proposé est issu d’une approche innovante et permet d’avoir un nouveau regard sur le système de carrousel de métros. Ces approches permettent notamment d’accroitre la flexibilité du programme de simulation tout en garantissant des résultats de simulation physiques. De plus, cette thèse a une volonté affichée de valider expérimentalement l’ensemble des modèles développésTransportation systems have to be efficient in terms of energy in order to limit their environmental impact. Electric public transportation, such as subways or tramways, is thus strongly requested in urban areas. Various innovative solutions have emerged recently to increase their energy efficiency (energy storage systems, reversible traction power substations, etc.). However, due to the complexity of the development and optimization of such systems, numerical simulation tools are essential. Nevertheless, simulators of railway systems are particularly delicate to develop due to non-linearity (non-reversibility of traction power substations), non-stationary (displacement of trains), and multiple energetic interactions which exists within these kind of systems. This PhD thesis then proposes a new simulation tool of subway system based on EMR formalism (Energetic Macroscopic Representation). This formalism structures the models according to the energetic properties of the system. It leads to a forward simulation approach with exclusive use of the integral causality. In that way, the proposed simulation tool is stemming from an innovative approach and allows a new vision of subway systems. These approaches allow especially the increasing of the simulator flexibility and the obtaining of physical simulation results. Moreover, this PhD thesis has the particularity to experimentally validate all the developed models
50
Metzger, Jean-Luc. "Contribution à l'élaboration d'un modèle de Raisonnement à Partir de Cas pour l'aide à l'interprétation d'organisations spatiales agricoles". Phd thesis, Université Henri Poincaré - Nancy I, 2005. http://tel.archives-ouvertes.fr/tel-00465730.
Abstract (sommario):
Cette thèse, fruit d'une collaboration LORIA / INRA, porte sur l'étude du raisonnement à partir de cas pour aider à l'interprétation d'organisations spatiales agricoles. Les agronomes effectuent des enquêtes auprès d'exploitants agricoles, afin d'appréhender les relations entre structure spatiale et fonctionnement des exploitations. Des modèles graphiques, appelés chorèmes d'exploitations, permettent de synthétiser ces données d'enquêtes. Sur la base de ces chorèmes, nous avons modélisé l'organisation spatiale des exploitations par des graphes bipartites aux sommets et aux arc étiquetés par des concepts. A certains sous-graphes, décrivant des structures spatiales intéressantes, sont adjoints des explications, décrivant l'organisation fonctionnelle, pour constituer des cas. La modélisation conjointe a abouti à la reconception des chorèmes et à la constitution d'une base de cas et de hiérarchies de concepts du domaine. Le système de RàPC ROSA permet de proposer des explications de fonctionnement à un graphe d'organisation spatiale en utilisant les cas enregistrés. La comparaison des graphes s'appuie sur le mécanisme des logiques de description : étant donné un graphe d'exploitation cible, on lui associe des graphes sources de la base de cas au moyen d'opérations de généralisation et de spécialisation.