• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 61
  • 37
  • 11
  • 1
  • Tagged with
  • 109
  • 30
  • 27
  • 22
  • 15
  • 14
  • 12
  • 12
  • 12
  • 11
  • 11
  • 10
  • 10
  • 10
  • 9
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
101

Étude typo-chronologique et stylistique des boucles d'oreilles en or de Macédoine : de l'époque archaïque à la fin de la période hellénistique

Bourgouin, Anne-Catherine 04 1900 (has links)
No description available.
102

Stratégie d'alimentation pour les SoCs RF très faible consommation / Power management Strategy of Ultra-Low-Power RF 'SOC'

Coulot, Thomas 15 October 2013 (has links)
Les réseaux de capteurs sans fil nécessitent des fonctions de calcul et de transmissionradio associées à chaque capteur. Les SoCs RF intégrant ces fonctions doivent avoir uneautonomie la plus grande possible et donc une très faible consommation. Aujourd'hui, leursperformances énergétiques pourraient être fortement améliorées par des systèmes d'alimentationinnovants. En effet, les circuits d'alimentation remplissent leur fonction classique de conversiond'énergie mais aussi des fonctions d'isolation des blocs RF et digitaux. Leurs performancess'évaluent donc en termes d'efficacité énergétique et de réponse transitoire mais aussi d'isolationentre blocs et de réjection de bruit.Ce travail de thèse concerne l'intégration du système de gestion et de distribution del’énergie aux différents blocs RF d’un émetteur/récepteur en élaborant une méthodologie « topdown» pour déterminer la sensibilité de chaque bloc à son alimentation et en construisant unearchitecture innovante et dynamique de gestion/distribution de l'énergie sur le SoC. Cetteméthodologie repose sur la disponibilité de régulateurs de tension présentant des performancesadaptées. Un deuxième volet du travail de thèse a donc été de réaliser un régulateur linéaire detype LDO à forte réjection sur une bande passante relativement large et bien adapté àl'alimentation de blocs RF très sensibles aux bruits de l'alimentation. / Wireless sensor networks require calculation functions and radiofrequencytransmission modules within each sensor. RF SoCs integrating these functions must have thebiggest battery life and so a very small consumption. Today, innovative power managementsystems could highly enhance the energy performances of this type of RF SoC. Indeed, thesepower systems perform energy conversion and also the isolation functions of RF and digitalblocks. Their features are thus estimated in terms of energy efficiency, transient response and alsoisolation between blocks and noise rejection.This thesis work concerns the integration of the power management systems and itsdistribution channels into different ultra-low-power SoCs. This was achieved mainly thanks to thedevelopment of a new “top-down” approach. This new methodology consists of determining thesensibility of every block to its power supply and of designing an innovative and dynamicarchitecture of power management circuits on the SoC. This study ends up in the implementationof a very efficient low dropout (LDO) regulator for noise-sensitive low-current RF blocks inmixed SoC applications. The fabricated prototype achieves a high power supply rejection for awide range of frequencies.
103

Non compact conformal field theories in statistical mechanics / Théories conformes non compactes en physique statistique

Vernier, Eric 27 April 2015 (has links)
Les comportements critiques des systèmes de mécanique statistique en 2 dimensions ou de mécanique quantique en 1+1 dimensions, ainsi que certains aspects des systèmes sans interactions en 2+1 dimensions, sont efficacement décrits par les méthodes de la théorie des champs conforme et de l'intégrabilité, dont le développement a été spectaculaire au cours des 40 dernières années. Plusieurs problèmes résistent cependant toujours à une compréhension exacte, parmi lesquels celui de la transition entre plateaux dans l'Effet Hall Quantique Entier. La raison principale en est que de tels problèmes sont généralement associés à des théories non unitaires, ou théories conformes logarithmiques, dont la classification se révèle être d'une grande difficulté mathématique. Se tournant vers la recherche de modèles discrets (chaînes de spins, modèles sur réseau), dans l'espoir en particulier d'en trouver des représentations en termes de modèles exactement solubles (intégrables), on se heurte à la deuxième difficulté représentée par le fait que les théories associées sont la plupart du temps non compactes, ou en d'autres termes qu'elles donnent lieu à un continuum d'exposants critiques. En effet, le lien entre modèles discrets et théories des champs non compactes est à ce jour loin d'être compris, en particulier il a longtemps été cru que de telles théories ne pouvaient pas émerger comme limites continues de modèles discrets construits à partir d'un ensemble compact de degrés de libertés, par ailleurs les seuls qui donnent a accès à une construction systématique de solutions exactes.Dans cette thèse, on montre que le monde des modèles discrets compacts ayant une limite continue non compacte est en fait beaucoup plus grand que ce que les quelques exemples connus jusqu'ici auraient pu laisser suspecter. Plus précisément, on y présente une solution exacte par ansatz de Bethe d'une famille infinie de modèles(les modèles $a_n^{(2)}$, ainsi que quelques résultats sur les modèles $b_n^{(1)}$, où il est observé que tous ces modèles sont décrits dans un certain régime par des théories conformes non compactes. Parmi ces modèles, certains jouent un rôle important dans la description de phénomènes physiques, parmi lesquels la description de polymères en deux dimensions avec des interactions attractives et des modèles de boucles impliqués dans l'étude de modèles de Potts couplés ou dans une tentative de description de la transition entre plateaux dans l'Effet Hall par un modèle géométrique compact.On montre que l'existence insoupçonnéede limite continues non compacts pour de tels modèles peut avoir d'importantes conséquences pratiques, par exemple dans l'estimation numérique d'exposants critiques ou dans le résultats de simulations de Monte Carlo. Nos résultats sont appliqués à une meilleure compréhension de la transition theta décrivant l'effondrement des polymères en deux dimensions, et des perspectives pour une potentielle compréhension de la transition entre plateaux en termes de modèles sur réseaux sont présentées. / The critical points of statistical mechanical systems in 2 dimensions or quantum mechanical systems in 1+1 dimensions (this also includes non interacting systems in 2+1 dimensions) are effciently tackled by the exact methods of conformal fieldtheory (CFT) and integrability, which have witnessed a spectacular progress during the past 40 years. Several problems have however escaped an exact understanding so far, among which the plateau transition in the Integer Quantum Hall Effect,the main reason for this being that such problems are usually associated with non unitary, logarithmic conformal field theories, the tentative classification of which leading to formidable mathematical dificulties. Turning to a lattice approach, andin particular to the quest for integrable, exactly sovable representatives of these problems, one hits the second dificulty that the associated CFTs are usually of the non compact type, or in other terms that they involve a continuum of criticalexponents. The connection between non compact field theories and lattice models or spin chains is indeed not very clear, and in particular it has long been believed that the former could not arise as the continuum limit of discrete models built out of acompact set of degrees of freedom, which are the only ones allowing for a systematic construction of exact solutions.In this thesis, we show that the world of compact lattice models/spin chains with a non compact continuum limit is much bigger than what could be expected from the few particular examples known up to this date. More precisely we propose an exact Bethe ansatz solution of an infinite family of models (the so-called $a_n^{(2)}$ models, as well as some results on the $b_n^{(1)}$ models), and show that all of these models allow for a regime described by a non compact CFT. Such models include cases ofgreat physical relevance, among which a model for two-dimensional polymers with attractive interactions and loop models involved in the description of coupled Potts models or in a tentative description of the quantum Hall plateau transition by somecompact geometrical truncation. We show that the existence of an unsuspected non compact continuum limit for such models can have dramatic practical effects, for instance on the output of numerical determination of the critical exponents or ofMonte-Carlo simulations. We put our results to use for a better understanding of the controversial theta transition describing the collapse of polymers in two dimensions, and draw perspectives on a possible understanding of the quantum Hall plateautransition by the lattice approach.
104

Structure chirale de la gravité quantique à boucles / The Chiral Structure of Loop Quantum Gravity

Wieland, Wolfgang 12 December 2013 (has links)
La relativité générale représente la description la plus précise de l'interaction gravitationnelle. Cependant, alors que la matière est régie par les lois de la mécanique quantique, la gravitation, elle, est une théorie fondamentalement classique. A l'échelle de Planck, c'est-à-dire à des distances d'environ 10E-35 mètres, les effets quantiques et ceux de la gravitation deviennent tous deux importants. A l'heure actuelle, un langage mathématique unifié et décrivant les effets physiques à cette échelle est toujours manquant. Il existe néanmoins plusieurs théories candidates à cette description, et l'une d'entre elles, la gravité quantique à boucles, est l'objet d'étude de cette thèse.Afin de tester si une théorie candidate peur fournir une description appropriée des propriétés quantiques du champ de gravitation, elle doit présenter une certaine cohérence interne du point de vue mathématique, et aussi être en accord avec les tests expérimentaux de la relativité générale. Le but de cette thèse est de développer certains outils mathématiques qui éclairent ces conditions de consistance interne, et qui permettent d'établir un lien entre différentes formulations de la théorie. / General relativity is the most precise theory of the gravitational interaction. It is a classical field theory. All matter, on the other hand, follows the rules of quantum theory. At the Planck scale, at about distances of the order of 10E-35 meters, both theories become equally important. Today, theoretical physics lacks a unifying language to explore what happens at this scale, but there are several candidate theories available. Loop quantum gravity is one them, and it is the main topic of this thesis. To see whether a particular proposal is a viable candidate for a quantum theory of the gravitational field it must be free of internal inconsistencies, and agree with all experimental tests of general relativity. This thesis develops mathematical tools to check these.
105

Nitrate metabolism in the dinoflagellate Lingulodinium polyedrum

Dagenais Bellefeuille, Steve 12 1900 (has links)
Les dinoflagellés sont des eucaryotes unicellulaires retrouvés dans la plupart des écosystèmes aquatiques du globe. Ces organismes amènent une contribution substantielle à la production primaire des océans, soit en tant que membre du phytoplancton, soit en tant que symbiontes des anthozoaires formant les récifs coralliens. Malheureusement, ce rôle écologique majeur est souvent négligé face à la capacité de certaines espèces de dinoflagellés à former des fleurs d'eau, parfois d'étendue et de durée spectaculaires. Ces floraisons d'algues, communément appelées "marées rouges", peuvent avoir de graves conséquences sur les écosystèmes côtiers, sur les industries de la pêche et du tourisme, ainsi que sur la santé humaine. Un des facteurs souvent corrélé avec la formation des fleurs d'eau est une augmentation dans la concentration de nutriments, notamment l’azote et le phosphore. Le nitrate est un des composants principaux retrouvés dans les eaux de ruissellement agricoles, mais également la forme d'azote bioaccessible la plus abondante dans les écosystèmes marins. Ainsi, l'agriculture humaine a contribué à magnifier significativement les problèmes associés aux marées rouges au niveau mondial. Cependant, la pollution ne peut pas expliquer à elle seule la formation et la persistance des fleurs d'eau, qui impliquent plusieurs facteurs biotiques et abiotiques. Il est particulièrement difficile d'évaluer l'importance relative qu'ont les ajouts de nitrate par rapport à ces autres facteurs, parce que le métabolisme du nitrate chez les dinoflagellés est largement méconnu. Le but principal de cette thèse vise à remédier à cette lacune. J'ai choisi Lingulodinium polyedrum comme modèle pour l'étude du métabolisme du nitrate, parce que ce dinoflagellé est facilement cultivable en laboratoire et qu'une étude transcriptomique a récemment fourni une liste de gènes pratiquement complète pour cette espèce. Il est également intéressant que certaines composantes moléculaires de la voie du nitrate chez cet organisme soient sous contrôle circadien. Ainsi, dans ce projet, j'ai utilisé des analyses physiologiques, biochimiques, transcriptomiques et bioinformatiques pour enrichir nos connaissances sur le métabolisme du nitrate des dinoflagellés et nous permettre de mieux apprécier le rôle de l'horloge circadienne dans la régulation de cette importante voie métabolique primaire. Je me suis tout d'abord penché sur les cas particuliers où des floraisons de dinoflagellés sont observées dans des conditions de carence en azote. Cette idée peut sembler contreintuitive, parce que l'ajout de nitrate plutôt que son épuisement dans le milieu est généralement associé aux floraisons d'algues. Cependant, j’ai découvert que lorsque du nitrate était ajouté à des cultures initialement carencées ou enrichies en azote, celles qui s'étaient acclimatées au stress d'azote arrivaient à survivre près de deux mois à haute densité cellulaire, alors que les cellules qui n'étaient pas acclimatées mourraient après deux semaines. En condition de carence d'azote sévère, les cellules arrivaient à survivre un peu plus de deux semaines et ce, en arrêtant leur cycle cellulaire et en diminuant leur activité photosynthétique. L’incapacité pour ces cellules carencées à synthétiser de nouveaux acides aminés dans un contexte où la photosynthèse était toujours active a mené à l’accumulation de carbone réduit sous forme de granules d’amidon et corps lipidiques. Curieusement, ces deux réserves de carbone se trouvaient à des pôles opposés de la cellule, suggérant un rôle fonctionnel à cette polarisation. La deuxième contribution de ma thèse fut d’identifier et de caractériser les premiers transporteurs de nitrate chez les dinoflagellés. J'ai découvert que Lingulodinium ne possédait que très peu de transporteurs comparativement à ce qui est observé chez les plantes et j'ai suggéré que seuls les membres de la famille des transporteurs de nitrate de haute affinité 2 (NRT2) étaient réellement impliqués dans le transport du nitrate. Le principal transporteur chez Lingulodinium était exprimé constitutivement, suggérant que l’acquisition du nitrate chez ce dinoflagellé se fondait majoritairement sur un système constitutif plutôt qu’inductible. Enfin, j'ai démontré que l'acquisition du nitrate chez Lingulodinium était régulée par la lumière et non par l'horloge circadienne, tel qu'il avait été proposé dans une étude antérieure. Finalement, j’ai utilisé une approche RNA-seq pour vérifier si certains transcrits de composantes impliquées dans le métabolisme du nitrate de Lingulodinium étaient sous contrôle circadien. Non seulement ai-je découvert qu’il n’y avait aucune variation journalière dans les niveaux des transcrits impliqués dans le métabolisme du nitrate, j’ai aussi constaté qu’il n’y avait aucune variation journalière pour n’importe quel ARN du transcriptome de Lingulodinium. Cette découverte a démontré que l’horloge de ce dinoflagellé n'avait pas besoin de transcription rythmique pour générer des rythmes physiologiques comme observé chez les autres eukaryotes. / Dinoflagellates are unicellular eukaryotes found in most aquatic ecosystems of the world. They are major contributors to carbon fixation in the oceans, either as free-living phytoplankton or as symbionts to corals. Dinoflagellates are also infamous because some species can form spectacular blooms called red tides, which can cause serious damage to ecosystems, human health, fisheries and tourism. One of the factors often correlated with algal blooms are increases in nutrients, particularly nitrogen and phosphorus. Nitrate is one of the main components of agricultural runoffs, but also the most abundant bioavailable form of nitrogen in marine environments. Thus, agricultural activities have globally contributed to the magnification of the problems associated with red tides. However, bloom formation and persistence cannot be ascribed to human pollution alone, because other biotic and abiotic factors are at play. Particularly, it is difficult to assess the relative importance of nitrate addition over these other factors, because nitrate metabolism in dinoflagellate is mostly unknown. Filling part of this gap was the main goal of this thesis. I selected Lingulodinium polyedrum as a model for studying nitrate metabolism, because this dinoflagellate can easily be cultured in the lab and a recent transcriptomic survey has provided an almost complete gene catalogue for this species. It is also interesting that some molecular components of the nitrate pathway in this organism have been reported to be under circadian control. Thus, in this project, I used physiological, biochemical, transcriptomic and bioinformatic approaches to enrich our understanding of dinoflagellate nitrate metabolism and to increase our appreciation of the role of the circadian clock in regulating this important primary metabolic pathway. I first studied the particular case of dinoflagellate blooms that occur and persist in conditions of nitrogen depletion. This idea may seems counterintuitive, because nitrogen addition rather than depletion, is generally associated with algal blooms. However, I discovered that when nitrate was added to nitrogen-deficient or nitrogen-sufficient cultures, those that had been acclimated to nitrogen stress were able to survive for about two months at high cell densities, while non-acclimated cells died after two weeks. In conditions of severe nitrogen limitation, cells could survive a little bit more than two weeks by arresting cell division and reducing photosynthetic rates. The incapacity to synthesize new amino acids for these deprived cells in a context of on-going photosynthesis led to the accumulation of reduced carbon in the form of starch granules and lipid bodies. Interestingly, both of these carbon storage compounds were polarized in Lingulodinium cells, suggesting a functional role. The second contribution of my thesis was to identify and characterize the first nitrate transporters in dinoflagellates. I found that in contrast to plants, Lingulodinium had a reduced suite of nitrate transporters and only members of the high-affinity nitrate transporter 2 (NRT2) family were predicted to be functionally relevant in the transport of nitrate. The main transporter was constitutively expressed, which suggested that nitrate uptake in Lingulodinium was mostly a constitutive process rather than an inducible one. I also discovered that nitrate uptake in this organism was light-dependent and not a circadian-regulated process, as previously suggested. Finally, I used RNA-seq to verify if any transcripts involved in the nitrate metabolism of Lingulodinium were under circadian control. Not only did I discovered that there were no daily variations in the level of transcripts involved in nitrate metabolism, but also that there were no changes for any transcripts present in the whole transcriptome of Lingulodinium. This discovery showed that the circadian timer in this species did not require rhythmic transcription to generate biological rhythms, as observed in other eukaryotes.
106

Corrections radiatives en Supersymétrie et applications au calcul de la densité relique au-delà de l'ordre dominant.

Chalons, Guillaume 08 July 2010 (has links) (PDF)
Cette thèse porte sur le calcul des corrections radiatives supersymétriques pour des processus entrants dans le calcul de la densité relique de matière noire, dans le MSSM et le scénario cosmologique standard, ainsi que sur l'influence du choix du schéma de renormalisation du secteur des neutralinos/charginos à partir de la mesure de trois masses physiques. Cette étude a été faite à l'aide d'un programme automatique de calcul à une boucle d'observables physiques dans le MSSM, appelé SloopS. Pour le calcul de la densité relique nous nous sommes penchés sur des scénarios où le candidat supersymétrique le plus étudié, le neutralino, se désintégrait en majoritairement en bosons de jauge. Nous avons couvert les cas où sa masse était de l'ordre de quelques centaines de GeV jusqu'à 2 TeV. Cela a nécessité la prise en compte complète des corrections électrofaibles et fortes, impliquées dans des processus sous-dominants impliquant des quarks. Dans le cas des neutralinos très lourds deux effets importants ont été mis à jour : les amplifications de type Sommerfeld dues aux bosons de jauge massifs et peut-être plus important encore des corrections de type Sudakov.
107

Calcul flottant haute performance sur circuits reconfigurables

Pasca, Bogdan Mihai 21 September 2011 (has links) (PDF)
De plus en plus de constructeurs proposent des accélérateurs de calculs à base de circuits reconfigurables FPGA, cette technologie présentant bien plus de souplesse que le microprocesseur. Valoriser cette flexibilité dans le domaine de l'accélération de calcul flottant en utilisant les langages de description de circuits classiques (VHDL ou Verilog) reste toutefois très difficile, voire impossible parfois. Cette thèse a contribué au développement du logiciel FloPoCo, qui offre aux utilisateurs familiers avec VHDL un cadre C++ de description d'opérateurs arithmétiques génériques adapté au calcul reconfigurable. Ce cadre distingue explicitement la fonctionnalité combinatoire d'un opérateur, et la problématique de son pipeline pour une précision, une fréquence et un FPGA cible donnés. Afin de pouvoir utiliser FloPoCo pour concevoir des opérateurs haute performance en virgule flottante, il a fallu d'abord concevoir des blocs de bases optimisés. Nous avons d'abord développé des additionneurs pipelinés autour des lignes de propagation de retenue rapides, puis, à l'aide de techniques de pavages, nous avons conçu de gros multiplieurs, possiblement tronqués, utilisant des petits multiplieurs. L'évaluation de fonctions élémentaires en flottant implique souvent l'évaluation en virgule fixe d'une fonction. Nous présentons un opérateur générique de FloPoCo qui prend en entrée l'expression de la fonction à évaluer, avec ses précisions d'entrée et de sortie, et construit un évaluateur polynomial optimisé de cette fonction. Ce bloc de base a permis de développer des opérateurs en virgule flottante pour la racine carrée et l'exponentielle qui améliorent considérablement l'état de l'art. Nous avons aussi travaillé sur des techniques de compilation avancée pour adapter l'exécution d'un code C aux pipelines flexibles de nos opérateurs. FloPoCo a pu ainsi être utilisé pour implanter sur FPGA des applications complètes.
108

Contributions to the study of control for small-scale wind turbine connected to electrical microgrid with and without sensor / Contribution à l'étude des commandes avec et sans capteur d'une éolienne de faible puissance insérée dans un micro réseau électrique

Al Ghossini, Hossam 23 November 2016 (has links)
L'objectif de cette thèse est de proposer l'approche la plus appropriée afin de minimiser le coût d'intégration de petite éolienne dans un micro-réseau DC urbain. Une petit éolienne basé sur un machine synchrone à aimant permanent (MSAP) est considéré à étudier. Un état de l'art concernant les énergies renouvelables, micro-réseau DC, et la production d'énergie éolienne, est fait. Comme le capteur mécanique de cette structure est relativement d'un coût élevé, les différents types de contrôle pour un système de conversion éolienne sont présentés afin de choisir une structure active de conversion d'énergie et un MSAP sans capteur. Par conséquent, un estimateur de vitesse/position est nécessaire pour contrôler le système. Ainsi, les méthodes différentes proposées dans la littérature sont considérées et classifiées à étudier dans les détails, puis les plus efficaces et largement utilisés sont à vérifier dans la simulation et expérimentalement pour le système étudié. Les méthodes choisies sont: estimation de la flux de rotor avec boucle à verrouillage de phase (PLL), observateur à mode glissement (SMO), observateur de Luenberger d'ordre réduit, et filtre de Kalman étendu (EKF). Face à d'autres méthodes, l'estimateur basé sur un modèle EKF permet une commande sans capteur dans une large plage de vitesse et estime la vitesse de rotation avec une réponse rapide. Le réglage des paramètres EKF est le problème principal à sa mise en œuvre. Par conséquent, pour résoudre ce problème, la thèse présente une méthode adaptative, à savoir réglage-adaptatif d’EKF. En conséquence, et grâce à cette approche, le coût total du système de conversion est réduite et la performance est garantie et optimisée. / The aim of this thesis is to propose the most appropriate approach in order to minimize the cost of integration of a wind generator into a DC urban microgrid. A small-scale wind generator based on a permanent magnet synchronous machine (PMSM) is considered to be studied. A state of the art concerning the renewable energies, DC microgrid, and wind power generation is done. As the mechanical sensor for this structure is relatively of high cost, various types of wind conversion system control are presented in order to choose an energy conversion active structure and a sensorless PMSM. Therefore, a speed/position estimator is required to control the system. Thus, different methods proposed in literatures are considered and classified to be studied in details, and then the most effective and widely used ones are to be verified in simulation and experimentally for the studied system. The methods which are chosen are: rotor flux estimation with phase locked loop (PLL), sliding mode observer (SMO), Luenberger observer of reduced order, and extended Kalman filter (EKF). Facing to other methods, the EKF model-based estimator allows sensorless drive control in a wide speed range and estimates the rotation speed with a rapid response. The EKF parameters tuning is the main problem to its implementation. Hence, to solve this problem, the thesis introduces an adaptive method, i.e. adaptive-tuning EKF. As a result and grace to this approach, the total cost of conversion system is reduced and the performance is guaranteed and optimized.
109

Calcul flottant haute performance sur circuits reconfigurables / High-performance floating-point computing on reconfigurable circuits

Pasca, Bogdan Mihai 21 September 2011 (has links)
De plus en plus de constructeurs proposent des accélérateurs de calculs à base de circuits reconfigurables FPGA, cette technologie présentant bien plus de souplesse que le microprocesseur. Valoriser cette flexibilité dans le domaine de l'accélération de calcul flottant en utilisant les langages de description de circuits classiques (VHDL ou Verilog) reste toutefois très difficile, voire impossible parfois. Cette thèse a contribué au développement du logiciel FloPoCo, qui offre aux utilisateurs familiers avec VHDL un cadre C++ de description d'opérateurs arithmétiques génériques adapté au calcul reconfigurable. Ce cadre distingue explicitement la fonctionnalité combinatoire d'un opérateur, et la problématique de son pipeline pour une précision, une fréquence et un FPGA cible donnés. Afin de pouvoir utiliser FloPoCo pour concevoir des opérateurs haute performance en virgule flottante, il a fallu d'abord concevoir des blocs de bases optimisés. Nous avons d'abord développé des additionneurs pipelinés autour des lignes de propagation de retenue rapides, puis, à l'aide de techniques de pavages, nous avons conçu de gros multiplieurs, possiblement tronqués, utilisant des petits multiplieurs. L'évaluation de fonctions élémentaires en flottant implique souvent l'évaluation en virgule fixe d'une fonction. Nous présentons un opérateur générique de FloPoCo qui prend en entrée l'expression de la fonction à évaluer, avec ses précisions d'entrée et de sortie, et construit un évaluateur polynomial optimisé de cette fonction. Ce bloc de base a permis de développer des opérateurs en virgule flottante pour la racine carrée et l'exponentielle qui améliorent considérablement l'état de l'art. Nous avons aussi travaillé sur des techniques de compilation avancée pour adapter l'exécution d'un code C aux pipelines flexibles de nos opérateurs. FloPoCo a pu ainsi être utilisé pour implanter sur FPGA des applications complètes. / Due to their potential performance and unmatched flexibility, FPGA-based accelerators are part of more and more high-performance computing systems. However, exploiting this flexibility for accelerating floating-point computations by manually using classical circuit description languages (VHDL or Verilog) is very difficult, and sometimes impossible. This thesis has contributed to the development of the FloPoCo software, a C++ framework for describing flexible FPGA-specific arithmetic operators. This framework explicitly separates the description of the combinatorial functionality of an arithmetic operator, and its pipelining for a given precision, operating frequency and target FPGA.In order to be able to use FloPoCo for designing high performance floating-point operators, we first had to design the optimized basic blocks. We first developed pipelined addition architectures exploiting the fast-carry lines present in modern FPGAs. Next, we focused on multiplication architectures. Using tiling techniques, we proposed novel architectures for large multipliers, but also truncated multipliers, based on the multipliers found in modern FPGA DSP blocks. We also present a generic FloPoCo operator which inputs the expression of a function, its input and output precisions, and builds an optimized polynomial evaluator for the fixed-point evaluation of this function. Using this building block we have designed floating-point operators for the square-root and exponential functions which significantly outperform existing operators. Finally, we also made use of advanced compilation techniques for adapting the execution of a C program to the flexible pipelines of our operators.

Page generated in 0.0415 seconds