公共文化服务平台

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

全选清除导出

排序方式：

多智能体模态逻辑系统KD45_n中的知识遗忘: 2019年; 遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智能体的知识表示与推理。随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注。现有研究表明,知识遗忘在不同的多智能体模态逻辑系统中具有不同的性质,且大多无法有效计算。为此,多智能体模态逻辑系统KD45 n中的知识遗忘值得进一步研究。首先,基于模型理论给出知识遗忘的定义;接着,分析KD45 n中知识遗忘的主要性质;最后,提出KD45 n中计算知识遗忘的有效算法。该算法利用人工智能领域解决难求解问题的主要方法之一——知识编译技术,将一般公式编译成交替覆盖析取范式,再利用该范式进行知识遗忘的有效计算。研究结果表明,在KD45 n中满足一些很重要的知识遗忘性质,其计算时间复杂度是交替覆盖析取范式公式长度的多项式时间(原公式长度的双重指数时间)。与现有的非初等时间复杂度算法相比,所提算法更高效、更实用。; 文习明方良达余泉常亮常亮; 关键词：知识推理知识编译

大规模图数据的k^2-MDD表示方法与操作研究被引量：4: 2016年; 对包含亿万个顶点和边的图数据进行高效、紧凑的表示和操作是大规模图数据分析处理的基础.针对该问题提出了基于决策图的大规模图数据的一种表示方法——k^2-MDD,给出了k^2-MDD的构造过程以及图的边查询、外(内)邻查询、出(入)度查询、添加(删除)边等基本操作.该表示方法在k^2树的基础上进行优化与改进,对图的邻接矩阵进行k^2划分后,采用多值决策图进行存储,从而达到存储结构更为紧凑的目的.通过对来自米兰大学LAW实验室的一系列真实网页图和社交网络图数据的实验结果可以看出,k^2-MDD结构在节点数上仅为k^2树的2.59%~4.51%,达到了预期效果.通过对随机图的实验结果可以看出,k^2-MDD结构不仅适用于稀疏图,同样也适用于稠密图.图数据的k^2-MDD表示,既具有k^2树表示的紧凑型和查询的高效性,又能实现符号决策图表示下图模式的高效操作,从而实现了描述和计算能力的统一.; 董荣胜张新凯刘华东古天龙; 关键词：M 决策图

基于时态描述逻辑ALC-μ的语义物联网服务验证被引量：2: 2017年; 针对语义物联网服务的正确性验证问题,提出基于时态描述逻辑与命题μ-演算相结合的语义物联网服务验证方法。利用描述逻辑中的ABox对系统模型进行标注,引入语义标注的有限状态机对语义物联网服务进行建模。将描述逻辑ALC与命题μ-演算结合,构建时态描述逻辑ALC-μ,用于待验证性质的刻画。采用模型检测机制与描述逻辑推理机制相结合的模型检测算法,验证语义物联网服务的正确性。该方法可准确地对语义物联网服务进行建模和对所期望性质进行验证,并得到符合该性质的状态集合。; 韩乔常亮

基于局部抑制线性编码的图像快速识别方法被引量：1: 2016年; 传统的图像识别方法如ScSPM、LLC都是在SIFT的基础上提取特征,忽略了人工特征的局限性,且单张图像识别耗时略长。考虑到这些不足,提出了一种基于局部抑制线性编码的图像快速识别方法。该方法首先直接利用局部抑制线性编码提取图像局部特征描述子;然后用线性空间金字塔匹配(LSPM)对特征描述子进行计算;最后将计算结果输入到线性支持向量机(LSVM)中进行训练和测试。在3个常用的图像数据集上的实验结果表明,该方法在类别不多的情况下具有很好的识别准确率,同时大大减少了单张图像识别耗时,从而验证了该方法在图像识别上的有效性。; 陈光喜龚震霆温佩芝任夏荔; 关键词：线性支持向量机

一种透明的可信云租户隔离机制研究？被引量：9: 2016年; 租户隔离是云计算能被作为第三方服务提供给租户的重要前提,因此,云租户隔离机制的安全有效性能否被租户信任,对云计算服务的推广非常关键.但在云计算这种第三方服务模式中,由于租户不能参与云服务基础设施及其安全隔离机制的建设和管理过程,因此他们难以对云租户隔离机制的安全有效性建立信心.将透明性要求视为可信云租户隔离机制的一部分,将云租户隔离机制和租户透明要求都转化为云服务系统中不同安全域之间的信息流,对云租户隔离机制进行定义,并制定云计算平台中的域间信息流策略控制方式,最后,基于信息流无干扰理论证明了所定义的云租户隔离机制在安全方面的有效性.; 石勇郭煜刘吉强韩臻马威常亮; 关键词：无干扰理论

全选清除导出

共1页<1>

国家自然科学基金(61363030)