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
Type de document :
Rapport
[Contrat] A03-R-541 || ibanescu03b, 2003, 42 p
Liste complète des métadonnées
https://hal.inria.fr/inria-00099760
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:40:59
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00099760, version 1

Collections

INRIA | 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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

72

Contact


archive-ouverte@inria.fr