• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 19
  • 13
  • 2
  • 1
  • Tagged with
  • 38
  • 12
  • 6
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 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.
31

Spectroscopie de complexes plans carrés de platine(II) et de palladium(II) en fonction de la température et de la pression : structure et énergie

Rodrigue-Witchel, Alexandre 12 1900 (has links)
Les interactions entre des complexes de platine (II) ou de palladium (II) ont une grande influence sur une grande gamme de propriétés chimiques et physiques. Ces propriétés peuvent être étudiées par plusieurs méthodes spectroscopiques comme la spectroscopie Raman, d’absorption, d’émission et de réflectivité diffuse. L’empilement de molécules a un effet important sur les propriétés spectroscopiques de plusieurs composés des éléments de transition. La spectroscopie est très utile pour comprendre les effets intermoléculaires majeurs de plusieurs composés inorganiques. Les complexes plan-carré de platine(II) et de palladium(II) sont très intéressants à cause de leur grande quantité d’effets intermoléculaires et intramoléculaires. Des mesures avec des variations de pression (entre 1 bar et 40 kbar) et de température (entre 80 K et 300 K) ont été effectuées sur ces complexes. La structure à l’état fondamental des composés de platine(II) et de palladium(II) a un effet important sur la spectroscopie de luminescence. Des complexes avec des donneurs axiaux mènent à un effet de déplacement du maximum d’émission vers de plus basses énergies avec l’augmentation de pression. Des complexes similaires sans composante axiale ont un maximum d’émission qui se déplace vers des plus hautes énergies. Ces effets sont explorés à l’aide de plusieurs composés incluant une série de complexes pinceur qui ont démontré des déplacements entre -1 cm-1/kbar et -30 cm-1/kbar. Le changement du type d’émission causé par un changement de pression ou de température est aussi observable. Un complexe de platine(II) montre un changement d’une transition centrée sur le ligand à pression ambiante à une transition de type transfert de charge à plus haute pression. La combinaison de l’information cristallographique et spectroscopique donne de l’information quantitative sur les variations de la structure et des niveaux électroniques de plusieurs complexes. / Interactions between platinum(II) or palladium (II) compounds influence a large range of chemical and materials properties. These properties can be studied with the help of many different spectroscopic methods such as Raman, absorption, luminescence and diffuse reflectance. The stacking of molecules has a very important effect on their photophysical properties. Luminescence spectroscopy is especially useful to understand what role of intermolecular effects in inorganic complexes. Square planar Pt(II) and Pd(II) complexes are very interesting to study because of their multiple intermolecular and intramolecular effects. Work on these complexes under variable external pressure and temperature corresponding to variable intermolecular effects was executed. These changes include variations of pressure (between ambient pressure and 40 kbar) and temperature (from 80 K to 300 K). The ground-state structure of Pt(II) and Pd(II) square planar complexes has an obvious impact on the luminescence properties. Pressure allows a continuous variation of the structure. Complexes with axial donors show a shift of the luminescence maxima to lower energy as pressure increases, similar complexes without the axial component show a shift of the luminescence maxima to higher energy. The packing also plays an important role defining effects of pressure and temperature. These effects are illustrated with a series of pincer complexes that have shown energy shifts between -1 cm-1/kbar and -30 cm-1/kbar. These complexes also show different emitting states depending on the pressure that is applied. A ligand centered (LC) transition is observed at low pressure replaced by a metal-ligand charge transfer (MLCT) emission at higher pressure. The combination of crystallographic and spectroscopic data gives quantitative variations of the electronic structure for many complexes.
32

Applications de la théorie des erreurs par formes de Dirichlet

Scotti, Simone 16 October 2008 (has links) (PDF)
Cette thèse est consacrée à l'étude des applications de la théorie des erreurs par formes de Dirichlet. Notre travail se divise en trois parties. La première analyse les modèles gouvernés par une équation différentielle stochastique. Après un court chapitre technique, un modèle innovant pour les carnets d'ordres est proposé. Nous considérons que le spread bid-ask n'est pas un défaut, mais plutôt une propriété intrinsèque du marché. L'incertitude est porté par le mouvement Brownien qui conduit l'actif. Nous montrons que l'évolution des spread peut être évalué grâce à des formules fermés et nous étudions l'impact de l'incertitude du sous-jacent sur les produits dérivés. En suite, nous introduisons le modèle PBS pour le pricing des options européennes. L'idée novatrice est de distinguer la volatilité du marché par rapport au paramètre utilisé par les traders pour se couvrir. Nous assumons la première constante, alors que le deuxième devient une estimation subjective et erronée de la première. Nous prouvons que ce modèle prévoit un spread bid-ask et un smile de volatilité. Les propriétés plus intéressantes de ce modèle sont l'existence de formules fermés pour le pricing, l'impact de la dérive du sous-jacent et une efficace stratégie de calibration. La seconde partie s'intéresse aux modèles décrit par une équation aux dérivées partielles. Les cas linéaire et non-linéaire sont analysés séparément. Dans le premier nous montrons des relations intéressantes entre la théorie des erreurs et celui des ondelettes. Dans le cas non-linéaire nous étudions la sensibilité des solutions à l'aide de la théorie des erreurs. Sauf dans le cas d'une solution exacte, il y a deux approches possibles: On peut d'abord discrétiser l'EDP et étudier la sensibilité du problème discrétisé, soit démontrer que les sensibilités théoriques vérifient des EDP. Les deux cas sont étudiés, et nous prouvons que les sharp et le biais sont solutions d'EDP linéaires dépendantes de la solution de l'EDP originaire et nous proposons des algorithmes pour évaluer numériquement les sensibilités. Enfin, la troisième partie est dédiée aux équations stochastiques aux dérivées partielles. Notre analyse se divise en deux chapitres. D'abord nous étudions la transmission de l'incertitude, présente dans la condition initiale, à la solution de l'EDPS. En suite, nous analysons l'impact d'une perturbation dans les termes fonctionnelles de l'EDPS et dans le coefficient de la fonction de Green associée. Dans le deux cas, nous prouvons que le sharp et le biais sont solutions de deux EDPS linéaires dépendantes de la solution de l'EDPS originaire.
33

Complexité de Kolmogorov et corrélations quantiques; étude du carré magique

Berthelette, Sophie 08 1900 (has links)
L'informatique quantique, ce surprenant mariage entre informatique et physique, est un domaine riche en nouvelles idées, autant pour la technologie future qu'une meilleure compréhension de notre univers. C'est le phénomène de l'intrication qui est au coeur de cette nouvelle façon de voir l'information. Ce mémoire porte sur l'étude des corrélations quantiques observées dans la nature, mises de l'avant, entre autres, par John Bell. Plus particulièrement, deux jeux non signalants, dans lesquels ces corrélations se manifestent, sont étudiés: le jeu CHSH, probablement l'exemple le plus connu à ce jour, et le jeu de pseudotélépathie du carré magique. Pour ce faire, deux points de vue seront adoptés, soit probabiliste et algorithmique. Le premier est motivé par la prédiction (ce qui aurait pu se passer), tandis que le second s'intéresse à l'information intrinsèque contenue dans un objet (ce qui s'est passé). Les concepts «aléatoire» et «information» seront donc abordés premièrement à la Shannon (approche probabiliste) puis à la Kolmogorov (approche algorithmique). C'est la complexité de Kolmogorov qui sera utilisée pour quantifier l'information de façon factuelle. De plus, le cas particulier où plusieurs répétitions d'un jeu sont jouées en parallèle dans un monde classique sera examiné. Le théorème des répétitions parallèles, résultat important sur le sujet démontré par Ran Raz, sera présenté et utilisé par la suite dans l'étude algorithmique des jeux CHSH et du carré magique. / Quantum information, this intriguing marriage between computer science and physics, is a promising field of research for future technologies as well as a better understanding of our universe. Entanglement is at the very heart of this new way of understanding information. This thesis focuses on quantum correlations that are observed in nature. They have been studied in great detail by, among others, John Bell. More specifically, two non-signaling games, in which these correlations arise, are studied: the CHSH game, which is probably the best-known example of such games, and the magic square pseudotelepathy game. To do so, two points of view will be adopted: probabilistic and algorithmic. The first is motivated by prediction (what could have happened) and the second focuses on the intrinsic information about an object (what happened). Therefore, the concepts of randomness and information are first addressed from Shannon’s point of view (probabilistic approach) and second from Kolmogorov’s point of view (algorithmic approach). Kolmogorov complexity is used to quantify information in a factual way. Furthermore, the particular case in which multiple repetitions of a game are played in parallel in a classical world is considered. The parallel repetition theorem, an important result on the subject proven by Ran Raz, is presented and used in the algorithmic study of the CHSH game and the magic square game.
34

Mécanismes d’émergence des maladies infectieuses : étude par la modélisation du rôle de la protection de groupe, dans des populations hôtes homogènes ou structurées spatialement / Emerging infectious diseases : the role of herd protection loss due to stochastic fluctuations in microparasite circulation, within both well-mixed and spatially structured host populations

Guiserix, Micheline 01 July 2009 (has links)
Le travail présenté dans ce manuscrit traite des mécanismes d'émergence des maladies infectieuses. Une première partie du texte est consacrée à la réflexion menée sur ces processus, et à leurs conséquences pour la gestion des maladies. Dans une deuxième partie nous exposons les travaux de modélisation réalisés ; l’objectif est de tester si des changements dans l'expression d'une infection peuvent être expliqués par la dynamique de circulation de l'agent infectieux dans la population hôte, à travers la protection de groupe. Nous montrons que l'apparition de la maladie de Carré chez les lions du Serengeti peut être due à une perte d’immunité de groupe suite à l’extinction du virus. Nous étudions ensuite les conséquences sur le patron épidémique d'une protection partiellement croisée entre souches. Enfin, nous intégrons à cette problématique la structure spatiale de la population hôte, pour expliquer des observations faites sur les systèmes lagomorphes/lagovirus en France. / The study presented here aims to suggest and to test several mechanisms to explain how infectious diseases impact could increase, in relation to microparasite circulation and loss of herd protection. We first introduce the main characteristics of host/microparasite interaction and display some knowledge about emerging infectious diseases, and their consequences for diseases control. Stochastic modelling is then used to study epidemic patterns under several hypotheses and for different host/parasite systems: i) we explain canine distemper emergence in Serengeti lions through a break in virus circulation and the resulting loss of herd immunity; ii) we study the consequences of partial crossprotection induced in hosts by different strains in a small homogeneous host population; and iii) we extend this study to spatially structured host populations to explain data observed in lagomorphs/lagoviruses in France.
35

Applications of the error theory using Dirichlet forms / Application de la théorie d'erreur par formes de Dirichlet

Scotti, Simone 16 October 2008 (has links)
Cette thèse est consacrée à l'étude des applications de la théorie des erreurs par formes de Dirichlet. Notre travail se divise en trois parties. La première analyse les modèles gouvernés par une équation différentielle stochastique. Après un court chapitre technique, un modèle innovant pour les carnets d’ordres est proposé. Nous considérons que le spread bid-ask n'est pas un défaut, mais plutôt une propriété intrinsèque du marché. L'incertitude est portée par le mouvement Brownien qui conduit l'actif. Nous montrons que l'évolution des spread peut être évaluée grâce à des formules fermées et nous étudions l'impact de l'incertitude du sous-jacent sur les produits dérivés. En suite, nous introduisons le modèle PBS pour le pricing des options européennes. L'idée novatrice est de distinguer la volatilité du marché par rapport au paramètre utilisé par les traders pour se couvrir. Nous assumons la première constante, alors que le deuxième devient une estimation subjective et erronée de la première. Nous prouvons que ce modèle prévoit un spread bid-ask et un smile de volatilité. Les propriétés plus intéressantes de ce modèle sont l’existence de formules fermés pour le pricing, l'impact de la dérive du sous-jacent et une efficace stratégie de calibration. La seconde partie s'intéresse aux modèles décrit par une équation aux dérivées partielles. Les cas linéaire et non-linéaire sont analysés séparément. Dans le premier nous montrons des relations intéressantes entre la théorie des erreurs et celui des ondelettes. Dans le cas non-linéaire nous étudions la sensibilité des solutions à l’aide de la théorie des erreurs. Sauf dans le cas d’une solution exacte, il y a deux approches possibles : on peut d’abord discrétiser l’EDP et étudier la sensibilité du problème discrétisé, soit démontrer que les sensibilités théoriques vérifient des EDP. Les deux cas sont étudiés, et nous prouvons que les sharp et le biais sont solutions d’EDP linéaires dépendantes de la solution de l’EDP originaire et nous proposons des algorithmes pour évaluer numériquement les sensibilités. Enfin, la troisième partie est dédiée aux équations stochastiques aux dérivées partielles. Notre analyse se divise en deux chapitres. D’abord nous étudions la transmission de l’incertitude, présente dans la condition initiale, à la solution de l’EDPS. En suite, nous analysons l'impact d'une perturbation dans les termes fonctionnelles de l’EDPS et dans le coefficient de la fonction de Green associée. Dans le deux cas, nous prouvons que le sharp et le biais sont solutions de deux EDPS linéaires dépendantes de la solution de l’EDPS originaire / This thesis is devoted to the study of the applications of the error theory using Dirichlet forms. Our work is split into three parts. The first one deals with the models described by stochastic differential equations. After a short technical chapter, an innovative model for order books is proposed. We assume that the bid-ask spread is not an imperfection, but an intrinsic property of exchange markets instead. The uncertainty is carried by the Brownian motion guiding the asset. We find that spread evolutions can be evaluated using closed formulae and we estimate the impact of the underlying uncertainty on the related contingent claims. Afterwards, we deal with the PBS model, a new model to price European options. The seminal idea is to distinguish the market volatility with respect to the parameter used by traders for hedging. We assume the former constant, while the latter volatility being an erroneous subjective estimation of the former. We prove that this model anticipates a bid-ask spread and a smiled implied volatility curve. Major properties of this model are the existence of closed formulae for prices, the impact of the underlying drift and an efficient calibration strategy. The second part deals with the models described by partial differential equations. Linear and non-linear PDEs are examined separately. In the first case, we show some interesting relations between the error and wavelets theories. When non-linear PDEs are concerned, we study the sensitivity of the solution using error theory. Except when exact solution exists, two possible approaches are detailed: first, we analyze the sensitivity obtained by taking “derivatives” of the discrete governing equations. Then, we study the PDEs solved by the sensitivity of the theoretical solutions. In both cases, we show that sharp and bias solve linear PDE depending on the solution of the former PDE itself and we suggest algorithms to evaluate numerically the sensitivities. Finally, the third part is devoted to stochastic partial differential equations. Our analysis is split into two chapters. First, we study the transmission of an uncertainty, present on starting conditions, on the solution of SPDE. Then, we analyze the impact of a perturbation of the functional terms of SPDE and the coefficient of the related Green function. In both cases, we show that the sharp and bias verify linear SPDE depending on the solution of the former SPDE itself / Questa tesi é dedicata allo studio delle applicazioni della teoria degli errori tramite forme di Dirichlet, il nostro lavoro si divide in tre parti. Nella prima vengono studiati i modelli descritti da un’equazione differenziale stocastica: dopo un breve capitolo con risultati tecnici viene descritto un modello innovativo per i libri d’ordini. La presenza dei differenziali denarolettera viene considerata non come un’imperfezione, bensi una proprietà intrinseca dei mercati. L’incertezza viene descritta come un rumore sul moto Browniano sottostante all’azione; dimostriamo che l’evoluzione di questi differenziali puó essere valutata attraverso formule chiuse e stimiamo l’impatto dell’incertezza del sottostante sui prodotti derivati. In seguito proponiamo un nuovo modello, chiamato PBS, per il prezzaggio delle opzioni di tipo europeo: l’idea innovativa consiste nel distinguere la volatilità di mercato dal parametro usato dai trader per la copertura. Noi supponiamo la prima constante, mentre il secondo diventa una stima soggettiva ed erronea della prima. Dimostriamo che questo modello prevede dei differenziali lettera-denaro e uno smile di volatilità implicita. Le maggiori proprietà di questo modello sono l’esistenza di formule chiuse per il princing, l’impatto del drift del sottostante e un’efficace strategia per la calibrazione. La seconda parte è dedicata allo studio dei modelli descritti da delle equazioni alle derivate perziali. I casi lineare e non-lineare sono trattati separatamente. Nel primo caso mostriamo interessanti relazioni tra la teoria degli errori e quella delle wavelets. Nel caso delle EDP non-lineari studiamo la sensibilità della soluzione usando la teoria degli errori. Due possibili approcci esistono, salvo quando la soluzione è esplicita. Possiamo prima discretizzare il problema e studiare la sensibilità delle equazioni discretizzate, oppure possiamo dimostrare che le sensibilità teoriche verificano, a loro volta, delle EDP dipendenti dalla soluzione della EDP iniziale. Entrambi gli approcci sono descritti e vengono proposti degli algoritmi per valutare le sensibilità numericamente. Infine, la terza parte è dedicata ai modelli descritti da un’equazione stocastica alle derivate parziali. La nostra analisi é divisa in due capitoli. Nel primo viene studiato l’impatto di un’incertezza, presente nella condizione iniziale, sulla soluzione dell’EDPS, nella seconda si analizzano gli impatti di una perturbazione dei termini funzionali dell’EDPS del coefficiente della funzione di Green associata. In entrambi i casi dimostriamo che lo sharp e la discrepanza sono soluzioni di due EDPS lineari dipendenti dalla soluzione dell’EDPS iniziale
36

Lesbian detective fiction : the outsider within

Simpson, Inga Caroline January 2008 (has links)
Lesbian Detective Fiction: the outsider within is a creative writing thesis in two parts: a draft lesbian detective novel, titled Fatal Development (75%) and an exegesis containing a critical appraisal of the sub-genre of lesbian detective fiction, and of my own writing process (25%). Creative work: Fatal Development -- It wasn’t the first time I’d seen a dead body, but it didn’t seem to get any easier. -- When Dirk and Stacey discover a body in the courtyard of their Brisbane woolstore apartment, it is close friend and neighbour, Kersten Heller, they turn to for support. The police assume Stuart’s death was an accident, but when it emerges that he was about to take legal action against the woolstore’s developers, Bovine, Kersten decides there must be more to it. Her own apartment has flooded twice in a month and the builders are still in and out repairing defects. She discovers Stuart was not alone on the roof when he fell to his death and the evidence he had collected for his case against Bovine has gone missing. Armed with this knowledge, and fed up with the developer’s ongoing resistance to addressing the building’s structural issues, Kersten organises a class action against Bovine. Kersten draws on her past training as a spy to investigate Stuart’s death, hiding her activities, and details of her past, from her partner, Toni. Her actions bring her under increasing threat as her apartment is defaced, searched and bugged, and she is involved in a car chase across New Farm. Forced to fall back on old skills, old habits and memories return to the surface. When Toni discovers that Kersten has broken her promise to leave the investigation to the police, she walks out. The neighbouring – and heritage-listed – Riverside Coal development site burns to the ground, and Kersten and Dirk uncover evidence of a network of corruption involving developers and local government officials. After she is kidnapped in broad daylight, narrowly escaping from the boot of a moving car, Kersten is confident she is right, but with Toni not returning her calls, and many of the other residents selling up, including Dirk and Stacey, Kersten begins to question her judgment. In a desperate attempt to turn things around, Kersten calls on an old Agency contact to help prove Bovine was involved in Stuart’s death, her kidnapping, and ongoing corruption. To get the evidence she needs, Kersten plays a dangerous game: letting Bovine know she has uncovered their illegal operations in order to draw them into revealing themselves on tape. Hiding alone in a hotel room, Kersten is finally forced to confront her past: When Mirin didn’t come home that night, I was ready to go out and find her myself, disappear, and start a new life together somewhere far away. Instead they pulled me in before I could finish making arrangements, questioned me for hours, turned everything around. It was golden child to problem child in the space of a day. This time, she’s determined, things will turn out differently. Exegesis: The exegesis traces the development of lesbian detective fiction, including its dual origins in detective and lesbian fiction, to compare the current state of the sub-genre with the early texts and to establish the dominant themes and tropes. I focus particularly on Australian examples of the sub-genre, examining in detail Claire McNab’s Denise Cleever series and Jan McKemmish’s A Gap in the Records, in order to position my own lesbian detective novel between these two works. In drafting Fatal Development, I have attempted to include some of the political content and complexity of McKemmish’s work, but with a plot-driven narrative. I examine the dominant tropes and conventions of the sub-genre, such as: lesbian politics; the nature of the crime; method of investigation; sex and romance; and setting. In the final section, I explain the ways in which I have worked within and against the subgenre’s conventions in drafting a contemporary lesbian detective novel: drawing on tradition and subverting reader expectations. Throughout the thesis, I explore in detail the tradition of the fictional lesbian detective as an outsider on the margins of society, disrupting notions of power and gender. While the lesbian detective’s outsider status grants her moral agency and the capacity to achieve justice and generate change, she is never fully accepted. The lesbian detective remains an outsider within. For the lesbian detective, working within a system that ultimately discriminates against her involves conflict and compromise, and a sense of double-play in being part of two worlds but belonging to neither. I explore how this double-consciousness can be applied to the lesbian writer in choosing whether to write for a mainstream or lesbian audience.
37

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.
38

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.197 seconds