Spelling suggestions: "subject:"ransformations dde"" "subject:"ransformations dee""
911 |
Fourier transform rheology as a tool to determine the fatigue behavior of polymersHirschberg, Valerian 17 July 2024 (has links)
Cette thèse propose un nouveau concept d'analyse, de quantification et de prédiction de la fatigue mécanique d'un polymère amorphe à l'aide d'une méthode basée sur la décomposition de la contrainte via la transformation de Fourier. En particulier, des essais de fatigue ont été réalisés sous déformation contrôlée en torsion et en tension/tension. La déformation, le couple et la force ont été enregistrés en fonction du temps et décomposés en contributions linéaires et non-linéaires, quantifiés par des harmoniques plus élevées. De plus, trois concepts ont été développés pour déterminer quantitativement le comportement mécanique des échantillons en fonction du temps. Premièrement, il a été établi que la génération de fissures macroscopiques était en corrélation avec l’augmentation soudaine de l’intensité de I2/1. Deuxièmement, une méthode directe pour prédire la durée de vie en fatigue a été développée, basée sur le taux de changement de I3/1 par rapport au nombre de cycle N (dI3/1/dN) avant l'apparition de la rupture. Cette prédiction s'est avérée beaucoup plus précise que les prédictions des courbes de Wöhler puisque les corrélations présentent en moyenne des écarts-types beaucoup plus faibles (30 vs 60%). Troisièmement, un critère de fatigue basé uniquement sur la non-linéarité mécanique a été développé, appelé la non-linéarité cumulée Qf. Ce paramètre corrèle l'intégrale de la non-linéarité Q (Q = I3/1/yo²) jusqu'à la rupture avec le nombre de cycles à la rupture Nf. L'écart-type de la corrélation Qf vs Nf s'est avéré inférieur à 30%, indiquant que Qf est un critère de fatigue plus précis que ceux couramment utilisés tels que la densité d'énergie dissipée cumulée ou la contrainte cumulée (±50%). Enfin, ces trois concepts ont été appliqués avec succès dans différentes conditions (type de déformation, plage de fréquence, amplitude de déformation) et différents polymères tels que le polystyrène (PS), le polyméthylméthacrylate (PMMA), le styrène acrylonitrile (SAN) et le polytertbutylméthylacrylate (PtBMA). / This thesis proposes a new framework to analyse, quantify and predict the mechanical fatigue of amorphous polymer using a method based on the decomposition of the stress response via Fourier transform. In particular, fatigue tests were performed under strain controlled torsion and tension/tension deformation and the time data of the strain, torque and force were recorded and decomposed into linear and nonlinear contributions via higher harmonics. In particular, three concepts have been developed to quantitatively determine the time behavior of the samples. Firstly, the generation of macroscopic cracks was found to correlate with sudden increases in the I2/1 intensity. Secondly, an on-line method to predict the fatigue lifetime was developed, based on the rate of change of I3/1 with respect to the cycle number N (dI3/1/dN) before the onset of failure. This prediction was found to be more precise than Wöhler curves predictions since the correlations have on average much lower standard deviations (30 vs. 60%). Thirdly, a fatigue criterion solely based on mechanical nonlinearity was developed: the cumulative nonlinearity Qf. This parameter correlates the integral of the nonlinearity Q (Q = I3/1/yo²) until failure with the number of cycles to failure Nf. The standard deviation of the Qf vs. Nf correlation was found to be less than 30%, indicating that Qf is a more precise fatigue criterion than commonly used ones such as the cumulative dissipated energy density or the cumulative stress (±50%). Finally, these three concepts were successfully applied on different conditions (type of deformation, range of frequency, deformation amplitude) and polymers such as polystyrene (PS), polymethylmethacrylate (PMMA), styrene acrylonitrile (SAN) and polytertbuthylmethacrylate (PtBMA).
|
912 |
Quelques théorèmes ergodiques pour des suites de fonctionsCyr, Jean-François 12 1900 (has links)
Le théorème ergodique de Birkhoff nous renseigne sur la convergence de suites de
fonctions. Nous nous intéressons alors à étudier la convergence en moyenne et presque partout de ces suites, mais dans le cas où la suite est une suite strictement croissante de nombres entiers
positifs. C’est alors que nous définirons les suites uniformes et étudierons la convergence presque partout pour ces suites. Nous regarderons également s’il existe certaines suites pour lesquelles la convergence n’a pas lieu. Nous
présenterons alors un résultat dû en partie à Alexandra Bellow qui dit que de telles suites existent. Finalement, nous démontrerons une équivalence entre la notion de transformatiuon fortement mélangeante et la convergence d'une certaine suite qui utilise des “poids” qui satisfont certaines propriétés. / Birkhoff’s ergodic theorem gives us information about the convergence of sequences of functions. We are then interested in studying the mean and pointwise convergence of these sequences, but in the case the sequence is a strictly increasing sequence of positive integers. With that goal in mind, we will define uniform sequences and study the pointwise convergence for these sequences. We will also explore the possibility that there exists some sequences for which the convergence of the sequence does not
occur. We will present a result of Alexandra Bellow that says that such sequences exist. Finally, we will prove a result which establishes an equivalence between the notion of a strongly mixing transformation and the convergence of a sequence that uses “weights” which satisfies certain properties.
|
913 |
Méga-événements et nouveaux médias : le journalisme liquide dans le contexte de la Coupe du monde de 2014 et des Jeux olympiques de 2016Burg, Ana Paula 04 1900 (has links)
Ce mémoire porte sur les représentations qui ont circulé sur Internet avant et durant le mouvement historique et inattendu de révolte sociale au Brésil, pendant la Coupe des confédérations de 2013. La vague de manifestations a provoqué un débat passionné sur Internet à propos des méga-événements, mais des études sur ce phénomène récent sont encore absents de la littérature. La présente recherche est un effort de combler cette lacune en examinant le cas de la ville de Rio de Janeiro, qui accueillera la finale de la Coupe du monde de soccer de 2014 et sera la ville hôte des Jeux olympiques de 2016. Le but du travail est de comprendre quelles sont les représentations qui émergent des nouvelles en réseau au sujet des transformations et des conflits urbains dans le cadre des méga-événements. À partir d'une analyse logico-naturelle des documents publiés entre 2009 et 2013 sur des sites Web avec quatre profils communicationnels distincts, la recherche met en évidence dans quelle mesure les représentations sociales reproduisent (1) la stratégie de branding urbain de la part du gouvernement et (2) les stratégies de résistance civile de la part des populations affectées par les transformations urbaines. Du point de vue théorique et méthodologique, l'étude mobilise la notion de journalisme liquide, inspiré des travaux du sociologue Zygmunt Bauman, qui s’est concentré sur les conséquences culturelles, économiques et politiques de la mondialisation. Les résultats de l'analyse documentaire ont permis d'exposer les représentations sociales construites autour de trois thématiques centrales : les favelas, les expulsions forcées dans la ville de Rio de Janeiro et les manifestations de juin 2013. En plus d'une discussion théorique critique à propos des résultats, l'étude les confronte avec la littérature scientifique repérée dans la recension des écrits. / This master thesis deals with the representations circulating on the Internet before and during the historical and unexpected popular uprising in Brazil, during the 2013 Confederations Cup. The wave of protests, which triggered a passionate online debate about mega-events, is still an understudied phenomenon. To fill this gap, this research investigates the problem by examining the case of the city of Rio de Janeiro, host of the finals of 2014 World Cup and of 2016 Olympic Games. The study aims to analyze on the representations emerging from news networks in the light of the fast-paced urban transformations and conflicts that currently characterize mega-events in the city. A natural logic analysis of documents published between 2009 and 2013 by four particular types of news sites highlights how social representations reproduced: (1) the government strategy of urban branding and (2) the civil movements strategies to face urban transformations. At the theoretical and methodological levels, the study explores the research path of liquid journalism, inspired by the work of sociologist Zygmunt Bauman, who focused on the cultural, economic and political consequences of globalization. The collected data were analyzed from a critical and theoretical viewpoint. The results were discussed by confronting those obtained by the researchers who we referenced in the literature.
|
914 |
Sur une approche à objets généralisée pour la mécanique non linéaireSaad, Roy 05 December 2011 (has links)
Les problèmes qui se posent aujourd'hui en mécanique numérique et domaines connexes sont complexes, et impliquent de plus en plus souvent plusieurs physiques à différentes échelles de temps et d’espace. Leur traitement numérique est en général long et difficile, d’où l’intérêt d’avoir accès à des méthodes et outils facilitant l’intégration de nouveaux modèles physiques dans des outils de simulation. Ce travail se pose dans la problématique du développement de codes de calcul numérique. L’approche proposée couvre la démarche de développement du modèle numérique depuis la formulation variationnelle jusqu’à l’outil de simulation. L’approche est appliquée à la méthode des éléments finis. Nous avons développé des concepts génériques afin d’automatiser la méthode des éléments finis. Nous nous sommes appuyés sur l'analyse tensorielle dans le contexte de la méthode des éléments finis. Le formalisme mathématique est basé sur l’algèbre tensorielle appliquée à la description de la discrétisation des formes variationnelles. Ce caractère générique est conservé grâce à l'approche logicielle choisie pour l’implantation; orientée objet en Java. Nous proposons donc un cadre orienté objet, basé sur des concepts symboliques, capables de gérer de manière symbolique les développements assistés des contributions élémentaires pour la méthode éléments finis. Ces contributions sont ensuite automatiquement programmées dans un code de calcul. L'intérêt de cette approche est la généricité de la description qui peut être étendue naturellement à tout autre modèle de discrétisation (spatiale ou temporelle). Dans ce travail, les concepts sont validés dans le cadre de problèmes linéaires simples (élasticité, chaleur,...), dans le cadre du traitement de formulations variationnelles mixtes (thermomécanique, Navier-Stokes,…) et dans un cadre Lagrangien (élasticité en grandes transformations, hyperélasticité,…). / The problems occurring today in computational mechanics and related domains are complex, and may involve several physics at different time and space scales. The numerical treatment of complex problems is in general tough and time consuming. In this context, the interest to develop methods and tools to accelerate the integration of new formulations into simulation tools is obvious. This work arises on the issue of the development of computational tool. The proposed approach covers the development process of numerical models from the variational statement to the simulation tool. The approach is applied to the finite element method. We have developed generic concepts to automate the development of the finite element method. To achieve this goal, we relied on tensor analysis applied in the context of the finite element method. The mathematical formalism is based on the tensor algebra to describe the discretization of a variational formulation. The generic character of the approach is preserved through the object-oriented approach in Java. We propose a framework based on object-oriented concepts capable of handling symbolic developments of elemental contributions for finite element codes. The advantage of this approach is the generic description that can be extended naturally to any discretization model in space or time. This concept is fully validated for simple linear problems (elasticity, heat convection, ...), for the treatment of mixed variational formulations (thermo-mechanical, Navier-Stokes for incompressible flows...) and Lagrangian frameworks (elasticity in larges transformations, hyperelasticity, ...).
|
915 |
Les mobilisations des femmes Afghanes nées et socialisées en Iran après la révolution de 1979. / The mobilizations of Afghan women born and socialized in Iran after 1979Moussavi, Bibi Fakhereh 05 July 2017 (has links)
Cette thèse porte sur la question de la mobilisation de la nouvelle génération des femmes en Afghanistan après 2001. Elle interroge d’abord l’existence d’un mouvement féministe, selon les significations des outils théoriques occidentaux. Ensuite, elle analyse la mobilisation des femmes à partir des éléments qui provoquent une mobilisation pour la transformation socialeet politique afin d’assurer les droits des femmes : ceux qui ont un impact important sur la société comme la politique ou l’économie qui ne laisse pas la place aux femmes pour s’exprimer librement. La nouvelle génération des femmes qui ont grandi sous la Révolution et les théories des révolutionnaires s’engagent progressivement dans un combat pour le droit et la démocratie sous l’influence du développement : la modernisation économique, l’éducation, l’immigration et la mondialisation. / This thesis focuses on the topic of mobilization of the new generation of women in Afghanistan after 2001. First, it questions the existence of a feminist movement in Afghanistan, according to the meanings and Western theoretical tools. Then it analyzes themobilization of women from the elements that cause mobilization for social and political transformation to ensure women's rights: those that have a significant impact on society such as politics and economy of both countries which do not leave room for women to express themselves freely. The new generation of women who has grown up under the Revolution andrevolutionary theories has mobilized progressively in a fight for rights and democracy under the influence of development: economic modernization, education, immigration and globalization.
|
916 |
Illusions thermiques basées sur les métamatériaux et les métasurfaces : conduction et rayonnement / Thermal illusions based on metamaterials and metasurfaces : heat conduction and thermal radiationAlwakil, Ahmed Diaaeldin 27 June 2018 (has links)
Les techniques de camouflage, mimétisme ou invisibilité ont récemment connu une forte émergence, qui se poursuit aujourd’hui avec l’apparition des méta-surfaces. C’est dans ce contexte que ce travail de doctorat a été réalisé, notamment avec un premier objectif d’étendre ces outils et concepts aux problèmes inverses du domaine de la diffusion de la chaleur. La suite du travail a concerné le rayonnement thermique, les méta-surfaces et les transformations de champ. Après avoir étendu les techniques de mimétisme au domaine de la conduction, nous avons résolu le problème inverse associé, qui consiste à camoufler des objets imposés en forme ou conductivité. Ce premier travail a permis de mettre en évidence les classes de transformation qui laissent invariantes les paramètres physiques, conférant ainsi plus de pragmatisme au domaine du mimétisme. Nous avons ensuite considéré le cas du rayonnement thermique, et démontré pour la première fois que les illusions par rayonnement étaient envisageables, en appui sur l’invariance du théorème de fluctuation/dissipation. Dans une deuxième étape, nous avons mis au point une nouvelle méthode pour calculer le rayonnement thermique par des objets de forme arbitraire, mettant en jeu des méta-surfaces inhomogènes, anisotropes, chirales et non locales. Nous montrons également comment tirer profit des méta-surfaces pour remplacer les capes volumiques tout en conservant la fonction de camouflage. Cette technique est particulièrement prometteuse pour les applications, même si elle reste intrinsèquement liée à l’éclairement. Des techniques similaires sont développées pour que soit facilité l’utilisation de transformations discontinues de l’espace. / Mimetism, camouflage or invisibility have motivated numerous efforts in the last decade, which are now extended with metasurfaces. This PhD work fits this international context and was first focused on inverse problems in heat conduction before we address thermal radiation and metasurfaces, field transformation. After we generalize the mimetism techniques to heat diffusion, we solved the associated inverse problem which consists of the camouflage of given objects, that is, objects with shape or conductivity that are before hand chosen. The results allowed us to emphasize the class of transformations which hold the physical parameters, hence giving more pragmatism to the field of mimetism. Then we addressed the case of thermal radiation and proved for the first time that mimetism effects could also be controlled in this field, on the basis of the fluctuation/dissipation theorem. In a second step, we built an original technique able to predict the thermal radiation from objects of arbitrary shapes. This technique involves inhomogeneous, anisotropic, chiral and nonlocal metasurfaces. We also show how to take more benefits of metasurfaces in order to replace the bulk mimetism cloaks. We believe this technique to give again more push forward to the field, though the mimetism efficiency now relies on the illumination conditions. Similar techniques are further developed to allow a practical use of discontinuous space transformations. Eventually, field transformation is introduced to complete all these results.
|
917 |
Asymptotic Symmetries and Faddeev-Kulish states in QED and GravityGaharia, David January 2019 (has links)
When calculating scattering amplitudes in gauge and gravitational theories one encounters infrared (IR) divergences associated with massless fields. These are known to be artifacts of constructing a quantum field theory starting with free fields, and the assumption that in the asymptotic limit (i.e. well before and after a scattering event) the incoming and outgoing states are non-interacting. In 1937, Bloch and Nordsieck provided a technical procedure eliminating the IR divergences in the cross-sections. However, this did not address the source of the problem: A detailed analysis reveals that, in quantum electrodynamics (QED) and in perturbative quantum gravity (PQG), the interactions cannot be ignored even in the asymptotic limit. This is due to the infinite range of the massless force-carrying bosons. By taking these asymptotic interactions into account, one can find a picture changing operator that transforms the free Fock states into asymptotically interacting Faddeev- Kulish (FK) states. These FK states are charged (massive) particles surrounded by a “cloud” of soft photons (gravitons) and will render all scattering processes infrared finite already at an S-matrix level. Recently it has been found that the FK states are closely related to asymptotic symmetries. In the case of QED the FK states are eigenstates of the large gauge transformations – U(1) transformations with a non-vanishing transformation parameter at infinity. For PQG the FK states are eigenstates of the Bondi-Metzner-Sachs (BMS) transformations – the asymptotic symmetry group of an asymptotically flat spacetime. It also appears that the FK states are related the Wilson lines in the Mandelstam quantization scheme. This would allow one to obtain the physical FK states through geometrical or symmetry arguments. We attempt to clarify this relation and present a derivation of the FK states in PQG from the gravitational Wilson line in the eikonal approximation, a result that is novel to this thesis.
|
918 |
Études combinatoires du tableau d’Euler sur les produits en couronne / Combinatorial studies of Euler's table on wreath productsFaliharimalala, Hilarion 31 March 2010 (has links)
Au cours des deux dernières décennies, des travaux actifs ont été menés pour étendre des résultats classiques liés au groupe symétrique à d'autres groupes plus généraux. Cette thèse a pour objectif d’étendre aux produits en couronne les résultats concernant le tableau de différence d’Euler. Elle est divisée en cinq chapitres. Le tableau de différence d’Euler lié à la suite {n!} conduit naturellement à la formule du nombre de dérangements. Nous étudions dans les deux premiers chapitres, le tableau de différence d’Euler associé à la suite {rnn!} et la généralisation du problème de dérangements. Pour les coefficients de ce dernier tableau, nous donnons des interprétations combinatoires en termes de k-successions sur les produits en couronne. Clarke et al. ont introduit un q-analogue du tableau de différence d’Euler sur le groupe symétrique. Dans le troisième chapitre, nous étendons leurs résultats sur les produits en couronne. En généralisant leur bijection, nous montrons que « (fix, exc, fmaj) » et « (fix, exc, fmaf) » sont équidistribués sur les produits en couronne où «fmaf» est une nouvelle statistique mahonienne. D’autre part, Foata et Han ont récemment construit deux transformations. Nous prouvons dans le quatrième chapitre que ses bijections fournissent une factorisation de la bijection de Clarke et al.. Dans le cinquième chapitre nous donnons une extension de la seconde transformation fondamentale de Foata sur les mots r-colorés. Nous prouvons l’équidistribution sur les produits en couronne de « (fmaj , des*) » et « (finv , col) » où « col » est la somme des couleurs et « des* » une nouvelle statistique. / In the last two decades, much effort has been made to extend various enumerative results on symmetric groups to other more general groups. The main objective of this thesis is to extend to wreath products the results that concern the Euler's difference table. It is divided into five chapters. Euler's difference table associated to the sequence {n!} leads naturally to the counting formula for the derangements. In the first two chapters, we study Euler's difference table associated to the sequence {rnn!} and the generalized derangement problem. For the coefficients appearing in the later table, we give the combinatorial interpretations in terms of k-successions on wreath products. Clarke et al. introduced a q-analogue of Euler's difference table on symmetric group. In the third chapter, we extend their results to wreath products. By generalizing their bijection, we prove the equidistribution of the triple statistics “(fix, exc, fmaj)” and “(fix, exc, fmaf)” on wreath products, where “fmaf” is a new mahonian statistic on wreath products. On the other hand, Foata and Han have recently constructed two new transformations. We prove in fourth chapter that their two bijections provide a factorization of Clarke et al.'s bijection. In the fifth chapter we give an extension of Foata’s second fundamental transformation on r-colored words. We show that the bistatistics “(fmaj , des*)” and “(finv , col)” are equidistributed on wreath products, where “col” is the sum of color and “des*” a new statistic.
|
919 |
Characterization of geochemical interactions and migration of hydrogen in sandstone sedimentary formations : application to geological storage / Caractérisation des interactions géochimiques et migration de l'hydrogène dans des formations sédimentaires gréseuses : application au stockage géologiqueEbrahimiyekta, Alireza 05 July 2017 (has links)
Parmi les options en cours d’investigation, le stockage souterrain de l'hydrogène dans les formations sédimentaires comme les grès pourrait offrir un potentiel unique pour stocker de grandes quantités d'énergie. L'évaluation des modalités de stockage souterrain de l'hydrogène nécessite donc à la fois une connaissance précise des transformations minéralogiques dues à la présence de l'hydrogène et l’acquisition de données sur le comportement hydrodynamique des fluides. Par conséquent, cette étude se composera de trois parties : 1- Etude des interactions géochimiques de l’hydrogène dans des formations sédimentaires gréseuses : Les produits expérimentaux portent la marque d'une réaction très limitée entre les minéraux du grès et l'hydrogène. Si les résultats expérimentaux sont combinés aux résultats numériques, l’étude démontre que l'hydrogène, une fois injecté, peut être considéré comme relativement inerte. De façon globale, nos résultats renforcent la faisabilité du confinement de l'hydrogène dans des réservoirs géologiques comme les grès. 2- Etude de la migration de l'hydrogène dans les grès : détermination de la perméabilité relative et de la pression capillaire du système hydrogène-eau : Afin de fournir des données quantitatives pour le développement du stockage souterrain de l'hydrogène, la pression capillaire et la perméabilité relative ont été mesurées pour le système hydrogène-eau en deux conditions potentielles. Les résultats indiquent que les données obtenues sont applicables à l’ensemble des conditions de stockage de l'hydrogène. 3- Modélisation numérique d’un site de stockage géologique d’hydrogène : La simulation numérique a été effectuée pour caractériser l'évolution dynamique d’un site de stockage d'hydrogène pur. Une fluctuation saisonnière du fonctionnement du réservoir et l'effet des fuites d'hydrogène dus aux réactions ont été pris en compte. / Underground hydrogen storage has been introduced as storage solution for renewable energy systems as it offers a unique potential to store large amounts of energy, especially in sedimentary formations such as sandstones. However, evaluating the underground hydrogen storage requires a precise knowledge of the hydrodynamic behavior of the fluids and of mineralogical transformations due to the presence of hydrogen that may affect the storage properties. Therefore, this study is consists in three parts: 1- Study of geochemical reactivity of hydrogen in sandstone sedimentary formations: The experimental products bear the mark of only very limited reaction between sandstone minerals and hydrogen. Taken together with the numerical results, this study demonstrates that hydrogen, once injected, can be considered as relatively inert. Overall, our results support the feasibility of hydrogen confinement in geological reservoirs such as sandstones. 2- Study of the migration of hydrogen in sandstone: determination of relative permeability and capillary pressure of hydrogen-water system: To provide quantitative data for the development of underground hydrogen storage, capillary pressures and relative permeabilities of hydrogen-water system have been measured at two potential conditions. The interpretation of the results would suggest that the obtained data are applicable for the entire range of hydrogen storage conditions. Interfacial tensions and contact angles for the hydrogen-water system have been also derived. 3- Numerical simulation of a geological hydrogen storage site: The numerical simulation was performed to characterize the evolution of pure hydrogen storage, by considering the seasonal fluctuation of renewable energy and the effect of hydrogen loses due to the biotic reactions.
|
920 |
Adaptation d'ontologies avec les grammaires de graphes typés : évolution et fusion / Ontologies adaptation with typed graph grammars : evolution and mergingMahfoudh, Mariem 29 May 2015 (has links)
Étant une représentation formelle et explicite des connaissances d'un domaine, les ontologies font régulièrement l'objet de nombreux changements et ont ainsi besoin d'être constamment adaptées pour notamment pouvoir être réutilisées et répondre aux nouveaux besoins. Leur réutilisation peut prendre différentes formes (évolution, alignement, fusion, etc.), et présente plusieurs verrous scientifiques. L'un des plus importants est la préservation de la consistance de l'ontologie lors de son changement. Afin d'y répondre, nous nous intéressons dans cette thèse à étudier les changements ontologiques et proposons un cadre formel capable de faire évoluer et de fusionner des ontologies sans affecter leur consistance. Premièrement, nous proposons TGGOnto (Typed Graph Grammars for Ontologies), un nouveau formalisme permettant la représentation des ontologies et leurs changements par les grammaires de graphes typés. Un couplage entre ces deux formalismes est défini afin de profiter des concepts des grammaires de graphes, notamment les NAC (Negative Application Conditions), pour la préservation de la consistance de l'ontologie adaptée.Deuxièmement, nous proposons EvOGG (Evolving Ontologies with Graph Grammars), une approche d'évolution d'ontologies qui se base sur le formalisme GGTOnto et traite les inconsistances d'une manière a priori. Nous nous intéressons aux ontologies OWL et nous traitons à la fois : (1) l'enrichissement d'ontologies en étudiant leur niveau structurel et (2) le peuplement d'ontologies en étudiant les changements qui affectent les individus et leurs assertions. L'approche EvOGG définit des changements ontologiques de différents types (élémentaires, composées et complexes) et assure leur implémentation par l'approche algébrique de transformation de graphes, SPO (Simple PushOut). Troisièmement, nous proposons GROM (Graph Rewriting for Ontology Merging), une approche de fusion d'ontologies capable d'éviter les redondances de données et de diminuer les conflits dans le résultat de fusion. L'approche proposée se décompose en trois étapes : (1) la recherche de similarité entre concepts en se basant sur des techniques syntaxiques, structurelles et sémantiques ; (2) la fusion d'ontologies par l'approche algébrique SPO ; (3) l'adaptation de l'ontologie globale résultante par le biais des règles de réécriture de graphes.Afin de valider les travaux menés dans cette thèse, nous avons développé plusieurs outils open source basés sur l'outil AGG (Attributed Graph Grammar). Ces outils ont été appliqués sur un ensemble d'ontologies, essentiellement sur celles développées dans le cadre du projet européen CCAlps (Creatives Companies in Alpine Space) qui a financé les travaux de cette thèse. / Ontologies are a formal and explicit knowledge representation. They represent a given domain by their concepts and axioms while creating a consensus between a user community. To satisfy the new requirements of the represented domain, ontologies have to be regularly updated and adapted to maintain their consistency. The adaptation may take different forms (evolution, alignment, merging, etc.), and represents several scientific challenges. One of the most important is to preserve the consistency of the ontology during the changes. To address this issue, we are interested in this thesis to study the ontology changes and we propose a formal framework that can evolve and merge ontologies without affecting their consistency.First we propose TGGOnto (Typed Graph Grammars for Ontologies), a new formalism for the representation of ontologies and their changes using typed graph grammars (TGG). A coupling between ontologies and TGG is defined in order to take advantage of the graph grammars concepts, such as the NAC (Negative Application Conditions), in preserving the adapted ontology consistency. Second, we propose EvOGG (Evolving Ontologies with Graph Grammars), an ontology evolution approach that is based on the TGGOnto formalism that avoids inconsistencies using an a priori approach. We focus on OWL ontologies and we address both : (1) ontology enrichment by studying their structural level and (2) ontology population by studying the changes affecting individuals and their assertions. EvOGG approach defines different types of ontology changes (elementary, composite and complex) and ensures their implementation by the algebraic approach of graph transformation, SPO (Single pushout).Third, we propose GROM (Graph Rewriting for Ontology Merging), an ontologies merging approach that avoids data redundancy and reduces conflict in the merged result. The proposed approach consists of three steps: (1) the similarity search between concepts based on syntactic, structural and semantic techniques; (2) the ontologies merging by the algebraic approach SPO; (3) the global ontology adaptation with graph rewriting rules.To validate our proposals, we have developed several open source tools based on AGG (Attributed Graph Grammar) tool. These tools were applied to a set of ontologies, mainly on those developed in the frame of the CCAlps (Creatives Companies in Alpine Space) European project, which funded this thesis work.
|
Page generated in 0.1635 seconds