基于平衡原理的陈述式模型相容性检测

摘要

模型的相容性检测是陈述式建模的一个关键问题。针对面向系统仿真的陈述式建模语言，阐述了基于方程的陈述式建模思想，探讨了模型连接的内在机理与本质特性.基于模型交互的能量流平衡原理，阐述了平衡模型的概念，给出了遵循单赋值规则的模型相容性检测方法。该方法通过计算二部图匹配判定模型是否相容，通过计算模型的方程数与变量数，自顶向下地分析模型构件的相容性，定位模型的奇异构件.