Modelica软件中微分代数方程指标约简算法分析.pdfVIP

130 2010，31(1) 计算机工程与设计 ComputerEngineeringandDesign ·软件与算法 · Modelica软件中微分代数方程指标约简算法分析 阳海军 (1．中国科学院软件研究所 计算机科学重点实验室，北京 100190；2．中国科学院研究生院，北京 100049) 摘 要：Modelica建模软件会产生高指标的微分代数方程 (DAE)，因为现有数值求解器一般不能直接对 高指标DAE进行求 解，所 以Modelica建模软件必须对高指标DAE进行指标约简 为提 高Modelica建模软件性能，针对现有指标约简算法，展开 了理论分析和实验比较，着重对 负权二部图算法进行 了详细分析，并给出了负权二部图算法的时间复杂度。理论分析和实 验结果表 明，负权二部图算法相对 Pantelides算法有较好的性能，因此可以考虑在Modelica建模软件 中使用负权二部 图算法 来提高性能。 关键词 ：Modelica；微分代数方程 ；微分指标 ；高指标DAE；指标约简 中图法分类号：TP301．6 文献标识码：A 文章编号：1000—7024(2010)01—0130—04 Indexreductionalgorithm analysisofalgebraicdifferentialequationform Modelicasoftware YANGHai-junI (1．KeyLabofComputerScience，InstituteofSoftware，ChineseAcademyofSciences，Beijing100190，China； 2．GraduateUniversity,ChineseAcademyofSciences，Beijing100049，China) Abstract：ModelicamodelingsoftwareprobablyproducehighindexDAE，becauseexistingsolvercan’tsolvehighindexDAEdirectly, ModelicamodelingsoftwareneedtodoindexreductionforDAE， inordertoimproveperformnaceofmodelingsoftware，aimingat existingindexreductionalgorithms，theoryna alysisna dexperimentcomparisoniscarriedout，specially,timecomplexityofweighted bipartitealgoritmh isgiven．Theory naalysisna dexperimentalresultsshow thatweightedbipartitealgorithm havebetterperfomr nace thanPantelidesalgorithm，SOitispossibletoimproveperfomr anceusingbipartitealgoritmh insteadofPnatelidesalgoritmh inModelica softwraeinfuture． Keywords：Modelica；algebraicdifferentialequation；differentialindex；highindexDAE；indexreduction 进行拓扑排序 ，降低求解复杂度 ；优化模块消除冗余方程并对 0 引 言 DAE进行指标约简：代码生成模块产生C代码；编译 C代码 随着产品设计的复杂化，应用领域 中的数学建模和仿真 并链接到DAE求解器便得到可执行程序。 越来越重要 。传统建模方法基于赋值语句 ，主要考虑单一系 陈述式非因果建模的特性使得基于Modelica的建模软件 统，很难满足复杂产 品设计 的需要 。欧洲仿真界的学者在总 形成 的 DAE一般是高指标 的。虽然存在一些针对特殊结构 结现有建模方法的基础上于 1997年推