L’augmentation de la taille des réseaux actuels ainsi que de la diversité des applications qui les utilisent font que les architectures de calcul traditionnelles deviennent limitées. En effet, les architectures purement logicielles ne permettent pas de tenir les débits en jeu, tandis que celles purement matérielles n’offrent pas assez de flexibilité pour répondre à la diversité des applications. Ainsi, l’utilisation de solutions de type matériel programmable, en particulier les Field Programmable Gate Arrays (FPGAs), a été envisagée. En effet, ces architectures sont souvent considérées comme un bon compromis entre performances et flexibilité, notamment grâce à la technique de Reconfiguration Dynamique Partielle (RDP), qui permet de modifier le comportement d’une partie du circuit pendant l’exécution. Cependant, cette technique peut présenter des inconvénients lorsqu’elle est utilisée de manière intensive, en particulier au niveau du stockage des fichiers de configuration, appelés bitstreams. Pour palier ce problème, il est possible d’utiliser la relocation de bitstreams, permettant de réduire le nombre de fichiers de configuration. Cependant cette technique est fastidieuse et exige des connaissances pointues dans les FPGAs. Un flot de conception entièrement automatisé a donc été développé dans le but de simplifier son utilisation.Pour permettre une flexibilité sur l’enchaînement des traitements effectués, une architecture de communication flexible supportant des hauts débits est également nécessaire. Ainsi, l’étude de Network-on-Chips dédiés aux circuits reconfigurables et au traitements réseaux à haut débit.Enfin, un cas d’étude a été mené pour valider notre approche. / The increase in both size and diversity of applications regarding modern networks is making traditional computing architectures limited. Indeed, purely software architectures can not sustain typical throughputs, while purely hardware ones severely lack the flexibility needed to adapt to the diversity of applications. Thus, the investigation of programmable hardware, such as Field Programmable Gate Arrays (FPGAs), has been done. These architectures are indeed usually considered as a good tradeoff between performance and flexibility, mainly thanks to the Dynamic Partial Reconfiguration (DPR), which allows to reconfigure a part of the design during run-time.However, this technique can have several drawbacks, especially regarding the storing of the configuration files, called bitstreams. To solve this issue, bitstream relocation can be deployed, which allows to decrease the number of configuration files required. However, this technique is long, error-prone, and requires specific knowledge inFPGAs. A fully automated design flow has been developped to ease the use of this technique. In order to provide flexibility regarding the sequence of treatments to be done on our architecture, a flexible and high-throughput communication structure is required. Thus, a Network-on-Chips study and characterization has been done accordingly to network processing and bitstream relocation properties. Finally, a case study has been developed in order to validate our approach.

The thesis deals with so-called evolutionary equations, a class of abstract linear operator equations, which cover a huge class of partial differential equation with and without memory. We provide a unified Hilbert space framework for the well-posedness of such equations. Moreover, we inspect the exponential stability of those problems and construct spaces of admissible inital values and pre-histories, on which a strongly continuous semigroup could be associated with the given problem. The theoretical results are illustrated by several examples.

Les travaux de recherche détaillés dans ce document portent sur la conception et l’implantation d’un composant matériel jouant le rôle du sous-système cryptographique d’une radio logicielle sécurisée.A partir du début des années 90, les systèmes radios ont peu à peu évolué de la radio classique vers la radio logicielle. Le développement de la radio logicielle a permis l’intégration d’un nombre toujours plus grand de standards de communication sur une même plateforme matérielle. La réalisation concrète d’une radio logicielle sécurisée amène son concepteur à faire face à de nombreuses problématiques qui peuvent se résumer par la question suivante : Comment implanter un maximum de standards de communication sur une même plateforme matérielle et logicielle ? Ce document s’intéresse plus particulièrement à l’implantation des standards cryptographiques destinés à protéger les radiocommunications.Idéalement, la solution apportée à ce problème repose exclusivement sur l’utilisation de processeurs numériques. Cependant, les algorithmes cryptographiques nécessitent le plus souvent une puissance de calcul telle que leur implantation sous forme logicielle n’est pas envisageable. Il s’ensuit qu’une radio logicielle doit parfois intégrer des composants matériels dédiés dont l'utilisation entre en conflit avec la propriété de flexibilité propre aux radios logicielles.Or depuis quelques années, le développement de la technologie FPGA a changé la donne. En effet, les derniers FPGA embarquent un nombre de ressources logiques suffisant à l’implantation des fonctions numériques complexes utilisées par la radio logicielle. Plus précisément, la possibilité offerte par les FPGA d'être reconfiguré dans leur totalité (voir même partiellement pour les derniers d’entre eux) fait d’eux des candidats idéaux à l’implantation de composants matériels flexibles et évolutifs dans le temps. À la suite de ces constatations, des travaux de recherche ont été menés au sein de l’équipe Conception des Systèmes Numériques du Laboratoire IMS. Ces travaux ont d’abord débouché sur la publication d’une architecture de sous-système cryptographique pour la radio logicielle sécurisée telle qu’elle est définie par la Software Communication Architecture. Puis, ils se sont poursuivis par la conception et l’implantation d’un cryptoprocesseur multi-cœur dynamiquement reconfigurable sur FPGA. / The research detailed in this document deal with the design and implementation of a hardware integrated circuit intended to be used as a cryptographic sub-system in secure software defined radios.Since the early 90’s, radio systems have gradually evolved from traditional radio to software defined radio. Improvement of the software defined radio has enabled the integration of an increasing number of communication standards on a single radio device. The designer of a software defined radio faces many problems that can be summarized by the following question: How to implement a maximum of communication standards into a single radio device? Specifically, this work focuses on the implementation of cryptographic standards aimed to protect radio communications.Ideally, the solution to this problem is based exclusively on the use of digital processors. However, cryptographic algorithms usually require a large amount of computing power which makes their software implementation inefficient. Therefore, a secure software defined radio needs to incorporate dedicated hardware even if this usage is conflicting with the property of flexibility specific to software defined radios.Yet, in recent years, the improvement of FPGA circuits has changed the deal. Indeed, the latest FPGAs embed a number of logic gates which is sufficient to meet the needs of the complex digital functions used by software defined radios. The possibility offered by FPGAs to be reconfigured in their entirety (or even partially for the last of them) makes them ideal candidates for implementation of hardware components which have to be flexible and scalable over time.Following these observations, research was conducted within the Conception des Systèmes Numériques team of the IMS laboratory. These works led first to the publication of an architecture of cryptographic subsystem compliant with the security supplement of the Software Communication Architecture. Then, they continued with the design and implementation of a partially reconfigurable multi-core cryptoprocessor intended to be used in the latest FPGAs.

La thèse s'inscrit dans le cadre du projet GENOME « Gestion Optimisée de l'Energie » dont l'enjeu majeur est la conception d'un avion plus électrique. L'augmentation de l'efficacité énergétique et de la compacité des systèmes électriques de ces avions entraîne de fortes sollicitations en température. Ces sollicitations sont liées à la compacité des systèmes (réduction de masse et de volume) ainsi qu'à leur localisation par rapport aux sources chaudes (réacteur d'avion par exemple). De ce fait, les matériaux magnétiques des nouveaux convertisseurs électriques doivent pouvoir fonctionner sous des conditions de hautes températures, supérieures à 200°C. Il s'agit du polycristallin FeCoV dédié à la fabrication des tôles du stator et du rotor des génératrices rapides (situées à proximité des réacteurs) et le nanocristallin FeCuNuSiB dédié à la conception des inductances et transformateurs des convertisseurs statiques. Ce manuscrit s'intéresse à l'étude du vieillissement thermique de ces deux familles de matériaux magnétiques. Ces matériaux, fournis par la société APERAM, se déclinent sous plusieurs nuances et finitions. L'étude du vieillissement consiste en l'application de plusieurs essais de vieillissement continus sous différentes températures (jusqu'à 300 °C pour les FeCoV et 240 °C pour les nanocristallins). Plusieurs grandeurs macroscopiques magnétiques, électriques et mécaniques (pour les FeCoV) sont mesurées à chaque intervalle de vieillissement. Grâce à ces mesures macroscopiques et à des mesures complémentaires effectuées à l'échelle microscopique, des analyses sont faites et des hypothèses sont proposées afin d'expliquer les mécanismes de vieillissement de ces deux familles de matériaux et dans le but de proposer des modèles phénoménologiques fiables / The thesis takes part of the project GENOME “Gestion Optimisée de l’Energie” whose major issue is the design of the more electrical aircraft. The increase in the energy efficiency and the compactness of the electrical systems of these aircrafts lead to high temperature stresses. These thermal stresses are related to the compactness of the systems (reduction of mass and volume) as well as their location with respect to the hot sources (aircraft engine for example). Thus, the magnetic materials of the new electrical converters must be able to operate under conditions of high temperatures, above 200 °C. Typically, the FeCoV polycrystalline materials are dedicated to the fabrication of the stator and rotor sheets of the fast generators (located near the aircraft engine) and the FeCuNbSiB nanocrystalline materials are dedicated to the design of inductors and transformers of the static converters.This manuscript concerns the thermal ageing study of these two magnetic material families. These materials, supplied by the company APERAM, are available in several shades. The ageing study consists on applying several continuous ageing treatments at different temperatures (up to 300 °C for FeCoV and 240 °C for FeCuNbSiB). At each ageing step, several macroscopic properties namely: magnetic, electrical and mechanical (for the FeCoV materials) properties are measured. Using these macroscopic properties and complementary measurements carried out on a microscopic scale, analyses are made and hypotheses are proposed in order to explain the ageing mechanisms of these magnetic material families. The understanding of the magnetic ageing mechanisms is necessary towards establishing of phenomenological ageing models

A discrete event system is a system whose state space is given by a discrete set and whose state transition mechanism is event-driven i.e. its state evolution depends only on the occurrence of discrete events over the time. These systems are used in many fields of application (telecommunication networks, aeronautics, aerospace,). The validity of these systems is then an important issue and to ensure it we can use supervisory control methods. These methods consist in imposing a given specification on a system by means of a controller which runs in parallel with the original system and which restricts its behavior. In this thesis, we develop supervisory control methods where the system can have an infinite state space and the controller has a partial observation of the system (this implies that the controller must define its control policy from an imperfect knowledge of the system). Unfortunately, this problem is generally undecidable. To overcome this negative result, we use abstract interpretation techniques which ensure the termination of our algorithms by overapproximating, however, some computations. The aim of this thesis is to provide the most complete contribution it is possible to bring to this topic. Hence, we consider more and more realistic problems. More precisely, we start our work by considering a centralized framework (i.e. the system is controlled by a single controller) and by synthesizing memoryless controllers (i.e. controllers that define their control policy from the current observation received from the system). Next, to obtain better solutions, we consider the synthesis of controllers that record a part or the whole of the execution of the system and use this information to define the control policy. Unfortunately, these methods cannot be used to control an interesting class of systems: the distributed systems. We have then defined methods that allow to control distributed systems with synchronous communications (decentralized and modular methods) and with asynchronous communications (distributed method). Moreover, we have implemented some of our algorithms to experimentally evaluate the quality of the synthesized controllers. / <p><p>Un système à événements discrets est un système dont l'espace d'états est un ensemble discret et dont l'évolution de l'état courant dépend de l'occurrence d'événements discrets à travers le temps. Ces systèmes sont présents dans de nombreux domaines critiques tels les réseaux de communications, l'aéronautique, l'aérospatiale. La validité de ces systèmes est dès lors une question importante et une manière de l'assurer est d'utiliser des méthodes de contrôle supervisé. Ces méthodes associent au système un dispositif, appelé contrôleur, qui s'exécute en parrallèle et qui restreint le comportement du système de manière à empêcher qu'un comportement erroné ne se produise. Dans cette thèse, on s'intéresse au développement de méthodes de contrôle supervisé où le système peut avoir un espace d'états infini et où les contrôleurs ne sont pas toujours capables d'observer parfaitement le système; ce qui implique qu'ils doivent définir leur politique de contrôle à partir d'une connaissance imparfaite du système. Malheureusement, ce problème est généralement indécidable. Pour surmonter cette difficulté, nous utilisons alors des techniques d'interprétation abstraite qui assurent la terminaison de nos algorithmes au prix de certaines sur-approximations dans les calculs. Le but de notre thèse est de fournir la contribution la plus complète possible dans ce domaine et nous considèrons pour cela des problèmes de plus en plus réalistes. Plus précisement, nous avons commencé notre travail en définissant une méthode centralisée où le système est contrôlé par un seul contrôleur qui définit sa politique de contrôle à partir de la dernière information reçue du système. Ensuite, pour obtenir de meilleures solutions, nous avons défini des contrôleurs qui retiennent une partie ou la totalité de l'exécution du système et qui définissent leur politique de contrôle à partir de cette information. Malheureusement, ces méthodes ne peuvent pas être utilisées pour contrôler une classe intéressante de systèmes: les sytèmes distribués. Nous avons alors défini des méthodes permettant de contrôler des systèmes distribués dont les communications sont synchrones (méthodes décentralisées et modulaires) et asynchrones (méthodes distribuées). De plus, nous avons implémenté certains de nos algorithmes pour évaluer expérimentalement la qualité des contrôleurs qu'ils synthétisent. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

La texture du fruit, caractère complexe de qualité, est un critère majeur pour le consommateur mais aussi pour la filière. Au cours de cette thèse, la texture a été analysée par une approche globale et intégrative combinant des approches écophysiologique et protéomique. Les objectifs étaient : 1) d’améliorer la compréhension de la texture des fruits charnus, 2) d’évaluer les effets des interactions génotype x apports en eau sur cette variable, 3) d’identifier par une approche globale sans à priori les variables clés sous-jacentes à la texture et 4) de proposer une approche intégrative permettant de construire un réseau de régulation multi-échelles pouvant être intégré dans un modèle prédictif. Les fruits de six génotypes contrastés pour la texture (3 parents et 3 QTL-NILs), cultivés en serre sous deux conditions hydriques (témoin et réduction des apports d’eau (-40%)), ont été phénotypés pour la fermeté au stade expansion cellulaire, fruit rouge et une semaine à 20°C après récolte, par des méthodes instrumentales (compression, pénétrométrie) et sensorielles. Divers caractères anatomiques, histologiques et biochimiques ont été analysés en parallèle ainsi que les variations du protéome du fruit (électrophorèse bidimensionnelle et spectrométrie de masse). L’analyse statistique a mis en oeuvre deux méthodes : 1) l’Analyse de Co-inertie Multiple, analyse multi-tableaux basée sur un critère de covariance, qui permet le traitement simultané d’un très grand nombre de données ; 2) l’inférence de réseau, basée sur la recherche de dépendances conditionnelles entre variables. Les résultats montrent qu’une réduction des apports d’eau est possible moyennant une baisse de rendement de 20% pour une production de tomate hors sol, baisse essentiellement liée à la réduction de la taille des fruits due à un moindre grandissement cellulaire. En revanche, la qualité des fruits est améliorée par une augmentation des taux de matières sèches, de vitamine C, de sucres ainsi qu’une augmentation de la fermeté pour certaines lignées QTL-NILs. Le déficit hydrique a induit la variation de 128 spots protéiques en interaction avec le génotype et le stade de développement. Le déficit hydrique affecte essentiellement le stade fruit rouge et les effets sont faibles par rapport aux effets génétiques. L’analyse des données des différents niveaux d’échelles en co-inertie multiple, a montré l’existence d’une structure commune aux différentes échelles qui suggère bien une régulation globale de l’ensemble des variables observées en réponse au génotype et au déficit hydrique. L’analyse des corrélations et l’inférence graphique de réseaux ont permis de mieux structurer l’ensemble des informations et de sélectionner les variables fortement impliquées dans le déterminisme génétique de la texture du fruit afin de construire un schéma multi-échelles de régulation. Enfin ces résultats ont permis de proposer plusieurs modèles statistiques prédictifs de la fermeté des fruits charnus, basés sur des variables protéomiques, biochimiques et/ou histologiques, qui pourront être couplés au modèle fruit virtuel, permettant de prédire les effets de l’environnement sur l’évolution de la texture des fruits / Tomato fruit texture is one of the most critical quality traits for both the consumer and the production chain. In this work, texture was analyzed via an integrative approach combining ecophysiology and proteomics. The aims were 1) To improve knowledge of the texture of fleshy fruit, 2) To evaluate the effects of genotype x water deficit interactions, 3) To identify by a holistic approach without a priori key variables underlying texture and 4) To propose an integrative approach to build a network of multi-scale controls which could be integrated into a predictive model. Fruits from six texture contrasted genotypes (3 parents and 3 QTL-NILs), greenhouse grown under two water conditions (control and decreased water supply by 40%), were analyzed for firmness at cell expansion, at red ripe stage and after 7-days post-harvest storage at 20°C, by instrumental (compression, penetrometer) and sensory methods. Several anatomical, histological and biochemical traits were analyzed as well as changes in fruit proteome (two-dimensional electrophoresis and mass spectrometry). Statistical analysis implemented two innovative methods: 1) multiple co-inertia analysis, multi-table analysis based on a criterion of covariance, which allows the simultaneous processing of large datasets, 2) inference network, based on the research of conditional dependencies among variables. Results showed a tomato production is possible by reducing the water supply and accepting a lower yield (20%), due to reduced fruit size by limiting cell enlargement. Fruit quality was improved by increasing solids content, vitamin C, sugars and increased firmness for some QTL-NILs. Water deficit was associated with the variation of 128 protein spots in interaction with genotype and stage factors. The effects of water deficit were mainly detected at the red ripe stage and remained low compared to genetic effects. The analysis of data from different levels in multiple co-inertia, showed a common structure at different scales, which suggests a good overall control of the measured variables. Correlation analysis and graphical inference networks helped selecting key-variables involved in the genetic determinism of fruit texture, to draw a multi-scale control scheme variable. Finally, these results were used to propose several statistical models to predict the firmness of fleshy fruits, based on proteomic, biochemical and / or histological data, which can be coupled to the virtual fruit model, to predict environmental effects on fruit texture

Cell migration, the active translocation of cells is involved in various biological processes, e.g. development of tissues and organs, tumor invasion and wound healing. Cell migration behavior can be divided into two distinct classes: single cell migration and collective cell migration. Single cell migration describes the migration of cells without interaction with other cells in their environment. Collective cell migration is the joint, active movement of multiple cells, e.g. in the form of strands, cohorts or sheets which emerge as the result of individual cell-cell interactions. Collective cell migration can be observed during branching morphogenesis, vascular sprouting and embryogenesis. Experimental studies of single cell migration have been extensive. Collective cell migration is less well investigated due to more difficult experimental conditions than for single cell migration. Especially, experimentally identifying the impact of individual differences in cell phenotypes on individual cell migration behavior inside cell populations is challenging because the tracking of individual cell trajectories is required. In this thesis, a novel mathematical modeling approach, individual-based lattice-gas cellular automata (IB-LGCA), that allows to investigate the migratory behavior of individual cells inside migrating cell populations by enabling the tracking of individual cells is introduced. Additionally, stochastic differential equation (SDE) approximations of individual cell trajectories for IB-LGCA models are constructed. Such SDE approximations allow the analytical description of the trajectories of individual cells during single cell migration. For a complete analytical description of the trajectories of individual cell during collective cell migration the aforementioned SDE approximations alone are not sufficient. Analytical approximations of the time development of selected observables for the cell population have to be added. What observables have to be considered depends on the specific cell migration mechanisms that is to be modeled. Here, partial integro-differential equations (PIDE) that approximate the time evolution of the expected cell density distribution in IB-LGCA are constructed and coupled to SDE approximations of individual cell trajectories. Such coupled PIDE and SDE approximations provide an analytical description of the trajectories of individual cells in IB-LGCA with density-dependent cell-cell interactions. Finally, an IB-LGCA model and corresponding analytical approximations were applied to investigate the impact of changes in cell-cell and cell-ECM forces on the migration behavior of an individual, labeled cell inside a population of epithelial cells. Specifically, individual cell migration during the epithelial-mesenchymal transition (EMT) was considered. EMT is a change from epithelial to mesenchymal cell phenotype which is characterized by cells breaking adhesive bonds with surrounding epithelial cells and initiating individual migration along the extracellular matrix (ECM). During the EMT, a transition from collective to single cell migration occurs. EMT plays an important role during cancer progression, where it is believed to be linked to metastasis development. In the IB-LGCA model epithelial cells are characterized by balanced cell-cell and cell-ECM forces. The IB-LGCA model predicts that the balance between cell-cell and cell-ECM forces can be disturbed to some degree without being accompanied by a change in individual cell migration behavior. Only after the cell force balance has been strongly interrupted mesenchymal migration behavior is possible. The force threshold which separates epithelial and mesenchymal migration behavior in the IB-LGCA has been identified from the corresponding analytical approximation. The IB-LGCA model allows to obtain quantitative predictions about the role of cell forces during EMT which in the context of mathematical modeling of EMT is a novel approach.

Au carrefour du droit du travail, du droit civil et du droit des sociétés siège la notion de rémunération. À l’image du contrat de travail, la rémunération peut se métamorphoser pour devenir un outil d’association financière des salariés à la performance de l’entreprise. L’association financière des salariés aux performances de l’entreprise ne présente pas un visage unique. Elle déploie d’abord ses effets dans le périmètre du Code du travail : l’individuel et le collectif se rejoignent pour dessiner une première forme d’association. Salaire et épargne salariale constituent les fruits du contrat de travail exécuté sous la seule bannière de la qualité de salarié. Celle-ci constitue l’élément primaire de l’association financière. L’actionnariat salarié emporte, en revanche, une double qualité : à celle de salarié s’ajoute celle d’associé. L’association financière devient alors parfaite. / At the crossroads between civil law and corporate law lies the notion of remuneration. Modelled on the contract of employment, remuneration can turn into a tool to share profits with the employees according to the performance of the company. Sharing profits with the employees according to the company’s performance is a multifaceted action. Its first effects appear within the scope of the labor code: the notions of individual and collective meet to give a first draft of profit sharing. Salaries and employee savings plans are at the core of profit sharing. On the contrary, employee share ownership presents a twofold position: employee and associate. Profits then become perfectly shared.

Au cours de la dernière phase d’accrétion, les planètes terrestres ont connu des impacts géants violents et très énergétiques. A la suite du chauffage causé par les impacts, la Terre primitive était partiellement ou totalement fondue, et un océan magmatique a été formé dans la couche externe de la Terre. Le refroidissement successif de l’océan magmatique a causé la cristallisation fractionnée du manteau primitif. Cependant, il reste beaucoup d’incertitudes à propos de l’accrétion de la Terre primitive, comme la profondeur et la durée de vie d’un (ou plusieurs) océan(s) magmatique(s), l’effet de la recristallisation du manteau sur la ségrégation chimique entre les différents réservoirs de la Terre et ainsi de suite. La connaissance des propriétés de fusion du manteau profond est important aussi pour examiner la possibilité d’une fusion partielle actuellement. L’objectif était d’aborder quelques problèmes concernant le manteau inférieur terrestre : Quelle est la séquence de fusion entre les phases dominantes dans le manteau inférieur ? Est-ce qu’on peut expliquer la zone à ultra-basse vélocité (ULVZ) avec la fusion partielle d’un manteau pyrolytique (ou chondritique) ? Quel est le partage du fer entre les phases silicatées liquides et solides dans le manteau profond ? Est-ce qu’on peut donner des informations nouvelles sur les propriétés d’un océan magmatique profond à partir des courbes de fusion du manteau primitif ? Dans cette étude les courbes de fusion et les relations de fusion ont été analysées en utilisant la cellule à enclume de diamant chauffé au laser (LH-DAC) pour des pressions entre 25 et 135 GPa et des températures jusqu’à plus que 4000 K, i.e. pour des conditions de P-T qui correspondent au manteau inférieur terrestre entier. Les compositions utilisées ont été le raccord entre MgO et MgSiO3 et une composition de type chondritique pour le manteau terrestre. J’ai utilisé deux techniques in-situ de radiation-synchrotron pour déduire les propriétés de fusion à hautes pressions ; la diffractométrie au rayons-X et la fluorescence au rayons-X. Les nouveaux résultats obtenus dans cette étude sont : (...) / During the final stage of accretion, terrestrial planets experienced violent and highly energetic giant impacts. As a consequence of impact heating, the early Earth was partially or wholly molten, forming a magma ocean in the outer layer of Earth. Subsequent cooling of the magma ocean has led to fractional crystallization of the primitive mantle. Many unknowns remain about accretion of the early Earth, such as extension depth and life time of the magma ocean(s), role of mantle recrystallization on the chemical segregation between the different Earth reservoirs, and so on. The knowledge of melting properties of the deep mantle is also important to investigate the possibility of partial melting at the present time. The aim of this study was to tackle a few major questions concerning the Earth lower mantle : What is the melting sequence between the main lower mantle phases ? Can we explain the ultra-low-velocity zones (ULVZ) by partial melting of pyrolitic (or chondritic) mantle ? How does iron partition between liquid and solid silicate phases in the deep mantle ? Can we provide new information on the properties of the deep magma ocean based on the melting curve of the primitive mantle ? Melting curves and melting relations have been investigated using the laser-heated diamond anvil cell (LH-DAC) for pressure between 25 and 135 GPa and temperature up more than 4000 K, i.e. at P-T conditions corresponding to the entire Earth’s lower mantle. Compositions investigated were the join between MgO and MgSiO3 and a model chondritic-composition for the Earth mantle. Two different in situ synchrotron radiation techniques have been used to infer melting properties at high pressures ; X-ray diffraction and X-ray fluorescence spectroscopy. The new results obtained in this study include : (...)

La thèse présentée ici a pour but de proposer des systèmes de détection, de composition de constituants sémantiques et d’interprétation dans la compréhension de la langue naturelle parlée. Cette compréhension se base sur un système de reconnaissance automatique de la parole qui traduit les signaux oraux en énoncés utilisables par la machine. Le signal de la parole, ainsi transcrit, comporte un ensemble d’erreurs liées aux erreurs de reconnaissance (bruits, parasites, mauvaise prononciation...). L’interprétation de cet énoncé est d’autant plus difficile qu’il est issu d’un discours parlé, soumis à la disfluence du discours, aux auto-corrections... L’énoncé est de plus agrammatical, car le discours parlé lui-même est agrammatical. L’application de méthodes d’analyses grammaticales ne produit pas de bons résultats d’interprétation, sur des textes issus de transcriptions de la parole. L’utilisation de méthodes d’analyses syntaxiques profondes est à éviter. De ce fait, une analyse superficielle est envisagée. Un des premiers objectifs est de proposer une représentation du sens. Il s’agit de considérer des ontologies afin de conceptualiser le monde que l’on décrit. On peut exprimer les composants sémantiques en logique du premier ordre avec des prédicats. Dans les travaux décrits ici, nous représentons les éléments sémantiques par des frames (FrameNet ). Les structures de frames sont hiérarchisées, et sont des fragments de connaissances auxquels on peut insérer, fusionner ou inférer d’autres fragments de connaissances. Les structures de frames sont dérivables en formules logiques. Nous proposons un système de compréhension de la parole à partir de règles logiques avec le support d’une ontologie, afin de pouvoir créer des liens à partir de composants sémantiques. Puis, nous avons mené une étude sur la découverte des supports syntaxiques des relations sémantiques. Nous proposons une expérience de composition sémantique afin d’enrichir les composants sémantiques de base. Enfin, nous présentons un système de détection de lambda-expression pour mettre en hypothèse les relations à trouver à travers le discours / The thesis presented here is intended to provide detection systems, composition of components and semantic interpretation in the natural spoken language understanding. This understanding is based on an automatic speech recognition system that translates the signals into oral statements used by the machine. The transcribed speech signal, contains a series of errors related to recognition errors (noise, poor pronunciation...). The interpretation of this statement is difficult because it is derived from a spoken discourse, subject to the disfluency of speech, forself-correction... The statement is more ungrammatical, because the spoken discourse itself is ungrammatical. The application of grammatical analysis methods do not produce good results interpretation, on the outcome of speech transcription. The use of deep syntactic analysis methods should be avoided. Thus, a superficial analysis is considered. A primary objective is to provide a representation of meaning. It is considered ontologies to conceptualize the world we describe. We can express the semantic components in first order logic with predicates. In the work described here, we represent the semantic elements by frames (FrameNet ). The frames are hierarchical structures, and are fragments of knowledge which can be inserted, merge or infer other fragments of knowledge. The frames are differentiable structures in logical formulas. We propose a system for speech understanding from logical rules with the support of an ontology in order to create links from semantic components. Then, we conducted a study on the discovery supports syntactic semantic relationships. We propose a compositional semantics experience to enrich the basic semantic components. Finally, we present a detection system for lambda-expression hypothesis to find the relationship through discourse