组合松弛算法的关键实现技术.doc

PAGE 7 组合松弛理论在DAE仿真算法中的应用 吴学凇1 ，曾艳1,2 ，曹建文1 (1.中国科学院软件研究所 并行软件和计算科学实验室，北京100190；2.中国科学院研究生院，北京100049) 摘要：多领域统一建模是复杂系统建模仿真的一个重要发展方向。Modelica是目前流行的多领域建模语言，它基于数学方程描述复杂系统，对建模产生的高指标的微分代数方程（DAE）进行数值求解，进而实现系统的仿真。但是在这个过程中，高指标DAE系统的关键求解步骤—基于结构指标的指标约简会小概率地发生失效。通过组合松弛理论，分析了DAE系统仿真求解中指标约简算法失效的问题，阐述了结构指标约简失效的检测和修正的算法。为了将该算法与基于Modelica的建模仿真平台相结合，提高DAE系统结构指标约简算法的稳定性，分析了实现关键技术所需的相关算法，给出了具体实现的例子。 关键词：复杂系统；Modelica；微分代数方程；指标约简；组合松弛理论 中图分类号：TP391.9 The Application of the Combinatorial Relaxation Theory on the DAE Simulation Algorithm WU Xue-song 1, ZENG Yan 1,2, CAO Jian-wen 1 Laboratory of Parallel Softwa