• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1009
  • 504
  • 139
  • 4
  • 2
  • 1
  • 1
  • Tagged with
  • 1643
  • 459
  • 446
  • 336
  • 328
  • 290
  • 262
  • 250
  • 234
  • 217
  • 203
  • 188
  • 178
  • 165
  • 162
  • 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.
1141

Physical parameterisations for a high resolution operational numerical weather prediction model / Paramétrisations physiques pour un modèle opérationnel de prévision météorologique à haute résolution

Gerard, Luc 31 August 2001 (has links)
Les modèles de prévision opérationnelle du temps résolvent numériquement les équations de la mécanique des fluides en calculant l'évolution de champs (pression, température, humidité, vitesses) définis comme moyennes horizontales à l'échelle des mailles d'une grille (et à différents niveaux verticaux).<p><p>Les processus d'échelle inférieure à la maille jouent néanmoins un rôle essentiel dans les transferts et les bilans de chaleur, humidité et quantité de mouvement. Les paramétrisations physiques visent à évaluer les termes de source correspondant à ces phénomènes, et apparaissant dans les équations des champs moyens aux points de grille.<p><p>Lorsque l'on diminue la taille des mailles afin de représenter plus finement l'évolution des phénomènes atmosphériques, certaines hypothèses utilisées dans ces paramétrisations perdent leur validité. Le problème se pose surtout quand la taille des mailles passe en dessous d'une dizaine de kilomètres, se rapprochant de la taille des grands systèmes de nuages convectifs (systèmes orageux, lignes de grain).<p><p>Ce travail s'inscrit dans le cadre des développements du modèle à mailles fines ARPÈGE ALADIN, utilisé par une douzaine de pays pour l'élaboration de prévisions à courte échéance (jusque 48 heures).<p><p>Nous décrivons d'abord l'ensemble des paramétrisations physiques du modèle.<p>Suit une analyse détaillée de la paramétrisation actuelle de la convection profonde. Nous présentons également notre contribution personnelle à celle ci, concernant l'entraînement de la quantité de mouvement horizontale dans le nuage convectif.<p>Nous faisons ressortir les principaux points faibles ou hypothèses nécessitant des mailles de grandes dimensions, et dégageons les voies pour de nouveaux développements.<p>Nous approfondissons ensuite deux des aspects sortis de cette discussion: l'usage de variables pronostiques de l'activité convective, et la prise en compte de différences entre l'environnement immédiat du nuage et les valeurs des champs à grande échelle. Ceci nous conduit à la réalisation et la mise en œuvre d'un schéma pronostique de la convection profonde.<p>A ce schéma devraient encore s'ajouter une paramétrisation pronostique des phases condensées suspendues (actuellement en cours de développement par d'autres personnes) et quelques autres améliorations que nous proposons.<p>Des tests de validation et de comportement du schéma pronostique ont été effectués en modèle à aire limitée à différentes résolutions et en modèle global. Dans ce dernier cas l'effet du nouveau schéma sur les bilans globaux est également examiné.<p>Ces expériences apportent un éclairage supplémentaire sur le comportement du schéma convectif et les problèmes de partage entre la schéma de convection profonde et le schéma de précipitation de grande échelle.<p><p>La présente étude fait donc le point sur le statut actuel des différentes paramétrisations du modèle, et propose des solutions pratiques pour améliorer la qualité de la représentation des phénomènes convectifs.<p><p>L'utilisation de mailles plus petites que 5 km nécessite enfin de lever l'hypothèse hydrostatique dans les équations de grande échelle, et nous esquissons les raffinements supplémentaires de la paramétrisation possibles dans ce cas.<p><p> / Doctorat en sciences appliquées / info:eu-repo/semantics/nonPublished
1142

Determination of end user power load profiles by parallel evolutionary computing / Détermination de profils de consommation électrique par évolution artificielle parallèle

Krüger, Frédéric 17 February 2014 (has links)
Il est primordial, pour un distributeur d’énergie électrique, d’obtenir des estimations précises de la demande en énergie de leurs réseaux. Des outils statistiques tels que des profils de consommation électrique offrent des estimations de qualité acceptable. Ces profils ne sont cependant généralement pas assez précis, car ils ne tiennent pas compte de l’influence de facteurs tels que la présence de chauffage électrique ou le type d’habitation. Il est néanmoins possible d’obtenir des profils précis en utilisant uniquement les historiques de consommations d’énergie des clients, les mesures desdéparts 20kV, et un algorithme génétique de séparation de sources. Un filtrage et un prétraitement des données a permis de proposer à l’algorithme génétique de séparation de sources des données adaptées. La séparation de sources particulièrement bruitées est résolue par un algorithme génétique complètement parallélisé sur une carte GPGPU. Les profils de consommation électrique obtenus correspondent aux attentes initiales, et démontrent une amélioration considérable de la précision des estimations de courbes de charge de départs 20kV et de postes de transformation moyenne tension-basse tension. / Precise estimations of the energy demand of a power network are paramount for electrical distribution companies. Statistical tools such as load profiles offer acceptable estimations. These load profiles are, however, usually not precise enough for network engineering at the local level, as they do not take into account factors such as the presence of electrical heating devices or the type of housing. It is however possible to obtain accurate load profiles with no more than end user energy consumption histories, 20kV feeder load measurements, a blind source separation and a genetic algorithm. Filtering and preliminary treatments performed on the data allowed the blind source separation to work with adequate information. The blind source separation presented in this document is successfully solved by a completely parallel genetic algorithm running on a GPGPU card. The power load profiles obtained match the requirements, and demonstrate a considerable improvement in the forecast of 20kV feeder as well as MV substation load curves.
1143

Segmentation de maillages dynamiques et son application pour le calcul de similarité / Segmentation methods for deforming meshes and its application to similarity measurement

Luo, Guoliang 04 November 2014 (has links)
Avec le développement important des techniques d’animation, les maillages animés sont devenus un sujet de recherche important en informatique graphique, comme la segmentation de maillages animés ou la compression. Ces maillages animés qui sont créés à l’aide de logiciels ou à partir de données de capture de mouvements sont composés d’une séquence ordonnée de maillages de forme statique et dont la topologie reste la même (nombre fixe de sommets et de triangles). Bien qu’un grand nombre de travaux ont été menés sur les maillages statiques durant les deux dernières décennies, le traitement et la compression de maillages animés présentent de nombreuses difficultés techniques. En particulier, les traitements de maillages dynamiques nécessitent une représentation de données efficace basée sur la segmentation. Plusieurs travaux ont été publiés par le passé et qui permettent de segmenter un maillage animé en un ensemble de composants rigides.Dans cette thèse, nous présentons plusieurs techniques qui permettent de calculer une segmentation spatio-temporelle d’un maillage animé ; de tels travaux n’ont pas encore été publiés sur ce sujet. De plus, nous avons étendu cette méthode pour pouvoir comparer ces maillages animés entre eux à l’aide d’une métrique. À notre connaissance, aucune méthode existante ne permet de comparer des maillages animés entre eux. / With an abundance of animation techniques available today, animated mesh has become a subject of various data processing techniques in Computer Graphics community, such as mesh segmentation and compression. Created from animation software or from motion capture data, a large portion of the animated meshes are deforming meshes, i.e. ordered sequences of static meshes whose topology is fixed (fixed number of vertices and fixed connectivity). Although a great deal of research on static meshes has been reported in the last two decades, the analysis, retrieval or compressions of deforming meshes remain as new research challenges. Such tasks require efficient representations of animated meshes, such as segmentation. Several spatial segmentation methods based on the movements of each vertex, or each triangle, have been presented in existing works that partition a given deforming mesh into rigid components. In this thesis, we present segmentation techniques that compute the temporal and spatio-temporal segmentation for deforming meshes, which both have not been studied before. We further extend the segmentation results towards the application of motion similarity measurement between deforming meshes. This may be significant as it solves the problem that cannot be handled by current approaches.
1144

Le logarithme discret dans les corps finis / Discrete logarithm in finite fields

Pierrot, Cécile 25 November 2016 (has links)
La cryptologie consiste en l’étude des techniques utilisées par deux entités pour communiquer en secret en présence d’une troisième. Les propriétés mathématiques qui sous-tendent ces techniques garantissent que leur attaque reste infaisable en pratique par un adversaire malveillant. Ainsi, les protocoles s’appuient sur diverses hypothèses, comme la di fficulté présumée de factoriser des entiers ou de calculer le logarithme discret d’un élément arbitraire dans certains groupes. Cette thèse qui porte sur le problème du logarithme discret dans les corps finis s’articule autour de trois volets.Nous exposons les résultats théoriques associés au problème sans considération du groupe cible, détaillant ainsi les classes de complexité auxquelles il appartient ainsi que di fférentes approches pour tenter de le résoudre.L’étude du problème dans les corps finis commence en tant que telle par les corps présentant une caractéristique de petite taille relativement à l’ordre total du corps en question. Cette seconde partie résulte sur l’exposition d’un algorithme par représentation de Frobenius dont une application a aboutit au record actuel de calcul de logarithme discret en caractéristique 3.Pour les corps de moyenne ou grande caractéristiques, une autre méthode est requise. Le crible par corps de nombres (NFS) multiples obtient les complexités asymptotiques les plus basses pour un corps arbitraire. Un dernier chapitre introduit la notion de matrice presque creuse. L’élaboration d’un nouvel algorithme spécifique qui explicite le noyau d’une telle matrice facilite en pratique l’étape d’algèbre sous-jacente à toute variante de NFS. / Cryptography is the study of techniques for secure communication in the presence of third parties, also called adversaries. Such techniques are detailed in cryptosystems, explaining how to securely encode and decode messages. They are designed around computational hardness assumptions related to mathematical properties, making such algorithms hard to break in practice by any adversary. These protocols are based on the computational difficulty of various problems which often come from number theory, such as integer factorization or discrete logarithms computations. This manuscript focuses on the discrete logarithm problem in finite fields and revolves around three axes.First we detail classical results about the problem without any consideration to the target group. We deal with complexity classes and some general methods that do not need any information on the group.The study of the discrete logarithm problem in finite fields starts with small characteristic ones. The aim is to present a Frobenius representation algorithm that leads to the current discrete logarithm record in characteristic 3.For medium or large characteristics finite fields, another approach is required. The multiple number field sieve reaches the best asymptotic heuristic complexities for this double range of characteristics. We also introduce the notion of nearly sparse matrices. Designing a new algorithm dedicated to explicitly give the kernel of such a matrix eases in practice the linear algebra step of any variant of the number field sieve.
1145

Caractérisation du comportement mécanique de la sous surface d'un polymère percé, sous une sollicitation de type hertzienne / Characterisation of mechanical behavior of a sub surface drilled polymer, under hertzian contact load

Palade, Adrian-Ciprian 20 September 2013 (has links)
Ce travail s'inscrit dans la compréhension du comportement de la sous-surface d'une pièce présentant des hétérogénéités contrôlées, soumise à un chargement de type hertzien sans affecter l'intégrité de sa surface initiale. Le but est de qualifier le champ de contraintes en sous couche. Pratiquement, des défauts de forme cylindrique sont positionnés là où le champ de contraintes est maximal. Le contact est dimensionné pour pouvoir observer, par photoélasticimétrie, les évolutions du champ de contraintes et développer une modélisation numérique pour étudier le comportement statique puis dynamique. Il ressort que la présence d'un trou sur l'axe de symétrie z (x = 0) est le facteur prépondérant. Les caractéristiques qui permettent de diminuer la contrainte de cisaillement sur l'axe de symétrie sont celles qui conduisent à un renforcement de la contrainte de cisaillement maximale dans le massif. Cette dualité nous conduit à proposer un indicateur qui prend en compte, à la fois, la contrainte de cisaillement, l'aplomb du contact et l"évolution de la contrainte maximale dans le massif. La méthodologie de travail a été mise en oeuvre et validée. Les approches analytiques et expérimentales ont permis de valider les modélisations numériques qui sont seules à même de permettre l'étude de nombreux cas. Les perspectives sont nombreuses, avec des incursions possibles en structuration de sous-surfaces, perçage simple, frittage sélectif par laser. Ce doctorat a permis de traiter le cas des défauts circulaires. Dans un autre domaine, le soudage est également un cas d'intérêt pour l'étude du comportement des cordons de soudure présentant des défauts de type porosités ou inclusions. / This research concerns the understanding of the sub-surface behaviour of a component presenting controlled heterogeneities and subjected to a Hertzian type load. The purpose is to qualify the stress field in the subsurface. Practically, defects of cylindrical shape are located where the stress field is maximal in sub surface. The contact is sized to be able to observe, by photoelasticity, the stress field and to develop a numerical model to simulate the behaviour (static and dynamic) of the friction area. It is highlighted that the presence of a hole on the z axis of symmetry (x = 0) is the dominating factor. The characteristics which allow decreasing the shearing stress on the symmetry axis are the ones which lead to a strengthening of the maximal shearing stress in the whole volume. This duality drives us to propose an indicator which takes into account, at the same time, the shearing stress below the contact and the evolution of the maximal stress in the whole volume. The working methodology was implemented and validated. The analytical and experimental approaches allow validating the numeric model which is the only one able to allow the study of numerous configurations. The perspectives are numerous, with possible incursions in structuring of sub-surfaces, simple drilling and selective laser sintering.... In another domain, the welding process is also a case of interest for the study of the behaviour of weld seam presenting defects of porosities or inclusions types
1146

A chemistry-inspired middleware for flexible execution of service based applications / Un middleware inspiré par la chimie pour l'exécution et l'adaptation flexible d'applications basées sur des services

Wang, Chen 28 May 2013 (has links)
Les Architectures Orientées Services (SOA) sont adoptées aujourd'hui par de nombreuses entreprises car elles représentent une solution flexible pour la construction d'applications distribuées. Une Application Basée sur des Services (SBA) peut se définir comme un workflow qui coordonne de manière dynamique l'exécution distribuée d'un ensemble de services. Les services peuvent être sélectionnés et intégrés en temps réel en fonction de leur Qualité de Service (QoS), et la composition de services peut être dynamiquement modifiée pour réagir à des défaillances imprévues pendant l'exécution. Les besoins des architectures orientées services présentent des similarités avec la nature: dynamicité, évolutivité, auto-adaptabilité, etc. Ainsi, il n'est pas surprenant que les métaphores inspirées par la nature soient considérées comme des approches appropriées pour la modélisation de tels systèmes. Nous allons plus loin en utilisant le paradigme de programmation chimique comme base de construction d'un middleware. Dans cette thèse, nous présentons un middleware "chimique'' pour l'exécution dynamique et adaptative de SBA. La sélection, l'intégration, la coordination et l'adaptation de services sont modélisées comme une série de réactions chimiques. Tout d'abord, l'instantiation de workflow est exprimée par une série de réactions qui peuvent être effectuées de manière parallèle, distribuée et autonome. Ensuite, nous avons mis en oeuvre trois modèles de coordination pour exécuter une composition de service. Nous montrons que les trois modèles peuvent réagir aux défaillances de type panne franche. Enfin, nous avons évalué et comparé ces modèles au niveau d'efficacité et complexité sur deux workflows. Nous montrons ainsi dans cette thèse que le paradigme chimique possède les qualités nécessaires à l'introduction de la dynamicité et de l'adaptabilité dans la programmation basée sur les services. / With the advent of cloud computing and Software-as-a-Service, Service-Based Application (SBA) represents a new paradigm to build rapid, low-cost, interoperable and evolvable distributed applications. A new application is created by defining a workflow that coordinates a set of third-party Web services accessible over the Internet. In such distributed and loose coupling environment, the execution of SBA requires a high degree of flexibility. For example, suitable constituent services can be selected and integrated at runtime based on their Quality of Service (QoS); furthermore, the composition of service is required to be dynamically modified in response to unexpected runtime failures. In this context, the main objective of this dissertation is to design, to develop and to evaluate a service middleware for flexible execution of SBA by using chemical programming model. Using chemical metaphor, the service-based systems are modeled as distributed, selforganized and self-adaptive biochemical systems. Service discovery, selection, coordination and adaptation are expressed as a series of pervasive chemical reactions in the middleware, which are performed in a distributed, concurrent and autonomous way. Additionally, on the way to build flexible service based systems, we do not restrict our research only in investigating chemical-based solutions. In this context, the second objective of this thesis is to find out generic solutions, such as models and algorithms, to respond to some of the most challenging problems in flexible execution of SBAs. I have proposed a two-phase online prediction approach that is able to accurately make decisions to proactively execute adaptation plan before the failures actually occur.
1147

Calcul à haute performance et simulations stochastiques : Etude de la reproductibiité numérique sur architectures multicore et manycore / High performance computing and stochastic simulation : Study of numerical reproducibility on multicore and manycore architectures

Dao, Van Toan 02 March 2017 (has links)
La reproductibilité des expériences numériques sur les systèmes de calcul à haute performance est parfois négligée. De plus, les méthodes numériques employées pour une parallélisation rigoureuse des simulations stochastiques sont souvent méconnues. En effet, les résultats obtenus pour une simulation stochastique utilisant des systèmes de calcul à hautes performances peuvent être différents d’une exécution à l’autre, et ce pour les mêmes paramètres et les même contextes d’exécution du fait de l’impact des nouvelles architectures, des accélérateurs, des compilateurs, des systèmes d’exploitation ou du changement de l’ordre d’exécution en parallèle des opérations en arithmétique flottantes au sein des micro-processeurs. En cas de non répétabilité des expériences numériques, comment mettre au point les applications ? Quel crédit peut-on apporter au logiciel parallèle ainsi développé ? Dans cette thèse, nous faisons une synthèse des causes de non-reproductibilité pour une simulation stochastique parallèle utilisant des systèmes de calcul à haute performance. Contrairement aux travaux habituels du parallélisme, nous ne nous consacrons pas à l’amélioration des performances, mais à l’obtention de résultats numériquement répétables d’une expérience à l’autre. Nous présentons la reproductibilité et ses apports dans la science numérique expérimentale. Nous proposons dans cette thèse quelques contributions, notamment : pour vérifier la reproductibilité et la portabilité des générateurs modernes de nombres pseudo-aléatoires ; pour détecter la corrélation entre flux parallèles issus de générateurs de nombres pseudo-aléatoires ; pour répéter et reproduire les résultats numériques de simulations stochastiques parallèles indépendantes. / The reproducibility of numerical experiments on high performance computing systems is sometimes overlooked. Moreover, the numerical methods used for rigorous parallelization of stochastic simulations are often unknown. Indeed, the results obtained for a stochastic simulation using high performance computing systems can be different from run to run with the same parameters and the same execution contexts due to the impact of new architectures, accelerators, compilers, operating systems or a changing of the order of execution of the floating arithmetic operations within the micro-processors for parallelizing optimizations. In the case of non-repeatability of numerical experiments, how can we seriously develop a scientific application? What credit can be given to the parallel software thus developed? In this thesis, we synthesize the main causes of non-reproducibility for a parallel stochastic simulation using high performance computing systems. Unlike the usual parallelism works, we do not focus on improving performance, but on obtaining numerically repeatable results from one experiment to another. We present the reproducibility and its contributions to the science of experimental and numerical computing. Furthermore, we propose some contributions, in particular: to verify the reproducibility and portability of top modern pseudo-random number generators, to detect the correlation between parallel streams issued from such generators, to repeat and reproduce the numerical results of independent parallel stochastic simulations.
1148

On the unramified spherical automorphic spectrum

Martino, Marcelo Gonçalves de 02 June 2016 (has links)
Cette thèse a deux résultats d'analyse harmonique sur des groupes réductifs. Soit G connexe et défini sur un corps de nombres F, A les adèles et K un sous-groupe compact maximal de G(A). On a étudié la décomposition de l'espace des fonctions de carré intégrable sur le l'espace quotient G(F)\G(A)/K, en tant que module sur une algèbre de Hecke global. Des résultats similaires que ceux obtenus ici ont été établies par divers auteurs pour de nombreux cas particuliers. La caractéristique principale de la présente approche réside dans le fait qu'il est uniforme. Cette approche a été inspirée par des résultats de G. Heckman et E. Opdam dans les problèmes spectraux pour les algèbre de Hecke graduée. Dans la démonstration, nous avons besoin d'un résultat par M. Reeder sur les espaces de poids des représentations (anti)sphériques de la série discrète de l’algèbre de Hecke affine, aussi, nous sommes confrontés au problème du calcul de certains constantes rationnelles dans le spectre global mesurer en termes de mesures de Plancherel locales.Pour le second résultat, nous montrons qu'un complexe de Coxeter et un immeuble euclidienne peuvent être dotés de fonctions de Morse PL qui permet d'écrire des contractions explicites des complexes cellulaires sous-jacents. Cette approche par la théorie de Morse pour étudier les immeubles de Bruhat-Tits a été inspiré par les idées de G. Savin et M. Bestvina dans le cas de l’immeuble de SL(n). Nous conjecturer que ces contractions ont de bonnes bornes sur leurs coefficients et peuvent donc être utilisés pour calculer les groupes Ext entre les représentations tempérée d'une manière analogue à celle qui a été fait par M. Solleveld et E. Opdam. / This thesis contains two results on harmonic analysis of reductive groups. First, let G be connected and defined over a number field F, A be the ring of adèles and K be a maximal compact subgroup of G(A). We studied the decomposition of the space of square-integrable functions on the quotient G(F)\G(A)/K, as a module for a global Hecke algebra. Similar results than the ones obtained here have been established by various authors for many special cases of reductive groups. The main feature of the present approach is the fact that it is uniform. Such approach was greatly inspired by results of G. Heckman and E. Opdam in treating spectral problems for graded affine Hecke algebras. In the proof, we need a result by M. Reeder on the weight spaces of the (anti)spherical discrete series representations of affine Hecke algebras, as well as we are faced with the problem of computing certain rational constants factors involved in the global spectral measure in terms of local Plancherel measures which are known only in the affine Hecke algebra context.
As for the second result, we show that a Coxeter complex and a Euclidean building can be endowed with piecewise linear Morse functions that allows one to write down explicit contractions of the underlying cell complexes. Such approach via PL Morse theory to study buildings was heavily inspired by ideas from G. Savin and M. Bestvina in the specific case of the building of SL(n). We conjecture that these contractions have nice bounds on their coefficients and thus can be used to compute Ext groups between tempered representations in an analogous way as was done by M. Solleveld and E. Opdam.
1149

Réactivité catalytique à haut recouvrement : une approche théorique / Catalytic reactivity at high coverage : a theoretical approach

Gautier, Sarah 28 September 2015 (has links)
L’hydrogénation sélective d’hydrocarbures polyinsaturés présente un fort intérêt pour l’industrie pétrolière. Cette réaction est catalysée par des particules métalliques ou des alliages et a lieu sous pression d’hydrogène. Dans ce travail nous étudions la réaction d’hydrogénation sélective du butadiène en 1-butene en présence des catalyseurs Pt(111) et Sn/Pt-Pt(111). Cette étude a été menée à l’aide du programme VASP (Vienna Abinitio Simulation Package) qui permet de simuler des systèmes solides et surfaciques dans le cadre de la théorie de la fonctionnelle de la densité (DFT). Le choix des catalyseurs a été dicté par les communautés expérimentale et industrielle qui utilisent le plus souvent le platine car très actif, ou des alliages de platine-étain, moins actifs mais beaucoup plus sélectifs. L’hydrogénation du butadiène a déjà été étudiée par le passé mais uniquement à T=0 K et sans prendre en compte les conditions réelles de pression des réactifs. Notre but étant de comprendre les pas élémentaires de cette réaction, nous avons choisi de l’étudier à des conditions de T et de P proches de celles utilisées expérimentalement, c’est-à-dire 300-400 K et 1-10 bar. A cette fin, nous avons mis en place un modèle thermodynamique pour évaluer, dans un premier temps, la composition de la surface lors de la réaction. Il est alors apparu que la configuration de surface la plus stable correspond à une couverture de une monocouche d’hydrogène ce qui suggère un mécanisme de type Eley-Rideal. Puis nous avons étudié l’aspect cinétique ce cette réaction et calculé les chemins réactionnels pour différents recouvrements en hydrogène. Nous avons conclu qu’il existe une forte compétitivité entre le mécanisme pressenti, appelé Langmuir-Hinshelwood et impliquant des espèces fortement adsorbées, et le mécanisme Eley-Rideal proposant une adsorption faible de l’un des réactifs. Les calculs ont été effectués avec les fonctionnelles PBE et optPBE pour apporter un point de comparaison des méthodes. / Petroleum industry has a strong interest in the selective hydrogenation of polyunsaturated hydrocarbons. This reaction is catalyzed by metallic particles or alloys and happens under pressure of hydrogen. In this work, we study the selective hydrogenation of butadiene into 1-butene, on two model catalysts which are Pt(111) and Sn/Pt-Pt(111). For this, we used the VASP code (Vienna Abinitio Simulation Package) that allows to perform periodic calculations in the framework of the Density Functional Theory (DFT). The choice of the catalysts was driven by the experimental and industrial communities who mostly use platinum because of its high activity, or alloys such as tin-platinum alloy, less active but more selective. Butadiene hydrogenation was already modeled in the past but only at T=0 K and without taking into account the real pressure conditions of the reactants. Our aim is to understand the impact of the reaction conditions which is why we ran this study at T and P conditions close to the one used experimentally, e.g. 300-400 K et 1-10 bar. For this, we setup a thermodynamic model to evaluate in a first step the surface composition when the reaction occurs. It came out that the most stable surface configuration corresponds to a coverage of 1 ML of hydrogen which suggests an Eley-Rideal type mechanism. Then we studied the kinetic aspect of this reaction and we calculated the hydrogenation pathways for different coverages of hydrogen. We concluded that there is a strong competition between the sensed mechanism, called Langmuir-Hinshelwood mechanism and implying strongly adsorbed species, and the Eley-Rideal mechanism, proposing a weak adsorption of one of the two reactants.
1150

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.

Page generated in 0.0501 seconds