Skip to Main content Skip to Navigation
Reports

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 5

Liliana Ibanescu 1 Hélène Kirchner 1 Olivier Bournez 1 Guy-Marie Côme Gérard Scacchi Valérie Conraud
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Nous présentons dans ce rapport les travaux qui ont été réalisés dans le cadre du projet GasEl pendant la période du 1er janvier au 30 juin 2003: 1) nous avons terminé le prototype du générateur de mécanisme primaire de combustion d'hydrocarbures polycycliques; 2) nous avons fait des tests sur plusieurs classes de molécules; 3) nous avons validé notre logiciel GasEl pour la combustion à haute température des alcanes et des cyclanes monosubstitués en faisant des comparaisons avec la sortie généré par EXGAS, pour les mêmes molécules; 4) nous avons soumis deux articles, pour deux conférences: ICCS 2003 et RTA'03, les articles étant inclus dans ce rapport.
Mots-clés : réécriture molecular graph 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
Document type :
Reports
Complete list of metadata
https://hal.inria.fr/inria-00099760
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 9:40:59 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM

Identifiers

  • HAL Id : inria-00099760, version 1

Collections

INRIA | CNRS | LARA | LORIA | UNIV-LORRAINE

Citation

Liliana Ibanescu, Hélène Kirchner, Olivier Bournez, 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 5. [Contrat] A03-R-541 || ibanescu03b, 2003, 42 p. ⟨inria-00099760⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

104

 

Contact                    Legal Notice                    Personal Data