基于增强条件公式的主动规则集可终止性判定
【出 处】:《
计算机工程与科学
》
CSCD
2014年第36卷第1期 163-168页,共6页
【作 者】:
熊中敏
;
赵梦露
;
黄冬梅
【摘 要】
主动规则集的可终止性判定是一个研究热点问题,现有的基于触发图和活化图的方法没有考虑触发环所有所属规则能否在同一次执行中执行;现有的条件公式判定方法只能包含不可更新或有限次更新变量,当主动规则集只包含可有限次循环执行的触发环时,现有方法不能准确判定它是可终止的。为此,提出了触发环的执行序列的概念和建立包含可更新变量的增强条件公式的方法,新的判定方法将触发环和执行语义有机地结合在一起,较现有方法可以发现更多的可终止性情形,同时给出了新算法的可终止性和正确性证明。
相关热词搜索:
上一篇:基于样本一特征加权的可能性模糊核聚类算法
下一篇:《计算机工程与科学》征文通知