检索结果-内蒙古大学图书馆

电子学报 2011年第2期39卷 322-328页

作者：吕帅刘磊石莲魏唯杨超吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 吉林大学数学学院吉林长春130012

基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出... 详细信息

基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出了重叠公理的判定策略和冗余公理的删除策略.在SATPLAN2006规划系统中实现相应的编码方式并与原系统进行比较,实验结果表明:该约简方法能够在不降低规划性能的前提下有效地压缩转换理论的编码大小.通过分析基于状态的编码方式,提出了重叠公理的判定策略.重叠公理与冗余公理的约简容易实现,且并未改变知识库的结构模式,为进一步提高规划系统处理更大规模问题的能力提供了可能.

关键词：智能规划基于可满足性的规划命题逻辑公理约简编码

来源：评论

学校读者我要写书评

暂无评论

基于模型诊断的抽象分层过程

引用

计算机学报 2011年第2期34卷 383-394页

作者：王楠欧阳丹彤孙善武吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012 吉林财经大学信息学院长春130117 吉林财经大学网络实验中心长春130117

分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成... 详细信息

分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成系统的分层表示方法也没有形式化的分析.KRA(Knowledge Reformulationand Abstraction)模型从构造化的角度定义了表示抽象的一般框架,文中在KRA模型框架下建立系统模型,给出了抽象算子在系统的基本框架Rg上进行的非独立的运算过程,使得不会在抽象过程中生成重复的部件类型,不仅降低了存储空间,还增加了在进一步的抽象运算中算子重用的概率,提高了整个抽象运算的效率.同时描述了基于模型诊断中的抽象分层过程,提出了动态和静态构造算子库两种方法,并对其优缺点进行分析,给出了一个应用抽象算子集合自动生成待诊断系统分层表示的一般算法.

关键词：基于模型的诊断分层诊断 KRA模型算子库自动分层

来源：评论

学校读者我要写书评

暂无评论

一种基于Choquet模糊积分的入侵检测警报关联方法

引用

电子学报 2011年第12期39卷 2741-2747页

作者：努尔布力柴胜李红炜胡亮吉林大学计算机科学与技术学院吉林长春130012 新疆大学信息科学与工程学院新疆乌鲁木齐830046 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

文章研究了警报关联方法,模糊积分和模糊认知图基本理论,提出了一种基于Choquet模糊积分的入侵检测警报关联方法,设计并实现了一个能够识别多步攻击的警报关联引擎.通过DRDOS和LLDOS实验表明,该引擎能够有效的检测网络中存在的大规模分... 详细信息

文章研究了警报关联方法,模糊积分和模糊认知图基本理论,提出了一种基于Choquet模糊积分的入侵检测警报关联方法,设计并实现了一个能够识别多步攻击的警报关联引擎.通过DRDOS和LLDOS实验表明,该引擎能够有效的检测网络中存在的大规模分布式多步攻击.

关键词：入侵检测模糊积分模糊测度警报关联告警关联

来源：评论

学校读者我要写书评

暂无评论

基于多Agent并行采样和学习经验复用的E3算法

基于多Agent并行采样和学习经验复用的E3算法

引用

第四届中国Agent理论与应用学术会议

作者：刘全杨旭东荆玲肖飞苏州大学计算机科学与技术学院江苏苏州 215006 吉林大学符号计算与知识工程教育部重点实验室长春 130012 苏州大学计算机科学与技术学院江苏苏州 215006 南京大学计算机科学与技术系南京210093

在强化学习领域,E3 (Explicit Explore or Exploit)算法是第一个获得理论证明的解决一般马尔科夫决策过程(MDP)问题的高效率近似最优算法。针对E3 算法所需的收敛时间界限太大,在实际问题中难以有效应用的问题,提出一种基于多Agent 并... 详细信息

在强化学习领域,E3 (Explicit Explore or Exploit)算法是第一个获得理论证明的解决一般马尔科夫决策过程(MDP)问题的高效率近似最优算法。针对E3 算法所需的收敛时间界限太大,在实际问题中难以有效应用的问题,提出一种基于多Agent 并行采样和学习经验复用的改进算法。该算法在探索阶段,通过多Agent 并行采样,快速收集模型信息,加速了模型构建过程;在利用阶段,通过保留最优值函数的方式复用算法的学习经验,提高了算法迭代计算值函数的效率。仿真实验结果表明,所提方法与原始的E3 算法相比,在收敛速度和精度方面都具有很大的提高,与其他两种并行强化学习方法相比也具有很大的性能优势。

关键词：强化学习 E3 算法多Agent 并行采样学习经验复用

来源：评论

学校读者我要写书评

暂无评论

基于GASA和移动代理的网络存储调度方法的研究

引用

计算机研究与发展 2011年第S1期48卷 137-142页

作者：马鑫梁艳春吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

随着信息管理能力的提升以及人们对信息的访问量快速增加,企业对存储和管理信息的能力有了新的要求.网络存储的出现和发展适应了这一要求,网络存储因此有了长足的发展.基于静态的智能算法与动态的代理思想,提出一种基于GASA和移动代理... 详细信息

随着信息管理能力的提升以及人们对信息的访问量快速增加,企业对存储和管理信息的能力有了新的要求.网络存储的出现和发展适应了这一要求,网络存储因此有了长足的发展.基于静态的智能算法与动态的代理思想,提出一种基于GASA和移动代理的网络存储调度方法,用于实现异构系统间的数据存储备份以及存储过程中移动代理派遣次序的优化调度.该方法综合考虑了各移动代理的产生时序、优先级和存储可用性等指标,在确保各移动代理有效执行的前提下,使代理派遣次序更合理.仿真实验表明,基于GASA的移动代理存储调度可以有效提高存储效率,改善网络实时性和存储性能.

关键词：网络存储遗传-模拟退火算法移动代理存储调度

来源：评论

学校读者我要写书评

暂无评论

推荐算法综述

引用

山西大学学报(自然科学版) 2011年第3期34卷 337-350页

作者：杨博赵鹏飞吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室

推荐是解决互联网信息过载的主要途径之一,已被广泛应用于电子商务等多个领域.尽管已存在多种推荐算法,建造出更加智能、更加鲁棒的推荐系统仍面临诸多尚未解决的难题,推荐方法的研究仍是智能信息处理的研究热点.文章首先阐述了推荐方... 详细信息

推荐是解决互联网信息过载的主要途径之一,已被广泛应用于电子商务等多个领域.尽管已存在多种推荐算法,建造出更加智能、更加鲁棒的推荐系统仍面临诸多尚未解决的难题,推荐方法的研究仍是智能信息处理的研究热点.文章首先阐述了推荐方法的研究背景、研究意义,之后分别介绍了协同过滤推荐算法、基于内容的推荐算法、基于图结构的推荐算法和混合推荐算法,分析了各类算法的优点与不足,最后总结了主要的评价方法以及面临的主要问题,提出了改进的方法和未来可能的研究方向.

关键词：信息过载推荐系统协同过滤信息检索数据挖掘机器学习

来源：评论

学校读者我要写书评

暂无评论

约束分解技术回顾与展望

引用

计算机科学 2011年第10期38卷 29-33,38页

作者：李占山韩文成郭霆吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义。主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束... 详细信息

约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义。主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术。介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想。最后根据存在的问题与不足提出了下一步的工作方向和研究思路。

关键词：约束满足问题约束分解技术知识表示框架

来源：评论

学校读者我要写书评

暂无评论

基于分类概念格的动态策略存取模型

引用

通信学报 2011年第2期32卷 27-33页

作者：焦素云刘衍珩魏达吉林大学计算机科学与技术学院吉林长春130012 长春工业大学计算机科学与工程学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

分析了策略系统存储模型在判断策略间条件变量值的相交性方面存在的不足,研究了概念格结构在该方面的优势,提出了基于分类概念格的动态策略存取模型,利用策略属性值之间的偏序关系,将动态策略仓库组织为概念格。设计了基于概念格的策略... 详细信息

分析了策略系统存储模型在判断策略间条件变量值的相交性方面存在的不足,研究了概念格结构在该方面的优势,提出了基于分类概念格的动态策略存取模型,利用策略属性值之间的偏序关系,将动态策略仓库组织为概念格。设计了基于概念格的策略冲突检测算法,用超概念—子概念查找操作代替属性值相交性判断,缩减了冲突检测空间,提高了冲突检测效率。分析了算法的性能,通过仿真验证了算法的有效性。

关键词：基于策略网络管理概念格策略存取模型冲突检测

来源：评论

学校读者我要写书评

暂无评论

聚类集成方法研究

引用

计算机科学 2011年第2期38卷 166-170页

作者：杨草原刘大有杨博池淑珍金弟吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

聚类集成通过对原始数据集的多个聚类结果进行学习和集成,得到一个能较好地反映数据集内在结构的数据划分。聚类集成能够较好地检测和处理孤立点,提高聚类结果质量。综述了聚类集成的相关知识,介绍了聚类集成的相关概念和优点;根据使用... 详细信息

聚类集成通过对原始数据集的多个聚类结果进行学习和集成,得到一个能较好地反映数据集内在结构的数据划分。聚类集成能够较好地检测和处理孤立点,提高聚类结果质量。综述了聚类集成的相关知识,介绍了聚类集成的相关概念和优点;根据使用的聚类算法介绍了3种产生聚类成员方法,分析了各自的优缺点及适用条件;介绍了目前已有的一致性函数,阐述了其基本原理,并指出了其局限;最后讨论了未来的研究方向。

关键词：聚类集成聚类成员一致性函数聚类算法

来源：评论

学校读者我要写书评

暂无评论

基于Bi-Laplacian润饰图像的盲鉴别算法

引用

计算机应用 2011年第1期31卷 239-242页

作者：李晓飞申铉京陈海鹏吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

为了对润饰的图像实施盲检测,提出了一种图像盲鉴别算法。该算法首先查找图像中每个分块并把其插入到KD树中,搜索到值相同或最近的粗略匹配块,然后使用位置向量的分层聚类法群集块对消除杂散配对,最后应用7-tap拉普拉斯过滤器并统计可... 详细信息

为了对润饰的图像实施盲检测,提出了一种图像盲鉴别算法。该算法首先查找图像中每个分块并把其插入到KD树中,搜索到值相同或最近的粗略匹配块,然后使用位置向量的分层聚类法群集块对消除杂散配对,最后应用7-tap拉普拉斯过滤器并统计可疑块的零连通分量来消除误报,从而定位出精确的润饰篡改区域。实验表明,该方法能有效精确地识别出修复刷对非压缩图像和高品质压缩图像等一类图像的润饰篡改技术的使用。当应用到压缩级别较高的图像时,如果润饰的区域足够大,依然会获得准确的结果。

关键词：修复刷图像润饰盲鉴别 KD树篡改定位

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：