基于MOVR启发式的求差知识编译算法

• 作者: 吕帅 牛当当 王金艳
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 知识编译 扩展规则 超扩展规则 EPCCL理论 启发式策略
• 年，卷（期）: 2019,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 2299-2303
• 页数: 5页
• 分类号: TP301|TP181
• 字数: 4790字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2019.11.009

摘要

DKCHER算法是基于超扩展规则的求差知识编译算法,也是目前为止表现最好的EPCCL理论编译算法.本文通过研究DKCHER算法的执行流程,设计了一种新的启发式策略MOVR(maximum occurrence number of varia-bles in middle result),用于动态地从输入子句集中选择所包含变量在中间结果中出现次数最多的子句.将MOVR启发式策略与DKCHER算法相结合,设计了MOVR DKCHER算法.实验结果表明,MOVR启发式策略能够显著提高DKCHER算法的编译效率和编译质量,编译效率平均可提升70倍左右,最高可以提高237倍.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王金艳	广西师范大学计算机科学与信息工程学院	6	19	2.0	4.0
2	牛当当	西北农林科技大学信息工程学院	1	0	0.0	0.0