A Symbolic Transformation Language and its Application to a Multiscale Method

Walid Belkhir 1 Alain Giorgetti 1, 2 Michel Lenczner 2
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : The context of this work is the design of a software, called MEMSALab, dedicated to the automatic derivation of multiscale models of arrays of micro- and nanosystems. In this domain a model is a partial differential equation. Multiscale methods approximate it by another partial differential equation which can be numerically simulated in a reasonable time. The challenge consists in taking into account a wide range of geometries combining thin and periodic structures with the possibility of multiple nested scales. In this paper we present a transformation language that will make the development of MEMSALab more feasible. It is proposed as a Maple package for rule-based programming, rewriting strategies and their combination with standard Maple code. We illustrate the practical interest of this language by using it to encode two examples of multiscale derivations, namely the two-scale limit of the derivative operator and the two-scale model of the stationary heat equation.
Type de document :
Article dans une revue
Journal of Symbolic Computation, Elsevier, 2014, 65, pp.49 - 78
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00917323
Contributeur : Walid Belkhir <>
Soumis le : jeudi 12 décembre 2013 - 10:31:01
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10
Document(s) archivé(s) le : vendredi 14 mars 2014 - 11:01:11

Fichier

0.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00917323, version 2

Citation

Walid Belkhir, Alain Giorgetti, Michel Lenczner. A Symbolic Transformation Language and its Application to a Multiscale Method. Journal of Symbolic Computation, Elsevier, 2014, 65, pp.49 - 78. 〈hal-00917323v2〉

Partager

Métriques

Consultations de la notice

450

Téléchargements de fichiers

167