公共文化服务平台

共 6 条记录，以下是 1-6

全选清除导出

排序方式：

基于ALCQ(D)的CBR事例表示及相似性度量被引量：5: 2014年; 针对目前用于CBR事例表示的描述逻辑,如EL、ALC、ALCNR等缺少定性数量约束和有型域约束的问题,将具有定性数量约束和有型域构子的描述逻辑ALCQ(D)应用于CBR中。首先使用ALCQ(D)概念表示有定性数量约束、具体数据类型和数据值约束需求的CBR事例,并对之索引。研究两种主要的具体数据类型:数值类型和符号类型。然后定义ALCQ(D)范式来规范事例的索引表示,最后给出事例相似性度量方法。该度量方法先对事例索引的各个部分进行相似性度量,然后对度量结果进行加权求和得到最终相似性。实验结果表明,ALCQ(D)可以更准确地表示事例,事例相似性度量方法可以更贴切地度量事例的相似性,这对提高事例检索的速度和准确性以及提高CBR系统的效率具有重要意义。; 孙晋永古天龙常亮马林威; 关键词：基于事例推理描述逻辑

基于CBR和描述逻辑的网络安全应急响应被引量：1: 2015年; 网络安全应急响应是未来信息安全策略的重心。目前应急响应主要依靠应急响应团队和安全管理者,他们虽能够有效处理部分安全事件,但不能给出在具体环境下合理、快速、有效地处理安全事件的方法。针对该问题,提出了智能化的基于案例推理和描述逻辑的网络安全应急响应方法,用以实现对具体安全事件的自动处理。首先用描述逻辑刻画网络安全应急响应领域知识,然后设计了基于细化算子和细化图的相似度匹配算法,给出了基于案例的推理(Case based reasoning,CBR)在应急响应中的具体实现过程,最后用具体实例检验了提出的方法。结果表明该方法具有清晰语义、自动分类概念和良好推理能力等特性,能够从过去的安全事件中获得目前所遇到的安全事件的解决方案,并能够给出具体环境下安全事件的处理方法。; 蒋菲古天龙徐周波常亮; 关键词：网络安全事件描述逻辑应急响应

基于描述逻辑的事例推理综述被引量：1: 2014年; 基于描述逻辑的事例推理(CBR)是当前CBR研究的热点之一。首先介绍了CBR的起源,然后回顾了基于描述逻辑的CBR的发展历史,接着从4个方面:事例表示与组织、事例检索、事例修正和事例库维护综述了基于描述逻辑的CBR的研究工作,最后指出了基于描述逻辑的CBR目前存在的问题并相应地提出了未来的研究方向。; 孙晋永古天龙常亮; 关键词：基于事例推理描述逻辑

基于几何公差描述逻辑的公差类型的自动生成被引量：10: 2013年; 为了使公差信息更好地被计算机理解,将描述逻辑引入到对公差设计的研究中。从几何要素之间的基本空间关系出发,提出几何公差描述逻辑GTDL(Df),并给出该逻辑的Tableau判定算法。应用GTDL(Df)的刻画能力,构建几何公差的GTDL(Df)表示模型;在此基础上,借助GTDL(Df)的Tableau判定算法,设计公差类型的自动生成算法。通过工程实例验证了生成算法的有效性。; 覃裕初钟艳如常亮黄美发; 关键词：描述逻辑几何公差自动生成

基于动态描述逻辑的语义Web服务组合被引量：14: 2013年; 应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL(X)将动态逻辑、描述逻辑以及构建在描述逻辑之上的动作理论有机地结合,为语义Web服务的建模提供了新的工具.提出了一种基于DDL(X)的语义Web服务自动组合方法.首先,在将OWL-S表示的语义Web服务建模为动作的基础上,将语义Web服务组合问题建模为基于DDL(X)的规划问题,其中规划问题的规划解可以由DDL(X)中的任一动作构成,从而可以支持OWL-S中不含有Split和Split+Join的各种Web服务组合方案.针对建模后得到的任一规划问题,给出了用来判断是否存在规划解的判定算法,证明了算法的可终止性、可靠性和完备性.最后,当规划解存在时,可以根据判定过程将其解析出来.文中的方法充分发挥了DDL(X)在表达能力和计算性能等方面的优势,为语义Web服务自动组合提供了一套有效的理论工具.; 常亮刘进古天龙史忠植; 关键词：语义WEB服务动态描述逻辑规划问题

基于OBDD的描述逻辑εL循环术语集推理被引量：1: 2014年; 循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εL中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例.; 古天龙吕思菁常亮徐周波; 关键词：循环术语集有序二叉决策图不动点语义

全选清除导出

共1页<1>

广西壮族自治区自然科学基金(2012GXNSFBA053169)