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 4

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 quatrième étape du projet GasEL, dont le but est la définition et le codage des règles de génération du mécanisme primaire: 1) nous présentons le problème de la génération de mécanismes primaires; 2) nous introduisons les opérateurs du système ELAN que nous utilisons pour le codage du mécanisme primaire en GasEl, codage présenté en détails dans ce rapport; 3) des commentaires sur la réduction a priori de la taille des mécanismes primaires sont faits; 4)la conclusion et les projets pour l'année 2003 sont présentés.
Type de document :
Rapport
[Contrat] A03-R-540 || ibanescu03a, 2003, 20 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099759
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:40:59
Dernière modification le : lundi 10 septembre 2018 - 12:32:04

Identifiants

  • HAL Id : inria-00099759, 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 4. [Contrat] A03-R-540 || ibanescu03a, 2003, 20 p. 〈inria-00099759〉

Partager

Métriques

Consultations de la notice

92