摘要
QSIM算法针对的是连续函数 ,无法处理不同状态满足不同约束的问题 .PQSIM算法作了相应改进 ,增加两个新的约束 :判断约束 IF和赋值约束 EQ,限定约束作用的状态集合 ,从而可以有效地对分段函数系统进行定性仿真 .本文给出实例验证算法的正确性 ,算法时间复杂性证明
QISM algorithm requires that variables in the system must be continuous, so it can't solve the problem with different constraints in different states. PQSIM algorithm improves on this point. Two constraints are added to PQSIM, Constraint IF and Constraint EQ, to constrict the state sets effected by constraints. PQSIM can simulate the system with piecewise functions qualitatively and effectively. An instance is given to testify the correctness of this algorithm. At last we analyzed the complex of PQSIM to prove that it is a good algorithm.
出处
《信息与控制》
CSCD
北大核心
2001年第2期120-123,共4页
Information and Control
基金
国家自然科学基金资助项目! (批准号 :699740 3 8)
