面向半物理仿真的陈述式模型求解方法研究  

A method for solving semi-physical simulation declarative models

作　　者：熊涛[1] 丁建完[1] 陈立平[1] 

机构地区：[1]华中科技大学国家CAD支撑软件工程技术研究中心,湖北武汉430074

出　　处：《计算机工程与科学》2015年第8期1540-1545,共6页Computer Engineering & Science

基　　金：国家科技支撑计划资助项目(2012BAF16G02)

摘　　要：通过符号操作和数值计算相结合,提出了一种求解半物理仿真模型的新方法。为了满足半物理仿真对实时性的要求,在模型编译阶段将代表数值积分的隐式离散公式插入到仿真模型中,增广后的方程系统伴随着非线性方程的出现,需要在积分的每一步对这些非线性方程进行迭代求解,而求解非线性方程的时间复杂度随维度的变大成指数增加,因此引入代数环撕裂减小代数方程块耦合变量数,以满足实时求解对粒度的要求。最后通过实例对文中提出的方法进行了验证。We propose a new method for solving semi-physical simulation models using a mixed symbolic and numeric approach. In order to meet the real-time requirement of semi-physical simulations, implicit discretization formulae representing the numerical integration algorithm are inserted into the DAEs symbolically at compile stage. Then nonlinear equations will appear in the augmented equation system and all these nonlinear equations should be solved together at each integration step. In order to meet the fine granularity required for solving the models in real-time, tearing algebraic loop is introduced. After that the dimensions of nonlinear equation blocks can be reduced as the time complexity of calculating nonlinear equations increases exponentially with the growth of dimensions. Finally, an example is given to show that the proposed method is not only easy to implement but also efficient.

关 键 词：半物理仿真 微分代数离散 代数环撕裂 实时积分 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]