Actions
  • shareshare
  • link
  • cite
  • add
add
auto_awesome_motion View all 6 versions
Publication . Conference object . 2011

Formal methods for Multiscale models derivation

Dhara, Raj Narayan; Yang, Bin; Belkhir, Walid; Lenczner, Michel; Giorgetti, Alain;
English
Published: 29 Aug 2011
Publisher: HAL CCSD
Country: France
Abstract
International audience; 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 incomputer 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.
Subjects

[PHYS.MECA]Physics [physics]/Mechanics [physics], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Related Organizations
15 references, page 1 of 2

[1] M. Lenczner. Homog´en´eisation d'un circuit ´electrique. 324(9) :537-542, 1997. [OpenAIRE]

[2] J. Casado-D´ıaz. Two-scale convergence for nonlinear Dirichlet problems in perforated domains. Proc. Roy. Soc. Edinburgh Sect. A, 130(2) :249-276, 2000.

[3] D. Cioranescu, A. Damlamian, and G. Griso. Periodic unfolding and homogenization. C. R. Math. Acad. Sci. Paris, 335(1) :99-104, 2002.

[4] H. Cirstea, C. Kirchner, and L. Liquori. The rho cube. In F. Honsell and M. Miculan, editors, FoSSaCS, volume 2030 of Lecture Notes in Computer Science, pages 168-183. Springer, 2001.

[5] A. Bensoussan, J-L. Lions, and G. Papanicolaou. Asymptotic analysis for periodic structures, volume 5 of Stud. in Math. and its Appl. North-Holland Publishing Co., Amsterdam, 1978.

[6] P. G. Ciarlet. Mathematical elasticity. Vol. I, volume 20 of Studies in Mathematics and its Applications. North-Holland Publishing Co., Amsterdam, 1988.

[7] M. Lenczner and G. Senouci-Bereksi. Homogenization of electrical networks including voltageto-voltage amplifiers. Math. Models Methods Appl. Sci., 9(6) :899-932, 1999.

[8] J. Casado-D´ıaz. Two-scale convergence for nonlinear Dirichlet problems in perforated domains. Proc. Roy. Soc. Edinburgh Sect. A, 130(2) :249-276, 2000.

[9] M. Lenczner and R. C. Smith. A two-scale model for an array of AFM's cantilever in the static case. Mathematical and Computer Modelling, 46(5-6) :776-805, 2007. [OpenAIRE]

[10] D. Cioranescu, A. Damlamian, and G. Griso. The periodic unfolding method in homogenization. SIAM Journal on Mathematical Analysis, 40(4) :1585-1620, 2008. [OpenAIRE]

moresidebar