EPCCL理论的并行知识编译算法

来源 :电子学报 | 被引量 : 0次 | 上传用户：wangpin

【摘要】

：

基于超扩展规则,证明了EPCCL(Each Pair Contains Complementary Literal)理论的合并过程是可并行执行的,并设计了针对多个EPCCL理论的并行合并算法PUAE(Parallel computing

【作者】

：

牛当当刘磊吕帅

【机构】

：

吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）

【出处】

：

电子学报

【发表日期】

：

2018年3期

【关键词】

：

知识编译扩展规则超扩展规则 EPCCL理论并行编译 knowledge compilation extension rule hyper extensio

【基金项目】

：

国家自然科学基金(No.61300049,No.61502197,No.61503044),教育部高等学校博士学科点专项科研基金(No.20120061120059),吉林省青年科研基金项目(No.20140520069JH,No.20150520058JH),吉林省自然科学基金项目(No.20150101054JC)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于超扩展规则,证明了EPCCL(Each Pair Contains Complementary Literal)理论的合并过程是可并行执行的,并设计了针对多个EPCCL理论的并行合并算法PUAE(Parallel computing Union of Any number of EPCCL).通过对EPCCL理论原始子句集的利用,提出了另一种高效的EPCCL理论并行合并算法imp-PUAE(improvement of PUAE).UKCHER(computing Union sets of maxi

其他文献

天气单词填一填

同学们知道英国人打招呼经常讨论什么吗？对啦!他们经常会讨论天气，因为英国的天气变化得很快。那么关于天气的单词，同学们掌握了多少呢？快来填一填，测试一下吧！

期刊

天气变化单词英国人

MapReduce框架下的粒概念认知学习系统研究

针对经典的概念学习算法难以处理大规模数据集的问题,本文提出一种基于MapReduce框架的粒概念认知学习并行算法.该算法借鉴认知心理学的知觉和注意认知思想,并融合粒计算的粒

期刊

概念格概念学习认知计算粒计算MapReduce

矢量基二维DCT修剪在DSP上的内存存取减少方法

本文针对矢量基二维DCT修剪提出内存存取减少方法.该方法旨在减少计算中因权重因子和信号输入而导致的内存存取.它首先利用权重因子的属性将计算流程图内每相邻两阶段内的蝴

期刊

数字信号处理器(DSP)离散余弦变换(DCT)蝴蝶运算单元内存存取digital signal processor(DSP)discrete cosi

阅读教学读为根本

摘要：朗读是学习语言的主要训练形式。语文课堂教学的主要内容，是教师指导学生读通、读懂课文，最好的办法是通过朗读去再现作者所写的情境，体味作者要抒发的感情，从而引起学生思想的共鸣，起到潜移默化的作用。　　关键词：阅读教学；朗读；指导　　随着教学改革的深入发展，优化课堂教学日益受到广大教育工作者的重视，一系列别开生面的教学方法脱颖而出。但教学有法，教无定法，在实施各种教学方法的同时，也有不尽如人意的

期刊

阅读教学朗读指导

新课程理念下的小学语文作业设计

（江西省南昌外国语高新学校）　　摘要：传统的语文作业布置，多数是固定形式的作业要求，学生常会怀着应付的心理完成作业。为了提升学生作业完成的质量，切实发挥作业应用的价值，小学语文教师有必要充分落实新课程理念，丰富作业布置的内容和形式。希望此次研究能够为教学工作者提供参考。　　关键词：新课程理念；小学语文；作业设计　　随着新课程理念的不断开展，对学生的作业提出一定要求。作业设计是否符合学生的身心健康

期刊

新课程理念小学语文作业设计

具有提升直流环节稳态电压功能的单相全桥谐振直流环节逆变器

为改善直流电压利用率,提出了一种具有提升直流环节稳态电压功能的单相全桥谐振直流环节软开关逆变器,利用辅助电路中的变压器可以将电能补充到直流母线上等效为电压源的钳位

期刊

逆变器软开关变压器谐振直流电压利用率invertersoft-switchingtransformerresonanceDC voltage

生态概念的意识形态性内涵及其演变

生态概念无疑是当今世界最时髦的概念，但在这时髦概念的背后却存在着一个隐忧，忘却了其政治价值和意识形态作用。生态概念不是只局限于自然科学的范畴，生态问题也不是一个简单的

期刊

生态意识形态平等民主ecologyideologyequalitydemocracy

运用实验再现增强科学复习课实效的案例研究

科学教学离不开实验,很多教师上新课时很重视,复习课以＂知识梳理—练习—讲评＂三部曲为主导模式,实验就被遗忘了,这种罗列知识点炒剩饭的模式沉闷呆板,效率低下。鉴于讲授式复

期刊

实验再现复习课合理运用案例实效

高中政治课堂如何做好资源开发利用

传统教学在高中政治中的弊端表现很明显。客观来看,传统教学模式已经不能够满足目前的教学需求以及学生的发展。从各方面来看,对高中政治课堂的教学进行改革具有一定的必要性

期刊

高中政治课堂资源开发利用

WiNoC中无线节点和无线链路级拥塞避免的高效路由器设计

无线片上网络中,无线网络拥塞可以分为无线节点级的拥塞和无线链路级的拥塞,这两种拥塞都会造成网络性能下降.针对无线节点和无线链路级拥塞,本文设计了一种拥塞避免的高效无

期刊

无线片上网络节点级拥塞链路级拥塞无线信道无线接口wireless on-chip networknode-level congestionlink

EPCCL理论的并行知识编译算法

其他学术论文