-
Unification and combination of iterative insertion strategies with rudimentary traversals and failure
Authors:
Walid Belkhir,
Nicolas Ratier,
Duy Duc Nguyen Michel Lenczner
Abstract:
We introduce a new class of extensions of terms that consists in navigation strategies and insertion of contexts. We introduce an operation of combination on this class which is associative, admits a neutral element and so that each extension is idempotent. The class of extension is also shown to be closed by combination, with a constructive proof. This new framework is general and independent of…
▽ More
We introduce a new class of extensions of terms that consists in navigation strategies and insertion of contexts. We introduce an operation of combination on this class which is associative, admits a neutral element and so that each extension is idempotent. The class of extension is also shown to be closed by combination, with a constructive proof. This new framework is general and independent of any application semantics. However it has been introduced for the kernel of a software tool which aims at aiding derivation of multiscale partial differential equation models.
△ Less
Submitted 16 April, 2019;
originally announced April 2019.
-
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
Authors:
Walid Belkhir,
Nicolas Ratier,
Duy Duc Nguyen,
Michel Lenczner
Abstract:
Motivated by an ongoing project on computer aided derivation of asymptotic models governed by partial differential equations, we introduce a class of term transformations that consists of traversal strategies and insertion of contexts. We define unification and combination operations on this class which amount to merging transformations in order to obtain more complex ones. We show that the unific…
▽ More
Motivated by an ongoing project on computer aided derivation of asymptotic models governed by partial differential equations, we introduce a class of term transformations that consists of traversal strategies and insertion of contexts. We define unification and combination operations on this class which amount to merging transformations in order to obtain more complex ones. We show that the unification and combination operations enjoy nice algebraic properties like associativity, congruence and the existence of neutral elements. The main part of this paper is devoted to proving that the unification and combination operations are correct.
△ Less
Submitted 14 December, 2021; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework
Authors:
Bin Yang,
Walid Belkhir,
Michel Lenczner
Abstract:
We introduce a framework for computer-aided derivation of multi-scale models. It relies on a combination of an asymptotic method used in the field of partial differential equations with term rewriting techniques coming from computer science.
In our approach, a multi-scale model derivation is characterized by the features taken into account in the asymptotic analysis. Its formulation consists in…
▽ More
We introduce a framework for computer-aided derivation of multi-scale models. It relies on a combination of an asymptotic method used in the field of partial differential equations with term rewriting techniques coming from computer science.
In our approach, a multi-scale model derivation is characterized by the features taken into account in the asymptotic analysis. Its formulation consists in a derivation of a reference model associated to an elementary nominal model, and in a set of transformations to apply to this proof until it takes into account the wanted features. In addition to the reference model proof, the framework includes first order rewriting principles designed for asymptotic model derivations, and second order rewriting principles dedicated to transformations of model derivations. We apply the method to generate a family of homogenized models for second order elliptic equations with periodic coefficients that could be posed in multi-dimensional domains, with possibly multi-domains and/or thin domains.
△ Less
Submitted 9 February, 2013;
originally announced February 2013.
-
A Symbolic Transformation Language and its Application to a Multiscale Method
Authors:
Walid Belkhir,
Alain Giorgetti,
Michel Lenczner
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 acco…
▽ More
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.
△ Less
Submitted 10 December, 2013; v1 submitted 17 January, 2011;
originally announced January 2011.