Skip to Main content Skip to Navigation
New interface
Journal articles

A Symbolic Transformation Language and its Application to a Multiscale Method

Walid Belkhir 1 Alain Giorgetti 1 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.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Walid Belkhir Connect in order to contact the contributor
Submitted on : Thursday, December 12, 2013 - 10:31:01 AM
Last modification on : Friday, January 21, 2022 - 3:09:02 AM
Long-term archiving on: : Friday, March 14, 2014 - 11:01:11 AM


Files produced by the author(s)



Walid Belkhir, Alain Giorgetti, Michel Lenczner. A Symbolic Transformation Language and its Application to a Multiscale Method. Journal of Symbolic Computation, 2014, 65, pp.49 - 78. ⟨10.1016/j.jsc.2014.01.004⟩. ⟨hal-00917323v2⟩



Record views


Files downloads