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

计算机研究与发展 2011年第11期48卷 2039-2046页

作者：宋小华欧阳丹彤吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 空军航空大学数学应用中心长春130022

定性空间推理是人工智能领域中非常重要的研究内容.空间信息包含拓扑关系、大小关系、形状、距离等很多方面.以往多侧重于单一方面的研究,如何将孤立的各方面信息进行统一表示和推理是当前定性空间推理中的一个重要问题.提出利用结合操... 详细信息

定性空间推理是人工智能领域中非常重要的研究内容.空间信息包含拓扑关系、大小关系、形状、距离等很多方面.以往多侧重于单一方面的研究,如何将孤立的各方面信息进行统一表示和推理是当前定性空间推理中的一个重要问题.提出利用结合操作来融合不同空间信息表示的新方法.利用结合操作,可以由原先完备互斥关系集合得到新关系,同时利用原有的复合表自动生成新关系的粗复合表.基于结合操作,给出2个理论模型:结合拓扑关系与大小关系模型、结合拓扑关系与远近关系模型.并提出了邻域划分图的概念,说明了邻域划分图与概念邻域图的关系.利用邻域划分图回答了Galton提出的问题:"为什么LOS(视觉光线演算)的概念邻域图不同于标准的空间或时间关系的概念邻域图,这些关系的复合表中关系总是来自于概念邻域图".

关键词：定性空间推理多方面空间信息区域连接演算概念邻域邻域划分图

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

依赖公理约简的经典规划方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

求解QBF问题的启发式调查传播算法

引用

软件学报 2011年第7期22卷 1538-1550页

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

提出了一种启发式调查传播算法,并基于该算法设计了一种QBF(quantified Boolean formulae)求解器——HSPQBF(heuristic survey propagation algorithm for solving QBF)系统.它将Survey Propagation信息传递方法应用到QBF求解问题中.利用Survey Propagation作为启发式引导DPLL(Davis,Putnam,Logemann and Loveland)算法,选择合适的变量进行分支,从而可以减小搜索空间,并减少算法回退的次数.在分支处理过程中,HSPQBF系统结合了单元传播、冲突学习和满足蕴涵学习等一些优秀的QBF求解技术,从而能够提高QBF问题的求解效率.实验结果表明,HSPQBF无论在随机问题上还是在QBF标准测试问题上都有很好的表现,验证了调查传播技术在QBF问题求解中的实际价值.

关键词：人工智能 QBF问题 QBF问题求解器因子图调查传播冲突学习满足蕴涵学习

来源：评论

学校读者我要写书评

暂无评论

基于GPU的共享信息素矩阵多蚁群算法

引用

吉林大学学报（工学版） 2011年第6期41卷 1678-1683页

作者：白洪涛欧阳丹彤李熙铭何丽莉吉林大学公共计算机教学与研究中心长春130012 吉林大学地球探测科学与技术学院长春130026 吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

在研究并行蚁群信息素交流方法的基础上,提出了一种适于GPU统一计算架构模型的多蚁群算法。采用多个同构和异构蚁群共享同一信息素矩阵的交流策略,解决信息素多样性和算法性能之间的矛盾。在路径探索阶段,多只获得迭代最优解且差异较大... 详细信息

在研究并行蚁群信息素交流方法的基础上,提出了一种适于GPU统一计算架构模型的多蚁群算法。采用多个同构和异构蚁群共享同一信息素矩阵的交流策略,解决信息素多样性和算法性能之间的矛盾。在路径探索阶段,多只获得迭代最优解且差异较大的蚂蚁共同释放信息素,以利群体多样性;在路径开发阶段,获得唯一全局最优解的蚂蚁释放信息素,以利迅速收敛。多蚁群映射到GPU的线程块而群内蚂蚁对应块内多线程。以MMAS和ACS混合为例给出了该策略下信息素初始化和动态界限的新方法,证明了算法是值收敛和解收敛的。在标准TSP问题实例上的实验评测表明,该算法不仅提升了性能,在充分收敛条件下获得了更高质量的解。

关键词：计算机软件蚁群优化共享信息素矩阵图形处理器统一计算架构

来源：评论

学校读者我要写书评

暂无评论

基于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难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义。主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术。介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想。最后根据存在的问题与不足提出了下一步的工作方向和研究思路。

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：