L'objectif principal de ce travail de recherche est de contrôler l'évolution de la distribution des tailles de cristaux (DTC) dans un procédé de cristallisation en batch. Nous avons été amenés à chercher une résolution numérique du bilan de population et à proposer un algorithme rapide et précis. La méthode numérique a été étendue au cas de la taille des cristaux multidimensionnels en utilisant un maillage mouvant. Nous avons étudié le problème de la commandabilité du système à partir de son modèle discrétisé et puis à partir du modèle continu. Nous avons conçu une loi de commande en boucle fermée pour atteindre la DTC désirée à partir de la condition initiale. Pour compenser l'incertitude des paramètres du modèle, nous avons ajouté un second contrôle par retour d'état afin d'assurer la poursuite de la DTC désirée en présence de l'incertitude des paramètres. Nous avons construit un observateur qui nous permet d'avoir en ligne l'estimation des variables d'états. Ces variables d'état estimées sont utilisées dans la synthèse de la loi du contrôle

L'apprentissage de langages réguliers est un sous-ensemble de l'apprentissage automatique qui s'est révélé utile dans de nombreux domaines tels que l'intelli-gence artificielle, les réseaux de neurones, l'exploration de données, la vérification, etc. De plus, l'intérêt dans les langages définis sur des alphabets infinis ou de grande taille est croissant au fil des années. Même si plusierurs propriétés et théories se généralisent à partir du cas fini, l'apprentissage de tels langages est une tâche difficile.En effet, dans ce contexte, l'application naïve des algorithmes d'apprentissage traditionnel n'est pas possible.Dans cette thèse, nous présentons un schéma algorithmique général pour l'ap-prentissage de langages définis sur des alphabets infinis ou de grande taille, comme par exemple des sous-ensembles bornés de N or R ou des vecteurs booléens de grandes dimensions. Nous nous restreignons aux classes de langages qui sont acceptés par des automates déterministes symboliques utilisant des prédicats pour définir les transitions, construisant ainsi une partition finie de l'alphabet pour chaque état.Notre algorithme d'apprentissage, qui est une adaptation du L* d'Angluin, combine l'apprentissage classique d'un automate par la caractérisation de ses états, avec l'apprentissage de prédicats statiques définissant les partitions de l'alphabet. Nous utilisons l'apprentissage incrémental avec la propriété que deux types de requêtes fournissent une information suffisante sur le langage cible. Les requêtes du premier type sont les requêtes d'adhésions, qui permettent de savoir si un mot proposé appartient ou non au langage cible. Les requêtes du second type sont les requêtes d'équivalence, qui vérifient si un automate proposé accepte le langage cible; dans le cas contraire, un contre-exemple est renvoyé.Nous étudions l'apprentissage de langages définis sur des alphabets infinis ou de grande tailles dans un cadre théorique et général, mais notre objectif est de proposer des solutions concrètes pour un certain nombre de cas particuliers. Ensuite, nous nous intéressons aux deux principaux aspects du problème. Dans un premier temps, nous supposerons que les requêtes d'équivalence renvoient toujours un contre-exemple minimal pour un ordre de longueur-lexicographique quand l'automate proposé est incorrect. Puis dans un second temps, nous relâchons cette hypothèse forte d'un oracle d'équivalence, et nous la remplaçons avec une hypothèse plus réaliste où l'équivalence est approchée par un test sur les requêtes qui utilisent un échantillonnage sur l'ensemble des mots. Dans ce dernier cas, ce type de requêtes ne garantit pas l'obtention de contre-exemples, et par conséquent de contre-exemples minimaux. Nous obtenons alors une notion plus faible d'apprent-issage PAC (Probably Approximately Correct), permettant l'apprentissage d'une approximation du langage cible.Tout les algorithmes ont été implémentés, et leurs performances, en terme de construction d'automate et de taille d'alphabet, ont été évaluées empiriquement. / Learning regular languages is a branch of machine learning, which has been proved useful in many areas, including artificial intelligence, neural networks, data mining, verification, etc. On the other hand, interest in languages defined over large and infinite alphabets has increased in recent years. Although many theories and properties generalize well from the finite case, learning such languages is not an easy task. As the existing methods for learning regular languages depends on the size of the alphabet, a straightforward generalization in this context is not possible.In this thesis, we present a generic algorithmic scheme that can be used for learning languages defined over large or infinite alphabets, such as bounded subsets of N or R or Boolean vectors of high dimensions. We restrict ourselves to the class of languages accepted by deterministic symbolic automata that use predicates to label transitions, forming a finite partition of the alphabet for every state.Our learning algorithm, an adaptation of Angluin's L*, combines standard automaton learning by state characterization, with the learning of the static predicates that define the alphabet partitions. We use the online learning scheme, where two types of queries provide the necessary information about the target language. The first type, membership queries, answer whether a given word belongs or not to the target. The second, equivalence queries, check whether a conjectured automaton accepts the target language, a counter-example is provided otherwise.We study language learning over large or infinite alphabets within a general framework but our aim is to provide solutions for particular concrete instances. For this, we focus on the two main aspects of the problem. Initially, we assume that equivalence queries always provide a counter-example which is minimal in the length-lexicographic order when the conjecture automaton is incorrect. Then, we drop this ``strong'' equivalence oracle and replace it by a more realistic assumption, where equivalence is approximated by testing queries, which use sampling on the set of words. Such queries are not guaranteed to find counter-examples and certainly not minimal ones. In this case, we obtain the weaker notion of PAC (probably approximately correct) learnability and learn an approximation of the target language. All proposed algorithms have been implemented and their performance, as a function of automaton and alphabet size, has been empirically evaluated.

L’intérêt pour la dispersion des gènes via le pollen a augmenté avec les cultures de plantes génétiquement modifiées. A ce jour, les données expérimentales ainsi que la modélisation portant sur les mouvements du pollen de colza, Brassica napus L., à l’échelle du paysage ne différencie pas clairement la part du vent et des insectes dans cette dispersion. Cependant, l’estimation de la dispersion des gènes par le pollen reste une condition nécessaire pour la gestion des risques d’échappement des (trans-)gènes vers l’environnement et les cultures conventionnelles. A travers cette thèse, nous avons pu mettre en évidence qu’une grande diversité d’insectes pollinisateurs pouvait transporter du pollen viable entre différentes plantes de colza sur des distances importantes (>1.1 km). La diversité d’insectes varie d’une région à l’autre et d’une année sur l’autre. Cependant, bien que la majorité des insectes sur une zone de grande production de colza ait du pollen de cette culture sur leur corps, seulement 39,4 % des insectes capturés sur des plantes mâle-stériles transportent du pollen de colza viable. Bien que nous n’ayons pas pu déterminer avec précision la part du vent et des insectes dans le pollinisation du colza, il semblerait que les insectes participent de façon plus importante à la pollinisation de plantes présentes en bordures de champs, augmentant ainsi le taux de pollinisation croisée. Nos résultats fournissent des données fiables pour améliorer les modèles de dispersion pollinique pour des cultures entomophiles à l’échelle du paysage. Ces modèles sont essentiels pour l’aide à la gestion afin de réduire la dispersion des gènes par le pollen des cultures génétiquement modifiées vers les plantes sauvages ou les cultures conventionnelles / Interest in pollen-borne gene dispersal has grown with the cultivation of genetically modified plants. To date both experimental data and models of oilseed rape (OSR) Brassica napus pollen movement at the landscape scale do not clearly differentiate between wind- and insect-mediated dispersal. Estimations of pollen-borne gene dispersal would be valuable for managing potential escapes of transgenes. Our study provides clear evidence that a large variety of insect species can transfer viable pollen between oilseed rape plants over considerable distances (>1.1 km). Insect’s diversity according to geographical site and years. However, the majority of pollinator have OSR pollen in their body hairs, only 39.4% of the insects caught on male-sterile flowers carried OSR pollen. Although we could not determine with precision the role of the wind and the insects in the OSR pollination, it would seem that insects take part in a more important way in pollination of plants present in edges of fields, thus increasing cross pollination rate. Our results provide valuable data to improve models of pollen dispersal for entomophilous crops at the landscape scale. These models are essential to help land-managers reduce pollen-borne gene dispersal from genetically modified plants to wild relative and field planted with non-GM crops

Cette thèse a pour objet la comparaison des procèdes de polymérisation en émulsion et en miniémulsion. L'influence de la combinaison de stabilisants moléculaires et macromoléculaires sur la cinétique réactionnelle et la distribution de tailles de particules sont les critères pertinents dans notre étude. Un stabilisant polymère, le poly (alcool vinylique-co-acétate de vinyle) (PVA), a été synthétisé avec différents taux d'hydrolyse par saponification directe du polyacétate de vinyle. Le taux d'hydrolyse de ce copolymère a été caractérisé par la Résonance Magnétique Nucléaire du proton (RMN 1H). Puis, nous avons étudié l'influence de la composition d'un mélange stabilisant [copolymères poly (alcool vinylique-co-acétate de vinyle) (PVA)/laurylsulfate de sodium (SDS)] et en particulier le taux d'hydrolyse du PVA. La présence de complexe (PVA/SDS) influence légèrement la cinétique de polymérisation. Par contre la capacité des complexes à stabiliser les particules de latex final dépend du taux d'hydrolyse du PVA, plus ce dernier est faible, plus l'agrégation est importante. Enfin, nous avons suivi en ligne par spectroscopie Raman des polymérisations en émulsion et en miniémulsion du styrène. Une exploitation du spectre a été réalisée et a permis d'attribuer les différents pics aux vibrations de certaines liaisons. La consommation du monomère et l'apparition du polymère a pu être suivi tout au long de la polymérisation / The aim of this work is to compare processes of emulsion and miniemulsion polymerization. The influence of the combination of molecular and macromolecular stabilizers on the reaction kinetics and particle size distribution are relevant factors in our study. A stabilizer polymer, poly (vinyl alcohol-co-vinyl acetate) (PVA), was synthesized with different degrees of hydrolysis by a direct saponification of polyvinyl acetate. The degree of hydrolysis of this copolymer was characterized by Nuclear Magnetic Resonance (1H NMR). Then, we studied the influence of the composition of a mixture stabilizer [poly (vinyl alcohol-co-vinyl acetate) (PVA)/sodium lauryl sulfate (SDS)], and particulary the degree of hydrolysis of PVA. The presence of complex (PVA/SDS) influences slightly the kinetic of polymerization. The ability of the complexes to stabilize the particles of latex depends on the degree of hydrolysis of PVA, the lower it is, the more the aggregation is important. Finally, we followed in situ emulsion and miniemulsion polymerizations of styrene by Raman spectroscopy. The exploitation of the spectrum allowed us to assign the different peaks to vibrations of certain bands. The consumption of the monomer and the appearance of the polymer could be followed throughout the polymerization

Les systèmes adaptatifs basés sur les architectures FPGA (Field-Programmable Gate Arrays) peuvent bénéficier grandement de la grande flexibilité offerte par la reconfiguration partielle dynamique (DPR). Grâce au DPR, les tâches matérielles composant un système adaptatif peuvent être allouées et re-allouées à la demande ou en fonction de l'environnement dynamique. Les flots de conceptions disponibles et les outils commerciaux ont évolué pour répondre aux exigences des architectures reconfigurables qui sont toutefois limitées dans leurs fonctionnalités. Ces outils ne permettent pas un placement et une relocation efficaces de tâches matérielles de tailles variables. L'objectif principal de ces travaux de thèse consiste à proposer des nouvelles méthodologies et de nouvelles approches pour faciliter au concepteur la phase de conception d'un système adaptatif reconfigurable opérationnelle, valide, optimisé et adapté aux changements dynamiques de l'environnement. La première contribution de cette thèse porte sur la problématique de la relocation des tâches matérielles de tailles différentes. Une méthodologie de conception est proposée pour répondre à un problème majeur des mécanismes de relogement : le stockage d'une unique bitstream de configuration pour réduire les besoins de la mémoire et pour accroître la réutilisable des modules matériels générés. Une technique de partitionnement de la région reconfigurable est appliquée dans la méthodologie de relogement proposée pour augmenter l'efficacité d'utilisation des ressources matérielles dans le cas des tâches reconfigurables de tailles variables. Cette méthodologie prend en compte aussi la communication entre différentes régions reconfigurables et la région statique. Pour valider la méthode, plusieurs études de cas sont implémentées. Cette validation montre une utilisation efficace des ressources matérielles ainsi une réduction importante du temps de reconfiguration. La deuxième partie de cette thèse présente et détaille une formulation mathématique afin d'automatiser le floorplanning des zones reconfigurables dans les FPGAs. Les algorithmes de recherche présentés dans cette thèse sont basés sur la technique d'optimisation PLMNE (programmation linéaire mixte en nombres entiers). Ces algorithmes permettent de définir automatiquement l'emplacement, la taille et la forme de la zone reconfigurable dynamique. Nous nous intéressons principalement dans cette recherche à la satisfaction des contraintes de placement des zones reconfigurables et celles liées à la relocation. De plus, nous considérons l’optimisation des ressources matérielles dans le FPGA en tenant compte des tâches de tailles variables. Finalement, une évaluation de l'approche proposée est présentée / Adaptive systems based on Field-Programmable Gate Arrays (FPGA) architectures can benefit greatly from the high degree of flexibility offered by dynamic partial reconfiguration (DPR). Thanks to DPR, hardware tasks composing an adaptive system can be allocated and relocated on demand or depending on the dynamically changing environment. Existing design flows and commercial tools have evolved to meet the requirements of reconfigurables architectures, but that are limited in functionality. These tools do not allow an efficient placement and relocation of variable-sized hardware tasks. The main objective of this thesis is to propose a new methodology and a new approaches to facilitate to the designers the design phase of an adaptive and reconfigurable system and to make it operational, valid, optimized and adapted to dynamic changes in the environment. The first contribution of this thesis deals with the issues of relocation of variable-sized hardware tasks. A design methodology is proposed to address a major problem of relocation mechanisms: storing a single configuration bitstream to reduce memory requirements and increasing the reusability of generating hardware modules. A reconfigurable region partitioning technique is applied in this proposed relocation methodology to increase the efficiency of use of hardware resources in the case of reconfigurable tasks of variable sizes. This methodology also takes into account communication between different reconfigurable regions and the static region. To validate the design method, several cases studies are implemented. This validation shows an efficient use of hardware resources and a significant reduction in reconfiguration time. The second part of this thesis presents and details a mathematical formulations in order to automate the floorplanning of the reconfigurable regions in the FPGAs. The algorithms presented in this thesis are based on the optimization technique MILP (mixed integer linear programming). These algorithms allow to define automatically the location, the size and the shape of the dynamic reconfigurable region. We are mainly interested in this research to satisfy the constraints of placement of the reconfigurable zones and those related to the relocation. In addition, we consider the optimization of the hardware resources in the FPGA taking into account the tasks of variable sizes. Finally, an evaluation of the proposed approach is presented

La collection de micrométéorites des Monts Transantarctiques comporte des micrométéorites accumulées pendant plusieurs centaines de milliers d'années, dont un nombre exceptionnel de particules de diamètre >400 μm, qui nous ont permis de démontrer que leur distribution en taille reste la même sur la gamme 100–1600 μm, ainsi que d'en effectuer une caractérisation magnétique et isotopique : la magnétite qu'elles contiennent en abondance est formée lors de l'entrée atmosphérique, elle enregistre une aimantation thermorémanente – lors du refroidissement dans le champ terrestre – qui peut être suffisante pour causer des anomalies dans l'enregistrement paléomagnétique des sédiments dans lesquels les micrométéorites se déposent ; les rapports isotopiques de l'oxygène indiquent, contrairement au dogme actuel, qu'une partie des micrométéorites est apparentée aux chondrites ordinaires ou à des corps parents encore inconnus, et non aux seules chondrites carbonées.

Nous présentons une étude détaillée, non-perturbante, de la prise du plâtre par Relaxation Magnétique Nucléaire (RMN) du proton, à bas champ magnétique. Cette technique permet de quantifier en continu le degré d'hydratation et de déduire de manière non-destructive les paramètres microstructuraux d'une pâte de plâtre en cours de durcissement. La décroissance bi-exponentielle des signaux de relaxation de l'eau dans le plâtre prouve l'existence de deux populations d'eau différentes, en échange lent. A partir des mesures de relaxométrie RMN, deux modes d'organisation de la microstructure sont identifiés en fonction du rapport de gâchage initial eau/plâtre (e/p), pour 0.4 <= e/p <= 0.6 et 0.7 <= e/p <= 1. Un modèle original d'échange entre les populations d'eau dans un milieu poreux a été établi. Une nouvelle approche multi-échelles et multi-techniques de la prise et du durcissement des pâtes de plâtre est proposée, permettant de relier les mesures locales obtenues par RMN aux propriétés mécaniques du matériau (mesurées par ultrasons). La démarche expérimentale et la modélisation présentées dans cette étude peuvent être appliquées à une large gamme de matériaux poreux en évolution.

Ce travail de recherche traite le problème inverse d’estimation de la distribution de tailles de particules (DTP) à partir des données de la diffusion dynamique de lumière (DLS). Les méthodes actuelles d’estimation souffrent de la mauvaise répétabilité des résultats d’estimation et de la faible capacité à séparer les composantes d’un échantillon multimodal de particules. L’objectif de cette thèse est de développer de nouvelles méthodes plus performantes basées sur les techniques d’inférence bayésienne et cela en exploitant la diversité angulaire des données de la DLS. Nous avons proposé tout d’abord une méthode non paramétrique utilisant un modèle « free-form » mais qui nécessite une connaissance a priori du support de la DTP. Pour éviter ce problème, nous avons ensuite proposé une méthode paramétrique fondée sur la modélisation de la DTP en utilisant un modèle de mélange de distributions gaussiennes. Les deux méthodes bayésiennes proposées utilisent des algorithmes de simulation de Monte-Carlo par chaînes de Markov. Les résultats d’analyse de données simulées et réelles montrent la capacité des méthodes proposées à estimer des DTPs multimodales avec une haute résolution et une très bonne répétabilité. Nous avons aussi calculé les bornes de Cramér-Rao du modèle de mélange de distributions gaussiennes. Les résultats montrent qu’il existe des valeurs d’angles privilégiées garantissant des erreurs minimales sur l’estimation de la DTP. / This research work treats the inverse problem of particle size distribution (PSD) estimation from dynamic light scattering (DLS) data. The current DLS data analysis methods have bad estimation results repeatability and poor ability to separate the components (resolution) of a multimodal sample of particles. This thesis aims to develop new and more efficient estimation methods based on Bayesian inference techniques by taking advantage of the angular diversity of the DLS data. First, we proposed a non-parametric method based on a free-form model with the disadvantage of requiring a priori knowledge of the PSD support. To avoid this problem, we then proposed a parametric method based on modelling the PSD using a Gaussian mixture model. The two proposed Bayesian methods use Markov chain Monte Carlo simulation algorithms. The obtained results, on simulated and real DLS data, show the capability of the proposed methods to estimate multimodal PSDs with high resolution and better repeatability. We also computed the Cramér-Rao bounds of the Gaussian mixture model. The results show that there are preferred angle values ensuring minimum error on the PSD estimation.

L'objectif principal de ce travail de recherche est de contrôler l'évolution de la distribution des tailles de cristaux (DTC) dans un procédé de cristallisation en batch. Nous avons été amenés à chercher une résolution numérique du bilan de population et à proposer un algorithme rapide et précis. La méthode numérique a été étendue au cas de la taille des cristaux multidimensionnels en utilisant un maillage mouvant. Nous avons étudié le problème de la commandabilité du système à partir de son modèle discrétisé et puis à partir du modèle continu. Nous avons conçu une loi de commande en boucle fermée pour atteindre la DTC désirée à partir de la condition initiale. Pour compenser l'incertitude des paramètres du modèle, nous avons ajouté un second contrôle par retour d'état afin d'assurer la poursuite de la DTC désirée en présence de l'incertitude des paramètres. Nous avons construit un observateur qui nous permet d'avoir en ligne l'estimation des variables d'états. Ces variables d'état estimées sont utilisées dans la synthèse de la loi du contrôle / The main objective of this research is to control the evolution of the Crystal Size Distribution (CSD) in a batch crystallization process. We are led to study a numerical resolution of the population balance and propose an algorithm for fast and accurate simulation. This method was extended to the case of the two-dimensional crystal by using a moving mesh. We studied the problem of controllability of the system from its discretized model and then from the continuous model. To compensate the uncertainty of the model parameters, we added the second state feedback control to ensure the tracking of the desired CSD in presence of parameter uncertainty. We constructed an observer who provides us with on-line estimation of state variables. These state variables estimated are used in the control law synthesis

L’étude des dépôts de tsunamis est une science relativement jeune, et si de nombreux progrès ont été faits, en particulier au cours des trois dernières décennies, les techniques disponibles à l’heure actuelle ne permettent pas l’étude exhaustive des dépôts, que ce soit à cause de problèmes de conservation, fréquemment rencontrés, ou de limites liées aux techniques analytiques elles-mêmes. En effet, leur résolution spatiale s’avère insuffisante pour les dépôts fins (fractions sableuses et inférieures), soit par leur principe même (absence de visualisation en trois dimensions sur des lames minces, par exemple), soit à cause des techniques d’échantillonnage dont elles dépendent. Ce travail a permis d’explorer les applications d’une technique analytique jusqu’à présent inutilisée dans ce domaine, la microtomographie par rayons X, appliquée à trois dépôts de tsunamis : les dépôts du tsunami de Lisbonne en 1755 sur les côtes Andalouses, ceux d’un tsunami causé en 1996 dans le Lac Karymskoye au Kamchatka, et un potentiel dépôt de tsunami datant de l’Holocène à Ninety Mile Beach, sur le littoral ouest de l’Australie. Les problématiques liées aux techniques d’échantillonnage et au traitement des données brutes et à leur exploitation sont passées en revue et les solutions retenues sont exposées. Les résultats obtenus sont comparés à ceux obtenus par l’utilisation de techniques analytiques dont la pertinence et l’utilité ont été démontrées lors de précédentes études. Cette technique se révèle extrêmement utile pour les analyses structurales (organisation interne des dépôts), texturales (distributions de tailles de grains, fabrique sédimentaire et dynamiques d’écoulements), ainsi que les analyses de composition (abondances en bioclastes et en minéraux lourds par exemple). Le croisement des études structurales et texturales du dépôt du tsunami de 1755 mettent en avant des dynamiques de mise en place allant parfois à l’encontre des scenarii généralement admis et offre un nouveau point de vue sur les dépôts de tsunami. / The study of tsunami deposits is a relatively young science, and even if substantial progress has been made (especially during the last three decades) the techniques available at present day do not allow exhaustive studies of the deposits, weither poor conservation of the deposits, which is a common problem, is to blame, or because of limitations of the techniques themselves. Their spatial resolution often appears to be insufficient for fine deposits (sand size fractions and finer) because of their working principle (lack of three dimensional visualisation of structures on thin sections for instance) or because of the sampling techniques they depend on. This work allowed exploring the applications of an analytic technique, X-ray computed microtomography, which had to this day never used before for the study of tsunami deposits. Three distinct case studies have been made: deposits from the 1755 Lisbon tsunami on the western coast of Spain (Andalusia), deposits from the 1996 tsunami triggered in Karymskoye Lake, and a potential mid-Holocene tsunami deposit at Ninety Mile Beach, western Australia. Problematic linked to sampling techniques and raw data processing and exploitation are addressed. Chosen solutions are exposed. The results are compared to those obtained using techniques whose relevance and usefulness have been proven in previous studies. This technique proves to be extremely useful for structural (deposits inner organisation), textural (grain size distribution, sedimentary fabrics and flow dynamics), and composition (bioclasts and heavy minerals abundances) analyses. Crossing structural and textural analysis of the 1755 Lisbon tsunami deposit unravels deposition modes which go against the usually admitted scenario and offers a new point of view on tsunami deposits.