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.
Liste complète des métadonnées

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-00917323
Contributor : Walid Belkhir <>
Submitted on : Thursday, December 12, 2013 - 10:31:01 AM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Document(s) archivé(s) le : Friday, March 14, 2014 - 11:01:11 AM

File

0.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

476

Files downloads

196