公共文化服务平台

粗集和多关系学习综述被引量：2: 2007年; 文中给出了多关系学习的产生、实质以及任务,指出多关系学习具有狭义和广义两个层面。对粗集和多关系学习给出了简单综述,表明粗集理论在多关系学习中占有重要地位。分析研究了粗集和归纳逻辑程序设计方法用于多关系学习的几种结合途径,尤其重点介绍了RSILP系列模型,并在文中给出其一般模型。文中对用于多关系学习中其它粗集方法也作了简单介绍。RSILP模型的完善扩展以及粗集方法在多关系学习中的进一步应用是今后的工作方向。; 孙成敏刘大有孙舒杨; 关键词：粗集归纳逻辑程序设计

Formal Verification of the Merchant Registration Phase of the SET Protocol被引量：1: 2005年; This paper describes the formal verification of the Merchant Registration phase of the Secure Electronic Transactions (SET) protocol, a realistic electronic transaction security protocol which is used to protect the secrecy of online purchases. A number of concepts, notations, functions, predicates, assumptions and rules are introduced. We describe the knowledge of all legal participants, and a malicious spy, to assess the security of the sub-protocol. Avoiding search in a large state space, the method converges very quickly. We implemented our method in the Isabelle/Isar automated reasoning environment, therefore the whole verification process can be executed mechanically and efficiently.; Xiao-Qi Ma; 关键词：FORMAL VERIFICATION TRANSACTION KNOWLEDGE-BASED

采用词向量注意力机制的双路卷积神经网络句子分类模型被引量：8: 2018年; 针对句子中不同的词对分类结果影响不同以及每个词对应的词向量受限于单一词向量训练模型的特点,提出一种基于词向量注意力机制的双路卷积神经网络句子分类模型(AT-DouCNN).该模型将注意力机制和卷积神经网络相结合,以不同训练算法得到的词向量同时作为输入,分别进行卷积和池化,并在全连接层进行融合,不仅能够使得具体分类任务下句子中的关键信息更易被提取,还能够有效地利用不同种类的词向量得到更加丰富的句子特征,进而提高分类的准确率.实验结果表明:所提出的模型在3个公开数据集上的分类准确率分别达到50.6%、88.6%和95.4%,具有良好的句子分类效果.; 郭宝震左万利王英

免疫遗传算法学习贝叶斯网等价类被引量：4: 2009年; 针对遗传算法学习贝叶斯网存在的问题,提出一种基于骨架搜索的免疫遗传算法学习贝叶斯网等价类,该方法综合了基于约束和打分搜索的方法,可以在遗传过程中避免产生非法结构,并从骨架空间映射到等价类空间进行搜索.实验数据表明,免疫算子的使用可有效缩小搜索空间规模,加快收敛速度,提高执行效率.; 贾海洋刘大有陈娟关淞元刘欣; 关键词：贝叶斯网免疫遗传算法

RSILP模型若干问题的研究: 2007年; 利用基于粗糙集理论的统计关系学习方法,解决了统计关系学习中归纳逻辑程序设计方法的不确定性问题,并改进了粗糙集结合归纳逻辑程序设计的系列模型,从而得到更加准确的模型体系定义.改进后的模型系列更合理完善.; 孙成敏刘大有孙舒杨; 关键词：统计关系学习粗糙集归纳逻辑程序设计

基于服务元组链的Web服务组合方法被引量：6: 2009年; 提出一种描述Web服务的关系模型,通过引入空服务和服务元组的概念,采用基于服务元组链的Web服务组合方法,解决了基于服务链的Web服务组合方法只能处理顺序关系的组合问题,应用该方法既能处理顺序关系的组合问题,又能处理多个后继服务或前驱服务都需要被组合的并发关系组合问题.; 王佳强刘大有李嘉菲刘思培; 关键词：WEB服务 WEB服务组合

基于任务和角色访问控制模型分析与研究被引量：3: 2006年; 近年来RBAC(Role-B ased Access Contro1)及TBAC(Task-B ased Access Contro1)模型得到广泛的研究。在比较了一些现有访问控制模型的各自特点和适用范围,针对现有模型的不足,为了提高信息系统的安全性、通用型和实用性,通过结合RBAC及TBAC模型各自的优点,提出了一个新型的访问控制模型TRBAC(Task-Role B ased Access Contro1),描述了TRBAC模型结构和特点,阐述了模型对最小权限原则、职权分离原则、数据抽象原则及角色层次关系的支持,并指出将来工作的主要目标。; 于万钧苏畅刘杰樊志华; 关键词：角色权限

基于遗传与粒子群算法的Markov逻辑网学习研究被引量：1: 2006年; Markov逻辑网(MLN)是一种重要的统计关系模型,目前其学习问题主要采用确定性的优化方法,所求的解不够简洁、易陷入局部极值.针对这些问题,本文定义谓词模板、子句模板以缩小搜索空间,提出一种采用子句模板编码的遗传算法来学习MLN结构,并用粒子群算法学习MLN的权参数.文中设计了适应度函数和相应的遗传算子,保证算法不断向好的逻辑子句结构进化.理论分析与实验结果都表明本文的算法可以学习到较优解.; 于鹏刘大有欧阳丹彤; 关键词：统计关系学习 MARKOV逻辑网遗传算法粒子群算法

自适应多分类器集成学习算法: 数据的概念漂移特性是广泛存在的.提出一种挖掘概念漂移数据的自适应集成学习算法(adaptive multiple classifiers ensemble,AMCE).该算法通过给每个分类器分配独立的权重调整参数,增强自...; 关菁华刘大有贾海洋; 关键词：概念漂移 KL距离朴素贝叶斯分类器; 文献传递

空间线面拓扑关系的推理被引量：3: 2007年; 基于Egenhofer的19种线面拓扑关系,提出OR算法并证明了OR算法的正确性,使用OR算法可求解复合线段与同一区域的拓扑关系矩阵.利用OR算法在19种拓扑关系中找到5种具有相互独立关系的集合SM,证明了集合SM是表达19种线面拓扑关系的元数最小集,集合SM有助于推导复杂的线面拓扑关系,使线面拓扑关系的表达更加简洁.为进一步研究线面拓扑关系的推理,给出了从SM推导出其他拓扑关系的推导图.; 欧阳继红马宝超刘大有富倩李昂; 关键词：拓扑关系线段

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(60496321)