. 21 ont des teneurs en Os > 1 ppb et des rapports 187Re/188Os < 3. Leurs TRD ERUPT varient de 0.7 à 2.3 Ga (moyenne 1.7 Ga). Les analyses isotopiques du Re/Os de 9 péridotites résiduelles (0.1-1.2% Al2O3) donnent des âges TRD ERUPT variant de 1.4 à 2.3 Ga (maximum de probabilité 2.1 Ga) Les cratons sont de vastes portions de lithosphère continentale formés d’une croûte continentale type TTG et d’un manteau lithosphérique épaissi (>200km), froid (40 mW/m²) et composé majoritairement par des péridotites fortement réfractaires (Mg#WR>0.92, Al2O3-CaO <1%), échantillonnées sous forme de xénolites lors des éruptions kimberlitiques. Il est admis que les péridotites cratoniques ont été formées par de hauts degrés de fusion partielle, cependant, les fortes teneurs en SiO2 de certaines xénolites impliquent des mécanismes de fusion très particuliers. De plus, les fortes teneurs en FeO, TiO2, REE, en cpx et en grenats d’un grand nombre d’échantillons ne sont pas cohérentes avec une origine résiduelle. En effet la majorité des péridotites cratoniques a subi des transformations qui masquent actuellement leur composition initiale. C’est pourquoi les conditions de la fusion et les processus post-formation qui affectent le manteau cratonique demeurent très mal contraints. Udachnaya est la seule kimberlite du craton Sibérien qui fournit des xénolites de péridotite de tailles suffisantes pour les études géochimiques et isotopiques (>>100g). Cette thèse se base sur une grande collection de xénolites de péridotites (>50) particulièrement fraîches i.e. les olivines et les autres minéraux sont préservés de l’altération et les pertes au feu des roches totales (LOI) sont <2%. Les péridotites sont des harzburgites et des lherzolites, généralement pauvres en cpx (<6%) du faciès à spinelle et à grenat, avec des microstructures aussi bien grenues que déformées. Cette collection est représentative de l’ensemble du profil lithosphérique (du Moho jusqu’à 220km). La majorité des péridotites à spinelle est pauvre en opx (<20%). Les péridotites riches en silice sont moins courantes dans le manteau cratonique sibérien que ce que l’étude de Boyd et al. (1997) a montré. Seul ¼ des péridotites à spinelle de notre collection a des compositions en opx >30%. Les péridotites à spinelle, pauvres en opx ont des compositions en éléments majeurs proches d’un résidu de fusion. Contrairement aux autres études, leurs compositions en Al2O3, FeO et Mg#WR définissent des trends qui, comparés aux études expérimentales, indiquent une origine par 38% d’une fusion fractionnée par décompression entre 7-4 GPa et ≤1–2 GPa ; ce qui est en accord avec les modélisations des éléments en trace. L’origine des péridotites riches en silice est incertaine, et l’hypothèse d’une interaction avec des liquides de subduction est peu probable : leurs compositions en SiO2 et FeO diffèrent des péridotites d’arc, et leur δ18OWR ~5.3 ± 0.2‰ est proche de la valeur référence pour le manteau (5.5‰). 1/3 des péridotites à grenat grenues a des compositions similaires aux péridotites à spinelle et indiquent donc des conditions de formation similaires. Le grenat, dans la majorité de ces péridotites, est d’origine résiduelle, contrairement au cpx qui lui est clairement d’origine métasomatique. La majorité des péridotites à grenat forme des séquences d’enrichissement en FeO, TiO2 et REE par rapport aux péridotites résiduelles. Cela traduit un métasomatisme modal (précipitation de cpx et de grenat), et ce par interaction entre le protolite des péridotites avec un magma riche en Si, Al, Fe (Ti, REE). Les cpx sont en équilibre avec un liquide de composition kimberlitique. Les kimberlites sont des magmas pauvres en Si, Al, Fe et ne peuvent pas être responsables du métasomatisme modal, mais un magma parent peut avoir interagi avec la roche peu de temps avant l’éruption. 28 péridotites ont été analysées pour obtenir leur composition isotopique Re/Os et leur composition en PGE / English abstract not supplied by the author. Résumé en anglais non fourni par l'auteur.

Nous étudions le problème du contrôle optimale décentralisé d'un processus de Markoff partiellement observé sur un horizon fini. Mathématiquement, ce problème se défini comme un DEC-POMDP. Plusieurs problèmes des domaines de l'intélligence artificielles et recherche opérationelles se formalisent comme des DEC-POMDPs. Résoudre un DEC-POMDP dans une mannière exacte est un problème difficile (NEXP-dur). Pourtant, des algorithmes exactes sont importants du point de vue des algorithmes approximés pour résoudre des problèmes pratiques. Les algorithmes existants sont nettement inefficace même pour des DEC-POMDP d'une très petite taille. Dans cette thèse, nous proposons une nouvelle approche basée sur la programmation mathématique. En utilisant la forme séquentielle d'une politique, nous montrons que ce problème peut être formalisé comme un programme non-linéaire. De plus, nous montrons comment transformer ce programme nonl-linéaire un des programmes linéaire avec des variables bivalents et continus (0-1 MIPs). L'éxpérience computationelle sur quatres problèmes DEC-POMDP standards montrent que notre approche trouve une politique optimale beaucoup plus rapidement que des approches existantes. Le temps réduit des heures aux seconds ou minutes. / In this thesis, we study the problem of the optimal decentralized control of a partially observed Markov process over a finite horizon. The mathematical model corresponding to the problem is a decentralized POMDP (DEC-POMDP). Many problems in practice from the domains of artificial intelligence and operations research can be modeled as DEC-POMDPs. However, solving a DEC-POMDP exactly is intractable (NEXP-hard). The development of exact algorithms is necessary in order to guide the development of approximate algorithms that can scale to practical sized problems. Existing algorithms are mainly inspired from POMDP research (dynamic programming and forward search) and require an inordinate amount of time for even very small DEC-POMDPs. In this thesis, we develop a new mathematical programming based approach for exactly solving a finite horizon DEC-POMDP. We use the sequence form of a control policy in this approach. Using the sequence form, we show how the problem can be formulated as a mathematical progam with a nonlinear object and linear constraints. We thereby show how this nonlinear program can be linearized to a 0-1 mixed integer linear program (MIP). We present two different 0-1 MIPs based on two different properties of a DEC-POMDP. The computational experience of the mathematical programs presented in the thesis on four benchmark problems (MABC, MA-Tiger, Grid Meeting, Fire Fighting) shows that the time taken to find an optimal joint policy is one or two orders or magnitude lesser than the exact existing algorithms. In the problems tested, the time taken drops from several hours to a few seconds or minutes.

Dans cette thèse, nous proposons une méthodologie de co-conception des systèmes dynamiquement reconfigurables basés sur FPGA. Notre méthodologie s’appuie sur l’Ingénierie Dirigée par les Modèles (IDM) dont la spécification des modèles est décrite avec le profil MARTE. Les travaux présentés visent à garantir la flexibilité, la réutilisabilité et l’automatisation afin de faciliter le travail du concepteur et d’améliorer sa productivité. La première contribution réside dans la modélisation à haut-niveau d’abstraction permettant de cacher un grand nombre de détails d’implémentation. Un flot de conception est défini pour la modélisation des FPGAs, basé sur l’IDM afin d’assurer l’automatisation de la génération de code. Suivant ce flot, plusieurs modèles sont créés moyennant principalement les concepts de MARTE. Cependant,la modélisation de certains concepts de la reconfiguration dynamique a nécessité des extensions dans MARTE que nous avons identifiées et intégrées dans un nouveau profil qui étend MARTE baptisé RecoMARTE. La seconde contribution est l’automatisation de la chaîne de transformations et la validation expérimentale. Afin d’assurer l’automatisation de notre flot de conception vers la génération du code, une chaîne de transformations a été utilisée. Nous passons ainsi d’un modèle MARTE/RecoMARTE vers une description intermédiaire selon le standard IP-XACT afin de générer des fichiers utilisés dans l’environnement XPS de Xilinx. Cette automatisation permet d’accélérer la phase de conception et éviter les erreurs dues à la manipulation directe des détails. Enfin, un exemple d’application de traitement d’image a été élaboré afin de démontrer et valider notre méthodologie. / The works presented in this dissertation propose a co-design methodology of dynamically reconfigurable systems based on FPGA. Our methodology is based on the Engineering Model Driven approach (MDE). The models specification is done in MARTE profile.It aims to ensure flexibility, reusability and automation to facilitate the work of designer and improve his productivity. The first contribution related to this thesis is identifying parts of dynamically reconfigurable FPGA that can be modeled at high abstraction levels. So, we defined a design flow based on the MDE to ensure the automation of code generation. Using this flow, several models are created mainly through MARTE profile concepts. However, the modeling concepts of dynamic reconfiguration on FPGAs required extensions in MARTE. Thus, we identified the missing concepts to be integrated in a new profile that extends MARTE : RecoMARTE. The second contribution allows the chain automation and experimental validation. To integrate our design flow and to automate code generation, a processing chain was used. The final model resulting from the proposed MARTE-based design flow is given as input to this chain. We thereby move from MARTE/RecoMARTE models to an intermediate description according to the IP-XACT standard to finally generate files describing the complete system in the Xilinx XPS environment. This automation allows to accelerate the design phase and avoid errors due to the direct manipulation of these details. Finally, the proposed MARTE-based design flow and transformation chain were used for an image processing system design, which showed the benefits of our contributions in terms of design reusability and automation.

Das Hauptgebiet der Arbeit stellt die Approximation der Lösungen partieller Differentialgleichungen mit Dirichlet-Randbedingungen durch Splinefunktionen dar. Partielle Differentialgleichungen finden ihre Anwendung beispielsweise in Bereichen der Elektrostatik, der Elastizitätstheorie, der Strömungslehre sowie bei der Untersuchung der Ausbreitung von Wärme und Schall. Manche Approximationsaufgaben besitzen keine eindeutige Lösung. Durch Anwendung der Penalized Least Squares Methode wurde gezeigt, dass die Eindeutigkeit der gesuchten Lösung von gewissen Minimierungsaufgaben sichergestellt werden kann. Unter Umständen lässt sich sogar eine höhere Stabilität des numerischen Verfahrens gewinnen. Für die numerischen Betrachtungen wurde ein umfangreiches, effizientes C-Programm erstellt, welches die Grundlage zur Bestätigung der theoretischen Voraussagen mit den praktischen Anwendungen bildete. / This work focuses on approximating solutions of partial differential equations with Dirichlet boundary conditions by means of spline functions. The application of partial differential equations concerns the fields of electrostatics, elasticity, fluid flow as well as the analysis of the propagation of heat and sound. Some approximation problems do not have a unique solution. By applying the penalized least squares method it has been shown that uniqueness of the solution of a certain class of minimizing problems can be guaranteed. In some cases it is even possible to reach higher stability of the numerical method. For the numerical analysis we have developed an extensive and efficient C code. It serves as the basis to confirm theoretical predictions with practical applications.

Les récepteurs métabotropes au glutamate (mGluR) sont des RCPG de classe C. Ils sont exprimés dans le système nerveux central où, suite à l'activation par le glutamate, ils participent à la modulation de la transmission nerveuse. En raison de leur rôle essentiel dans la régulation de l'activité synaptique, ils représentent des cibles potentielles pour le développement de médicaments contre les troubles neurologiques et psychiatriques telles que la schizophrénie, l'épilepsie, l'anxiété et la douleur. Mon projet de recherche de doctorat a porté sur l'étude du mécanisme d'activation du domaine extracellulaire de liaison au ligand du mGluR (ECD), avec un accent particulier sur ce qui différencie au niveau moléculaire un agoniste partiel d'un agoniste total. A cette fin, j'ai utilisé une méthode innovante à l'échelle de la molécule unique appelée Transfert d'Energie par Résonance de Forster, développé pour l'étude de la dynamique conformationnelle des molécules individuelles à l'échelle de la nanoseconde. J'ai réussi à montrer que le dimère d'ECD oscille entre une conformation active et une conformation de repos sur une échelle de temps de ~100μsec et que les ligands influencent les vitesses de transition entre ces états avec des vitesses intermédiaires pour les agonistes partiels. Ces résultats sont validés par l'utilisation de mutants spécifiques et indiquent clairement que le rôle des ligands n'est pas de stabiliser une conformation donnée mais de modifier le comportement dynamique du récepteur. L'ensemble de ces résultats contribuent à une meilleure description du mécanisme d'activation des mGluRs, et ouvrent potentiellement la voie à la compréhension des RCPG en général. / Metabotropic Glutamate Receptors (mGluRs) are class C GPCRs, expressed throughout the central nervous system. They participate in the long term modulation of neural transmission following activation by the excitatory neurotransmitter glutamate. This critical role in the regulation of synaptic activity makes them promising targets in the development of drugs for the treatment of various neurologic and psychiatric disorders such as schizophrenia, epilepsy, anxiety and pain relief. My Ph.D. research project has focused on the study of the activation mechanism of the mGluR extracellular ligand binding Venus-Flytrap domain (VFT), with particular emphasis on the differences between partial and full agonists on a molecular level. To this aim, I have used a state-of-the-art single molecule Förster Resonance Energy Transfer (smFRET) approach, developed for the study of conformational dynamics of single molecules on the nanosecond to millisecond timescale. I have managed to show that the VFT-dimer constantly oscillates between an active and a resting conformation on a ~100µsec timescale. I also discovered that the role of ligands is to influence the transition rate between these boundary states, and that partial agonists display intermediate transition rates. My results, supported by the use of specific mutants, clearly indicate that the role of ligands is not to stabilize a given conformation but to modify the overall dynamic of the receptor, which favors a conformational selection mechanism. Altogether, these results represent a most-valuable contribution to the better understanding of the activation mechanism of mGluRs, and potentially GPCRs in general.

Ce travail propose deux flots de conception complémentaires permettant le broadcast d’un bitstream partiel vers un ensemble de Régions Partiellement Reconfigurables (RPRs) identiques. Ces deux flots de conception sont applicables avec les FPGAs – Xilinx. Le premier appelé ADForMe (Automatic DPPR Flow For Multi-RPRs Architecture) permet l’automatisation du flot traditionnel de la RDP de Xilinx grâce à l’automatisation de la phase de floorplanning. Ce floorplanning est assuré par l’algorithme AFLORA (Automatic Floorplanning For Multi-RPRs Architectures) que nous avons conçu qui permet l'allocation identique de ces RPRs en termes de forme géométrique en tenant compte des paramètres technologiques du FPGA et des paramètres architecturaux de la conception dans le but de permettre la relocalisation de bitstream. Le deuxième flot proposé vise à favoriser la technique de relocalisation 1D et 2D afin de permettre le broadcast d’un bitstream partiel (fonctionnalité) vers un ensemble de RPRs pour une configuration du système. Ce flot permet donc l’optimisation de la taille de la mémoire de bitstream. Nous avons également proposé une architecture matérielle adéquate capable d’effectuer ce broadcast. Les résultats expérimentaux ont été effectués sur les FPGAs-Xilinx récents et ont prouvé la rapidité d’exécution de notre algorithme AFLORA ainsi que l’efficacité des résultats obtenus suite à l’application du flot d’automatisation de la relocalisation de bitstream. Ces deux flots permettent d’assurer la flexibilité et la réutilisabilité des composants IPs intégrés dans les architectures à Multi-RPRs afin de réduire la complexité en termes de temps de conception et d’améliorer productivité des concepteurs. / This work proposes two complementary design flows allowing the broadcast of a partial bitstream to a set of identical Partially Reconfigurable Regions (PRRs). These two design flows are applicable with FPGAs - Xilinx. The first one called ADForMe (Automatic DPPR Flow For Multi-RPRs Architecture) allows the automation of the traditional flow of Xilinx RDP through the automation of the floorplanning phase. This floorplanning is carried out by the AFLORA (Automatic Floorplanning For Multi-RPRs Architectures) algorithm which we have designed that allows the same allocation of these RPRs in terms of geometric shape taking into account the technological parameters of the FPGA and the architectural parameters of the design in order to allow the relocation of bitstream. The second proposed flow aims to promote the 1D and 2D relocation technique in order to allow the broadcast of a partial bitstream (functionality) to a set of RPRs for a system configuration. Therefore, this flow allows optimizing the size of the bitstream memory. We have also proposed suitable hardware architecture capable of performing this broadcast. The experimental results have been performed on the recent Xilinx FPGAs and have proved the speed of execution of our AFLORA algorithm as well as the efficiency of the results obtained by the application of the automation of the bitstream relocation technique flow. These two flows allow flexibility and reusability of IP components embedded in Multi-RPRs architectures to reduce complexity in design time and improve design productivity.

Proximal methods are iterative optimization techniques for functionals, J = J1 + J2, consisting of a differentiable part J2 and a possibly nondifferentiable part J1. In this thesis proximal methods for finite- and infinite-dimensional optimization problems are discussed. In finite dimensions, they solve l1- and TV-minimization problems that are effectively applied to image reconstruction in magnetic resonance imaging (MRI). Convergence of these methods in this setting is proved. The proposed proximal scheme is compared to a split proximal scheme and it achieves a better signal-to-noise ratio. In addition, an application that uses parallel imaging is presented. In infinite dimensions, these methods are discussed to solve nonsmooth linear and bilinear elliptic and parabolic optimal control problems. In particular, fast convergence of these methods is proved. Furthermore, for benchmarking purposes, truncated proximal schemes are compared to an inexact semismooth Newton method. Results of numerical experiments are presented to demonstrate the computational effectiveness of our proximal schemes that need less computation time than the semismooth Newton method in most cases. Results of numerical experiments are presented that successfully validate the theoretical estimates. / Proximale Methoden sind iterative Optimierungsverfahren für Funktionale J = J1 +J2, die aus einem differenzierbaren Teil J2 und einem möglicherweise nichtdifferenzierbaren Teil bestehen. In dieser Arbeit werden proximale Methoden für endlich- und unendlichdimensionale Optimierungsprobleme diskutiert. In endlichen Dimensionen lösen diese `1- und TV-Minimierungsprobleme welche erfolgreich in der Bildrekonstruktion der Magnetresonanztomographie (MRT) angewendet wurden. Die Konvergenz dieser Methoden wurde in diesem Zusammenhang bewiesen. Die vorgestellten proximalen Methoden wurden mit einer geteilten proximalen Methode verglichen und konnten ein besseres Signal-Rausch-Verhältnis erzielen. Zusätzlich wurde eine Anwendung präsentiert, die parallele Bildgebung verwendet. Diese Methoden werden auch für unendlichdimensionale Probleme zur Lösung von nichtglatten linearen und bilinearen elliptischen und parabolischen optimalen Steuerungsproblemen diskutiert. Insbesondere wird die schnelle Konvergenz dieser Methoden bewiesen. Außerdem werden abgeschnittene proximale Methoden mit einem inexakten halbglatten Newtonverfahren verglichen. Die numerischen Ergebnisse demonstrieren die Effektivität der proximalen Methoden, welche im Vergleich zu den halbglatten Newtonverfahren in den meisten Fällen weniger Rechenzeit benötigen. Zusätzlich werden die theoretischen Abschätzungen bestätigt.

La formulation d'émulsions de mélanges binaires d'alcanes permet d'obtenir un système ayant une phénoménologie proche des émulsions laitières de triglycérides. Il est ainsi possible, à partir de ces émulsions, de former un gel et de reproduire le phénomène de barattage, c'est-à-dire de fabriquer, sous contrainte mécanique, ce que l'on pourrait appeler un « beurre d'alcanes ». La phase dispersée comporte deux alcanes, dont l'un des deux est cristallisé à la température d'étude. Le réseau cristallin à l'intérieur des gouttes crée des protubérances à leur surface, qui induisent la gélification du système par deux mécanismes distincts : le jamming, qui est un blocage du système, dû à la rugosité de surface, et sans rupture des films interfaciaux, et la coalescence partielle, qui correspond à la fusion partielle des gouttes sans relaxation de forme, grâce à la rigidité mécanique qu'apporte le réseau cristallin. Il est possible de modifier l'élasticité de ces gels en faisant varier le taux de solide, la taille des gouttes, ou encore la vitesse de refroidissement. En effet, ces trois paramètres influencent la taille et la morphologie des cristaux, qui peuvent ainsi passer d'une forme plaquettaire à une forme en aiguille. L'application de fortes déformations, en cisaillement ou en compression, entraîne la fragmentation des gels dans certains cas, mais aussi la formation de nouvelles connexions entre gouttes dans d'autres cas. La formation de nouveaux liens peut alors entraîner l'apparition de grains macroscopiques, appelés « grains de barattage », ou bien provoquer la séparation entre l'huile et la phase continue aqueuse, s'il n'y a pas assez de cristaux dans les gouttes d'huile.

Etude, dans un cadre probabiliste et statistique, de la fonction d'autocorrelation partielle d'un processus scalaire reel, a temps discret, stationnaire au second ordre et centre. Nous nous attachons, dans une premiere partie, a decrire de facon tres complete les differents aspects de cette fonction dans l'investigation, sur le plan probabiliste, de la structure du processus. Notre presentation est faite essentiellement dans le domaine temporel. Cependant le choix d'un langage geometrique, dans l'espace de hilbert engendre par les composantes du processus, facilite le lien avec le domaine spectral. Nous soulignons le role privilegie autoregressif. Nous considerons aussi le cas des processus vectoriels pour lesquels nous proposons la notion de fonction d'autocorrelation partielle canonique. La 2eme partie est consacree aux apports de la fonction d'autocorrelation partielle dans l'estimation de la structure temporelle du processus. La necessite de recourir a d'autres techniques que celle, usuelle, utilisant les autocorrelations empiriques se rencontre lorsque la serie observee est courte, meme en presence d'un echantillon, ou encore lorsqu'elle provient d'un modele proche de la singularite. Nous insistons sur la methode du maximum de vraisemblance, pour laquelle nous precisons les conditions d'utilisation (existence, unicite...) et nous proposons, dans le cas d'un echantillon de series courtes, une methode de relaxation pour sa mise en oeuvre. Nous analysons et comparons les differentes methodes d'estimation autoregressive dans le domaine temporel et constatons les bonnes performances de celle basee sur la version empirique des autocorrelaitons partielles que nous proposons.

Les méthodes de traitement d'images fondées sur les équations aux dérivées partielles (EDP) bénéficient d'une attention particulière de la part de la communauté scientifique. Le nombre d'applications a considérablement augmenté après la formulation du problème sous forme d'ensembles de niveaux. Les EDPs s'appliquent dans de nombreux domaines tels le filtrage des images (diffusion non-linéaire), les contours actifs utilisés pour la segmentation des images statiques (graphe de Voronoï, Ligne de Partage des Eaux, plus court chemin, détection d'objets), aussi bien que des séquences d'images (suivi d'objets) ou encore des méthodes plus récentes tel le shape-from-shading. Les applications industrielles de ces méthodes sont néanmoins très limitées, d'une part par une complexité considérable de calculs (nombre d'itérations très élevé, par ex.), d'autre part par des difficultés rencontrées lors d'implantation embarquées (consommation d'énergie, exigences mémoire). Quelques expériences temps-réel ont été publiées avec des super-calculateurs ou des accélérateurs graphiques. Quant aux applications embarquées, elles sont à notre connaissance quasi-inexistantes. Notre but est de proposer une architecture dédiée, facilitant tant l'implantation temps-réel qu'embarquée. En vue de cet objectif nous proposons un nouvel algorithme de solution de l'équation Eikonale/calcul de fonction distance qui procède en parallèle, élimine l'usage des files d'attente hiérarchiques et permet d'obtenir la solution sur la totalité ou seulement sur une partie de l'image (le narrow band). La complexité de cet algorithme, nommé Massive Marching, est linéaire. Nous estimons que l'impact de Massive Marching est d'autant plus important pour la communauté de Morphologie Mathématique, qu'il s'agit du premier algorithme permettant d'obtenir en parallèle la ligne de partage des eaux non-biaisée. Ensuite, nous proposons deux types d'architecture (i) SIMD et (ii) plusieurs coeurs de processeurs embarqués implantant Massive Marching en parallèle ou semi-parallèle. Ces mêmes types d'architecture peuvent être utilisés pour implanter un filtrage aussi bien que des méthodes à évolution d'interface. La même architecture peut donc être utilisée pour implanter une application complète, composée de différents types d'algorithmes comme par exemple filtrage suivi par segmentation.