首页> 中文期刊> 《哈尔滨工业大学学报》 >基于条件公式的主动规则集可终止性判定

基于条件公式的主动规则集可终止性判定

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对利用触发图和活化图的方法来判定主动规则集的可终止性存在一定的局限性,从而影响了运行阶段规则系统的执行效率并限制了主动规则在众多领域中的灵活应用的问题.提出了利用基于活化路径建立的条件公式进行判定的方法,结果表明该方法可以比现有方法发现更多的可终止性情形.对主动规则集的设计和应用具有一定的意义.

著录项

来源
《哈尔滨工业大学学报》 |2009年第5期|221-225|共5页
作者
熊中敏; 郝忠孝;
展开▼
作者单位

哈尔滨理工大学计算机与控制学院,哈尔滨,150080;

上海海洋大学,信息学院,上海,201306;

哈尔滨理工大学计算机与控制学院,哈尔滨,150080;

哈尔滨工业大学计算机科学与技术学院,哈尔滨,150001;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.131;
关键词
主动数据库; 规则分析; 活化路径; 条件公式; 可终止性;

相似文献

中文文献
外文文献
专利

1. 基于增强条件公式的主动规则集可终止性判定 [J] . 熊中敏 ,赵梦露 ,黄冬梅 . 计算机工程与科学 . 2014,第001期
2. 基于活化路径和条件公式的主动规则集可终止性判定方法 [J] . 熊中敏 ,郝忠孝 . 计算机研究与发展 . 2006,第005期
3. 基于联合公式的规则集终止性判定算法 [J] . 刘泓漫 . 上海电机学院学报 . 2006,第002期
4. 基于条件冲突分析的主动规则集汇流性判定方法 [J] . 熊中敏 ,朱吉光 ,李长绩 . 计算机科学 . 2016,第005期
5. 基于活化路径同步关系的规则集可终止性判定 [J] . 熊中敏 ,郝忠孝 . 哈尔滨工程大学学报 . 2006,第004期
6. 基于模糊元图的主动模糊规则集终止性分析 [C] . 窦文阳 ,王小明 ,张立臣 . 2010年中国计算机大会 . 2010
7. 基于增强条件公式的主动规则集可终止性判定方法研究 [A] . 赵梦露 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号