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

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

作者：周俊萍殷明浩周春光翟延冬王康平吉林大学计算机科学与技术学院长春130012 东北师范大学计算机科学与信息技术学院长春130117 教育部符号计算与知识工程重点实验室(吉林大学) 长春130012

最坏情况下#SAT问题上界的研究已成为一个热门的研究领域.#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得.#SAT问题实例的大小不仅依赖于变量的数量,还依赖于子句的数量.以子句数量为参数研究#SAT问题在最坏情况下的上... 详细信息

最坏情况下#SAT问题上界的研究已成为一个热门的研究领域.#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得.#SAT问题实例的大小不仅依赖于变量的数量,还依赖于子句的数量.以子句数量为参数研究#SAT问题在最坏情况下的上界,不仅可以从另一个角度衡量算法的好坏,而且在某种程度上更能准确地反映出算法的性能.首先从子句数量的角度证明了之前提出的基于扩展规则的模型计数算法(CER算法)的上界O(2m),其中m是公式中子句的数量.为了提高#3-SAT问题的求解效率,采用了多种分裂规则,进一步给出了一种基于Davis-Putnam-Logemann-Loveland(DPLL)的#3-SAT算法MCDP.通过分析该算法得到了以子句数量为参数的#3-SAT问题在最坏情况下的上界O(1.8393m).

关键词：最坏情况上界 #3 SAT 复杂性分析模型计数

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

推荐算法综述

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

约束分解技术回顾与展望

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

聚类集成方法研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于分布式集成学习的入侵检测模型

引用

计算机工程 2011年第13期37卷 104-106页

作者：谢堉鑫刘衍珩朱建启孙鑫付枫吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对入侵检测系统的高漏报率及高误报率问题,提出一种混杂入侵检测模型。该模型分别构造基于核主成分分析(KPCA)和核独立成分分析(KICA)的特征提取器,并采用集成学习对特征提取结果进行整合学习。采用分布式神经网络对集成结果进行再学... 详细信息

针对入侵检测系统的高漏报率及高误报率问题,提出一种混杂入侵检测模型。该模型分别构造基于核主成分分析(KPCA)和核独立成分分析(KICA)的特征提取器,并采用集成学习对特征提取结果进行整合学习。采用分布式神经网络对集成结果进行再学习,从而实现对大规模数据的分布式处理。通过反馈机制调节KPCA和KICA的集成学习权重,达到最优检测效果。采用KDD CUP’99数据集进行测试实验,结果表明:该模型能够获得较高的检测正确率,同时具有较低的漏报率及误报率。

关键词：入侵检测集成核主成分分析核独立成分分析分布式神经网络

来源：评论

学校读者我要写书评

暂无评论

即时消息系统的好友关系网络拓扑建模与分析

引用

计算机科学 2011年第8期38卷 69-73页

作者：王福林高强刘衍珩王健吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

即时消息系统目前已成为人们交友和沟通的主要工具,建模和理解其中的好友关系网络的建立和演化规律对于设计更加友好的即时消息系统很有益处。针对世界最大的即时消息系统之一的QQ,分析了好友关系网络的特点,统计了QQ用户的交友取向特征... 详细信息

即时消息系统目前已成为人们交友和沟通的主要工具,建模和理解其中的好友关系网络的建立和演化规律对于设计更加友好的即时消息系统很有益处。针对世界最大的即时消息系统之一的QQ,分析了好友关系网络的特点,统计了QQ用户的交友取向特征,考虑了实际的QQ联系人作为节点的出度和入度情况。不同于传统的基于节点度的优先附着规则,提出了即时消息系统的好友关系网络基于用户属性进行建模和演化的规则,设计了相应的拓扑生成算法,讨论了模型各参数对拓扑演化的影响。实验结果表明,提出的生成模型较BA模型更好地体现了实际好友关系网络的特点,例如节点度分布、平均最短路径长度等。

关键词：用户属性即时消息系统拓扑演化 BA模型拉普拉斯谱

来源：评论

学校读者我要写书评

暂无评论

一种约束粒子群优化的无线传感器网络节点定位算法

引用

计算机科学 2011年第7期38卷 46-50页

作者：欧阳丹彤何金胜白洪涛吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

节点定位是无线传感网络的关键技术。无线电测距虽然精度高,但用最小二乘算法进行节点定位的误差较大。为了提高基于测距的无线传感器网络节点定位的精度,把节点定位问题转换成约束优化问题,再运用粒子群优化算法进行求解。求解过程中,... 详细信息

节点定位是无线传感网络的关键技术。无线电测距虽然精度高,但用最小二乘算法进行节点定位的误差较大。为了提高基于测距的无线传感器网络节点定位的精度,把节点定位问题转换成约束优化问题,再运用粒子群优化算法进行求解。求解过程中,通过设定约束适应度函数和距离适应度函数,降低了搜索的计算量,加快了收敛速度,最终较快地得到较优解。仿真实验表明,约束粒子群优化定位算法与最小二乘法相比,在不同测距误差、不同测距半径、不同锚节点数和不同节点数的情况下,都能得到更高精度的解。这说明此算法具有更强的抗误差性、更好的收敛性和更少的硬件设备投入等优点,另外在节点稀疏的网络中定位效果也更优越。

关键词：无线传感器网络节点定位粒子群优化约束优化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：