结合区间和时域信息的定性模拟方法

针对传统ＱＳ方法中存在的歧义分枝问题，希望能利用区间定量信息和时域信息来减少模拟过程中的歧义性．在传统ＱＳＩＭ算法的基础上，提出了区间界标的概念和区间传播算法，并给出了有效表达时域信息的时域逻辑谓词，最后以一个水库管理的实例来说明如何利用区间信息和时域信息进行定性模拟

THE METHOD OF QUALITATIVE SIMULATION COMBINING WITH INTERVAL AND TEMPORAL INFORMATION

In this paper,we consider the interval as incomplete quantitative knowledge and utilize temporal logic predicates as temporal information to solve the ambiguous branches problem existing in the traditional QS method.Based on the QSIM algorithm,we propose the concept of interval landmark and a novel interval propagation algorithm,meanwhile,two important temporal logic predicates are given to represent the temporal information.Finally,we choose the reservoir management problem as an example to show the effects of using the interval and temporal information during simulation process.