论文部分内容阅读
QSIM算法针对的是连续函数,无法处理不同状态满足不同约束的问题.PQSIM算法作了相应改进,增加两个新的约束:判断约束IF和赋值约束EQ,限定约束作用的状态集合,从而可以有效地对分段函数系统进行定性仿真.本文给出实例验证算法的正确性,算法时间复杂性证明PQSIM算法是一个高效的定性仿真算法.