Computer-aided multiscale model derivation for MEMS arrays

We are currently developing software dedicated to multiscale and multiphysics modeling of arrays of micro and nanosystems. Unlike traditional software that is based on models built once and for all, here this is the software that constructs models. It is based on the mathematical Two-Scale Transform, a technique for asymptotic methods, together with formal specification and verification techniques in computer science, combining formal transformations and term rewriting and type theory. We aim at taking into account a wide range of geometries combining thin structures, periodic structures with the possibility of multiple nested scales and any combination of these features. In this paper we present the principle of our methods and our first results.

[1]  Claude Kirchner,et al.  A ρ-calculus of explicit constraint application , 2007, High. Order Symb. Comput..

[2]  Michel Lenczner,et al.  A two-scale model for an array of AFM's cantilever in the static case , 2007, Math. Comput. Model..

[3]  Juan Casado-Díaz,et al.  Two-scale convergence for nonlinear Dirichlet problems in perforated domains , 2000, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[4]  Doina Cioranescu,et al.  The Periodic Unfolding Method in Homogenization , 2008, SIAM J. Math. Anal..

[5]  Dongming Wang,et al.  Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving , 1998, AISC.

[6]  Clara Bertolissi,et al.  A Rewriting Calculus for Cyclic Higher-order Term Graphs , 2005, Electron. Notes Theor. Comput. Sci..

[7]  Doina Cioranescu,et al.  Periodic unfolding and homogenization , 2002 .

[8]  Claude Kirchner,et al.  The Rho Cube , 2001, FoSSaCS.

[9]  Reinhard Bündgen,et al.  Combining Computer Algebra and Rule Based Reasoning , 1994, AISMC.

[10]  Michel Lenczner,et al.  HOMOGENIZATION OF ELECTRICAL NETWORKS INCLUDING VOLTAGE-TO-VOLTAGE AMPLIFIERS , 1999 .

[11]  A. Bensoussan,et al.  Asymptotic analysis for periodic structures , 1979 .

[12]  Clara Bertolissi,et al.  A rewriting calculus for cyclic higher-order term graphs , 2004, Mathematical Structures in Computer Science.

[13]  Pierre-Etienne Moreau,et al.  Tom: Piggybacking Rewriting on Java , 2007, RTA.

[14]  Michel Lenczner.  Homogénéisation d'un circuit électrique , 1997 .

[15]  Herman Geuvers,et al.  Introduction to Type Theory , 2009, LerNet ALFA Summer School.

[16]  Claude Kirchner,et al.  A rho-Calculus of Explicit Constraint Application , 2004, WRLA.

[17]  William M. Farmer,et al.  A Basic Extended Simple Type Theory , 2003 .