[发明专利]一种主动规则集终止性判定方法无效
| 申请号： | 201010252643.7 | 申请日： | 2010-08-13 |
| 公开（公告）号： | CN101950292A | 公开（公告）日： | 2011-01-19 |
| 发明（设计）人： | 刘泓漫;闫俊英;辜碧容 | 申请（专利权）人： | 上海电机学院 |
| 主分类号： | G06F17/30 | 分类号： | G06F17/30 |
| 代理公司： | 上海思微知识产权代理事务所(普通合伙) 31237 | 代理人： | 郑玮 |
| 地址： | 200240 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出了主动规则集终止性判定方法，根据复合条件分解图判定主动规则集终止性，判定方法包括：判断复合条件分解图是否存在惰化边，当判断结果为否，主动规则集为无限循环；当判断结果为是，则确定惰化边的数值，当惰化边数大于1或者等于1，主动规则集终止，当惰化边数小于1，主动规则集无限循环。本发明还提供主动规则集终止性判定系统，包括：复合条件活化单元、复合条件惰化单元、判定单元、信号单元，判定单元对主动规则集终止性进行判断，将判断信号输入信号单元。本发明充分考虑一个规则的执行对其他规则的子条件的影响，用现有方法判定为可终止的主动规则集，使用本发明进行判定后可确定为无限循环，提高了主动规则集判定的准确性。 | ||
| 搜索关键词： | 一种 主动 规则 终止 判定 方法 | ||
【主权项】：
一种主动规则集终止性判定方法，其特征在于，根据复合条件分解图判定主动规则集终止性，所述判定方法包括：判断所述复合条件分解图是否存在惰化边，当判断结果为否，则主动规则集为无限循环；当判断结果为是，则确定所述惰化边的数值，当所述惰化边数大于1或者等于1，则所述主动规则集终止，当所述惰化边数小于1，则所述主动规则集无限循环。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于上海电机学院，未经上海电机学院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201010252643.7/，转载请声明来源钻瓜专利网。
