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
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : 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.
Type de document :
Rapport
[Contrat] A02-R-560 || ibanescu02b, 2002, 26 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00101048
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:55:06
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

  • HAL Id : inria-00101048, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

131