A framework for computer-aided derivation of multi-scale model is under development. It relies on the combination of asymptotic methods 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 construction starts from a multi-scale model derivation of reference, corresponding to a very simple nominal problem, which is transformed to successively take into account all wanted features. So, in addition to the model derivation of reference, the derivation framework includes first order rewriting principles to achieve asymptotic model derivations, and second order rewriting principles for their transformations. The method will be able to generate a family of homogenized models for second order elliptic equations with periodic coefficients including thin domains and strongly varying coefficients. This principles are being implemented in the software package MEMSALab. |
|