Publication de 6 numéros par an
ISSN Imprimer: 1543-1649
ISSN En ligne: 1940-4352
Indexed in
COMPUTER-AIDED DERIVATION OF MULTISCALE MODELS: A REWRITING FRAMEWORK
RÉSUMÉ
We introduce the first part of a framework for computer-aided derivation of multiscale 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 multiscale 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, second-order rewriting principles dedicated to elementary extensions of model derivations, and their combinations. The latter point is only briefly sketched and will be detailed in another work. We report implementation results regarding three simple extensions of the reference proof.
-
Arbogast, T., Douglas, Jr., J., and Hornung, U., Derivation of the double porosity model of single phase flow via homogenization theory. DOI: 10.1137/0521046
-
Baader, F. and Nipkow, T., Term Rewriting and All That.
-
Balland, E., Brauner, P., Kopetz, R., Moreau, P.-E., and Reilles, A., Tom: Piggybacking rewriting on Java. DOI: 10.1007/978-3-540-73449-9_5
-
Belkhir, W., Giorgetti, A., and Lenczner, M., A symbolic transformation language and its application to a multiscale method.
-
Bensoussan, A., Lions, J., and Papanicolaou, G., Asymptotic Methods for Periodic Structures.
-
Bertot, Y. and Castéran, P., Interactive Theorem Proving and Program Development. Coq‘Art: The Calculus of Inductive Constructions.
-
Borovansky, P., Kirchner, C., Kirchner, H., and Ringeissen, C., Rewriting with strategies in ELAN: A functional semantics. DOI: 10.1142/S0129054101000412
-
Bouchitte, G. and Bellieud, M., Homogenization of a soft elastic material reinforced by fibers.
-
Bourgeat, A., Luckhaus, S., and Mikelic, A., Convergence of the homogenization process for a double-porosity model of immiscible two-phase flow. DOI: 10.1137/S0036141094276457
-
Casado-Díaz, J., Two-scale convergence for nonlinear Dirichlet problems in perforated domains. DOI: 10.1017/S0308210500000147
-
Cioranescu, D. and Donato, P., An Introduction to Homogenization.
-
Cioranescu, D., Damlamian, A., and Griso, G., Periodic unfolding and homogenization. DOI: 10.1016/S1631-073X(02)02429-9
-
Cioranescu, D., Damlamian, A., and Griso, G., The periodic unfolding method in homogenization. DOI: 10.1137/080713148
-
Cirstea, H. and Kirchner, C., The rewriting calculus—Parts I and II.
-
Cirstea, H., Kirchner, C., Liquori, L., and Wack, B., Rewrite strategies in the rewriting calculus, Gramlich, B. and Lucas, S. (Eds.).
-
Cirstea, H., Faure, G., and Kirchner, C., A ρ-calculus of explicit constraint application. DOI: 10.1016/j.entcs.2004.06.029
-
Gascón, A., Godoy, G., and Jacquemard, F., Closure of tree automata languages under innermost rewriting. DOI: 10.1016/j.entcs.2009.03.033
-
Hui, H., Yakoubi, Y., Lenczner, M., Cogan, S., Meister, A., Favre, M., Couturier, R., and Domas, S., Modeling, filtering and optimization for AFM arrays. DOI: 10.1109/ESIME.2011.5765783
-
Hui, H., Lenczner, M., Pillet, E., and Cogan, S., A two-scale model for one-dimensional arrays of cantilevers and its verification. DOI: 10.1016/j.mechatronics.2011.09.010
-
Jikov, V., Zhikov, V., Kozlov, M., and Oleinik, O., Homogenization of Differential Operators and Integral Functionals. DOI: 10.1007/978-3-642-84659-5
-
Lenczner, M., Homogénéisation d‘un circuit électrique. DOI: 10.1016/S1251-8069(97)83186-7
-
Lenczner, M., Homogenization of linear spatially periodic electronic circuits. DOI: 10.3934/nhm.2006.1.467
-
Lenczner, M., A multiscale model for atomic force microscope array mechanical behavior. DOI: 10.1063/1.2710001
-
Lenczner, M. and Smith, R. C., A two-scale model for an array of AFM‘s cantilever in the static case. DOI: 10.1016/j.mcm.2006.12.028
-
Marino, D. and Millstein, T., A generic type-and-effect system. DOI: 10.1145/1481861.1481868
-
Slonneger, K. and Kurtz, B. L., Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach.
-
Tarski, A., A Lattice-theoretical fixpoint theorem and its applications.
-
Terese, Term Rewriting Systems.
-
Wong, W., A proof checker for HOL.
-
Duy Duc Nguyen , Belkhir Walid, Ratier Nicolas, Yang Bin, Lenczner Michel, Zamkotsian Frederic, Cirstea Horatiu, A multi-scale model of a Micro-Mirror Array and an automatic model derivation tool, 2015 16th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, 2015. Crossref
-
Belkhir Walid, Ratier Nicolas, Nguyen Duy Duc, Yang Bin, Lenczner Michel, Zamkotsian Frederic, Cirstea Horatiu, Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array, 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2015. Crossref
-
Belkhir Walid, Ratier Nicolas, Nguyen Duy Duc, Nguyen Nhat Binh Trinh, Lenczner Michel, Zamkotsian Frederic, A tool for aided multi-scale model derivation and its application to the simulation of a micro mirror array, 2017 18th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE), 2017. Crossref
-
Trinh Nguyen Nhat Binh, Lenczner Michel, Zamkotsian Frederic, Ratier Nicolas, A multiscale model of a two-dimensional micro-mirror array, 2018 19th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE), 2018. Crossref
-
Lenczner M., Belkhir W., Ratier N., Trinh N.B., Cavallier B., Automatic assembly of multiscale models and its application to a family of homogenized models of wave propagation through interfaces having a periodic structure, 2019 20th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE), 2019. Crossref
-
Belkhir Walid, Ratier Nicolas, Nguyen Duy Duc, Lenczner Michel, Unification and combination of a class of traversal strategies made with pattern matching and fixed-points, Journal of Logical and Algebraic Methods in Programming, 125, 2022. Crossref