• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 32
  • 15
  • Tagged with
  • 39
  • 39
  • 39
  • 6
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
31

Mycorrhiza-induced resistance against Thielaviopsis basicola in the ornemental crop Petunia hybrida

Hayek, Soukayna 03 May 2012 (has links) (PDF)
Petunia hybrida is an ornamental crop of high economic interest but diverse root pathogens can cause high ¬losses, especially in soilless greenhouse production systems, and their control by conventional methods implies an excessive use of pesticides. A more sustainable horticulture requires alternative methods to counter these chemical inputs. The introduction of arbuscular mycorrhiza (AM), known to reduce a number of root diseases in other plant species, into the production itinerary could form an integral part of an appropriate strategy. However, mycorrhizal effects against soil-borne pathogens are not always predictable and mechanisms behind the protective effects of mycorrhiza are largely unknown. In this context, mycorrhiza-induced resistance (MIR) was studied in P. hybrida in an inert soilless substrate, and the underlying mechanisms were investigated.After testing different soil-borne pathogenic fungi causing disease in petunia nursery production, Thielaviopsis basicola was selected as a model pathosystem. Three AM fungal species were evaluated for their ability to protect petunia against T. basicola; only Glomus mosseae BEG 12 turned out to reduce disease symptoms and pathogen spread in roots. Split root experiments showed that this protective effect was systemic and could be induced in non-mycorrhizal parts of mycorrhizal root systems, in agreement with previous studies in other plant pathosystems. The AM fungus, moreover, reduced the amount of phosphate fertiliser input fivefold, and provides tolerance against high salt concentrations in the horticultural substrate.In order to gain insight into molecular mechanisms involved in the MIR to T. basicola in petunia roots, hypotheses were tested by analysing the expression patterns of plant genes which are involved in various pathways of known plant defence responses. Nine genes related to the jasmonic acid pathway of induced systemic resistance (ISR) by plant growth promoting bacteria and three genes activated by salicylic acid, a key molecule in systemic acquired resistance (SAR), were selected. Expression profiles of these genes indicated that local MIR to T. basicola in petunia roots does not primarily involve either pathway, whilst systemic MIR in this pathosystem could include elements of both SAR and ISR. The activation of seven AM-related genes was unaffected by T. basicola infection of mycorrhizal petunia roots showing that the pathogen does not affect symbiotic functionality. Results suggest that the part of the symbiotic cell programme covering AM-regulated plant defence genes may constitutively contribute to the expression of local MIR; the role of such genes in this phenomenon merits further attention and analyses
32

Contribution à l'étude des interactions entre contraintes résiduelles et dissolution d'oxygène dans un solide déformable réactif / Contribution to the study of interaction between residual stress and oxygen diffusion in a deformable and reactive solid

Raceanu, Laura 14 December 2011 (has links)
Cette thèse a pour objet la mise en évidence des interactions entre un champ de contraintes mécaniques et un champ de composition dans un processus de diffusion de matière au sein d’un solide déformable réactif. Notre travail a évolué chronologiquement de l’étude paramétrique numérique, vers la mise en ouvre expérimentale d’une démarche destinée a révéler le rôle moteur des contraintes dans la diffusion de matière.Différentes sources de contraintes mécaniques ont tout d'abord été analysées numériquement a travers leurs impacts sur le processus de diffusion d'oxygène dans un métal (Zr) ou une céramique (UO2) soumis à un environnement oxydant. Cette approche a permis entre autres : de dégager un procédé de traitement de surface (grenaillage) susceptible d'engendrer un champs de contraintes résiduelles particulier comme préalable à la mise en ouvre d'une étude expérimentale destinées à valider les conclusions numériques ; de mettre en évidence le caractère stabilisateur de la contrainte sur la morphologie ondulée d'une interface oxyde/métal (cas du Zr).Dans l'approche expérimentale, différents outils ont été exploités pour caractériser le matériau (SDL, MEB, ATG, MTI, microdureté). Ils ont permis la mise en évidence d'une influence forte de la durée de grenaillage sur le ralentissement de l'oxydation. L’analyse comparative des résultats expérimentaux et de simulations est révélatrice d’intéractions fortes entre les champs de contraintes et de composition induits par les différents traitements (grenaillage et/ou pré-oxydation) / The aim of this PhD work is to highlight the interactions between the mechanical stress and the chemical composition within diffusion of matter process for a reactive solid. The chronological evolution of our work goes from a parametric numerical study to an experimental study and reveals the role of mechanical stresses on the oxygen diffusion process.Different origins of mechanical stress were first numerically analysed from the point of view of their impacts on the process of oxygen diffusion into a metal (Zr) or a ceramic (UO2) subjected to an oxidizing environment. This approach allowed us: to identify a surface treatment (shot-peening) able to generate a residual specific stress field, as a starting point for an experimental study implementation in order to validate the numerical study conclusions; to highlight the ability of the stress field on the stabilisation of the morphology of an undulated metal/oxide interface (case of Zr).In the experimental approach, different technics were used to characterize the material (GDOS, SEM, TGA, hole-drilling method, micro-hardness tests). They permitted the detection of a strong influence of shot-peening on the oxidation rate. The comparison of experimental and numerical simulation results reveals strong interactions between stress and compositions fields induced by the different treatments (shot-peening and/or pre-oxidation)
33

Etude expérimentale et modélisation thermodynamique du système CaO-SiO2-(Al2O3)-H2O / Experimental study and thermodynamic modelling of CaO-SiO2-(Al2O3)-H2O system

Haas, Jérémy 22 November 2012 (has links)
L’objectif de ce travail est de proposer un modèle thermodynamique à 25°C qui permette de décrire les principaux produits d’hydratation d’un ciment Portland ordinaire avec et sans matériaux cimentaires secondaires : les hydrosilicates de calcium. La composition riche en aluminium de ces produits de substitution modifie la nature et la composition des hydrates de la pâte de ciment.Nous avons donc étudié le système simplifié CaO-SiO2-H2O, pour lequel nous avons réalisé différentes synthèses de C-S-H dans des conditions de synthèse et d’analyse identiques. Nous avons distingué le cas où la solution d’hydratation est sous-saturée de celui où elle est sursaturée par rapport à la Portlandite.Nous avons ensuite étendu le système simplifié précédent au système CaO-Al2O3-SiO2-H2O, pour lequel nous avons réalisé différentes synthèses de C-A-S-H et déterminé le protocole le plus adéquat pour obtenir des hydrates purs.La nature nanoparticulaire et la surface spécifique importante des C-S-H nous ont conduit à développer un modèle thermodynamique qui tiennent compte de réactions de surface. Ainsi, le modèle thermodynamique proposé dans ce travail, inspiré de différents travaux antérieurs du laboratoire, permet de décrire la composition de la solution, la stoechiométrie, et les propriétés de surface des C-S-H à l’équilibre. Ce premier modèle a été étendu aux C-A-S-H, en implémentant dans le modèle précédent des réactions de surface qui permettent de décrire l’incorporation de l’aluminium dans les différents sites possibles.Ce modèle a été appliqué à des cas simples tels que l’étude de la rétention d’alcalins par les C-S-H, et l’évaluation de l’impact de l’incorporation d’aluminium dans les C-S-H sur la répartition minéralogique des hydrates à l’équilibre pour un mélange cimentaire avec une forte teneur en aluminium / The aim of this work is to build a thermodynamic model at 25°C to describe the main hydrates of ordinary Portland cement with or without supplementary cementitious materials (SCM) : calcium hydrosilicates. With high aluminium content, SCM in blended cements modify the nature and the composition of the hydrates of cement paste.The simplified model system CaO-SiO2-H2O was studied by synthesising of C-S-H with identical protocol and analysis. We distinguished, hydration solutions undersaturated and supersaturated from Portlandite.This last system has been extended to CaO-Al2O3-SiO2-H2O system. Then, we determined the most suitable protocol to synthesize pure C-A-S-H.The nanoparticular nature and high specific surface of C-S-H lead us to build a surface dependant thermodynamic model. The modelling described in this work, which is inspired from previous works of our laboratory, enables to describe chemistry of solution, solid composition but also surface properties of C-S-H at equilibrium. This first model has been extended to C-A-S-H. Incorporation of aluminium in C-S-H has been taken into account through surface reactions on different titrable sites.Our models were applied to some simple cases such as the study of alkali retention by C-S-H, the evaluation of the impact of aluminium incorporation in C-S-H on hydrates nature and distribution for highly substituted blended cements, i.e. with high aluminium content
34

Caractérisation du comportement mécanique de la sous surface d'un polymère percé, sous une sollicitation de type hertzienne / Characterisation of mechanical behavior of a sub surface drilled polymer, under hertzian contact load

Palade, Adrian-Ciprian 20 September 2013 (has links)
Ce travail s'inscrit dans la compréhension du comportement de la sous-surface d'une pièce présentant des hétérogénéités contrôlées, soumise à un chargement de type hertzien sans affecter l'intégrité de sa surface initiale. Le but est de qualifier le champ de contraintes en sous couche. Pratiquement, des défauts de forme cylindrique sont positionnés là où le champ de contraintes est maximal. Le contact est dimensionné pour pouvoir observer, par photoélasticimétrie, les évolutions du champ de contraintes et développer une modélisation numérique pour étudier le comportement statique puis dynamique. Il ressort que la présence d'un trou sur l'axe de symétrie z (x = 0) est le facteur prépondérant. Les caractéristiques qui permettent de diminuer la contrainte de cisaillement sur l'axe de symétrie sont celles qui conduisent à un renforcement de la contrainte de cisaillement maximale dans le massif. Cette dualité nous conduit à proposer un indicateur qui prend en compte, à la fois, la contrainte de cisaillement, l'aplomb du contact et l"évolution de la contrainte maximale dans le massif. La méthodologie de travail a été mise en oeuvre et validée. Les approches analytiques et expérimentales ont permis de valider les modélisations numériques qui sont seules à même de permettre l'étude de nombreux cas. Les perspectives sont nombreuses, avec des incursions possibles en structuration de sous-surfaces, perçage simple, frittage sélectif par laser. Ce doctorat a permis de traiter le cas des défauts circulaires. Dans un autre domaine, le soudage est également un cas d'intérêt pour l'étude du comportement des cordons de soudure présentant des défauts de type porosités ou inclusions. / This research concerns the understanding of the sub-surface behaviour of a component presenting controlled heterogeneities and subjected to a Hertzian type load. The purpose is to qualify the stress field in the subsurface. Practically, defects of cylindrical shape are located where the stress field is maximal in sub surface. The contact is sized to be able to observe, by photoelasticity, the stress field and to develop a numerical model to simulate the behaviour (static and dynamic) of the friction area. It is highlighted that the presence of a hole on the z axis of symmetry (x = 0) is the dominating factor. The characteristics which allow decreasing the shearing stress on the symmetry axis are the ones which lead to a strengthening of the maximal shearing stress in the whole volume. This duality drives us to propose an indicator which takes into account, at the same time, the shearing stress below the contact and the evolution of the maximal stress in the whole volume. The working methodology was implemented and validated. The analytical and experimental approaches allow validating the numeric model which is the only one able to allow the study of numerous configurations. The perspectives are numerous, with possible incursions in structuring of sub-surfaces, simple drilling and selective laser sintering.... In another domain, the welding process is also a case of interest for the study of the behaviour of weld seam presenting defects of porosities or inclusions types
35

Conception et réalisation d'emballages actifs pour l'agroalimentaire

Nguimjeu, Christelle 30 November 2012 (has links)
[...]Ce travail de thèse porte sur la conception et la réalisation d’emballages actifs, pour desapplications dans le domaine de l’agroalimentaire. Elle s’inscrit dans le cadre du projetEMAC du groupe Vitagora, dont les objectifs sont d’optimiser la conservation des qualitésorganoleptiques des produits, et d’augmenter la DLC et la DLUO des aliments, à travers lamaîtrise de l’atmosphère des emballages.Dans une première partie, la thèse se concentre sur les aspects matériaux, avec un état de l’artsur la mise en oeuvre des emballages dits « actifs », l’étude du comportement à la mise enoeuvre des mélanges et la réalisation des emballages actifs. Les travaux de cette thèse se sontorientés sur l'amélioration d'emballages existant par l’incorporation directe de moléculesactives (thymol et carvacrol) et de charges végétales (chanvre et cellulose) susceptibles demoduler le comportement des agents actifs introduits dans l'emballageDans un deuxième temps, la thèse fait porter l’analyse sur les propriétés physico-chimiquesdes matériaux. Cette étude permettra de vérifier l’intégrité physique des matériaux, d’analyserle comportement rhéologique et la stabilité thermique au cours du procédé d’élaboration. Endépit des nombreuses contraintes thermo-mécaniques subies par les matériaux à la mise enoeuvre, les agents actifs ne semblent pas subir d’altérations chimiques. La présence de fibrespermet de réduire le taux de perte en agent actif ce qui pourrait être expliqué par leur systèmecapillaire qui sert de réservoir aux agents actifs lors de la mise en oeuvre.La troisième partie porte sur l’étude des interactions contenant/contenu et sur les différentsaspects règlementaires en termes de migration auxquelles sont soumis les emballagesalimentaires. Dans certains cas, la migration globale est supérieure à la LMG de 10 mg/dm².Nous avons optimisé la mise en oeuvre des matériaux en modifiant la réalisation descompounds et en réduisant le taux de fibres de 2,5% à 1% dans les emballages finaux. Unenette amélioration des valeurs de migration globale est observée, on passe ainsi d’une valeurmaximale 10,81 mg/dm² de à 2,85 mg/dm². [...] Enfin, dans la dernière partie, nous abordons l’efficacité de ces emballages actifs vis-à-vis dessouches bactériennes et leur impact sur la conservation des produits de l’industrieagroalimentaire. La capacité antimicrobienne du thymol et du carvacrol reste conservée aprèsla mise en oeuvre, de l’extrusion du mélange maître à la production de pots en injection. Lesplus grandes valeurs d’inhibition sont observées pour les échantillons chargés en fibresvégétales. De plus, il n’est pas nécessaire d’utiliser de fortes concentrations en agents actifspour observer une action sur le développement microbien. Des concentrations minimalesinhibitrices de l’ordre de 10-5 à 10-4 mg d’agent actif par millilitre d’air, ont été mesurées dansle cas des souches bactériennes P. camemberti, B. subtilis, L. plantarum, E. coli. Pour uneincorporation d’environ 0,2 % massique d’agent actif dans les emballages, il est déjà possibled’atteindre une concentration en phase vapeur moyenne de 4x10-5 mg/ml.Les essais préliminaires sur les propriétés sensorielles et organoleptiques montrent que ladurée de conservation d'aliments dans les emballages actifs augmente. Cependant il est aussipossible de noter un impact organoleptique se traduisant dans certains cas par unemodification de la saveur des aliments, dans d’autres cas par une odeur à l’ouverture desemballages. Les meilleurs résultats de conservation des aliments ont été obtenus avec lesfilms co-extrudés, dont la concentration en agent actif est cinq fois plus faible que dans celledes pots réalisés en injection / No abstract
36

Le cinéma d'Eloy de la Iglesia : marginalité et transgression / The cinema of 'Eloy de la Iglesia : marginaliy and transgression

Montero, Laureano 14 November 2014 (has links)
Le réalisateur espagnol Eloy de la Iglesia (1944-2006) est l’auteur de vingt-deux longs métrages réalisés entre 1966 et 2003. Sa vaste filmographie recouvre une période décisive de l’histoire de l’Espagne contemporaine, avec laquelle elle établit un dialogue constant. Plébiscité par le public, Eloy de la Iglesia s’attira les foudres de la censure qui surveilla de près sa production et l’inimitié d’une grande partie de la critique, y compris progressiste, qui lui reprocha immanquablement son opportunisme, sa démagogie, son penchant immodéré pour la provocation et son mauvais goût flagrant. Notre étude porte sur l’intégralité de la filmographie du réalisateur et met en lumière son extrême cohérence interne autour de deux axes majeurs : la marginalité et la transgression. Cinéaste situé à la périphérie des principaux courants et des tendances esthétiques majoritaires, Eloy de la Iglesia a pu mener à bien une œuvre personnelle et prolifique, à la croisée du cinéma d’auteur et du cinéma populaire, dans laquelle nous voulons voir le projet original d’analyser la société espagnole à partir de ses marges et sous l’angle de la transgression des normes et des valeurs dominantes. Son cinéma antiélitiste et résolument installé dans la culture de masse fait mine d’accepter les règles et le langage du cinéma commercial pour mieux les subvertir de l’intérieur. Il y introduit des sujets tabous et polémiques et développe un discours critique radical sur la réalité contemporaine espagnole. / Spanish director Eloy de la Iglesia (1944-2006) is the author of twenty-two feature films made between 1966 and 2003. His vast filmography covers a crucial period in the history of contemporary Spain, with which it is in constant dialogue. Acclaimed by audiences, Eloy de la Iglesia incurred the wrath of the Film Censorship Board (which kept a close watch on his work) and the hostility of many critics, including the most progressive ones, who inevitably rebuked him for opportunism, demagogy, excessive penchant for provocation and blatant bad taste. Our study focuses on his entire filmography and highlights its extreme internal coherence around two main axes: marginality and transgression. Always on the margins of major cinematic movements and aesthetic tendencies, Eloy de la Iglesia managed to develop a personal and prolific work at the crossroads of art-house and popular cinema; an original project to analyse Spanish society from its fringes and through transgression of dominant norms and values. His anti-elitist cinema, deeply rooted in mass culture, pretends to accept the rules and language of commercial cinema to better subvert them from within, by introducing taboo and controversial topics and developing a radical critical discourse on contemporary Spanish reality.
37

Détection automatique de chutes de personnes basée sur des descripteurs spatio-temporels : définition de la méthode, évaluation des performances et implantation temps-réel / Automatic human fall detection based on spatio-temporal descriptors : definition of the method, evaluation of the performance and real-time implementation

Charfi, Imen 21 October 2013 (has links)
Nous proposons une méthode supervisée de détection de chutes de personnes en temps réel, robusteaux changements de point de vue et d’environnement. La première partie consiste à rendredisponible en ligne une base de vidéos DSFD enregistrées dans quatre lieux différents et qui comporteun grand nombre d’annotations manuelles propices aux comparaisons de méthodes. Nousavons aussi défini une métrique d’évaluation qui permet d’évaluer la méthode en s’adaptant à la naturedu flux vidéo et la durée d’une chute, et en tenant compte des contraintes temps réel. Dans unsecond temps, nous avons procédé à la construction et l’évaluation des descripteurs spatio-temporelsSTHF, calculés à partir des attributs géométriques de la forme en mouvement dans la scène ainsique leurs transformations, pour définir le descripteur optimisé de chute après une méthode de sélectiond’attributs. La robustesse aux changements d’environnement a été évaluée en utilisant les SVMet le Boosting. On parvient à améliorer les performances par la mise à jour de l’apprentissage parl’intégration des vidéos sans chutes enregistrées dans l’environnement définitif. Enfin, nous avonsréalisé, une implantation de ce détecteur sur un système embarqué assimilable à une caméra intelligentebasée sur un composant SoC de type Zynq. Une démarche de type Adéquation AlgorithmeArchitecture a permis d’obtenir un bon compromis performance de classification/temps de traitement / We propose a supervised approach to detect falls in home environment adapted to location andpoint of view changes. First, we maid publicly available a realistic dataset, acquired in four differentlocations, containing a large number of manual annotation suitable for methods comparison. We alsodefined a new metric, adapted to real-time tasks, allowing to evaluate fall detection performance ina continuous video stream. Then, we build the initial spatio-temporal descriptor named STHF usingseveral combinations of transformations of geometrical features and an automatically optimised setof spatio-temporal descriptors thanks to an automatic feature selection step. We propose a realisticand pragmatic protocol which enables performance to be improved by updating the training in thecurrent location with normal activities records. Finally, we implemented the fall detection in Zynqbasedhardware platform similar to smart camera. An Algorithm-Architecture Adequacy step allowsa good trade-off between performance of classification and processing time
38

Le métabolisme des acides gras monoinsaturés et la prolifération des cellules cancéreuses coliques : rôle de la Stéaroyl-CoA Désaturase-1 et effets des isomères conjugués de l'acide linoléique / Monounsaturated fatly acid metabolism and colon cancer cells proliferation : role of Stearoyl-CoA desaturase-1 and effect of conjugated linoleic acid isomers

Pierre, Anne-Sophie 21 December 2012 (has links)
Le métabolisme de la cellule cancéreuse s’adapte aux besoins en macromolécules de cette cellule en prolifération et en réponse aux signaux du microenvironnement tumoral. Ainsi, la biosynthèse des acides gras monoinsaturés (AGMI), est augmentée dans les cellules cancéreuses coliques et associée à une augmentation de l’activité de la stéaroyl-CoA désaturase (SCD), enzyme limitante de cette synthèse. Les acides gras polyinsaturés (AGPI) comme les isomères conjugués de l’acide linoléique (CLA), c9,t11 CLA et t10,c12 CLA possèdent à la fois un effet inhibiteur sur l’activité SCD et un effet anti-tumoral dont les mécanismes moléculaires restent à préciser. Dans ce contexte, les objectifs de ce travail furent d’évaluer le rôle de SCD-1 dans la survie de la cellule cancéreuse colique (CCC) et les mécanismes de régulation sous-jacents mais également d’apporter des éléments nouveaux sur les régulations à l’origine de l’effet anti-prolifératif des CLA. Nous avons tout d’abord montré que l’extinction de l’expression de SCD-1 conduit à l’apoptose des CCC dépendante de CHOP. En revanche l’extinction de SCD 1 n’affecte en rien les cellules non cancéreuses. Par ailleurs, nous avons étudié les effets sur la viabilité des CCC de deux isomères de l’acide linoléique le c9,t11-CLA et le t10,c12-CLA in vitro. Nos résultats montrent que seul le t10,c12-CLA induit une mort cellulaire par apoptose des CCC sans affecter la survie de cellules coliques non transformées. Il apparait aussi être le seul isomère à réduire la biosynthèse des AGMI dans les CCC. La mort induite par le t10,c12 CLA dans les CCC est dépendante de l’activation d’un stress du RE via la production d’espèces réactives de l’oxygène.Nos travaux apportent des éléments nouveaux dans la compréhension du rôle de SCD 1 dans la survie des cellules cancéreuses coliques et les mécanismes d’action du t10,c12 CLA. Notre étude soutient l’hypothèse de faire de la biosynthèse des AGMI une cible thérapeutique possible dans le traitement des cancers colorectaux / Cancer cells adapt their metabolism in response to signals from the microenvironment and proliferation. Thus, MonoUnsaturated Fatty Acid (MUFA) synthesis is increased in colon cancer cells, and associated with increased Stearoyl-CoA Desaturase (SCD) activity, the rate limiting enzyme of MUFA biosynthesis. Polyunsaturated Fatty Acid (PUFA), as isomers of conjugated linoleic acid (CLA), exert inhibitor activity on SCD-1 and have anti-cancer properties, but their mechanisms are not yet clear. In this context, the aim of this work was first to evaluate the role of SCD-1 in the proliferation of colon cancer cells (CCC) and to define the underlying mechanisms. In a second time, we provide new information about regulation of the anti-proliferative effect of CLA. In a first time we showed that extinction of SCD-1 induces CCC apoptosis through CHOP expression. In contrast, the extinction of SCD-1 has no effect on viability of non cancerous cells. In addition, we studied effects of two isomers of CLA, c9,t11-CLA and t10,c12 CLA, on CCC viability in vitro. We showed that only t10,c12 CLA induces apoptotic CCC death without affecting survival of untransformed colon cells. t10,c12 CLA seems to be also the only to repress MUFA synthesis. It is also shown that cell death induced by t10,c12 CLA is ER stress dependent through reactive oxygen species generation. This work provides new information about SCD 1 role in colon cancer cells survival and mechanism of t10,c12 CLA. This study supports the hypothesis to consider MUFA biosynthesis as a potential therapeutic target in colorectal cancer treatment.
39

ScaleSem : model checking et web sémantique / ScaleSem : model checking and semantic web

Gueffaz, Mahdi 11 December 2012 (has links)
Le développement croissant des réseaux et en particulier l'Internet a considérablement développé l'écart entre les systèmes d'information hétérogènes. En faisant une analyse sur les études de l'interopérabilité des systèmes d'information hétérogènes, nous découvrons que tous les travaux dans ce domaine tendent à la résolution des problèmes de l'hétérogénéité sémantique. Le W3C (World Wide Web Consortium) propose des normes pour représenter la sémantique par l'ontologie. L'ontologie est en train de devenir un support incontournable pour l'interopérabilité des systèmes d'information et en particulier dans la sémantique. La structure de l'ontologie est une combinaison de concepts, propriétés et relations. Cette combinaison est aussi appelée un graphe sémantique. Plusieurs langages ont été développés dans le cadre du Web sémantique et la plupart de ces langages utilisent la syntaxe XML (eXtensible Meta Language). Les langages OWL (Ontology Web Language) et RDF (Resource Description Framework) sont les langages les plus importants du web sémantique, ils sont basés sur XML.Le RDF est la première norme du W3C pour l'enrichissement des ressources sur le Web avec des descriptions détaillées et il augmente la facilité de traitement automatique des ressources Web. Les descriptions peuvent être des caractéristiques des ressources, telles que l'auteur ou le contenu d'un site web. Ces descriptions sont des métadonnées. Enrichir le Web avec des métadonnées permet le développement de ce qu'on appelle le Web Sémantique. Le RDF est aussi utilisé pour représenter les graphes sémantiques correspondant à une modélisation des connaissances spécifiques. Les fichiers RDF sont généralement stockés dans une base de données relationnelle et manipulés en utilisant le langage SQL ou les langages dérivés comme SPARQL. Malheureusement, cette solution, bien adaptée pour les petits graphes RDF n'est pas bien adaptée pour les grands graphes RDF. Ces graphes évoluent rapidement et leur adaptation au changement peut faire apparaître des incohérences. Conduire l’application des changements tout en maintenant la cohérence des graphes sémantiques est une tâche cruciale et coûteuse en termes de temps et de complexité. Un processus automatisé est donc essentiel. Pour ces graphes RDF de grande taille, nous suggérons une nouvelle façon en utilisant la vérification formelle « Le Model checking ».Le Model checking est une technique de vérification qui explore tous les états possibles du système. De cette manière, on peut montrer qu’un modèle d’un système donné satisfait une propriété donnée. Cette thèse apporte une nouvelle méthode de vérification et d’interrogation de graphes sémantiques. Nous proposons une approche nommé ScaleSem qui consiste à transformer les graphes sémantiques en graphes compréhensibles par le model checker (l’outil de vérification de la méthode Model checking). Il est nécessaire d’avoir des outils logiciels permettant de réaliser la traduction d’un graphe décrit dans un formalisme vers le même graphe (ou une adaptation) décrit dans un autre formalisme / The increasing development of networks and especially the Internet has greatly expanded the gap between heterogeneous information systems. In a review of studies of interoperability of heterogeneous information systems, we find that all the work in this area tends to be in solving the problems of semantic heterogeneity. The W3C (World Wide Web Consortium) standards proposed to represent the semantic ontology. Ontology is becoming an indispensable support for interoperability of information systems, and in particular the semantics. The structure of the ontology is a combination of concepts, properties and relations. This combination is also called a semantic graph. Several languages have been developed in the context of the Semantic Web. Most of these languages use syntax XML (eXtensible Meta Language). The OWL (Ontology Web Language) and RDF (Resource Description Framework) are the most important languages of the Semantic Web, and are based on XML.RDF is the first W3C standard for enriching resources on the Web with detailed descriptions, and increases the facility of automatic processing of Web resources. Descriptions may be characteristics of resources, such as the author or the content of a website. These descriptions are metadata. Enriching the Web with metadata allows the development of the so-called Semantic Web. RDF is used to represent semantic graphs corresponding to a specific knowledge modeling. RDF files are typically stored in a relational database and manipulated using SQL, or derived languages such as SPARQL. This solution is well suited for small RDF graphs, but is unfortunately not well suited for large RDF graphs. These graphs are rapidly evolving, and adapting them to change may reveal inconsistencies. Driving the implementation of changes while maintaining the consistency of a semantic graph is a crucial task, and costly in terms of time and complexity. An automated process is essential. For these large RDF graphs, we propose a new way using formal verification entitled "Model Checking".Model Checking is a verification technique that explores all possible states of the system. In this way, we can show that a model of a given system satisfies a given property. This thesis provides a new method for checking and querying semantic graphs. We propose an approach called ScaleSem which transforms semantic graphs into graphs understood by the Model Checker (The verification Tool of the Model Checking method). It is necessary to have software tools to perform the translation of a graph described in a certain formalism into the same graph (or adaptation) described in another formalism

Page generated in 0.0581 seconds