微分代数系统结构化分析
李光远1
冯勇2
1.中国科学院大学,北京100049;中国科学院成都计算机应用研究所,四川成都6100412.中国科学院成都计算机应用研究所,四川成都,610041
摘要：对工程和科学问题进行建模和仿真的时候,人们常常很自然地会用微分代数系统对这些问题进行描述.为了检验微分代数系统的初始相容性并进行求解,对微分代数系统进行结构化分析非常重要.本文对经典的微分代数系统结构化分析方法进行了深入的研究;提出了一种新的结构化分析方法,可以高效地对大规模、高阶高指标的微分代数系统进行结构化分析,并快速检验其初始相容性;证明了该方法的终止性,分析了其最坏时间复杂度.该方法的关键在于对最大加权二部子图的使用,而最大加权二部子图则来源于原始系统的加权二部图.实验结果显示,该方法能高效地完成对微分代数系统的结构化分析.
关键词：微分代数系统结构化分析初始相容性加权二部图算法
分类号：TP273(自动化技术及设备)
论文发表日期：2017-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：9( 1019-1027 )
英文信息