Les émissions de CO2 dans l'atmosphère sont reconnues comme ayant un effet significatif sur le réchauffement climatique. Le stockage géologique de CO2 est largement considéré comme une approche essentielle pour réduire l'impact de telles émissions sur l'environnement. De plus, injecter du dioxyde de carbone dans les veines de charbon remplies de méthane présent naturellement facilite la récupération de ce méthane, un processus connu sous le nom de récupération assistée du méthane des veines de charbon (ECBM en anglais). Mais le gonflement de la matrice de charbon induite par l'adsorption préférentielle de dioxyde de carbone par rapport au méthane conduit à la fermeture du système de cleats (un ensemble de petites fractures naturelles) du réservoir et donc à une perte d'injectivité. Cette thèse de doctorat est consacrée à l'étude de comment cet injectivité évolue en présence de fluides. Nous dérivons deux modèles poromécaniques à double porosité pour une veine de charbon saturée par un liquide pur. Les équations constitutives obtenues permettent de mieux comprendre et modéliser le lien entre injectivité de la veine de charbon et gonflement du charbon induit par l'adsorption. Pour les deux modèles, on considère l'espace poreux du réservoir comme divisé en les cleats macroporeuses et les pores de la matrice de charbon. Les deux modèles diffèrent dans la manière dont l'adsorption de fluide est prise en compte : le premier modèle est limité à une adsorption surfacique, tandis que le deuxième modèle peut être appliqué à l'adsorption dans un milieu possédant un réseau poreux générique, et donc dans un milieu microporeux comme le charbon, pour lequel l'adsorption se déroule principalement par remplissage de micropores. Le second modèle est calibré sur deux charbons avec des propriétés de sorption et de gonflement différentes. Nous effectuons alors des simulations à différentes échelles (du Volume Élémentaire Représentatif, de l'échantillon de charbon, la veine de charbon). En particulier, nous validons notre modèle sur des données expérimentales de variations de perméabilité de charbon induites par l'adsorption. Nous effectuons aussi des simulations de veines dont le méthane serait produit (un processus connu sous le nom de CBM en anglais) ou de veines sans méthane dans lesquelles du CO2 serait injecté. Nous étudions l'effet de différents paramètres tels que les conditions aux limites, la compressibilité de la matrice de charbon, ou la cinétique de transfert de liquide entre les cleats et la matrice de charbon. Dans une dernière partie, le modèle dérivé est étendu aux cas pour lesquels le charbon est en présence de mélanges fluides binaires tels que les mélanges de méthane et le dioxyde de carbone. Nous calibrons entièrement calibré ce modèle étendu sur des données disponibles obtenues expérimentalement et par simulations moléculaires. Des calculs sont alors effectués à l'échelle d'un Volume Élémentaire Représentatif pour prévoir comment sa porosité et sa perméabilité varient en présence de mélanges fluides de méthane et de dioxyde de carbone / CO2 emissions into the atmosphere are recognized to have a significant effect on global warming. Geological storage of CO2 is widely regarded as an essential approach to reduce the impact of such emissions on the environment. Moreover, injecting carbon dioxide in coal bed methane reservoirs facilitates the recovery of the methane naturally present, a process known as enhanced coal bed methane recovery (ECBM). But the swelling of the coal matrix induced by the preferential adsorption by coal of carbon dioxide over the methane in place leads to a closure of the cleat system (a set of small natural fractures) of the reservoir and therefore to a loss of injectivity. This PhD thesis is dedicated to a study of how this injectivity evolves in presence of fluids. We derive two poromechanical dual-porosity models for a coal bed reservoir saturated by a pure fluid. The resulting constitutive equations enable to better understand and model the link between the injectivity of a coal seam and the adsorption-induced swelling of coal. For both models, the pore space of the reservoir is considered to be divided into the macroporous cleats and the pores of the coal matrix. The two models differ by how adsorption of fluid is taken into account: the first model is restricted to surface adsorption, while the second model can be applied for adsorption in a medium with a generic pore size distribution and thus in a microporous medium such as coal, in which adsorption mostly occurs by micropore filling. The latter model is calibrated on two coals with different sorption and swelling properties. We then perform simulations at various scales (Representative Elementary Volume, coal sample, coal seam). In particular, we validate our model on experimental data of adsorption-induced variations of permeability of coal. We also perform simulations of seams from which methane would be produced (CBM) or of methane-free seams into which CO2 would be injected. We study the effect of various parameters such as boundary conditions, compressibility of the coal matrix, or kinetics of transfer of fluid between cleats and coal matrix. In a final part, the derived model is extended to cases for which coal is in presence of fluid binary mixtures such as mixtures of methane and carbon dioxide. We fully calibrate this extended model on available data obtained experimentally and by molecular simulations. Calculations are then performed at the scale of a Representative Elementary Volume in order to predict how its porosity and its permeability vary in presence of fluid mixtures of methane and carbon dioxide

La thrombose est le plus important processus pathologique sous-jacent à de nombreuses maladies cardiovasculaires, qui sont responsables d’une mortalité élevée dans le monde entier. Dans cette thèse, la conception assistée par ordinateur de nouveaux agents antithrombotiques capables d’inhiber deux types de récepteurs situés à la surface des plaquettes a été appliquée. Le premier - αIIbβ3 - est responsable de l’interaction des plaquettes activées avec le fibrinogène pour former des caillots, tandis que le second – le thromboxane A2 – est responsable de l’activation des plaquettes par l’un des agonistes excrétés par les plaquettes activées. Afin d’atteindre cet objectif, différents types de modèles ont été développés en utilisant les informations expérimentales disponibles et la structure des complexes protéine-ligand, comprenant des modèles QSAR, des pharmacophores 3D basés sur la structure de la protéine ou du ligand, des pharmacophores 2D, des modèles basés sur la forme et sur le champ moléculaire. L’ensemble des modèles développés ont été utilisés en criblage virtuel. Cette étude a abouti sur la suggestion de nouveaux antagonistes potentiels des récepteurs αIIbβ3 et thromboxane A2. Les antagonistes de αIIbβ3 suggérés pouvant se lier soit à la forme ouverte soit à la forme fermée du récepteur ont été synthétisés et testés expérimentalement. L’expérience montre qu’ils font preuve d’une forte activité; de plus, certains des composés conçus théoriquement sont plus efficaces que le Tirofiban, qui est un médicament commercialisé. Les antagonistes recommandés du récepteur thromboxane A2 ont déjà été synthétisés mais les tests biologiques n’ont pas encore été complétés. / Thrombosis is the most important pathological process underlying many cardiovascular diseases, which are responsible for high mortality worldwide. In this theses the computer-aided design of new anti-thrombotic agents able to inhibit two types of receptors located on the surface of the platelets has been applied. The first one - αIIbβ3 - is responsible for the interaction of activated platelets with fibrinogen to form clots, whereas the second one - thromboxane A2 - is responsible for platelet activation by one of agonists excreted by activated platelets. To achieve this, different types of models have been developed using experimentally available information and structure of protein-ligand complexes. This concerns: QSAR models, structure-based and ligand-based 3D pharmacophore models, 2D pharmacophore models, shape-based and molecular field-based models. The ensemble of the developed models were used in virtual screening. This study resulted in suggestion of new potential antagonists of αIIbβ3 and thromboxane A2 receptors. Suggested antagonists of αIIbβ3 able to bind either open or closed form of the receptor have been synthesized and tested experimentally. Experiments show that they display high activity; moreover some of theoretically designed compounds are more efficient than Tirofiban – the commercialized drug molecule. The recommended antagonists of thromboxane A2 receptor have been already synthesized but biological tests have not been completed yet.

Les services reproductifs transfrontaliers (SRT) réfèrent au déplacement d'une juridiction à une autre, de personnes ou de matériel reproductif dans le cadre d'un projet de procréation assistée (PA). Ce phénomène a été observé dans de nombreux pays, mais le système de PA mondialisé canadien, ou reproscape, demeure sous-étudié. Ce manque de connaissances nuit au développement normatif en matière de PA. En adoptant un cadre conceptuel issu de l'anthropologie médicale, l'objectif général de cette thèse était de décrire et comprendre le reproscape canadien. Pour alimenter la réflexion éthique et juridique et la prestation des services de PA, nous avons réalisé une enquête ethnographique clinique multisite combinant : (1) une revue de la littérature, (2) l'observation participante et non participante de deux cliniques de fertilité (Québec et Ontario), d'une agence d'importation de gamètes et d'une dizaine de congrès scientifiques, ainsi que (3) des entrevues semi-dirigées avec 45 actrices et acteurs des SRT : personnes utilisatrices, personnel médical et intermédiaires. Les données ont fait l'objet d'une analyse qualitative inductive, assistée du logiciel NVivo 11. Trois dimensions émergent de nos résultats. (1) Le Canada se caractérise par une mosaïque de lois et de règlements locaux, fédéraux et provinciaux qui influencent de façon paradoxale les SRT. L'obligation de don altruiste, établie par la Loi sur la procréation assistée (LPA), joue un rôle prédominant sur le reproscape canadien. (2) Au niveau de l'expérience des SRT, la simplicité de certains SRT intégrés à la pratique clinique, comme l'importation de sperme ou d'ovocytes, contraste avec la complexité des voyages vers l'étranger auxquels les personnes utilisatrices se sentent souvent contraintes. (3) Interrogées sur leurs perspectives éthiques, quatre positions principales ressortent des entrevues: (a) le respect de leur autonomie reproductive, (b) les risques individuels et (c) sociaux des SRT, dont celui d'exploitation des gestatrices et des donneuses d'ovules, ainsi que (d) les incohérences de la LPA quant à sa capacité d'atténuer ces risques. En conclusion, le reproscape canadien se caractérise, entre autres, par une situation de " sous-traitance reproductive " : une reconnaissance institutionnelle des SRT, combinée à une délocalisation des risques moraux et médicaux hors des frontières nationales. Les conclusions de notre étude mettent en évidence le caractère inextricable du local et du global en PA et comment le reproscape mondial fonctionne par vases communicants. / Abstract : Cross-border reproductive care (CBRC) refers to the movement from one jurisdiction to another of persons or reproductive material as part of assisted reproductive technology (ART) treatment. This phenomenon has been observed in many countries, but the Canadian globalized ART system (or "reproscape") remains understudied empirically. This lack of data undermines the normative development in terms of ART. The aim of this dissertation is to describe and understand the Canadian reproscape in order to support ethical and legal reflection. To achieve this goal, we conducted a multi-site clinical ethnography combining (1) literature reviews, (2) participant and non-participant observation in two fertility clinics (Quebec and Ontario), a gamete importation and distribution agency and a dozen scientific congresses, (3) as well as semi-directed interviews with 45 actors of CBRC: users, medical professionals and intermediaries. The data were analyzed by inductive qualitative analysis assisted by NVivo 11 software. Three dimensions emerge from our results. (1) Regarding the legal and clinical contexts of ART, Canada is characterized by a local mosaic of laws and regulations that paradoxically influence CBRC. The altruistic obligation established by the Assisted Human Reproduction Act (AHRA) plays a predominant role on the reproscape. (2) In terms of the experience of the main actors, the simplicity of CBRC integrated to the clinic, such as the import of semen or oocytes, contrasts with the complexity of journeys abroad for which users often feel constrained. (3) When asked about their ethical perspectives, the actors mentioned four main positions: (a) the respect for their reproductive autonomy, (b) the individual and (c) social risks of CBRC, including the exploitation of egg donors as well as gestational surrogates, and (d) AHRA inconsistencies in its ability to mitigate these risks. Our conclusion is that the Canadian reproscape is characterized, inter alia, by a situation of "reproductive outsourcing." This concept is characterized by an institutional recognition of CBRC combined with a relocation of moral and medical risks outside national borders. The results of our study underline the inextricable local and global nature of ART and how CBRC works as communicating vessels.

Dans le contexte actuel de réchauffement climatique et d'épuisement des ressources énergétiques fossiles conventionnelles, la production d'énergie à partir de combustibles renouvelables (biomasse et déchets) présente un intérêt croissant. Cependant les brûleurs industriels conventionnels sont mal ou pas adaptés pour la valorisation énergétique de combustibles pauvres qui sont pourtant peu couteux et largement disponibles. Les électro-brûleurs, basés sur une assistance à la combustion par plasma thermique, sont alors une solution pour ce type de combustible. Ce travail de thèse a pour objectif le développement d'une torche à plasma triphasée d'une puissance de 100 kW, fonctionnant à l'air et facilement intégrable dans un électro-brûleur industriel. Le premier challenge consiste à rendre possible le fonctionnement à l'air en réduisant autant que possible l'érosion à l'air des électrodes en graphite. Pour cela, des solutions de gainage des électrodes à l'azote ou au méthane, de contrôle aérodynamique de l'écoulement de l'air et d'injection de particules de carbone ont été étudiées. Le deuxième challenge est l'optimisation des transferts de masse et de chaleur, ce qui a été réalisé en améliorant l'écoulement du gaz plasmagène et en choisissant les matériaux adéquats pour l'isolation thermique. Une double approche théorique et expérimentale a été adoptée. Au niveau théorique, un modèle d'écoulement turbulent de plasma a été développé avec une modélisation de l'arc électrique par une source stationnaire de chaleur et de quantité de mouvement. Un modèle de rayonnement à bandes du plasma ainsi qu'un modèle de cinétique chimique ont été intégrés. Les résultats de la simulation montrent le rôle important du rayonnement, la limitation du gainage à l'azote et le potentiel intéressant du gainage au méthane. La simulation a permis aussi de valider le design de la nouvelle torche avant les essais. Au niveau expérimental, une nouvelle conception de torche a été proposée et testée. Les essais réalisés montrent que la protection des électrodes par injection de particules de carbone ne suffit pas pour créer une atmosphère neutre autour des électrodes mais que le contrôle aérodynamique de l'écoulement de l'air permet un meilleur contrôle de l'érosion des électrodes. Des essais préliminaires de combustion assistée par plasma de biomasse solides ont été ensuite réalisés et analysés. / Energy production from renewable combustibles like biomass and organic wastes presents an increasing interest with the urgent need to reduce greenhouse gas emissions and the depletion of conventional fossil energy resources. Meanwhile, standard industrial burners are not adequate for the energetic valorization of renewable poor LHV combustibles despite their low price and their abundance in nature. Electro-burners, with plasma assisted combustion technology, are a promising solution for this type of combustible. In this PhD dissertation is detailed the development of a 100 kW plasma torch working in air and embeddable in an industrial electro-burner. It consists firstly, in making possible an operation in oxidizing environment by reducing as much as possible the air erosion of the graphite electrodes. For this purpose, multiple solutions are tested such as sheathing with nitrogen and methane, aerodynamic control of air flow and injection of carbon black particles. The second challenge is the optimization of heat and mass transfers by improving the plasma flow and by choosing the appropriate materials for thermal insulation. Theoretically, a turbulent model of plasma flow is developed with the modeling of the electric arc column as a stationary source of heat and momentum. A multi-band radiation model and a reactional kinetic model are also integrated. The results show the important role of radiation, the limitation of the nitrogen sheathing and the potential of methane injection in reducing electrode erosion. They allowed also validating the design of the plasma torch before the tests. Experimentally, the new torch design is built and tested. It comes out that reducing the electrode erosion by carbon powder injection is not efficient to achieve a neutral environment around the electrodes whereas a control of the nearby air flow appears to be beneficial. Finally, tests of plasma assisted combustion of some biomasses are performed and analyzed.

La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (http://www.bib.umontreal.ca/MU)

La réalité augmentée permet d'aider les chirurgiens à localiser pendant l'opération la position des structures d'intérêt, comme les vaisseaux sanguins. Dans le cadre de la chirurgie laparoscopique, les modèles 3D affichés durant l'intervention ne correspondent pas à la réalité à cause des déformations dues au pneumopéritoine. Cette thèse a pour objectif de corriger ces déformations afin de fournir un modèle du foie réaliste. Nous proposons de déformer le modèle préopératoire du foie à partir d'une acquisition intraopératoire de la surface antérieure du foie. Un champ de déformations entre les modèles préopératoire et intraopératoire est calculé à partir de la distance géodésique à des repères anatomiques. De plus, une simulation biomécanique du pneumopéritoine est réalisée pour prédire la position de la cavité abdomino-thoracique qui est utilisée comme condition limite. L'évaluation de cette méthode montre que l'erreur de position du foie et de ses structures internes est réduite à 1cm. / Augmented reality can provide to surgeons during intervention the positions of critical structures like vessels. The 3D models displayed during a laparoscopic surgery intervention do not fit to reality due to pneumperitoneum deformations. This thesis aim is to correct these deformations to provide a realistic liver model during intervention. We propose to deform the preoperative liver model according to an intraoperative acquisition of the liver anterior surface. A deformation field between the preoperative and intraoperative models is computed according to the geodesic distance to anatomical landmarks. Moreover, a biomechanical simulation is realised to predict the position of the abdomino-thoracic cavity which is used as boundary conditions. This method evaluation shows that the position error of the liver and its vessels is reduced to 1cm.

Notre pratique courante de la chirurgie orthognathique se heurte aux limites des outils standard de planification et de simulation ainsi qu’à l’absence d’assistance peropératoire. L’objectif de notre travail était de développer de nouveaux outils répondant à cette problématique. Ainsi, dans un premier temps, un algorithme de segmentation semi-automatique a permis une modélisation 3D patient-spécifique rapide et précise. Nous avons ensuite élaboré un logiciel de simulation des parties molles fondé sur un modèle mécanique de type masse-ressort permettant une précision millimétrique. Enfin, nous avons conçu un système de navigation temps-réel fondé sur un guidage électromagnétique mini-invasif doté d’une interface utilisateur intuitive. Son évaluation a montré une réduction de la variabilité inter-opérateurs. En plus de son caractère pédagogique, ce système bénéficiait particulièrement aux débutants. Les chirurgiens ont souligné l’intérêt de ce système, tant pour les dysmorphoses complexes que pour les cas de routine. Ces développements constituent ainsi une suite logicielle susceptible d’améliorer la qualité de prise en charge des patients. / In our routine practice of orthognathic surgery, we face the limitations of conventional planning and simulation tools, and the lack of convenient intraoperative assistance. If computer science has provided satisfactory solutions for planning, yet simulation and navigation appear improvable. The aim of our research was to provide novel tools to improve these issues. Therefore, we first developed a semi-automated segmentation pipeline allowing accurate and timeefficient patient-specific 3D modeling. We then conceived 1mm-accurate facial soft tissue simulation software based on a mechanical massspring model. Finally, we developed a real-time navigation system based on minimally-invasive electromagnetic tracking, featuring a novel user-friendly interface. Evaluation showed that our software reduced time and accuracy discrepancy between operators. Along with educational purposes, such a system benefited especially trainees. Surgeons emphasized system relevance in the treatment of both, complex and common deformities. Such developments establish a software suite that could provide significant improvement for patient optimal care.

Contexte : Une amélioration des habitudes de vie, avec une légère perte pondérale (5 %), augmenterait les chances de concevoir un enfant chez les femmes obèses souffrant d’infertilité. La perte de poids est considérée comme le principal déterminant de la survenue d’une grossesse, mais aucune étude n’a évalué le rôle la qualité alimentaire. Objectif principal : Évaluer l’impact de l’amélioration de la qualité alimentaire sur les chances de survenue d’une grossesse auprès de femmes obèses et infertiles. Méthodologie : Étude prospective s’insérant dans un essai randomisé contrôlé évaluant l'impact d'une intervention interdisciplinaire visant l’amélioration des habitudes de vie sur la fertilité des femmes obèses suivies à la clinique de fertilité du CHUS en comparaison à des femmes ayant accès aux soins standards en fertilité seulement (n = 102). Des visites de recherche ont lieu à l’entrée de l’étude puis aux 6 mois jusqu’à la fin du projet, soit après 18 mois ou jusqu’à l’accouchement. La collecte de données inclut un questionnaire de fréquence alimentaire, des mesures anthropométriques et un test de condition physique. Un index de qualité alimentaire, le Healthy Eating Index modifié (mHEI, 0-100 points), a été calculé. Résultats : Pour l’ensemble des participantes, l’amélioration de la qualité alimentaire n’était pas associée à de meilleures chances de grossesse. À l’aide d’un modèle de régression de Cox, il a été possible d’observer que la qualité alimentaire initiale était un prédicteur important de grossesse au sein des deux groupes confondus (HR (par 10 unités) : 1,24 [1,03 – 1,50], p = 0,027), indépendamment du niveau de condition physique et de l’anthropométrie. De façon similaire, une meilleure qualité alimentaire observée avant conception présentait une association significative indépendante avec les chances de concevoir dans le temps (HR (par 10 unités) : 1,25 [1,04 – 1,49], p = 0,017). Les variables anthropométriques, incluant le poids, n’étaient pas associées à une probabilité accrue de concevoir. Conclusion : Une meilleure qualité alimentaire en préconception augmenterait les chances de grossesse chez les femmes infertiles souffrant d’obésité. / Abstract : Background : Improvement of lifestyle habits, associated with a modest weight loss (5 %), has shown to increase odds of pregnancy in overweight and obese women diagnosed with infertility. Weight loss is considered as the main factor that explains the improvement of fertility, but no study evaluated the specific role of diet quality on fertility in this population. Objective : Evaluate the impact of improving diet quality on odds of pregnancy in obese and infertile women seeking for fertility treatments. Methods : Prospective study nested in a randomized controlled trial evaluating the impact of an interdisciplinary lifestyle intervention on fertility of obese women followed at the fertility clinic of the CHUS, in comparison to standard fertility care only. Research visits take place every 6 months until the end of the project, which is after 18 months or delivery. Data collection include a food frequency questionnaire, anthropometric measurement and a fitness evaluation. A score of diet quality, the modified Healthy Eating Index (mHEI, 0-100 units), was calculated. Results : For all the participants, improvement of diet quality was not associated with the probability of pregnancy. With Cox regression, we observed that the initial diet quality was an important predictor of pregnancy within the two confounded groups (HR (by 10 units) : 1.24 [1.03 – 1.50], p = 0.027), independently of cardiorespiratory fitness and anthropometry. Similarly, the best diet quality observed before conception presented a significant independent association with odds of pregnancy over time (HR (by 10 units) : 1.25 [1.04 – 1.49], p = 0.017). Anthropometric variables, including weight, were not associated with a higher probability of conception. Conclusion : A greater diet quality in preconception seems to increase probability of pregnancy in obese infertile women.

La définition de formes par ces procédés itératifs génère des structures avec des propriétésspécifiques intéressantes : rugosité, lacunarité. . . . Cependant, les modèles géométriques classiquesne sont pas adaptés à la description de ces formes.Dans le but de développer un modeleur itératif pour concevoir des objets fractals décrits à l’aide duBCIFS, nous avons développé un ensemble d’outils et d’algorithmes génériques qui nous permettentd’évaluer, de caractériser et d’analyser les différentes propriétés géométriques (la localisation, lecalcul de l’enveloppe convexe, de la distance à partir d’un point, etc) de fractals. Nous avons identifiéles propriétés des opérations standards (intersection, union, offset, . . . ) permettant de calculer uneapproximation d’image des fractales et de plus d’optimiser ces algorithmes d’approximation.Dans certains cas, il est possible de construire un CIFS avec l’opérateur de HUTCHINSON généralisédont l’attracteur est suffisamment proche du résultat de l’opération par rapport à la métrique deHausdorff. Nous avons développé un algorithme générique pour calculer ces CIFS pour une précisiondonnée. Nous avons défini la propriété d’auto-similarité de l’opération, qui définie un ensemble detransformations utilisé dans un système itératif résultant.Pour construire un CIFS exact de l’image, si il existe, il faut prouver tous les similitudes nécessairesmanuellement. Nous explicitons également la condition de l’opération, quand le résultat peut êtrereprésenté par un IFS avec un opérateur de HUTCHINSON généralisé. Dans ce cas, il n’est que cettecondition à prouver manuellement / Defining shapes by iteration allows us to generate new structures with specific properties (roughness,lacunarity), which cannot be achieved with classic modelling.For developing an iterative modeller to design fractals described by a BCIFS, we developed a set oftools and algorithms that permits one to evaluate, to characterize and to analyse different geometricproperties (localisation, convex hull, volume, fractal dimension) of fractals. We identified properties ofstandard CAD operations (intersection, union, offset, . . . ) allowing us to approximate them for fractalsand also to optimize these approximation algorithms.In some cases, it is possible to construct a CIFS with generalised HUTCHINSON operator, whoseattractor is close enough to the operation result with respect to the HAUSDORFF metric.We introduceda generic algorithm to compute such CIFS for a given accuracy.We defined the self-similarity propertyof the operation defining a set of transformations, which are used in the output iterative system.In order to construct an exact CIFS of the image, if it exists, we must prove all the necessarysimilarities manually. We explicit also the condition of the operation to be represented by an IFS witha generalised HUTCHINSON operator. In this case, only this condition should be proved manually

Les capacités d'auto-reconfiguration des architectures FPGA modernes ouvrent la voie à des applications dynamiques capables d'adapter leur fonctionnement pour répondre à des évènements ponctuels. Les flots de reconfiguration des architectures commerciales sont aujourd'hui aboutis mais limités par des contraintes inhérentes à la complexité de ces circuits. Dans cette thèse, plusieurs contributions sont avancées afin de proposer une architecture FPGA reconfigurable permettant le placement dynamique de tâches matérielles. Dans un premier temps, une représentation intermédiaire des données de configuration de ces tâches, indépendante de leur positionnement final, est présentée. Cette représentation permet notamment d'atteindre des taux de compression allant jusqu'à 11x par rapport à la représentation brute d'une tâche. Un flot de conception basé sur des outils de l'état de l'art accompagne cette représentation et génère des tâches relogeables à partir d'une description haut-niveau. Ensuite, le comportement en ligne de ce mécanisme est étudié. Deux algorithmes permettant le décodage de ces tâches et la génération en temps-réel des données de configuration propres à l'architectures son décrits. Par ailleurs, une amélioration du réseau d'interconnexion d'une architecture FPGA est proposée pour accroître la flexibilité du placement de tâches hétérogènes, avec une augmentation de 10% en moyenne du délai du chemin critique. Enfin, une alternative programmable aux mémoires de configuration de ces circuits est étudiée pour faciliter leur reconfiguration partielle. / The self-reconfiguration capabilities of modern FPGA architectures pave the way for dynamic applications able to adapt to transient events. The CAD flows of modern architectures are nowadays mature but limited by the constraints induced by the complexity of FPGA circuits. In this thesis, multiple contributions are developed to propose an FPGA architecture supporting the dynamic placement of hardware tasks. First, an intermediate representation of these tasks configuration data, independent from their final position, is presented. This representation allows to compress the task data up to 11x with regard to its conventional raw counterpart. An accompanying CAD flow, based on state-of-the-art tools, is proposed to generate relocatable tasks from a high-level description. Then, the online behavior of this mechanism is studied. Two algorithms allowing to decode and create in real-time the conventional bit-stream are described. In addition, an enhancement of the FPGA interconnection network is proposedto increase the placement flexibility of heterogeneous tasks, at the cost of a 10% increase in average of the critical path delay. Eventually, a configurable substitute to the configuration memory found in FPGAs is studied to ease their partial reconfiguration.