A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms

Abstract : Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reactions and different generation algorithms. In parallel, several software systems based on rewriting have been developed for the easy modeling and prototyping of systems using rules controlled by strategies. This paper presents our current experience in using the rewrite system \ELAN\ for the automated generation of the combustion reactions mechanisms previously implemented in the \EXGAS\ kinetic mechanism generator system. We emphasize the benefits of using rewriting and rule-based programming controlled by strategies for the generation of kinetic mechanisms.
Type de document :
Communication dans un congrès
Robert Nieuwenhuis. 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, 2706, pp.30-45, 2003, Lecture Notes in Computer Science
Liste complète des métadonnées

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

Identifiants

  • HAL Id : inria-00099621, version 1

Collections

Citation

Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Mariana-Liliana Ibanescu. A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms. Robert Nieuwenhuis. 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, 2706, pp.30-45, 2003, Lecture Notes in Computer Science. 〈inria-00099621〉

Partager

Métriques

Consultations de la notice

126