Skip to Main content Skip to Navigation
New interface
Conference papers

Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures

Bin Yang 1 Walid Belkhir 2 Raj Narayan Dhara 1 Alain Giorgetti 2 Michel Lenczner 1 
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Multiphysics models of large arrays of micro- and nanosystems are too complex to be efficiently simulated by existing simulation software. Fortunately, asymptotic methods such as those based on two-scale convergence are applicable to homogenization of thin or periodic (i.e. array) structures. They generate simpler models tractable to simulation, but their application is long and requires a mathematical expertise. Our goal is to provide engineers with an implementation of this mathematical tool inside a modeling software.We follow therefore a multidisciplinary approach which combines a generalization and formalization effort of mathematical asymptotic methods, together with rewriting-based formal transformation techniques from computer science. This paper describes this approach, illustrates it with an example and presents the architecture of the software under design.
Document type :
Conference papers
Complete list of metadata
Contributor : Alain Giorgetti Connect in order to contact the contributor
Submitted on : Friday, November 16, 2012 - 6:17:08 PM
Last modification on : Friday, January 21, 2022 - 3:08:52 AM



Bin Yang, Walid Belkhir, Raj Narayan Dhara, Alain Giorgetti, Michel Lenczner. Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures. dMEMS 2012 - d Software Implementation for Distributed MEMS, Apr 2012, Besançon, France. pp.82-89, ⟨10.1109/dMEMS.2012.14⟩. ⟨hal-00753003⟩



Record views