• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 106
  • 48
  • 18
  • 14
  • 14
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 226
  • 66
  • 62
  • 46
  • 43
  • 40
  • 39
  • 35
  • 34
  • 33
  • 33
  • 29
  • 25
  • 24
  • 18
  • 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.
101

Chlorinated contaminants mitigation during pyro-gasification of wastes using CaO reactant : experimental and life cycle assessment / Abattement des contaminants chlorés lors de la pyro-gazéification de déchets en utilisant un réactif à base de CaO : étude expérimentale et analyse du cycle de vie

Tang, Yuanjun 27 November 2018 (has links)
Le traitement thermique des déchets municipaux suscite de plus en plus l’attention du fait des gains énergétiques et environnementaux associés. Cependant, du fait de la présence de composés chlorés (sels, plastiques) de l’acide chlorhydrique (HCl) est généralement produit lors de ce traitement et provoque des désagréments tels que la corrosion, la formation de contaminants organiques toxiques, une acidification, etc. De ce fait, le but du présent travail de thèse vise à étudier le rôle d’un réactif à base de CaO (oxyde de calcium) pour l’abattement in-situ des émissions de HCl issues du traitement thermique des déchets. Dans ce travail, l’absorption/réaction du gaz HCl par le lit catalytique de CaO a été étudiée expérimentalement et théoriquement. Tout d’abord, il a été montré que le lit de CaO conduit à un abattement significatif du HCl généré, formant une couche de CaCl2 en surface des particules de CaO. Cependant, la température opératoire est un facteur important du procédé, la capacité d’absorption de HCl diminuant de 778,9 à 173,9 mg/g-CaO en augmentant la température de 550 à 850°C. L’analyse cinétique de la réaction, en confrontant les données expérimentales à différents modèles de réaction de surface sur une particule, montre que la diffusion du gaz HCl au travers de la couche de CaCl2 (produit de la réaction de surface) est d’abord limitée par la réaction à l’interface puis par la diffusion de HCl dans cette couche poreuse en croissance. Pour simuler la génération de HCl in-situ par une source organique, la pyro-gazéification du PVC a été effectuée en présence ou en absence de CaO. Une modélisation des différentes étapes de la décomposition du PVC en présence de CaO a montré que l’énergie d’activation apparente de la réaction de déchlorination était légèrement augmentée (de 136,5 à152,6 kJ/mol) tandis que l’énergie apparente globale de la pyro-gazéification du PVC est diminuée de 197,3 à 148,9 kJ/mol en utilisant CaO. La génération in-situ de HCl a aussi été réalisée en utilisant un mélange modèle de déchets municipaux, contenant du chlore organique et inorganique. L’abattement en HCl a été évalué, et la nature chimique des goudrons a été analysée. En présence de CaO, la part de composés organiques oxygénés est réduite, améliorant ainsi la qualité des goudrons en vue d’un raffinage en bio-huile. Une approche par analyse de cycle de vie a aussi été réalisée pour la pyro-gazéification et l’incinération des déchets municipaux. La modélisation a été réalisée en envisageant 3 scénarios de déchlorination : (1) gazéification avec fusion des cendres puis une étape de traitement du chlore ex-situ à basse température, (2) gazéification suivie d’une étape d’épuration du chlore ex-situ à haute température, (3) gazéification couplée à une déchlorination in-situ en présence du réactif CaO. Ce dernier scénario hypothétique offre les meilleures performances environnementales (par exemple: acidification, réchauffement, émissions polluantes toxiques….) mais reste un modèle théorique et simplifié. / Thermal treatment of municipal solid waste (MSW) attracts increasing attention due to the associated environmental and energy benefits. However, due to the chlorinated components of the MSW (salts, plastics) hydrogen chloride (HCl) is usually generated and may cause corrosion, toxic organic contaminants formation, acidification, etc. The present study focuses on the reactivity of a calcium oxide (CaO) reactant for in-situ mitigation of released HCl from thermal treatment of MSW. In this work, sorption of HCl gas in CaO reactive bed has been experimentally and theoretically studied. First, it is shown that the use of CaO is effective to remove released HCl gas, by forming a CaCl2 layer at the surface of CaO particles. However, temperature of the reactor is a key process parameter, since the removal capacity of HCl decreases significantly from 778.9 to 173.9 mg/g-CaO with the increase of temperature from 550°C to 850°C. A kinetics analysis has been developed by comparing experimental data with models describing the reaction at the particle surface. It has been concluded that the sorption of HCl at the CaO particle surface is firstly limited by the heterogeneous gas-solid reaction, followed by the HCl diffusion through this porous growing layer. To simulate the in-situ generation of HCl from organic source, pyro-gasification of PVC has been performed with or without CaO addition. The experimental data have been then used for the modeling of the different PVC decomposition steps. Although the average apparent activation energy of pseudo dehydrochlorination reaction is increased from 136.5 kJ/mol to 152.6 kJ/mol with the addition of CaO, the apparent activation energy of the overall PVC decomposition has been decreased from 197.3 to 148.9 kJ/mol by using CaO reactant. In-situ generation of HCl from organic and inorganic sources has also been conducted using simulated MSW. HCl mitigation has been evaluated together with the chemical speciation of the produced tars. Using CaO, the amount of oxygenated organic compounds has been reduced, improving the quality of the tars for a further bio-oil upgrading. To complete the aforementioned works, life cycle assessment (LCA) of three typical pyro-gasification and incineration processes is conducted to compare their overall environmental sustainability. Moreover, pyro-gasification-based WtE systems with different dehydrochlorination strategies are further modeled: 1) conventional gasification system; 2) novel gasification coupled with ex-situ high temperature dehydrochlorination system; and 3) hypothetical gasification coupled with in-situ dehydrochlorination system. The obtained results could be applied to optimize the current waste pyro-gasification systems, with special focus on developing strategies for in-situ dehydrochlorination purpose.
102

Approximation et intersection des surfaces procédurales utilisées en C.A.O.

Chau, Stéphane 10 June 2008 (has links) (PDF)
Cette thèse porte sur un des problèmes majeurs issus du domaine de la Conception Assistée par Ordinateur (CAO) à savoir celui de l'intersection. On aborde cette problèmatique avec une approche novatrice passant par une nouvelle forme de représentation des surfaces dites \og procédurales \fg{}. Cette dernière se base sur des approximants plus fins que les triangles habituellement utilisés, il s'agit de carreaux de surfaces paramétrées polynomiales de bas degré. L'approximation ainsi obtenue possède des caractères intéressants en termes de qualité et de représentation. Cependant, la mise en oeuvre d'une telle stratégie nécessite l'élaboration d'outils adaptés. En particulier, pour le problème d'intersection, il faut savoir intersecter efficacement les approximants. Pour cela, une méthode algorithmique permet de se focaliser uniquement sur des configurations d'intersection \og pertinentes \fg{}. Plusieurs méthodes sur l'intersection des surfaces paramétrées polynomiales sont ensuite exposées de manière effective. Enfin, les aspects d'implémentation sont également abordés à travers l'intégration des algorithmes développés dans un modeleur algébrique géométrique.
103

Interopérabilité sémantique des connaissances des modèles de produits à base de features / Semantic interoperability of knowledge in feature-based CAD models

Abdul Ghafour, Samer 09 July 2009 (has links)
Dans un environnement collaboratif de développement de produit, plusieurs acteurs, ayant différents points de vue et intervenant dans plusieurs phases du cycle de vie de produit, doivent communiquer et échanger des connaissances entre eux. Ces connaissances, existant sous différents formats hétérogènes, incluent potentiellement plusieurs concepts tels que l’historique de conception, la structure du produit, les features, les paramètres, les contraintes, et d’autres informations sur le produit. Les exigences industrielles de réduction du temps et du coût de production nécessitent l’amélioration de l’interopérabilité sémantique entre les différents processus de développement afin de surmonter ces problèmes d’hétérogénéité tant au niveau syntaxique, structurel, que sémantique. Dans le domaine de la CAO, la plupart des méthodes existantes pour l’échange de données d’un modèle de produit sont, effectivement, basées sur le transfert des données géométriques. Cependant, ces données ne sont pas suffisantes pour saisir la sémantique des données, telle que l’intention de conception, ainsi que l’édition des modèles après leur échange. De ce fait, nous nous sommes intéressés à l’échange des modèles « intelligents », autrement dit, définis en termes d’historique de construction, de fonctions intelligentes de conception appelées features, y compris les paramètres et les contraintes. L’objectif de notre thèse est de concevoir des méthodes permettant d’améliorer l’interopérabilité sémantique des systèmes CAO moyennant les technologies du Web Sémantique comme les ontologies OWL DL et le langage des règles SWRL. Nous avons donc élaboré une approche d’échange basée sur une ontologie commune de features de conception, que nous avons appelée CDFO « Common Design Features Ontology », servant d’intermédiaire entre les différents systèmes CAO. Cette approche s’appuie principalement sur deux grandes étapes. La première étape consiste en une homogénéisation des formats de représentation des modèles CAO vers un format pivot, en l’occurrence OWL DL. Cette homogénéisation sert à traiter les hétérogénéités syntaxiques entre les formats des modèles. La deuxième étape consiste à définir des règles permettant la mise en correspondance sémantique entre les ontologies d’application de CAO et notre ontologie commune. Cette méthode de mise en correspondance se base principalement, d’une part, sur la définition explicite des axiomes et des règles de correspondance permettant l’alignement des entités de différentes ontologies, et d’autre part sur la reconnaissance automatique des correspondances sémantiques supplémentaires à l’aide des capacités de raisonnement fournies par les moteurs d’inférence basés sur les logiques de description. Enfin, notre méthode de mise en correspondance est enrichie par le développement d’une méthode de calcul de similarité sémantique appropriée pour le langage OWL DL, qui repose principalement sur les composants des entités en question tels que leur description et leur contexte. / A major issue in product development is the exchange and sharing of product knowledge among many actors. This knowledge includes many concepts such as design history, component structure, features, parameters, constraints, and more. Heterogeneous tools and multiple designers are frequently involved in collaborative product development, and designers often use their own terms and definitions to represent a product design. Thus, to efficiently share design information among multiple designers, the design intent should be persistently captured and the semantics of the modeling terms should be semantically processed both by design collaborators and intelligent systems. Regarding CAD models, most of the current CAD systems provide feature-based design for the construction of solid models. Features are devised to carry, semantically, product information throughout its life cycle. Consequently, features should be maintained in a CAD model during its migration among different applications. However, existing solutions for exchanging product information are limited to the process of geometrical data, where semantics assigned to product model are completely lost during the translation process. Current standards, such as ISO 10303, known as STEP have attempted to solve this problem, but they define only syntactic data representation so that semantic data integration is not possible. Moreover, STEP does not provide a sound basis to reason with knowledge. Our research investigates the use of Semantic Web technologies, such as ontologies and rule languages; e.g. SWRL, for the exchange of “intelligent” CAD models among different systems, while maintaining the original relations among entities of the model. Thus, we have proposed an ontological approach based on the construction of a common design features ontology, used as an Interlingua for the exchange of product data. This ontology is represented formally with OWL DL. Furthermore, axioms and mapping rules are defined to achieve the semantic integration between the applications ontologies and the common ontology. The integration process relies basically on reasoning capabilities provided by description logics in order to recognize automatically additional mappings among ontologies entities. Furthermore, the mapping process is enhanced with a semantic similarity measure in order to detect similar design features. However, this will enable data analysis, as well as manage and discover implicit relationships among product data based on semantic modeling and reasoning.
104

Simulation inverse de l'éclairage naturel pour le projet architectural

Tourre, Vincent 18 October 2007 (has links) (PDF)
Ce travail de recherche concerne un modèle de simulation inverse de l'éclairage permettant la prise en compte de la lumière naturelle dans le projet architectural. Notre objectif est de développer une méthode numérique d'aide à la « conception par l'intention d'ambiance » qui s'apparente à la conception paramétrique. Cette recherche est focalisée sur la lumière incidente provenant de la voûte céleste et de l'environnement urbain. <br /><br />Nous proposons une méthode qui concrétise les intentions d'ambiance lumineuse, par la production des propriétés géométriques et photométriques des ouvertures. Cette méthode s'attache tout d'abord à matérialiser les intentions d'ambiance lumineuse dans une scène 3d, par un rendu photométrique et des descripteurs graphiques. L'action sur ces descripteurs permet au concepteur d'exprimer ses intentions d'ambiance lumineuse à travers les paramètres physiques de l'éclairage.<br /><br />Un modèle de simulation inverse de l'éclairage utilise ensuite ces paramètres physiques pour calculer les ouvertures. Le problème de la simulation inverse est posé comme une recherche d'émittance de sources. Une comparaison d'images entre l'apport des sources lumineuses et l'éclairage souhaité, permet d'évaluer les propriétés des éléments d'ouverture, et par conséquent, de définir les ouvertures du bâtiment. Le modèle est validé par des tests de reconstruction d'ouverture. La confrontation à une situation réelle montre les possibilités d'intégration de cette méthode dans la conception architecturale.
105

Extension du langage LUSTRE et application à la conception de circuits : le langage LUSTRE-V4 et le système POLLUX

Rocheteau, Frédéric 29 June 1992 (has links) (PDF)
.
106

Réseau de cellules intégré : étude d'architectures pour des applications de CAO de VLSI

Cornu-Emieux, Renaud 27 September 1988 (has links) (PDF)
Le développement des techniques d'intégration permet de réaliser des circuits de 10**(5) a 10**(6) transistors et, dans un futur proche, des circuits encore plus complexes. Les problèmes de CAO deviennent donc de plus en plus ardus, comme la simulation logique ou le placement. Cette même évolution nous autorise a réaliser des machines parallèles très puissantes pour résoudre ces problèmes. Nous proposons l'architecture d'un réseau cellulaire asynchrone. Ce réseau, compose de nxn cellules dont chacune est physiquement connectée à ses quatre voisines, dispose d'un mécanisme de communication permettant l'acheminement de messages d'une cellule quelconque a n'importe quelle autre. Un circuit intégré, incluant un réseau de 2 x 2 cellules dédié à la simulation logique, a été réalisé. Utilisant cette architecture cellulaire nous avons développé un placeur, qui a partir d'une configuration initiale, minimise la longueur des connexions par échanges de paires. Nous avons aborde la manière dont le placement pourrait être amélioré par la méthode de recuit simule. Ces deux applications, différentes de l'architecture cellulaire, nous permettent de constater que beaucoup de parties sont communes aux deux circuits. Nous énonçons certaines règles de façon à rendre la conception plus rapide et plus sure
107

Compilation du silicium‎ : application à la compilation de partie contrôle

Varinot, Patrick 02 February 1987 (has links) (PDF)
.
108

Outils de CAO et conception structurée de systèmes intégrés sur siliciu

Rougeaux, François-René 02 February 1987 (has links) (PDF)
La représentation symbolique des masques de circuits intégrés est connue depuis environ quinze ans, mais n'est développée que depuis quelques années. Presque tous les systèmes de CAO développés récemment font usage d'une représentation symbolique des masques de circuits afin de simplifier la conception. Dans cette thèse, un système symbolique hiérarchique de dessin des masques est décrit. Un langage de description et un environnement graphique sont présentés. L'environnement graphique est utilise pour l'édition de cellules et de blocs, hiérarchiquement. Le langage textuel peut être considéré comme le langage cible de tous les outils de synthèse ou de compilation qui sont développés dans le cadre d'un système intégré de CAO VLSI. Une représentation métrique des circuits est donnée, et un "assembleur de silicium" qui permet le dessin hiérarchique de cellules fonctionnelles en accord avec les structures d'interconnexions de base, est décrit. Par un programme Lisp le concepteur définit comment les cellules feuilles doivent être assemblées pour réaliser la fonction désirée. Ainsi des cellules fonctionnelles peuvent être générées, avec une représentation symbolique et une fonctionnalité déterminée.
109

Optimisation des méthodes d'implantation automatisée sur les réseaux structurés

Bellon, Alain 12 December 1984 (has links) (PDF)
Étude des méthodes de placements : évaluation des critères d'optimisation, et fonction du cout de placement. Présentation des heuristiques de placement suivant une classification synthétique afin de mettre en évidence leurs avantages, leurs inconvénients et leurs domaines d'application. Principes d'adaptation des méthodes de placement au traitement des réseaux structurés. Implantation des connexions dans les structures à canaux d'interconnexion. Détail des stratégies basées sur une décomposition du traitement en deux phases successives. Étude en particulier des méthodes de tracé global sur les réseaux prédiffusés. Présentation d'un système d'implantation automatise sur les réseaux de cellules prédiffusés structurés en matrice de macro-site.
110

Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones

Nemmour, Mohamed 03 December 1981 (has links) (PDF)
.

Page generated in 0.0584 seconds