检索结果-南通市图书馆

软件学报 2010年第11期21卷 2826-2837页

作者：殷明浩孙吉贵林海吴瑕东北师范大学计算机学院吉林长春130117 吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能性蕴含可控制类、不一致性程度计... 详细信息

在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能性蕴含可控制类、不一致性程度计算可控制类的概念.在可能性扩展规则的基础上提出了EPPCCCL(each pair of possibilistic clauses contains complementary literals)理论,并证明了该理论是在最优化形式蕴含可控制类和不一致性程度计算可控制类中的,可以作为可能性知识编译的目标语言.

关键词：扩展规则可能性逻辑知识编译 EPPCCCL(each pair of possibilistic clauses contains complementary literals)理论

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

EPCCL理论的求交知识编译算法

引用

软件学报 2017年第8期28卷 2096-2112页

作者：牛当当刘磊吕帅吉林大学计算机科学与技术学院吉林长春130012 吉林大学数学学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012

超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集,并将所得结果以EPCCL(each pair of clauses contains complementary literals)理论的形式保存.基于超扩... 详细信息

超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集,并将所得结果以EPCCL(each pair of clauses contains complementary literals)理论的形式保存.基于超扩展规则的性质,提出一种EPCCL理论编译算法:求交知识编译算法IKCHER(intersection approach to knowledge compilation based on hyper extension rule).该算法适合难解类SAT问题的知识编译,也是一种可并行的知识编译算法.研究了如何实现多个EPCCL理论的求交操作,证明了EPCCL理论的求交过程是可并行执行的,并设计了相应的并行求交算法PIAE(parellel intersection of any number of EPCCL).通过对输入EPCCL理论对应普通子句集的利用,设计了一种高效的并行求交算法imp-PIAE(improvement of PIAE).基于上述算法,还设计了两种并行知识编译算法P-IKCHER(IKCHER with PIAE)和imp P-IKCHER(IKCHER with imp-PIAE),分别采用PIAE并行合并算法和imp-PUAE并行合并算法.最后,通过实验验证了,大部分情况下,IKCHER算法的编译质量是目前为止所有EPCCL理论编译器中最优的,P-IKCHER算法所使用的合并策略并没有起到加速的效果,反而使得编译效率和编译质量有所下降;imp P-IKCHER算法提高了IKCHER算法的编译效率,CPU四核环境下最高可提高2倍.

关键词：知识编译扩展规则超扩展规则 EPCCL(each pair of clauses contains complementary literals)理论并行知识编译

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

支持结构查询和包含操作的XML索引研究

支持结构查询和包含操作的XML索引研究

引用

作者：刘雪平吉林大学

学位级别：硕士

近年来,随着WWW的迅猛发展,XML成为数据交换事实上的标准,基于XML的半结构化数据的管理研究也成为国际数据库界越来越热门的研究课题。查询优化是数据管理研究的重要内容,而建立合适的XML数据库索引技术又成为研究的关键。本篇论文介绍... 详细信息

近年来,随着WWW的迅猛发展,XML成为数据交换事实上的标准,基于XML的半结构化数据的管理研究也成为国际数据库界越来越热门的研究课题。查询优化是数据管理研究的重要内容,而建立合适的XML数据库索引技术又成为研究的关键。本篇论文介绍了XML的相关理论知识,并对其索引技术进行了回顾,深入研究了基本的索引算法,分析比较了各种技术的优缺点。在此基础上,本工作主要针对XPath查询表达式中含有contains()操作的情况,改进了传统方法,把结构和全文查询结合起来,并提出了基于B+-树的编号机制、索引组织算法以及与之配套的连接算法。其中在对节点编码时引入了节点内容信息来支持全文查询,建立STB-Tree和COB-Tree两种基于B+-树的索引,查询处理时分别就简单查询、contains全文查询和复杂查询分别进行讨论,并提出了解决复杂查询较为有效的连接算法。通过实验对该算法进行了验证,针对索引在不同规模数据源上的STB-索引和COB-索引的大小、在特定XML数据集上查询表达式执行时间、以及某一特定表达式长度下contains查询和其他查询平均时间分别进行实验,结果证明该算法在处理XPath查询表达式中含有contains()函数的情况有较好的效果。

关键词： XML查询处理 B+-树 contains 索引

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

FOREIGN INVESTMENT LAW:A SUMMARY OF CHANGES TO DRAFT VERSIONS

引用

China Report ASEAN 2019年第4期4卷 15-15页

A new and fundamental law for China’s foreign investment,the Foreign Investment Law of the People’s Republic of China was adopted at the second session of the 13th National People’s Congress of China on March 15,20... 详细信息

关键词： China National law contains

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：