论文部分内容阅读
标准的QSIM算法，由于基于全局状态表示来描述、推理系统的行为。对于复杂系统推理求解时会产生不可控分枝问题。文章提出一种系统分解的仿真算法。将定性模型分解成称之为“单元”的子模型。对单元分别应用QSIM推理，对单元间的关系通过约束传播使得子模型推理一致。这种系统分解仿真算法可大大降低QSIM算法的不可控分枝，提高系统的仿真效率。