论文部分内容阅读
对多领域建模与协同模型的相容性分析是系统仿真设计中的一个重要部分。针对陈述式物理建模语言模型的检验方法,都是从整个模型出发,研究模型内所有方程和变量之间的关系。但是当系统所包含的方程和变量比较多时,方法在分析过程中容易出错。现提出了一种以模块为研究对象的模型检验的新方法。它将系统划分为多个子模块,将各个模块内部和模块之间的约束关系表示为二部图的形式,以DM分解为基本算法,来分析模型的约束性,从而确定系统模型的正确性。由于每个分析过程只涉及一小部分方程和变量,因此,大大减小了出错的几率。通过一个分析实