计算机辅助多尺度模型推导：一个重写框架
摘要：计算机辅助多尺度模型推导的框架介绍 我们引入了一种组合了来自偏微分方程领域的渐近方法和计算机科学中的术语重写技术的框架。 在我们的方法中，多尺度模型的推导是由渐近分析中考虑的特征所决定的。它的表述包括对一个与基本名义模型相关联的参考模型的推导，以及对该证明进行的一系列转化，直到考虑到所需的特征为止。除了参考模型的证明外，该框架还包括为渐近模型推导设计的一阶重写原则，以及用于模型推导转化的二阶重写原则。我们将该方法应用于为带有周期系数的二阶椭圆方程生成一族同质化模型，这些模型可以在多维域中提出，并且可能具有多个域和/或薄域。
作者：Bin Yang, Walid Belkhir, Michel Lenczner
论文ID：1302.2224
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-02-12