Programmation par règles et stratégies pour la génération automatique de mécanismes de combustion d'hydrocarbures polycycliques / Liliana Ibanescu ; sous la direction de Hélène Kirchner

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Cinétique chimique -- Simulation par ordinateur

Réactions chimiques -- Mécanismes -- Simulation par ordinateur

Langages de programmation

Réécriture, Systèmes de (informatique)

Kirchner, Hélène (1952-....) (Directeur de thèse / thesis advisor)

Institut national polytechnique de Lorraine (1969-2012) (Organisme de soutenance / degree-grantor)

Relation : Programmation par règles et stratégies pour la génération automatique de mécanismes de combustion d'hydrocarbures polycycliques / Liliana Ibanescu ; sous la direction de Hélène Kirchner / Grenoble : Atelier national de reproduction des thèses , 2004

Résumé / Abstract : L'objectif de cette thèse est d'explorer l'utilisation des systèmes à base de règles et stratégies, pour un problème complexe de cinétique chimique: la génération automatique de mécanismes réactionnels. La thèse présente les concepts de base de la cinétique chimique, les problèmes chimiques et informatiques liés à la conception et à la validation d'un mécanisme réactionnel,. et propose une structure générale pour le générateur de mécanismes réactionnels appelé GasEI. La représentation des espèces chimiques utilise la notion de graphes moléculaires et leur codage par une structure de termes: les termes GasEI. Les réactions chimiques sont exprimées par des règles de réécriture sur des graphes moléculaires et codées par un ensemble de règles de réécriture conditionnelles sur les termes GasEI. Le langage de stratégies du système ELAN est utilisé pour exprimer l'enchaînement des réactions. Des validations chimiques qualitatives sont présentés pour des molécules acycliques et polycycliques

Résumé / Abstract : The primary objective ofthis thesis is to explore the approach ofusing rule-based systems and strategies, for a complex problem of chemical kinetic: the automated generation of reaction niechanisms. The thesis presents the basic concepts of the chemical kinetics, the chemical and computational problems related to the conception and validation of a reaction mechanism, and gives a general structure for the generator of reaction mechanisms called Ga sEl. The representation of the chemical species uses the notion of molecular graphs, encoded by a term structure called GasEI terms. The chemical reactions are expressed by rewriting roles on molecular graphs, encoded by a set of conditional rewriting roles on GasEI terms. The strategies language of the ELAN system is used to express the reactions chaining. Qualitative chemical validations are presented for acyclic and polycyclic molecules