微分代数系统中分块快速指标约简的启发式算法.PDF

( ) 46 4 四川大学学报 工程科学版 Vol． 46 No． 4 第 卷第 期 20 14 7 JOUＲNAL OF SICHUAN UNIVEＲSITY (ENGINEEＲING SCIENCE EDITION) July 20 14 年 月  文章编号:1009-3087 (2014)04-0067-08 微分代数系统中分块快速指标约简的启发式算法 1，2 ，3 1 1 1* ， ， ， 唐 卷 杨文强 吴文渊 冯 勇 (1． ， 4007 14 ; 中国科学院重庆绿色智能技术研究院 自动推理与认知重庆市重点实验室 重庆 2 ． ， 61004 1 ;3 ． ， 100049) 中国科学院成都计算机应用研究所 四川 成都 中国科学院大学 北京 : ， 摘 要 为了高效地优化多领域统一建模仿真软件中稀疏微分代数方程的指标约简技术 提出了一种分块快速指 。 ， 标约简的启发式算法 它的主要思想是将微分代数方程的符号矩阵进行块状上三角化 然后沿每一独立块状上三 ， Pryce 。 角化的子符号矩阵对角线方向 由上往下依次对其每一对角子方阵运用含参数 方法进行指标约简 大量数 ， ， Pryce 值实验结果表明 分块快速指标约简方法可以求出微分代数方程的最优偏移向量 其效率明显优于 方法的效 ， 。 ， 率 效率提高倍数与对角子方阵块数成正相关 进一步以数控冲床为例 对其微分代数方程采用分块快速指标约 ， ， 简算法进行指标约简 验证了该方法高效地解决了较大规模高指标微分代数方程的指标约简问题 便捷地获得了 该系统的最优偏移向量等结构信息。 : ; ; ;Pryce ; ; 关键词 多领域统一建模 微