Global ETD Search

31	Etudes expérimentales de l'interaction fluide structure sur surface souple: application aux voiles de bateaux Augier, Benoit 04 July 2012 (has links) (PDF) Cette thèse vise à une meilleure compréhension de la dynamique du voilier et à la validation des outils numériques de prédiction de performances et d'optimisation par l'étude expérimentale in situ du problème aéro-élastique d'un gréement. Une instrumentation est développée sur un voilier de 8m de type J80 pour la mesure dynamique des efforts dans le gréement, de la forme des voiles en navigation, du vent et des attitudes du bateau. Un effort particulier est apporté à la mesure des caractéristiques géométriques et mécaniques des éléments du gréement, la calibration des capteurs et au système d'acquisition des données. Les principaux résultats montrent que le voilier instrumenté est un outil adapté pour les mesures instationnaires et soulignent l'amplitude de variation d'effort rencontrée en mer (20 à 50% de l'effort moyen dans une houle modérée). En outre, les variations du signal d'effort sont déphasées avec l'angle d'assiette, créant un phénomène d'hystérésis. Le comportement dynamique d'un voilier en mouvement diffère ainsi de l'approche quasi-statique. Les simulations numériques proviennent du code ARAVANTI, couplage implicite d'un code structure éléments finis ARA et d'un code fluide parfait, limitant son domaine de validité aux allures de près Les résultats de simulation sont très proches des cas stationnaires et concordent bien avec les mesures en instationnaire dans une houle de face. L'expérimentation numérique d'un gréement soumis à des oscillations harmoniques en tangage souligne l'importance de l'approche Interaction Fluide Structure (IFS) et montre que l'énergie échangée par le système avec la houle est reliée à la fréquence réduite et l'amplitude du mouvement. Certaines informations n'étant pas disponibles sur le voilier instrumenté, une expérience contrôlée en laboratoire est développée. Elle consiste en un carré de tissu tenu par deux lattes en oscillation forcée. Les mesures sur cette " voile oscillante " permettent d'étudier les phénomènes IFS avec décollement et sont utilisées pour la validation du couplage ARA-ISIS entre un code fluide Navier-Stokes (RANS) et le même code structure. Interaction Fluide Structure expérience in situ voilier instrumenté instationnaire fluide parfait RANS comparaison numérique/expérience
32	Les bulles de masse négative dans un espace de de Sitter Mbarek, Saoussen 12 1900 (has links) No description available. Les bulles de masse négative Espace-temps de de Sitter Espace-temps Schwarzschild-de Sitter Les équations d’Einstein Les conditions d’énergie Champ scalaire Fluide parfait De Sitter Spacetime Schwarzschild-de Sitter spacetime Einstein equations Energy conditions Scalar field Perfect fluid Negative mass bubbles
33	Etude mathématique de modèles de couches visqueuses pour des écoulements naturels / Mathematical study of viscous layer models for natural ows Legrand, Mathilde 03 November 2016 (has links) Le système de Saint Venant est répandu pour modéliser des fluides dont la hauteur est inférieure au domaine d'écoulement. Son écriture nécessite des hypothèses sur le profil de vitesse pour connaître le flux de la quantité de mouvement ainsi que le cisaillement sur le fond. Dans cette thèse, nous nous sommes intéressés à un couplage entre un fluide parfait et une couche visqueuse dans l'esprit des couches limites interactives (IBL) introduites en aéronautique. Cette interaction nous permet de proposer un terme de friction en adéquation avec les attentes physiques au regard de la position du maximum local. Une part importante de cette thèse est donc consacrée à la compréhension de la couche visqueuse dans laquelle la recherche du profil de vitesse est cantonnée. Cette étude se décompose en l'écriture des équations de Prandtl puis en l'établissement de l'équation de von Kármán. Cette dernière met en jeu les quantités nécessaires à la définition du flux recherché et est donc un élément clé de la fermeture du système. Des résultats numériques viennent illustrer le modèle obtenu par le couplage entre le fluide parfait et la couche visqueuse. Le dernier chapitre expose deux formulations alternatives obtenues d'un point de vue d'un écoulement d'un fluide parfait dont les conditions sur les bords du domaine sont modifiées, soit par une condition de transpiration définie sur le fond, soit par une modification du domaine enlien avec une topographie apparente. / Shallow Water system is widely used for flows when the depth is smaller than the longitudinal scale. The establishment needs some hypothesis on the velocity profile in order to describe the moment flux and the shear stress on ground. In this thesis, we present a two layer decomposition of the fluid between an ideal fluid and a viscous layer in the spirit of the Interactive Boundary Layer (IBL) introduced in aeronautics. This interaction leads to obtain in our equations a friction term which fits with the physical expectations for the local maximum. So a major part of this work is interested in the comprehension of the viscous layer where the velocity profile is confined. The study is based on the writing of Prandtl equations then the establishment of the von Kármán equation. The last one contains the necessary quantities for a definition of the researched flux. Also this equation is essential for a closure of the system. Some numerical results illustrate the proposed model with the association of ideal fluid ans viscous layer. A last chapter presents two alternatives formulations of the model based on an ideal fluid with modified boundary conditions. The first one keeps the same domain but has a transpiration boundary. Eaux peu profondes Fluide parfait Couche visqueuse Couche limite Epaisseur de déplacement Friction Condition de transpiration Topographie apparente Equation de von Kármán Equations de Prandtl Shallow water Ideal fluid Viscous layer Boundary layer Displacement thickness Friction Transpiration boundary condition Apparent topography Von Kármán equation Prandtl equations 515.353
34	Naissance de la diplomatie moderne. L'ambassadeur au croisement du droit, de l'éthique et de la politique / The Birth of Modern Diplomacy. the Ambassador between Law, Ethics and Politics Fedele, Dante 05 December 2014 (has links) S’appuyant sur un corpus de textes que l’on qualifie normalement de « traités sur l’ambassadeur », cette thèse s’attache à reconstruire la naissance de la diplomatie moderne tout au long d’une période qui va du XIIIe au XVIIe siècle, en essayant d’analyser la manière dont la figure de l’ambassadeur à été élaborée à l’intérieur d’un champ de problématisation qui se caractérise par une imbrication réciproque du droit, de l’éthique et de la politique et va constituer une véritable expérience de la diplomatie.Ce travail s’articule en deux parties. Dans la première il s’agit de comprendre comment la figure de l’ambassadeur a été façonnée sous le profil de son statut juridique, à savoir comme une persona publica chargée d’un officium et devant représenter son mandant, avec les conséquences qui en découlent quant à l’établissement de son pouvoir de négociation, à la définition de ses immunités ainsi qu’à la détermination des honneurs qu’il a le droit de recevoir. L’analyse de ces questions permettra d’apprécier la contribution apportée par notre corpus non seulement à la définition du statut juridique de l’ambassadeur, mais aussi à la formation du nouveau droit des gens destiné à régir l’Europe moderne. La seconde partie s’attache à comprendre comment la figure de l’ambassadeur a été façonnée sous le profil de son statut professionnel : on s’interroge alors sur les fonctions qui lui sont attribuées, sur les moyens qui lui sont fournis et les conditions qui lui sont demandées pour s’en acquitter de la manière la plus efficace, ainsi que sur la problématisation éthique à laquelle son action est soumise. Tout en essayant de faire ressortir la spécificité de l’ambassadeur, cette partie se propose aussi de contribuer à l’étude de la professionnalisation du fonctionnaire public. / Using a collection of texts commonly known as the “treatises on the ambassador”, this research examines the birth and the development of the experience of diplomacy from the 13th to the 17th Century. It aims, in particular, to explore the development of the figure of the ambassador within a field of problematization involving ethics, politics and law.After some methodological and historical remarks, the thesis deals with the development of the status of the ambassador from two perspectives, the legal and the professional. Regarding his legal status, the medieval legal conceptualisation of the role of the ambassador as a genuine public “office”, and that of the diplomatic function as “representation”, are examined. The way in which these conceptualisations help to define the negotiating powers conferred on the ambassador, his immunities and the honours to which he is entitled is then considered. This analysis allows for an investigation of the complex links between the exercise of diplomacy and claims to sovereignty during Europe’s transition from the Middle Ages to Modernity. Regarding his professional status, the thesis reconstructs the functions of the ambassador (particularly in relation to information gathering and negotiation), the means provided for the ambassador to undertake his functions (his salary and the assignment of an escort) and the objective, intellectual or moral qualities required of him. As well as illustrating the techniques which have been required for ambassadorial success since the 15th Century, this analysis offers some hints for studying the professionalization of public officials and the emergence of the modern criteria of political analysis. Traités sur l’ambassadeur Histoire de la diplomatie Pensée politique Ius commune Équilibre des puissances Cérémonial diplomatique Traités et conventions Immunités diplomatiques Droit d’ambassade « parfait ambassadeur » Collecte d’informations Treatises on the ambassador History of diplomacy History of political thoughts Ius commune Balance of competing powers Diplomatic protocol Treaties and conventions Diplomatic immunities Droit d’ambassade Professionalization of public officials Perfect ambassador Information gathering
35	Étude explicite de quelques n-champs géométriques / Non disponible Benzeghli, Brahim 03 June 2013 (has links) Dans [PRID], Pridham a montré que tout n-champs d'Artin M admet une présentation en tant que schéma simplicial X. → M, telle que le schéma simplicial X satisfait à certaines propriétés notées par G.Pn,k de [GROTH]. Dans la présentation (…→ X2 → X1 → X0 → M), le schéma X1 représente une carte pour X0 x MX0. Donc, la lissité de X0 → M est équivalente à la lissité des deux projections ә0,ә1 : X1 → X0. Ce sont les deux premières parties de la condition de Grothendieck-Pridham, notées G.P1,0 et G.P1,1. Dans [BENZ12] nous avons introduit un n-champ d'Artin M des éléments de Maurer-Cartan d'une dg-catégorie. On a construit une carte, et on a déjà fait la preuve des premières conditions de lissité explicitement. Pour tout n et tout 0 ≤ k ≤ n Pridham considère un schéma noté MatchΛkn(X) avec un morphisme Xn → MatchΛkn(X). On construira explicitement le schéma simplicial de Grothendieck-Pridham X, on montrera la lissité formelle de cette carte précédente, ainsi que M est un n-champ géométrique. / In [PRID], Pridham has shown that any Artin n-stack M has a presentation as a simplicial scheme X. → M such that the simplicial scheme X satisfies certain properties denoted G.Pn,k of [GROTH]. In the presentation (…→ X2 → X1 → X0 → M), the scheme X1 represents a chart for X0 x MX0. Thus, the smoothness of X0 → M is equivalent to the smoothness of the two projections ә0,ә1 : X1 → X0. These are the first two parts of the Grothendieck-Pridham condition, denoted G.P1,0 and G.P1,1. In [BENZ12] we introduced an Artin n-stack M of Maurer-Cartan elements of a dg-category. We constructed a chart, and have already proven the first smoothness conditions explicitly. For any n and any 0 ≤ k ≤ n Pridham considers a scheme denoted MatchΛkn(X) with a morphism Xn → MatchΛkn(X). We will construct explicitly the Grothendieck-Pridham simplicial scheme and show the smoothness of the preceding map, therefore M is a geometric n-stack. Catégorie simpliciale Dg-catégorie Catégorie enrichie N-catégorie ∞-catégorie Homologie Cohomologie Complexe parfait N-champs ∞-champs Maurer-Cartan Lissité formelle Schéma de Buchsbaum-Eisenbud Pullback Simplicial category Dg-category Enriched category N-category ∞-category Homology Cohomology Perfect complex N-stacks ∞-stacks Maurer-Cartan Formally smooth Buchsbaum-Eisenbud scheme Pullback
36	La danse des temps dans l'épopée, d'Homère au Roland / Dancing with Tenses in Epic, from Homer to the Song of Roland Lakshmanan-Minet, Nicolas 21 November 2017 (has links) Les épopées d’Homère et de Virgile, la Chanson de Roland sont marquées par une alternance qui peut paraître capricieuse. En fait, on la saisit beaucoup mieux dès lors qu’on prend en compte la présence des corps : ceux du jongleur, de l’aède, du récitant ; le corps du public. Postures, gestuelle, mouvements, regard, souffle, musique s’articulent à cette alternance pour en faire une véritable danse. Cette thèse étudie d’abord comment dansent chacun des temps principaux du récit dans ces épopées, en accordant la priorité à Homère et au Roland ; puis elle étudie comment cette danse des temps prend corps dans chacune des petites pièces dont nous décelons que sont composées les épopées anciennes comme le Roland : les laisses. / The Homeric and Virgilian epics, as well as the Chanson de Roland are full of tenseswitching, the use of which might seem capricious to the modern reader. It is in fact much better understood when bodies’ presence is taken into account — these bodies being the bard’s one as well as the audience’s. Postures, gestures, moves, eyes, breath, music are joint partners to tenseswitching, so that tenses really dance in epics. This study is firstly about how each one of the main narrative tenses dances in Homer and the Roland, and also in the Æneid. Then it studies the way tenses dance in each of the small pieces we find in the classical epics as well as in the Roland : the laisses. Temps verbaux Jongleur Aède Danse Performance Gestuelle Voix Chant Épopée Chanson de geste Présent de narration Narrateur Augment Imparfait Aoriste Parfait Passé simple Futur Grec ancien Latin Ancien français Homère Virgile Tenses Jongleur Bards Dance Performance Gestures Voice Singing Epics Chanson de geste Historic present Narrator Augment Imperfect Aorist Perfect Simple past Future Archaic greek Latin Old french Homer Vergil 470 870 480 880
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. FPGA Virgule flottante FloPoCo Chemin de données arithmétique Pipeline pour une fréquence donnée Addition pipelinée Additionneur rapide Multiplication Karatsuba-Offman Carré Multiplieur tronqué Multiplication par pavage Virgule fixe Approximation polynomiale Racine carrée flottante Exponentielle flottante Accumulation flottante Schéma d'évaluation de Horner Somme de carrés flottante Synthèse de haut niveau Nid de boucles parfait Multiplication de matrices Jacobi Dilemme du fabricant de table Méthode des différences tabulées Communications pipelinées
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. FPGA Virgule flottante FloPoCo Chemin de données arithmétique Pipeline pour une fréquence donnée Addition pipelinée Additionneur rapide Multiplication Karatsuba-Offman Carré Multiplieur tronqué Multiplication par pavage Virgule fixe Approximation polynomiale Racine carrée flottante Exponentielle flottante Accumulation flottante Schéma d'évaluation de Horner Somme de carrés flottante Synthèse de haut niveau Nid de boucles parfait Multiplication de matrices Jacobi Dilemme du fabricant de table Méthode des différences tabulées Communications pipelinées FPGA Floating-point FloPoCo Arithmetic datapath Frequency-driven pipelining Pipelined addition Short-latency adder Multiplication Karatsuba-Offman Squarer Truncated multiplier Multiplication tiling Fixed-point Polynomial approximation Floating-point square root Floating-point exponential Floating-point accumulation Horner datapath Floating-point sum-of-products High-level synthesis Perfect loop nests Matrix-matrix multiply Jacobi stencil Table maker's dilemma Pipelined communications Pipelined communications

Search results