Programmation par règles et stratégies pour la génération automatique de mécanismes de combustion d'hydrocarbures polycycliques

par Liliana Ibănescu

Thèse de doctorat en Informatique

Sous la direction de Hélène Kirchner.

Soutenue en 2004

à Vandoeuvre-les-Nancy, INPL .


  • Résumé

    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.

  • Titre traduit

    Rule-based programming and strategies for automated generation of detailed kinetic models for gas phase combustion of polycyclic hydrocarbon molecules


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : XI-212 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 167-176. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université de Lorraine. Direction de la documentation et de l'édition. BU Ingénieurs.
  • Disponible pour le PEB
  • Cote : 2004 IBANESCU L.
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : IBANESCU p
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.