• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 152
  • 71
  • 22
  • Tagged with
  • 244
  • 90
  • 61
  • 54
  • 51
  • 42
  • 30
  • 26
  • 24
  • 23
  • 22
  • 21
  • 21
  • 21
  • 20
  • 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.
201

Localisation et détection de fermeture de boucle basées saillance visuelle : algorithmes et architectures matérielles / Localization and loop-closure detection based visual saliency : algorithms and hardware architectures

Birem, Merwan 12 March 2015 (has links)
Dans plusieurs tâches de la robotique, la vision est considérée comme l’élément essentiel avec lequel la perception de l’environnement ou l’interaction avec d’autres utilisateurs peut se réaliser. Néanmoins, les artefacts potentiellement présents dans les images capturées rendent la tâche de reconnaissance et d’interprétation de l’information visuelle extrêmement compliquée. Il est de ce fait, très important d’utiliser des primitives robustes, stables et ayant un taux de répétabilité élevé afin d’obtenir de bonnes performances. Cette thèse porte sur les problèmes de localisation et de détection de fermeture de boucle d’un robot mobile en utilisant la saillance visuelle. Les résultats en termes de précision et d’efficacité des applications de localisation et de détection de fermeture sont évalués et comparés aux résultats obtenus avec des approches de l’état de l’art sur différentes séquences d’images acquises en milieu extérieur. Le principal inconvénient avec les modèles proposés pour l’extraction de zones de saillance est leur complexité de calcul, ce qui conduit à des temps de traitement important. Afin d’obtenir un traitement en temps réel, nous présentons dans ce mémoire l’implémentation du détecteur de régions saillantes sur la plate forme reconfigurable DreamCam. / In several tasks of robotics, vision is considered to be the essential element by which the perception of the environment or the interaction with other users can be realized. However, the potential artifacts in the captured images make the task of recognition and interpretation of the visual information extremely complicated. It is therefore very important to use robust, stable and high repeatability rate primitives to achieve good performance. This thesis deals with the problems of localization and loop closure detection for a mobile robot using visual saliency. The results in terms of accuracy and efficiency of localization and closure detection applications are evaluated and compared to the results obtained with the approaches provided in literature, both applied on different sequences of images acquired in outdoor environnement. The main drawback with the models proposed for the extraction of salient regions is their computational complexity, which leads to significant processing time. To obtain a real-time processing, we present in this thesis also the implementation of the salient region detector on the reconfigurable platform DreamCam.
202

The role of the microstructure in granular material instability / Le rôle de la microstructure dans l'instabilité de matériaux granulaires

Nguyen, Nho Gia Hien 24 June 2016 (has links)
Les matériaux granulaires se composent de grains solides et d’un constituant remplissant les pores, tel qu'un fluide ou une matrice solide. Les grains interagissent au travers de répulsions élastiques, auxquelles s’ajoutent des mécanismes de friction, d’adhérence et d'autres forces surfaciques. La sollicitation externe conduit à la déformation des grains ainsi qu’à des réarrangements de particules. Les déformations des milieux granulaires sont d'une importance capitale dans de nombreuses applications industrielles et dans la recherche, comme par exemple dans la métallurgie des poutres ou en mécanique des sols. La réponse des matériaux granulaires sous chargement externe est complexe, en particulier lorsqu’une rupture se produit: le mode de rupture peut être diffus ou localisé, et l’aspect de peut varier drastiquement lorsque celui-ci ne peut plus soutenir la charge externe. Dans le cadre de cette thèse, une analyse numérique basée sur une méthode des éléments discrets est réalisée pour étudier les comportements macroscopique et microscopique des matériaux granulaires à la rupture. Ces simulations numériques prennent en compte le critère du travail du second ordre afin de prédire la rupture. De plus il est montré que l’annulation du travail du second ordre coïncide avec la transition d’un régime statique vers un régime dynamique. Ensuite, le comportement matériaux granulaires est analysé à l’échelle micro-structurelle. L’évolution des chaines des forces et des cycles des grains est étudiée durant le processus de déformation jusqu’à la rupture. Le travail du second ordre est également pris en compte pour examiner l'aspect local qui régit la rupture à l’échelle locale. L'effondrement de l'échantillon discret quand il passe du régime quasi-statique vers le régime dynamique est accompagné d'une bouffée d'énergie cinétique. Cette augmentation de l'énergie cinétique est générée lorsque la contrainte interne ne permet pas d'équilibrer la force externe sous l’action d’une petite perturbation, ce qui entraîne une différence entre les travaux du second ordre interne et externe du système. Les mésostructures démontrent une relation symbiotique entre elles, et leur évolution gouverne le comportement macroscopique du système discret. La distribution de l'effondrement des chaînes de forces est parfaitement corrélée avec l’annulation du travail du second ordre à l'échelle de particules. Les mésostructures jouent un rôle important dans l'instabilité des milieux granulaires. Le travail du second ordre peut être utilisé comme un critère pertinent et robuste pour détecter l'instabilité du système que ce soit à l'échelle macroscopique ou microscopique (échelle de particule) / Granular materials consist of dense pack of solid grains and a pore-filling element such as a fluid or a solid matrix. The grains interact via elastic repulsion, friction, adhesion and other surface forces. External loading leads to grain deformations as well as cooperative particle rearrangements. The particle deformations are of particular importance in many industry applications and research subjects, such as powder metallurgy and soil mechanics. The response of granular materials to external loading is complex, especially in case when failure occurs: the mode of the failure can be diffuse or localized, and the development of specimen pattern can be drastically different when the specimen can no longer sustain external loading. In this thesis, a thorough numerical analysis based on a discrete element method is carried out to investigate the macroscopic and microscopic behavior of granular materials when a failure occurs. The numerical simulations include the vanishing of the second-order work instability criterion to detect failure. Furthermore, it is proved that the vanishing of second-order work coincides with the change from a quasi-static regime to a dynamic regime in the response of the specimen. Then, microstructure evolution is investigated. Evolution of force-chains and grain-loops are investigated during the deformation process until reaching the failure. The second-order work is once again taken into account to elucidate the local aspect that governs the failure, taking place at the particle scale. The collapse of the discrete specimen when it turns from quasi-static to dynamic regime is accompanied with a burst in kinetic energy. This rise of kinetic energy occurs when the internal stress cannot balance with the external loading when a small perturbation is added to the boundary, resulting in a difference between the internal and external second-order works of the system. The mesostructures have a symbiosis relationship with each other and their evolution decides the macroscopic behavior of the discrete system. The distribution of the collapse of force-chain correlates with the vanishing of the second-order work at the grain scale. The mesostructures play an important role in the instability of granular media. The second-order work can be used as an effective criterion to detect the instability of the system on both the macroscale and microscale (grain scale)
203

Contrôle de l'évolution d'un procédé de cristallisation en batch gouverné par des équations aux dérivées partielles / Crystal size distribution control of crystallization process governed by partial differential equations

Zhang, Kun 08 December 2011 (has links)
L'objectif principal de ce travail de recherche est de contrôler l'évolution de la distribution des tailles de cristaux (DTC) dans un procédé de cristallisation en batch. Nous avons été amenés à chercher une résolution numérique du bilan de population et à proposer un algorithme rapide et précis. La méthode numérique a été étendue au cas de la taille des cristaux multidimensionnels en utilisant un maillage mouvant. Nous avons étudié le problème de la commandabilité du système à partir de son modèle discrétisé et puis à partir du modèle continu. Nous avons conçu une loi de commande en boucle fermée pour atteindre la DTC désirée à partir de la condition initiale. Pour compenser l'incertitude des paramètres du modèle, nous avons ajouté un second contrôle par retour d'état afin d'assurer la poursuite de la DTC désirée en présence de l'incertitude des paramètres. Nous avons construit un observateur qui nous permet d'avoir en ligne l'estimation des variables d'états. Ces variables d'état estimées sont utilisées dans la synthèse de la loi du contrôle / The main objective of this research is to control the evolution of the Crystal Size Distribution (CSD) in a batch crystallization process. We are led to study a numerical resolution of the population balance and propose an algorithm for fast and accurate simulation. This method was extended to the case of the two-dimensional crystal by using a moving mesh. We studied the problem of controllability of the system from its discretized model and then from the continuous model. To compensate the uncertainty of the model parameters, we added the second state feedback control to ensure the tracking of the desired CSD in presence of parameter uncertainty. We constructed an observer who provides us with on-line estimation of state variables. These state variables estimated are used in the control law synthesis
204

Identification paramétrique en boucle fermée par une commande optimale basée sur l’analyse d’observabilité / Closed loop parameter identification based on the design of optimal control and the observability analysis

Qian, Jun 14 September 2015 (has links)
Dans un objectif conjoint d'identification paramétrique en ligne, les méthodes développées dans cette thèse permettent de concevoir en ligne et en boucle fermée les entrées optimales qui enrichissent les informations contenues dans l'expérience en cours. Ces méthodes reposent sur des mesures en temps réel du procédé, sur un modèle dynamique non linéaire (ou linéaire) multi-variable choisi du procédé, sur un modèle de sensibilité des mesures par rapport aux paramètres à estimer et sur un observateur non linéaire. L'analyse de l'observabilité et des techniques de commande prédictive permettent de définir la commande optimale qui est déterminée en ligne par optimisation sous contraintes. Des aspects de stabilisation sont également étudiés (via un apport de contraintes fictives ou via une technique de Lyapunov). Enfin, une loi de commande explicite pour le cas particulier du système d'ordre un est développée. Des exemples illustratifs sont traités via le logiciel ODOE4OPE : un bioréacteur, un réacteur continu parfaitement agité et une aile delta. Ces exemples permettent de voir que l'estimation des paramètres peut être réalisée avec une bonne précision, et à moindre coût expérimental en une expérience / For online parameter identification, the developed methods here allow to design online and in closed loop optimal inputs that enrich the information in the current experience. These methods are based on real-time measurements of the process, on a dynamic nonlinear (or linear) multi-variable model, on a sensitivity model of measurements with respect to the parameters to be estimated and a nonlinear observer. Analysis of observability and predictive control techniques are used to define the optimal control which is determined online by constrained optimization. Stabilization aspects are also studied (by adding fictitious constraints or by a Lyapunov technique). Finally, for the particular case of a first order linear system, the explicit control law is developed. Illustrative examples are processed via the ODOE4OPE software : a bio-reactor, a continuous stirred tank reactor and a delta wing. These examples help to see that the parameter estimation can be performed with good accuracy in a single and less costly experiment
205

Passivity preserving balanced reduction for the finite and infinite dimensional port Hamiltonian systems / Réductions équilibrées des systèmes hamiltonien à port en dimension finie et infinie en préservant la passivité

Wu, Yongxin 07 December 2015 (has links)
Dans ce mémoire nous avons développé des méthodes de réduction des systèmes hamiltoniens à port en dimension finie et infinie qui préservent leur structure. Dans la première partie, nous avons défini une représentation des systèmes hamiltoniens à port avec contraintes sous la forme d'équations différentielles algébriques (DEA) de type de système descripteur. De cette forme nous avons déduit une réalisation équilibrée du système hamiltonien à port exprimée sous forme de système descripteur contenant les mêmes systèmes d'équations de contrainte. Dans la deuxième partie, nous avons défini une classe de problèmes de commande LQG tels que le contrôleur dynamique LQG est passif et admet une réalisation hamiltonien à port. Deux méthodes de synthèse de commande passive LQG sont proposées et une de ces méthodes LQG nous a permis de définir une réalisation équilibrée LQG. Puis nous avons appliqué la méthode de contrainte de l'effort pour réduire le système hamiltonien à port et obtenir une commande LQG passive d'ordre réduit. Ce contrôleur LQG admettant une réalisation hamiltonienne, la structure hamiltonienne est préservée pour le système en boucle fermée par interconnexion de systèmes hamiltoniens à port. Dans la troisième partie, nous avons généralisé les résultats précédents aux systèmes hamiltoniens à ports linéaires de dimension infinie. Pour cela nous avons considéré une classe de systèmes hamiltoniens à ports de dimension infinie dont l'opérateur d'entrée est borné et un problème de commande LQG passif. Sous des conditions de nucléarité de l'opérateur de Hankel lié au problème LQG, nous définissons une réalisation équilibrée LQG passive du système et une approximation en dimension finie. Le contrôleur LQG passif d'ordre réduit obtenu par cette approximation admet une réalisation hamiltonienne à port et par conséquent la structure hamiltonienne et la passivité sont préservées en boucle fermée / In this thesis we have developed different structure preserving reduction methods for finite and infinite dimensional port Hamiltonian systems by using a balanced model reduction approach. In the first part we have defined a descriptor representation of port Hamiltonian systems with constraints. The balanced realization of the descriptor system has been used for reducing the port Hamiltonian descriptor system and conserving explicitly the constraint equations. In the second part, conditions have been derived on the weighting matrices of the LQG control problem such that the dynamical LQG controller is passive and has a port Hamiltonian realization. Two passive LQG control design methods have been suggested and one of them allows us to define a LQG balanced realization. Based on this realization, the effort constraint method has been used to reduce the LQG balanced port Hamiltonian system and obtain a reduced order passive LQG controller. In this way the closed-loop system is derived from the interconnection of 2 port Hamiltonian systems, hence the Hamiltonian structure has been preserved. In the third part, the proceeding results have been extended to a class of infinite dimensional port Hamiltonian system with bounded input operator. A passive LQG control design method for infinite dimensional port Hamiltonian system has been derived as by Control by Interconnection (CbI). Based on the balanced realization associated with this passive LQG control design, a finite dimensional approximation has been achieved and a reduced order passive LQG controller has been derived. As a consequence, the system in closed-loop with this reduced order LQG controller again admits a port Hamiltonian structure and satisfies the passivity
206

Optimisation des performances d'un système de transmission multimédia sans fil basé sur la réduction du PAPR dans des configurations réalistes / Performance optimization of wireless multimedia transmission system based on PAPR reduction in realiste configuration

Koussa, Badreddin 18 April 2014 (has links)
Ce travail de thèse s'intéresse à l'optimisation des performances de transmissions multimédias par une approche originale combinant des circuits radiofréquences, tel que l'am-plificateur de puissance et les distorsions du canal de transmission. Les signaux OFDM sont très sensibles aux non-linéarités de l'amplificateur à cause des fortes fluctuations du niveau du signal, caractérisées par le PAPR. Afin de réduire le PAPR, on propose tout d'abord d'améliorer la méthode TR en termes de rapidité de convergence et de réduction du PAPR, en comparant plusieurs algorithmes d'optimisation. On montre que l'algorithme du gradient con-jugué offre les meilleures performances tout en respectant les spécifications fréquentielles du standard IEEE 802.11a. Par la suite, la méthode TR est évaluée expérimentalement en pré-sence d'un amplificateur de puissance (SZP-2026Z) en utilisant un banc de mesures. On montre ainsi que la méthode TR permet une amélioration de la qualité de transmission. Cette amélioration peut être utilisée pour modifier le point de fonctionnement de l'amplificateur et per-mettre ainsi une réduction de 18 % de la puissance consommée. Les résultats expérimentaux ont conduit au choix d'un modèle réaliste d'amplificateur en considérant les effets mémoires. Ce dernier a été intégré dans une chaîne de simulation SISO comprenant également un modèle réaliste de canal de transmission. La chaîne décrite a permis d'évaluer les performances de la méthode TR dans des conditions de transmission réalistes. Enfin, on propose d'appliquer la méthode TR dans une chaîne MIMO-OFDM en boucle fermée dédiée à la transmission de contenus multimédias scalables dans un environnement réaliste, en utilisant le standard IEEE 802.11n. Cette étude présente une évaluation originale de l'impact de la méthode TR sur la qualité visuelle des images transmises, en prenant en compte le contenu multimédia, la non-linéarité de l'amplificateur et les distorsions apportées par le canal. / In this thesis, we are interested on the performances optimization of multimedia transmissions systems with an original contribution combining RF circuits' imperfections presented by the power amplifier (PA) nonlinearities and the transmission channel distortions. The studied system uses the OFDM technique which is the most widespread multicarrier modulation in recent radio communications systems. However, its major drawback is the high PAPR value, which degrades the transmission quality due to the PA nonlinearities. To reduce the PAPR, we first propose to improve the TR method in terms of convergence speed and PAPR reduction, by studying several optimization algorithms. We show that the conjugate gradient algorithm provides the best performance while respecting the frequency specifica-tions of the IEEE 802.11a standard. Thereafter, TR method has been evaluated experimentally in the presence of a commercial PA (SZP-2026Z) and using a measurement bench. It is shown that the TR method improves the quality of service (QoS), with 18% reduction in PA power consumption. The experimental study has resulted to choosing a realistic PA model consider-ing memory effects. This PA model has been integrated into a SISO simulation chain includ-ing also a realistic channel model. This chain is used to evaluate the TR method performances under realistic transmission conditions. Finally, we propose to apply the TR method in a closed-loop MIMO-OFDM chain dedicated to the transmission of scalable multimedia con-tent in a realistic context with the IEEE 802.1n standard. This study presents a new contribu-tion of the TR method evaluation to improve the visual quality of the JPWL transmitted imag-es, considering in the same time the multimedia content, the PA nonlinearity and the channel transmission distortions.
207

Circuits thalamocorticaux de la prise de décision / Thalamocortical networks of decision making

Alcaraz, Fabien 17 December 2015 (has links)
La capacité des organismes à survivre dans un environnement changeant dépendlargement de leur aptitude à prendre des décisions adaptées. Cette fonction complexerésulte notamment de l’intégration de processus de prédiction et de contrôle de l’action,classiquement étudiés dans le corpus théorique et méthodologique des apprentissagesassociatifs. Les bases neurobiologiques de ces processus sont largement distribués au seinde circuits au sein desquels le cortex préfrontal et son afférence principale, le thalamusmédiodorsal (MD) jouent un rôle important. Dans ce contexte, le travail entrepris au coursde ce travail de thèse visait à déterminer le rôle fonctionnel des échanges entre ces deuxstructures dans le cadre de la prise de décision.Une première partie de ce travail a visé à confirmer le rôle spécifique du MD dans lesprocessus de prise de décision. Par l’utilisation d’un protocole expérimental nécessitantl’intégration des contingences instrumentales et Pavloviennes pour obtenir unerécompense, nous avons démontré que des rats porteurs d’une lésion du MD n’étaient pascapables d’adapter leur comportement en fonction des changements de valeur de larécompense, confirmant ainsi le rôle fondamental du MD dans la représentation du but.Surla base de ce résultat, nous avons ensuite entrepris une étude d’anatomie descriptive visantà caractériser finement l’architecture des projections thalamocorticales issues du MD. Cetteétude nous a permis de démontrer que de multiples voies thalamocorticales issues du MDtrouvent leur origine dans des populations neuronales thalamiques essentiellementségrégées mais également que la région orbitofrontale était innervée par une régionthalamique méconnue, le thalamus submédian. Pour éprouver les fonctions de cesdifférentes voies, nous avons d’abord mis en place une stratégie d’inactivation réversible depopulations neuronales sélectionnées sur la base de leurs projections spécifiques par uneméthode pharmacogénétique conditionnelle. L’utilisation de cette méthode nous a permisde révéler que la capacité de l’animal à se représenter la valeur ou la relation actionrécompensedépend de la direction des échanges entre le MD et le cortex préfrontalmédian. Par ailleurs, une approche lésionnelle comparée plus classique nous a permisd’identifier un rôle fonctionnel spécifique du thalamus submédian dans la mise à jour descontingences Pavloviennes.12Pris dans leur ensemble, ces résultats sont en accord avec l’idée que des bouclesthalamocorticales distinctes sont impliquées dans les processus de prédiction et de contrôlede l’action nécessaires à une prise de décision adaptée. / Survival of living organisms depends on the ability to make decision adapted to theircurrent needs and desires. Such an ability results from the integration of multiple basiccognitive processes such as events prediction and action control. These processes are bestinvestigated within the framework of associative learning. Past research has demonstratedthat these processes are supported by a widespread neuronal circuit, in which the prefrontalcortex and his major afferent structure, the mediodorsal thalamus (MD), play a central role.In this context, this thesis work aimed at investigating the functional role of the exchangesbetween these two structures in decision making.In a first part of this work, we assessed the role of the MD in prediction and control.We showed that MD lesioned rats are unable to adapt their behavior to a change in rewardvalue, in an experimental procedure asking the integration of instrumental and Pavloviancontingencies. This result confirmed the fundamental role of MD in goal representation. As asecond step, we performed an anatomical study in order to characterize the architecture ofthe thalamocortical pathways arising from the MD. We first showed that multiplethalamocortical pathways originate from segregated neuronal populations within the MD.We also discovered a poorly known thalamic structure innervating the orbitofrontal cortex,the submedius nuclei. In order to understand the functional role of these pathways, we useda conditional chemogenetic technique aimed at inactivating neuronal populations selectedon the basis of their projections. Using this technique, we showed that the animal’s abilitiesto represent either the value or the action-reward relationship depend on the directionalityof MD and prefrontal cortex exchanges. Finally, we identified a specific role for thesubmedius nuclei in updating Pavlovian contingencies, by using a more classical lesioningapproach.Taken together, these results support the idea that decision making involved severalthalamocortical loops, differentially supporting prediction and action control.
208

Adaptive body biasing system for margins reduction using delay and temperature monitoring at near threshold operation / Conception à très faible tension en technologie avancée, vers une définition d'architecture de systèmes autonomes, optimisés spécifiquement pour la faible tension comprenant la compensation des conditions environnementales et la variabilité

Saligane, Mehdi 21 September 2016 (has links)
La conception de circuit à très faible tension d'alimentation est un moyen depuis longtemps connu pour diminuer la consommation d'énergie des circuits pour un même service rendu [VITTOZ weak inversion]. La faible tension permet de gagner à la fois en courant de fuite [K ROY leakage] et surtout en courant dynamique qui reste la partie de l'énergie consommée la plus ardue a maîtriser. Elle s'accompagne d'un délai multiplié par plusieurs ordres de grandeur et une sensibilité accrue aux variations de paramètres des dispositifs. Cette variation étant plus grande dans les technologies récentes, la conception à très faible tension était jusqu'à récemment limitée aux nœuds technologiques en deçà de 40nm, mais des avancées récentes en technologie 32nm ont été publiés [TI ISSCC2011]. Un premier travail de thèse [ABOUZEID PhD], a permis de confirmer la faisabilité de la conception de circuit ULV. Plus précisément ont été démontrées : · une méthodologie de conception de cellules logiques en technologie 90nm, 65nm, 45nm et 40nm · une adaptation des flots automatiques d'implémentation et de vérification en 40nm · un précurseur de SRAM en CMOS65nm Sur cette base le présent travail de thèse consistera en l'élargissement de l'éventail du champ de conception ULV vers la gestion d'alimentation, la compensation des conditions environnementales et l'optimisation architecturale afin de préparer l'industrialisation de futures applications ULV. / IoT applications continue to push towards ultra-low-power constrained ASICs, creating severe challenges to achieve sufficient power efficiency in extreme Voltage and Temperature conditions. Thus, it is necessary to build closed-loop compensation systems that are autonomous to environmental conditions especially temperature at sub-threshold regime. Two major work are proposed: an adaptive techniques that allow to enhance the performance of designs that leverage aggressive voltage scaling. we fully exploits the FD-SOI 28nm technology dual gate capabilities to both attain optimal power efficiency points and compensate for gradual changes in overall device performance due to process, voltage, and temperature variations. Our proposed compensation Unit system is a fully-digital error-prediction solution providing a compromise between industry reliability requirements and manufacturing guard-band reduction with low-invasiveness and post-silicon tunability. Critical-Paths timing monitors are distributed across the processor and tuned to match the closest critical paths. A programmable workload emulator allows to adapt and take into account the processor tasks. Generated warning Flags due to V-T variations are analyzed based on an adjustable warning rate and body bias is adapted correspondingly. Based on the operation voltage, either fine or coarse body biasing can be activated for compensation. The second part of this thesis addresses on-chip temperature monitoring that plagues aggressively voltage scaled ASICs. We propose to closely monitor temperature fluctuations at low-voltage but also hot-spot detection at nominal and over-drive supply voltage conditions.
209

Combiner approches statique et dynamique pour modéliser la performance de boucles HPC / Combining static and dynamic approaches to model loop performance in HPC

Palomares, Vincent 21 September 2015 (has links)
La complexité des CPUs s’est accrue considérablement depuis leurs débuts, introduisant des mécanismes comme le renommage de registres, l’exécution dans le désordre, la vectorisation, les préfetchers et les environnements multi-coeurs pour améliorer les performances avec chaque nouvelle génération de processeurs. Cependant, la difficulté a suivi la même tendance pour ce qui est a) d’utiliser ces mêmes mécanismes à leur plein potentiel, b) d’évaluer si un programme utilise une machine correctement, ou c) de savoir si le design d’un processeur répond bien aux besoins des utilisateurs.Cette thèse porte sur l’amélioration de l’observabilité des facteurs limitants dans les boucles de calcul intensif, ainsi que leurs interactions au sein de microarchitectures modernes.Nous introduirons d’abord un framework combinant CQA et DECAN (des outils d’analyse respectivement statique et dynamique) pour obtenir des métriques détaillées de performance sur des petits codelets et dans divers scénarios d’exécution.Nous présenterons ensuite PAMDA, une méthodologie d’analyse de performance tirant partie de l’analyse de codelets pour détecter d’éventuels problèmes de performance dans des applications de calcul à haute performance et en guider la résolution.Un travail permettant au modèle linéaire Cape de couvrir la microarchitecture Sandy Bridge de façon détaillée sera décrit, lui donnant plus de flexibilité pour effectuer du codesign matériel / logiciel. Il sera mis en pratique dans VP3, un outil évaluant les gains de performance atteignables en vectorisant des boucles.Nous décrirons finalement UFS, une approche combinant analyse statique et simulation au cycle près pour permettre l’estimation rapide du temps d’exécution d’une boucle en prenant en compte certaines des limites de l’exécution en désordre dans des microarchitectures modernes / The complexity of CPUs has increased considerably since their beginnings, introducing mechanisms such as register renaming, out-of-order execution, vectorization,prefetchers and multi-core environments to keep performance rising with each product generation. However, so has the difficulty in making proper use of all these mechanisms, or even evaluating whether one’s program makes good use of a machine,whether users’ needs match a CPU’s design, or, for CPU architects, knowing how each feature really affects customers.This thesis focuses on increasing the observability of potential bottlenecks inHPC computational loops and how they relate to each other in modern microarchitectures.We will first introduce a framework combining CQA and DECAN (respectively static and dynamic analysis tools) to get detailed performance metrics on smallcodelets in various execution scenarios.We will then present PAMDA, a performance analysis methodology leveraging elements obtained from codelet analysis to detect potential performance problems in HPC applications and help resolve them. A work extending the Cape linear model to better cover Sandy Bridge and give it more flexibility for HW/SW codesign purposes will also be described. It will bedirectly used in VP3, a tool evaluating the performance gains vectorizing loops could provide.Finally, we will describe UFS, an approach combining static analysis and cycle accurate simulation to very quickly estimate a loop’s execution time while accounting for out-of-order limitations in modern CPUs
210

Étude de l’évolution de la réactivité des matériaux porteurs d’oxygène dans un procédé de combustion en boucle chimique / Study of the reactivity evolution of oxygen carriers in a chemical looping combustion process

Tilland, Airy 04 December 2015 (has links)
Le procédé de captage du dioxyde de carbone (CO2) par combustion fonctionnant en boucle chimique (Chemical Looping Combustion (CLC)) permet de produire de l’énergie à partir du méthane tout en captant le CO2 produit par la combustion. Ce procédé met en oeuvre un matériau porteur d’oxygène (NiO/NiAl2O4) qui est utilisé pour fournir de l’oxygène lors de la combustion du méthane et qui est ensuite régénéré sous air. Le matériau utilisé se dégrade au cours du temps ce qui accroît les coûts du procédé et diminue ses performances. L’étude présentée ici a pour objectif de déterminer quel est l’impact des phénomènes thermiques et chimiques sur la dégradation du matériau porteur d’oxygène. Les mécanismes réactionnels représentant la réduction et l’oxydation du porteur d’oxygène ont été déterminés et validés grâce à des études expérimentales et à la modélisation d’un réacteur parfaitement auto-agité (RPAA) et d’un réacteur à écoulement piston. L’importance du contrôle du dépôt de carbone dans le procédé a été démontrée. Ensuite, les paramètres cinétiques des réactions représentant la réduction de l’oxyde de nickel ont pu être déterminés grâce à un modèle original du RPAA, puis validés dans le réacteur piston. L’intérêt du RPAA pour la détermination de paramètres cinétiques dans le cas du procédé CLC a été présenté. Les paramètres obtenus permettent de prédire de manière correcte toutes les réactions même si un travail complémentaire est nécessaire pour obtenir une meilleure précision des résultats. Finalement, un mécanisme de dégradation du matériau porteur d’oxygène déduit des résultats expérimentaux a été proposé. Ce mécanisme décrit la production importante de fines particules se dissociant des grains et leur rôle dans les phénomènes d’agglomération observés. Le matériau support, supposé inerte, jouerait un rôle dans l’apport d’oxygène. La méthodologie développée dans ce travail pourrait être adaptée à l’analyse et la caractérisation d’autres matériaux porteurs d’oxygène / The Chemical Looping Combustion (CLC) process produces energy by combustion of methane while capturing the carbon dioxide (CO2). An oxygen carrier (NiO/NiAl2O4) is used to deliver oxygen during the combustion of methane. It is then regenerated by air. The oxygen carrier material degrades over time, which increases the costs of the process and reduces its performance. The present study aims at determining the impacts of thermal and chemical phenomena on the oxygen carrier degradations. The reaction mechanisms corresponding to the reduction and oxidation of the oxygen carrier are determined and validated through experimental studies and the modeling of a continuously auto-stirred tank reactor (CASTR) and a plug flow reactor. The importance of controlling the quantity of deposited carbon in the process is illustrated. Then, the kinetic parameters of the reactions representing the reduction of nickel oxide are determined with an original model of the CASTR and validated in the plug flow reactor. The interest of using the CASTR for the determination of kinetic constants of the reactions involved in CLC process is presented. The obtained parameters give a good description of all reactions even if additional work is required to obtain a better precision of the results. Finally, a degradation mechanism of the oxygen carrier has been proposed. This mechanism describes the large production of fine particles separated from the grains and their role in the observed agglomeration phenomena. The support material, supposed to be inert, provides some of its oxygen. The methodology developed in this work could be adapted for the analysis and the characterization of other oxygen-carriers

Page generated in 0.0606 seconds