Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 3

Liliana Ibanescu (1) , Olivier Bournez (1) , Hélène Kirchner (1) , Guy-Marie Côme , Gérard Scacchi , Valérie Conraud

1 PROTHEO - Constraints, automatic deduction and software properties proofs

Nous présentons dans ce rapport la troisième étape du projet GasEl, dont le but est la traduction dans le langage ELAN des réactions élémentaires génériques primaires. Nous présentons notre proposition pour la représentation interne des molécules en GasEl, ensuite nous présentons pour chaque classe de réactions: 1) la définition et des exemples, 2) les règles ELAN qui modélisent la réaction élémentaire générique primaire, 3) les résultats obtenus par GasEl pour les exemples considérés.

Mots clés: molecular graph; réécriture; rewriting; strategy; rule-based language; elan; automated generator of reaction mechanisms; stratégie; langage à base de règles; générateur automatique de mécanismes réactionnels; graphe moléculaire

Domaines: Autre [cs.OH]

Liliana Ibanescu, Olivier Bournez, Hélène Kirchner, Guy-Marie Côme, Gérard Scacchi, et al.. Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 3. [Contrat] A02-R-560 || ibanescu02b, 2002, 26 p. ⟨inria-00101048⟩