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 prototyping the automatic generation of the combustion reactions mechanisms previously implemented in the EXGAS kinetic mechanism generator system. We describe how to express in ELAN acyclic and cyclic molecules, reactants, elementary reactions and the primary mechanism for acyclic species. Examples and generated outputs are given.
Work supported by Peugeot Citroën Automobiles.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Elan web site. http://elan.loria.fr.
Franz Baader and Tobias Nipkow. Term Rewriting and all That. Cambridge University Press, 1998.
Peter Borovanský, Hélène Kirchner, Pierre-Etienne Moreau, and Christophe Ringeissen. An overview of elan. In Claude Kirchner and Hélène Kirchner, editors, Electronic Notes in Theoretical Computer Science, volume 15. Elsevier Science Publishers, 2000.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J.F. Quesada. Towards maude 2.0. In Kokichi Futatsugi, editor, Electronic Notes in Theoretical Computer Science, volume 36. Elsevier Science Publishers, 2001.
Guy-Marie Côme. Gas-Phase Thermal Reactions. Chemical Engineering Kinetics. Kluwer Academic Publishers, 2001.
K. Futatsugi and A. Nakagawa. An overview of CAFE specification environment — an algebraic approach for creating, verifying, and maintaining formal specifications over networks. In Proceedings of the 1st IEEE Int. Conference on Formal Engineering Methods, 1997.
Pierre-Alexandre Glaude, Frédérique Battin-Leclerc, René Fournet, Valérie Warth, Guy-Marie Côme, and Gérard Scacchi. Construction and simplification model for the oxidation of alkanes. Combustion and Flame, 122:451–462, 2000.
Hélène Kirchner and Pierre-Etienne Moreau. Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative commutative theories. Journal of Functional Programming, 11(2):207–251, 2001.
Paul Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology (TOSEM), 2(2):176–201, 1993.
Pierre-Etienne Moreau. Rem (reduce elan machine): Core of the new elan compiler. In Leo Bachmair, editor, Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10–12, 2000, Proceedings, volume 1833 of Lecture Notes in Computer Science, pages 265–269. Springer, 2000.
Pierre-Etienne Moreau and Hélène Kirchner. A compiler for rewrite programs in associative-commutative theories. In Catuscia Palamidessi, Hugh Glaser, and Karl Meinke, editors, Principles of Declarative Programming, 10th International Symposium, PLILP’98 Held Jointly with the 7th International Conference, ALP’98, Pisa, Italy, September 16–18, 1998, Proceedings, volume 1490 of Lecture Notes in Computer Science, pages 230–249. Springer, 1998.
Artur Rakiewicz and Thanh N. Truong. Application of chemical graph theory for automated mechanism generation. accepted for publication, 2002.
E. Ranzi, T. Faravelli, P. Gaffuri, and A. Sogaro. Low-temperature combustion: automatic generation of primary oxydation reaction and lumping procedures. Combustion and Flame, 102:179, 1995.
Roberta G. Susnow, Anthony M. Dean, William H. Green, P. Peczak, and Linda J. Broadbelt. Rate-based construction of kinetic models for complex systems. The Journal of Physical Chemistry A, 101:3731–3740, 1997.
Valérie Warth, Frédérique Battin-Leclerc, René Fournet, Pierre-Alexandre Glaude, Guy-Marie Côme, and Gérard Scacchi. Computer based generation of reaction mechanisms for gas-phase oxidation. Computers and Chemistry, 24:541–560, 2000.
David Weininger. Smiles, a chemical language and information system. 1. introduction to methodology and encoding rules. Journal of Chemical Information and Computer Science, 28:31–36, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bournez, O., Côme, GM., Conraud, V., Kirchner, H., Ibānescu, L. (2003). Automated Generation of Kinetic Chemical Mechanisms Using Rewriting. In: Sloot, P.M.A., Abramson, D., Bogdanov, A.V., Gorbachev, Y.E., Dongarra, J.J., Zomaya, A.Y. (eds) Computational Science — ICCS 2003. ICCS 2003. Lecture Notes in Computer Science, vol 2659. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44863-2_37
Download citation
DOI: https://doi.org/10.1007/3-540-44863-2_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40196-4
Online ISBN: 978-3-540-44863-1
eBook Packages: Springer Book Archive