摘要
针对传统ＱＳ方法中存在的歧义分枝问题，希望能利用区间定量信息和时域信息来减少模拟过程中的歧义性．在传统ＱＳＩＭ算法的基础上，提出了区间界标的概念和区间传播算法，并给出了有效表达时域信息的时域逻辑谓词。
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.
出处
《系统工程学报》
CSCD
1997年第2期19-25,共7页
Journal of Systems Engineering
基金
国家教委博士点基金
