• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 85
  • 35
  • 7
  • 2
  • 1
  • Tagged with
  • 130
  • 35
  • 31
  • 28
  • 28
  • 28
  • 25
  • 18
  • 15
  • 14
  • 13
  • 12
  • 12
  • 12
  • 11
  • 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.
91

Etude et modélisation compacte du transistor FinFET ultime

Chevillon, Nicolas 13 July 2012 (has links) (PDF)
Une des principales solutions technologiques liées à la réduction d'échelle de la technologie CMOS est aujourd'hui clairement orientée vers les transistors MOSFET faiblement dopés à multiples grilles. Ceux-ci proposent une meilleure immunité contre les effets canaux courts comparés aux transistors MOSFET bulk planaires (cf. ITRS 2011). Parmi les MOSFETs à multiples grilles, le transistor FinFET SOI est un candidat intéressant de par la similarité de son processus de fabrication avec la technologie des transistors planaires. En parallèle, il existe une réelle attente de la part des concepteurs et des fonderies à disposer de modèles compacts efficaces numériquement, précis et proches de la physique, insérés dans les " design tools " permettant alors d'étudier et d'élaborer des circuits ambitieux en technologie FinFET. Cette thèse porte sur l'élaboration d'un modèle compact orienté conception du transistor FinFET valide aux dimensions nanométriques. Ce modèle prend en compte les effets canaux courts, la modulation de longueur de canal, la dégradation de la mobilité, leseffets de mécanique quantique et les transcapacités. Une validation de ce modèle est réalisée par des comparaisons avec des simulations TCAD 3D. Le modèle compact est implémenté en langage Verilog-A afin de simuler des circuits innovants à base de transistors FinFET. Une modélisation niveau-porte est développée pour la simulation de circuits numériques complexes. Cette thèse présente également un modèle compact générique de transistors MOSFET SOI canaux long faiblement dopés à multiple grilles. La dépendance à la température est prise en compte. Selon un concept de transformation géométrique, notre modèle compact du transistor MOSFET double grille planaire est étendu pour s'appliquer à tout autre type de transistor MOSFET à multiple grille (MuGFET). Une validation expérimentale du modèle MuGFET sur un transistor triple grille est proposée. Cette thèse apporte enfin des solutions pour la modélisation des transistors MOSFET double grille sans jonction.
92

Hot workability of duplex stainless steels

Martin, Guilhem 04 November 2011 (has links) (PDF)
Les aciers inoxydables austéno-ferritiques présentent une microstructure biphasée dans laquelle se mêlent austénite et ferrite. Leurs caractéristiques mécaniques élevées ainsi que leur bonne tenue en corrosion en font un candidat sérieux pour remplacer les aciers inoxydables austénitiques. Malheureusement, la faible forgeabilité de ces alliages rend la fabrication de tôles particulièrement critique. En effet, le phénomène de " crique de rive " est fréquemment rencontré au cours des étapes du laminage à chaud. Par conséquent, cela nécessite des opérations supplémentaires comme le découpage des rives, ce qui aboutit à une augmentation des coûts de production. Les différents facteurs influençant la ductilité à chaud de ces aciers sont passés en revue afin d'identifier quels sont les zones d'ombres. La synthèse bibliographique révèle deux zones d'ombres : d'une part, le manque d'un essai de ductilité à chaud permettant de discriminer différentes microstructures en terme de résistance à la propagation de fissure à haute température ; et d'autre part l'absence de données quantitative concernant la partition de la déformation entre la ferrite et l'austénite lors des étapes de mise en forme à chaud. Le concept de travail essentiel de rupture a été appliqué à hautes températures. Il a été démontré que cette méthode est fiable et discriminante pour quantifier la résistance à la propagation de fissure à haute température. Elle permet également de générer un paramètre physique pertinent pour optimiser les microstructures par rapport à un mode de mise en forme donné. La technique conventionnelle de micro-grilles a été adaptée de manière à cartographier à haute température les déformations à l'échelle de la microstructure. Cette technique fournit en plus des résultats qualitatifs concernant les mécanismes de déformations, des données quantitatives à propos de la partition de la déformation entre la ferrite et l'austénite. Ces données peuvent être utilisées afin de valider les modèles qui prédisent le comportement à chaud des aciers duplex pendant les premières étapes du laminage à chaud. Les deux outils developpés au cours de cette étude permettent de donner des solutions pour éviter le phénomène de " crique de rives ".
93

Modélisation des équations de l'hydrodynamique moteur sur maillage non structuré hybride /

Durand, Antoine, January 1900 (has links)
Th. doct.--Énerg.--Paris--Éc. centrale, 1996. N°: 1996-45. / 1996 d'après la déclaration de dépôt légal. Bibliogr. p. 215-222. Résumé en français et en anglais.
94

An Energy-Efficient Reservation Framework for Large-Scale Distributed Systems / Un environnement de réservation efficace en énergie pour les systèmes distribués à grande échelle

Orgerie, Anne-Cécile 27 September 2011 (has links)
Depuis quelques années, économiser l'énergie est devenu un enjeu majeur dans les technologies de l'information et de la communication (TIC). Celles-ci représentent en effet 2% des émissions de CO2 de la planète, soit autant que l'aviation. Les systèmes distribués (grilles, clouds, réseaux haute performance) constituent de gros consommateurs d'électricité. En effet, pour des besoins de haute disponibilité, leurs ressources sont allumées en permanence et notamment lorsqu'elles ne sont pas utilisées. Les systèmes de réservation garantissent qualité de service et respect des contraintes de l'utilisateur. Ils permettent également une gestion plus fine des ressources. Pour limiter la consommation électrique des systèmes distribués et des réseaux dédiés, nous avons proposé un système de réservation de ressources efficace en énergie. Ce système de réservation, appelé ERIDIS, a été adapté à trois infrastructures distribuées différentes: les centres de calcul et les grilles, les environnements de cloud et les réseaux filaires dédiés. Dans les trois cas, des validations ont été menées et elles ont montré que des économies d'énergie significatives pouvaient être réalisées en utilisant ERIDIS dans les systèmes distribués actuels et futurs. / Over the past few years, the energy consumption of Information and Communication Technologies (ICT) has become a major issue. Nowadays, ICT accounts for 2% of the global CO2 emissions, an amount similar to that produced by the aviation industry. Large-scale distributed systems (e.g. Grids, Clouds and high-performance networks) are often heavy electricity consumers because -- for high-availability requirements -- their resources are always powered on even when they are not in use. Reservation-based systems guarantee quality of service, allow for respect of user constraints and enable fine-grained resource management. For these reasons, we propose an energy-efficient reservation framework to reduce the electric consumption of distributed systems and dedicated networks. The framework, called ERIDIS, is adapted to three different systems: data centers and grids, cloud environments and dedicated wired networks. By validating each derived infrastructure, we show that significant amounts of energy can be saved using ERIDIS in current and future large-scale distributed systems.
95

Méthode d'assemblage de maillages recouvrants autour de géométries complexes pour des simulations en aérodynamique compressible / Overset grid assembly method for simulations over complex geometries for compressible flows in aerodynamics

Peron, Stephanie 02 October 2014 (has links)
La simulation numérique des écoulements (CFD) est largement utilisée aujourd'hui dans l'industrie aéronautique, de l'avant-projet à la conception des appareils. En parallèle, la puissance des calculateurs s'est accrue, permettant d'effectuer des simulations résolvant les équations de Navier-Stokes moyennées (RANS) dans un délai de restitution acceptable du point de vue industriel. Cependant, les configurations simulées sont de plus en plus complexes géométriquement, rendant la réalisation du maillage très coûteuse en temps humain. Notre objectif est de proposer une méthode permettant de simplifier la génération de maillages autour de géométries complexes, en exploitant les avantages de la méthode Chimère, tout en levant les difficultés principales rencontrées par cette méthode dans le calcul des connectivités. Dans notre approche, le domaine de calcul est découpé en régions proches et en régions éloignées des corps. Des grilles curvilignes de faible extension décrivent les régions autour des corps. Le maillage de fond est défini par un ensemble de grilles cartésiennes superposées aux grilles de corps, qui sont engendrées et adaptées automatiquement selon les caractéristiques de l'écoulement. Afin de traiter des maillages recouvrants autour de géométries complexes sans surcoût humain, les différentes grilles sont regroupées par composant Chimère. Des relations d'assemblage sont alors définies entre composants, en s'inspirant de la Géométrie de Construction des Solides (CSG), où un solide peut être construit par opérations booléennes successives entre solides primitifs. Le calcul des connectivités Chimère est alors réalisé de manière simplifiée. Des simulations RANS sont effectuées autour d'un fuselage d'hélicoptère avec mât de soufflerie et autour d'une aile NACA0015 en incidence, afin de mettre en oeuvre la méthode. / Computational fluid dynamics (CFD) is widely used today in aeronautics, while the computing power has increased, enabling to perform simulations solving Reynolds-averaged Navier-Stokes equations (RANS) within an acceptable time frame from the industrial point of view. However, the configurations are more and more geometrically complex, making the mesh generation step prohibitive. Our aim is here to propose a method enabling a simplification of the mesh generation over complex geometries, taking advantage of the Chimera method and overcoming the major difficulties arising when performing overset grid connectivity. In our approach, the computational domain is partitioned into near-body regions and off-body regions. Near-body regions are meshed by curvilinear grids of short extension describing the obstacles involved in the simulation. Off-body mesh is defined by a set of adaptive Cartesian grids, overlapping near-body grids. In order to consider overset grids over complex geometries with no additional cost, grids are gathered by Chimera component, and assembly relations are defined between them, inspired by Constructive Solid Geometry, where a solid can result from boolean operations between primitive solids. The overset grid connectivity is thus simplified. RANS simulations are performed over a helicopter fuselage with a strut, and over a NACA0015 wing.
96

Efficient Asymptotic Preserving Schemes for BGK and ES-BGK models on Cartesian grids / Schémas préservant la limite asymptotique pour les modèles BGK et ES-BGK sur grilles cartésiennes

Bernard, Florian 09 March 2015 (has links)
Dans cette thèse, nous nous sommes intéressés à des écoulements complexes où les régimes hydrodynamique et raréfiés coexistent. On retrouve ce type d'écoulements dans des applications industrielles comme les pompes à vide ou encore les rentrées de capsules spatiales dans l'atmosphère, lorsque la distance entre les molécules de gaz devient si grande que le comportement microscopique des molécules doit être pris en compte. Pour ce faire, nous étudions 2 modèles de l'équation de Boltzmann, le modèle BGK et le modèle ES-BGK. Dans un premier temps, nous développons une nouvelle condition au bord permettant une transition continue de la solution du régime raréfié vers le régime hydrodynamique. Cette nouvelle condition permettant de préserver l'asymptotique vers les équations d'Euler compressible est ensuite incluse dans une méthode de frontière immergée pour traiter, à une précision raisonnable (ordre 2), le cas de solides immergés dans un écoulement, sur grilles cartésiennes. L'utilisation de grillescartésiennes permet une parallélisation aisée du code de simulation numérique afin d'obtenir une réduction considérable du temps de calcul, un des principaux inconvénients des modèles cinétiques. Par la suite, une approche dites aux grilles locales en vitesses est présentée réduisant également le temps de calcul de manière importante (jusqu'à 80%). Des simulations 3D sont également présentées montrant l'efficacité des méthodes. Enfin, le transport passive de particules solides dans un écoulement raréfié est étudié avec l'introduction d'un modèle de type Vlasov couplé au modèle cinétique. Grâce à une résolution basée sur des méthodes de remaillage, la pollution de dispositif optiques embarqués sur des satellites dues à des particules issues de la combustion incomplète dans les moteurs contrôlant d'altitude est étudiée. / This work is devoted to the study of complex flows where hydrodynamic and rarefled regimes coexist. This kind of flows are found in vacuum pumps or hypersonic re-entries of space vehicles where the distance between gas molecules is so large that their microscopicbehaviour differ from the average behaviour of the flow and has be taken into account. We then consider two modelsof the Boltzmann equation viable for such flows: the BGK model dans the ES-BGK model.We first devise a new wall boundary condition ensuring a smooth transition of the solution from the rarefled regime to the hydrodynamic regime. We then describe how this boundary condition (and boundary conditions in general) can be enforced with second order accuracy on an immersed body on Cartesian grids preserving the asymptotic limit towards compressible Euler equations. We exploit the ability of Cartesian grids to massive parallel computations (HPC) to drastically reduce the computational time which is an issue for kinetic models. A new approach considering local velocity grids is then presented showing important gain on the computational time (up to 80%). 3D simulations are also presented showing the efficiency of the methods. Finally, solid particle transport in a rarefied flow is studied. The kinetic model is coupled with a Vlasov-type equation modeling the passive particle transport solved with a method based on remeshing processes. As application, we investigate the realistic test case of the pollution of optical devices carried by satellites due to incompletely burned particles coming from the altitude control thrusters
97

Experimental investigation of corner stall in a linear compressor cascade / Etude expérimentale et numérique du décollement de coin dans une grille d'aubes de compresseur

Ma, Wei 15 February 2012 (has links)
Dans le domaine de la recherche appliquée, les turbomachinistes sont confrontés à un manque de compréhension de la physique du décollement de coin. Ce décollement tridimensionnel (3D) à la jonction de l’extrados des aubages et du moyeu limite l’efficacité et la stabilité des compresseurs. Les simulations numériques utilisant les deux types de modélisations, « Reynolds-Averaged-Navier-Stokes » (RANS) et « Large Eddy Simulation » (LES), doivent encore être étalonnées pour des applications turbomachines. Dans la recherche fondamentale concernant la couche limite turbulente (TBL), il existe beaucoup d’études sur les effets de courbure et de gradients de pression qui jouent également un rôle important dans la physique du décollement de coin. Le but de cette thèse est de réaliser une expérience dans une grille d’aubes de compresseur pour acquérir une base de données qui pourrait être utilisée non seulement pour calibrer à la fois les approches RANS et LES, mais aussi pour donner quelques explications fondamentales sur le décollement de coin. Cette expérience permet aussi une étude de la TBL se développant sur l’extrados à mi-envergure des aubages, qui est plus complexe que les TBL rencontrées dans des configurations plus fondamentales, mais plus simples que celles existant d’un turboréacteur. Une expérience précise et détaillée de l’écoulement 3D au passage d’une grille d’aubes de compresseur a été mis en place. Les mesures ont été réalisées pour un nombre de Reynolds basé sur les conditions d’entrée et la corde de l’aubage de 3,82×105. Des mesures ont été réalisées par anémométrie à fil chaud, par des prises de pression sur la paroi latérale et sur l’aubage, par une sonde de pression à cinq trous, par de la visualisation d’huile, par la Vélocimétrie par Images de Particules (PIV) 2D, ainsi que par Anémométrie Laser Doppler (LDA) à deux composants. Une base de données originale et complète a ainsi été obtenue. Concernant l’étude de la TBL sur l’extrados à mi-envergure , le gradient négatif de pression normal à la paroi retarde le décollement, ce qui est paradoxal avec son influence sur le décollement de coin tel que présentée dans la littérature. Le gradient de pression adverse dans la direction de l’écoulement est responsable de l’accroissement des tensions de Reynolds. Un phénomène remarquable proche du bord de fuite de l’aubage est qu’il existe un point d’inflexion dans le profil de la vitesse moyenne de l’écoulement. A ce point d’inflexion, les grandeurs des tensions de Reynolds atteignent leurs valeurs maximales et la direction de diffusion de l’énergie est inversée. Le champ de vitesse dans le décollement de coin a été présenté. L’expérience met en évidence l’existence d’histogrammes bimodaux de vitesse. Les points de mesures faisant apparaitre ce caractère bimodal sont essentiellement localisés dans la région de l’interface du décollement de l’écoulement moyenné en temps. Deux modes ont été proposés pour interpréter la physique du comportement bimodal. Pour un point bimodal, les deux composantes de vitesse sont localement non-indépendantes, en raison de l’interaction apériodique de ces deux modes. / In applied research, a lack of understanding of corner stall, i.e. the three-dimensional (3D) separation in the juncture of the endwall and blade corner region, which has limited the efficiency and the stability of compressors. Both Reynolds-averaged Navier-Stokes (RANS) and large eddy simulation (LES) still need to be calibrated for turbomachinery applications. In the fundamental research of the turbulent boundary layer (TBL), there are a lot of findings of the effects of curvature and pressure gradients, which also play an important role in physics of corner stall. The purpose of this thesis is (i) to carry out an experiment in a cascade, (ii) to gain a database that could be used to calibrate both RANS and LES, and (iii) to give some basic explanations of corner stall through investigating the TBL on the suction side at the mid-span which is more complex than those in the basic investigations but simpler than those in a real engine. A detailed and accurate experiment of 3D flow field through a linear compressor cascade has been set up. Experimental data were acquired for a Reynolds number of 3.82×10 ^5 based on blade chord and inlet flow conditions. Measurements have been achieved by hot-wire anemometry, pressure taps on blade and endwall, five-hole pressure probe, oil visualization, 2D particle image velocimetry (PIV),and two-component laser Doppler anemometry (LDA). An original and complete database was thus obtained. The TBL on the suction side at mid-span was investigated. The wall-normal negative pressure gradient restrains the separation, on the contrary to its influence in the corner stall. The streamwise adverse pressure gradient can be responsible for the development of Reynolds stresses. The remarkable phenomenon at measurement stations near the trailing edge of blade is that an inflection point occurs in each profile of the mean streamwise velocity. At this inflection point, the magnitudes of the Reynolds stresses reach their maximum values, and the direction of energy diffusion also changes. The velocity field in the corner stall was presented. Bimodal histograms of velocity exist in the experiment. The bimodal points mainly appear in the region around the mean interface of separated flow and non-separated flow. At a bimodal point the local two velocity components are non-independent from each other, due to the aperiodic interplay of two basic modes in the flow field. Two modes were proposed to interpret the physics of bimodal behaviour.
98

Services auto-adaptatifs pour les grilles pair-à-pair / Self-adaptive services for P2P Grid

Gueye, Bassirou 26 May 2016 (has links)
La gestion de ressources distribuées à l'échelle planétaire dans plusieurs organisations virtuelles implique de nombreux défis. Dans cette thèse, nous proposons un modèle pour la gestion dynamique de services dans un environnement de grille pair-à-pair à large échelle.Ce modèle, nommé P2P4GS, présente l'originalité de ne pas lier l'infrastructure pair-à-pair à la plate-forme d'exécution de services.De plus, il est générique, c'est-à-dire applicable sur toute architecture pair-à-pair. Pour garantir cette propriété, vu que les systèmes distribués à large échelle ont tendance à évoluer en termes de ressources, d'entités et d'utilisateurs, nous avons proposé de structurer le système de grille pair-à-pair en communautés virtuelles (clusters).L'approche de structuration est complètement distribuée et se base uniquement sur le voisinage des noeuds pour l'élection des responsables de clusters appelés PSI (Proxy Système d'Information). D'autre part, afin de bien orchestrer les communications au sein des différentes communautés virtuelles et aussi permettre une recherche efficace et exhaustive de service, lors de la phase de structuration, un arbre couvrant constitué uniquement des PSI est maintenu. Les requêtes de recherche vont ainsi être acheminées le long de cet arbre.Outre la découverte de services, nous avons proposé des mécanismes de déploiement, de publication et d'invocation de services. Enfin, nous avons implémenté et analysé les performances de P2P4GS. Afin d'illustrer sa généricité, nous l'avons implémenté sur Gia, Pastry et Kademlia des protocoles pair-à-pair opérant de manières totalement différentes.Les tests de performances ont montré que le P2P4GS fournit une bonne résistance aux pannes et garantit un passage à l'échelle en termes de dimensionnement du réseau et également de coût de communications. / Resource management management worldwide distributed in several virtual organizations is a key issue.In this thesis, we propose a model for dynamic services management in large-scale peer-to-peer Grid environments.This model named P2P4GS, presents originality not to link peer-to-peer infrastructure to the execution services platform.In addition, the middleware is generic i.e. it able to be applied on any peer-to-peer architecture.Meanwhile, the increasing size of resources and users in large-scale distributed systems has lead to a scalability problem.To ensure scalability, we propose to organize the peer-to-peer Grid nodes in virtual communities so called clusters.The structuring approach is completely distributed, and only requires local knowledge about nodes neighborhood for election of cluster managers called ISP (Information System Proxy).On the other hand, in order orchestrate communications in the various virtual communities and also enable an efficient service discovery,during structuring process, a spanning tree only constituted of ISP is maintained. Therefore, search queries will be routed along the spanning tree.Besides the service discovery, we proposed service deployment, publication and invocation mechanisms.Finally, we implemented and analyzed the performance of P2P4GS.To illustrate that P2P4GS is generic, we implemented protocols that operating in fully different way. These protocols are Gia, Pastry and Kademlia.Performance tests show that, on the one hand, our approach provides good fault tolerance and ensures the scalability in terms of the clusters distribution and communication cost.
99

Criblage virtuel sur grille de composés isolés au Vietnam / Virtual screening of drug candidates identified in Vietnam

Bui, The Quang 26 June 2015 (has links)
L’Institut National des Produits Chimiques de l’Académie des Sciences du Vietnam (INPC) développe depuis plusieurs années une activité autour de la recherche de nouveaux médicaments issus de la biodiversité. Le développement d’un nouveau médicament prend de l’ordre d’une dizaine d’années et passe par plusieurs phases. Dans la phase de découverte, l’activité des composés chimiques sur une cible biologique est mesurée afin de mettre en évidence une action inhibitrice. Le développement d’approches in silico pour le criblage virtuel des composés chimiques est une alternative aux approches classiques in vitro beaucoup plus coûteuses à mettre en œuvre. L’utilisation de la grille a été identifiée comme une voie économiquement prometteuse pour accompagner la recherche de nouveaux médicaments au Vietnam. En effet, le développement de nouvelles stratégies basées sur l’utilisation de plates-formes de soumission de tâches (DIRAC, HTCaaS) a permis d’améliorer considérablement le taux de succès et le confort des utilisateurs, ouvrant la voie à une démocratisation de la grille.Dans ce contexte, l’objectif poursuivi dans le cadre de cette thèse est d’étudier dans quelle mesure des plates-formes multidisciplinaires pouvaient répondre aux besoins des chimistes de l’INPC. Le travail s’est concentré sur les modalités d’un partage équitable d’une plate-forme de soumission de tâches sur la grille par une ou plusieurs communautés d’utilisateurs. L’ordonnancement des tâches sur un serveur commun doit permettre que les différents groupes aient une expérience positive et comparable. Sur les infrastructures de grille EGEE et EGI en Europe , on peut distinguer deux grandes catégories d’utilisateurs : les utilisateurs « normaux » qui vont solliciter les ressources pour des tâches requérant typiquement de quelques dizaines à quelques centaines d’heures de calcul, et les « gros » utilisateurs qui vont lancer des grandes productions nécessitant le traitement de plusieurs milliers de tâches pendant des dizaines, voire des centaines de milliers d’heures de calcul. Les stratégies d’ordonnancement déployées aujourd’hui sur les plates-formes comme DIRAC ou HTCaaS ne permettent pas de servir de façon optimale et simultanée ces deux familles d’utilisateurs.Le manuscrit présente une évaluation par simulation des performances de plusieurs stratégies d’ordonnancement des tâches d’une plate-forme soumettant des jobs pilotes. L’outil SimGrid a permis de simuler l’infrastructure de grille régionale déployée en Auvergne à partir de traces archivées de son utilisation. Après évaluation des performances de plusieurs politiques d’ordonnancement tirées de la littérature, une nouvelle politique a été proposée dans laquelle les utilisateurs normaux et les très gros utilisateurs sont gérés de façon indépendante. Grâce à cette politique, le ralentissement expérimenté par les très gros utilisateurs est réduit significativement sans pénaliser excessivement les utilisateurs normaux. L’étude a été étendue à une fédération de clouds utilisant les mêmes ressources et arrive aux mêmes conclusions. Les performances des politiques d’ordonnancement ont ensuite été évaluées sur des environnements de production, à savoir l’infrastructure de grille européenne EGI et l’infrastructure nationale de supercalculateurs de la Corée du Sud. Un serveur DIRAC a été adossé aux ressources de l’organisation virtuelle biomédicale d’EGI pour étudier les ralentissements observés par les utilisateurs de ce serveur. Pareillement, les ralentissements expérimentés par les utilisateurs de la plate-forme HTCaaS au KISTI ont été observés en excellent accord avec les résultats de simulation avec SimGrid.Ces travaux confirment la faisabilité et l’intérêt d’une plate-forme unique au Vietnam au service des communautés scientifiques consommatrices des ressources académiques de grille et de cloud, notamment pour la recherche de nouveaux médicaments. / Virtual Screening (VS) is a computational technique used in the drug discovery process to select the most promising candidate drugs for in vitro testing from millions of chemical compounds. This method can offer an efficient alternative to reduce the cost of drug discovery and platform. The Natural Products Chemistry Institute of the Academy of Sciences of Vietnam (INPC) collects samples from local biodiversity and determines the 3D structure of single molecules. Their challenge is to set up a virtual screening platform on grid computing for their chemists to process their data. However, as the number of users who might have a wide range of virtual screening applications (in terms of the number of tasks and execution time) increases with limited available computing resources, it becomes crucial to devise an effective scheduling policy that can ensure a certain degree of fairness, user satisfaction and overall system throughput. In this context, the thesis focuses on an effective scheduling policy for the virtual screening workflow where multiple users with varying numbers of tasks are actively sharing a common system infrastructure. We have researched in theory and proposed some candidate policies. With the simulation results and the experimentation results in real system, we proposed the best policy for the fairness between users, which can be applied to INPC virtual screening platform.
100

Urban environment perception and navigation using robotic vision : conception and implementation applied to automous vehicle / Perception de l'environnement urbain et navigation s'appuyant sur la vision robotique : la conception et la mise en oeuvre appliquée au véhicule autonome

Bernardes Vitor, Giovani 26 September 2014 (has links)
Le développement de véhicules autonomes capables de se déplacer sur les routes urbaines peuvent fournir des avantages importants en matière de réduction des accidents, en augmentant le confort et aussi, permettant des réductions de coûts. Les véhicules Intelligents par exemple fondent souvent leurs décisions sur les observations obtenues à partir de différents capteurs tels que les LIDAR, les GPS et les Caméras. En fait, les capteurs de la caméra ont reçu grande attention en raison du fait de qu’ils ne sont pas cher, facile à utiliser et fournissent des données avec de riches informations. Les environnements urbains représentent des scénarios intéressant mais aussi très difficile dans ce contexte, où le tracé de la route peut être très complexe,la présence d’objets tels que des arbres, des vélos, des voitures peuvent générer des observations partielles et aussi ces observations sont souvent bruyants ou même manquant en raison de occlusions complètes. Donc, le processus de perception par nature doit être capable de traiter des incertitudes dans la connaissance du monde autour de la voiture. Tandis que la navigation routière et la conduite autonome en utilisant une connaissance préalable de l’environnement ont démontré avec succès, la compréhension et la navigation des scénarios généraux du environnement urbain avec peu de connaissances reste un problème non résolu. Dans cette thèse, on analyse ce problème de perception pour la conduite dans les milieux urbains basée sur la connaissance de l’environnement pour aussi prendre des décisions dans la navigation autonome. Il est conçu un système de perception robotique, qui permettre aux voitures de se conduire sur les routes, sans la nécessité d’adapter l’infrastructure, sans exiger l’apprentissage précédente de l’environnement, et en tenant en compte la présence d’objets dynamiques tels que les voitures.On propose un nouveau procédé basé sur l’apprentissage par la machine pour extraire le contexte sémantique en utilisant une paire d’images stéréo qui est fusionnée dans une grille d’occupation évidentielle pour modéliser les incertitudes d’un environnement urbain inconnu,en utilisant la théorie de Dempster-Shafer. Pour prendre des décisions dans la planification des chemins, il est appliqué l’approche de tentacule virtuel pour générer les possibles chemins à partir du centre de référence de la voiture et sur cette base, deux nouvelles stratégies sont proposées. Première, une nouvelle stratégie pour sélectionner le chemin correct pour mieux éviter les obstacles et de suivre la tâche locale dans le contexte de la navigation hybride, et seconde, un nouveau contrôle en boucle fermée basé sur l’odométrie visuelle et tentacule virtuel est modélisée pour l’exécution du suivi de chemin. Finalement, un système complet automobile intégrant les modules de perception, de planification et de contrôle sont mis en place et validé expérimentalement dans des situations réelles en utilisant une voiture autonome expérimentale, où les résultats montrent que l’approche développée effectue avec succès une navigation locale fiable basée sur des capteurs de la caméra. / The development of autonomous vehicles capable of getting around on urban roads can provide important benefits in reducing accidents, in increasing life comfort and also in providing cost savings. Intelligent vehicles for example often base their decisions on observations obtained from various sensors such as LIDAR, GPS and Cameras. Actually, camera sensors have been receiving large attention due to they are cheap, easy to employ and provide rich data information. Inner-city environments represent an interesting but also very challenging scenario in this context,where the road layout may be very complex, the presence of objects such as trees, bicycles,cars might generate partial observations and also these observations are often noisy or even missing due to heavy occlusions. Thus, perception process by nature needs to be able to dea lwith uncertainties in the knowledge of the world around the car. While highway navigation and autonomous driving using a prior knowledge of the environment have been demonstrating successfully,understanding and navigating general inner-city scenarios with little prior knowledge remains an unsolved problem. In this thesis, this perception problem is analyzed for driving in the inner-city environments associated with the capacity to perform a safe displacement basedon decision-making process in autonomous navigation. It is designed a perception system that allows robotic-cars to drive autonomously on roads, with out the need to adapt the infrastructure,without requiring previous knowledge of the environment and considering the presenceof dynamic objects such as cars. It is proposed a novel method based on machine learning to extract the semantic context using a pair of stereo images, which is merged in an evidential grid to model the uncertainties of an unknown urban environment, applying the Dempster-Shafer theory. To make decisions in path-planning, it is applied the virtual tentacle approach to generate possible paths starting from ego-referenced car and based on it, two news strategies are proposed. First one, a new strategy to select the correct path to better avoid obstacles and tofollow the local task in the context of hybrid navigation, and second, a new closed loop control based on visual odometry and virtual tentacle is modeled to path-following execution. Finally, a complete automotive system integrating the perception, path-planning and control modules are implemented and experimentally validated in real situations using an experimental autonomous car, where the results show that the developed approach successfully performs a safe local navigation based on camera sensors.

Page generated in 0.044 seconds