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

吉林大学学报（工学版） 2011年第5期41卷 1369-1373页

作者：刘大有谷方明王生生吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

为使支持向量数据描述(SVDD)能应用于无监督多分类情况,提出了一种基于人工免疫核聚类的支持向量数据描述(AIKCSVDD)方法。AIKCSVDD将人工免疫核聚类产生的记忆抗体作为目标数据点,使用SVDD方法进行多类学习。在AIKCSVDD中,一方面实现... 详细信息

为使支持向量数据描述(SVDD)能应用于无监督多分类情况,提出了一种基于人工免疫核聚类的支持向量数据描述(AIKCSVDD)方法。AIKCSVDD将人工免疫核聚类产生的记忆抗体作为目标数据点,使用SVDD方法进行多类学习。在AIKCSVDD中,一方面实现了用核聚类方法解决各类数据边界不清晰的长处与免疫网络聚类方法全局收敛、不需要先验知识的优点的有机结合;另一方面,由于用记忆抗体代替原始数据进行学习,从而更好展现了原始数据的全局分布特征。与基于K-means聚类multi-SVDD方法相比,AIKCSVDD不需要事先指定分类数;在人工数据集和UCI数据集上的实验表明,在为multi-SVDD指定分类数的情况下,AIKCSVDD仍比multi-SVDD具有更好的分类性能。

关键词：人工智能支持向量数据描述人工免疫网络核聚类

来源：评论

学校读者我要写书评

暂无评论

移动自组网的主观信任建模与仿真

引用

电子学报 2011年第12期39卷 2813-2819页

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

不同于以往只考虑最短路径或只依靠转发行为评价信任或基于推荐机制的传统路由算法,提出了一种兼顾通信可靠性和路径长度的主观信任路由模型.通过引入属性相似度概念将邻居选择、信任评估、数据转发等路由环节紧密相连,进一步建立一种... 详细信息

不同于以往只考虑最短路径或只依靠转发行为评价信任或基于推荐机制的传统路由算法,提出了一种兼顾通信可靠性和路径长度的主观信任路由模型.通过引入属性相似度概念将邻居选择、信任评估、数据转发等路由环节紧密相连,进一步建立一种新的动态包转发规则,并给出了一种计算属性相似度的推荐方法.实验结果表明主观信任路由模型较传统的DSR(Dynamic Source Routing)协议和以往的信任路由协议表现出较高的抵抗黑洞攻击和行为改变攻击的能力,同时也不受诽谤攻击的影响.

关键词：移动自组网属性相似度恶意节点信任路由动态源路由协议

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

PMTED:植物MicroRNA靶基因表达数据库

PMTED:植物MicroRNA靶基因表达数据库

引用

第三届全国小麦基因组学及分子育种大会

作者：孙秀丽梁艳春毛龙董伯佺尹领杰张荣志杜伟刘栋峰石楠李爱丽武亮吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012 中国农业科学院作物科学研究所北京100081

PMTED,植物MicroRNA (miRNA)靶基因表达数据库,在搜集了12个物种的miRNA并为之预测靶基因以及搜集GEO中这12个物种的Affymetrix平台的芯片实验的基础上,主要提供这些miRNA的靶基因在大量的来自不同生物过程的芯片实验中的表达数据,不仅... 详细信息

PMTED,植物MicroRNA (miRNA)靶基因表达数据库,在搜集了12个物种的miRNA并为之预测靶基因以及搜集GEO中这12个物种的Affymetrix平台的芯片实验的基础上,主要提供这些miRNA的靶基因在大量的来自不同生物过程的芯片实验中的表达数据,不仅提供基本表达数据的浏览与查询,还对一部分数据进行了meta分析;不仅适用于已验证的miRNA,还可以通过一个在线靶基因预测入口服务于候选miRNA.数据库主要包括两个功能模块：Basic Informaion模块,用于提取miRNA靶基因的基本信息,包括序列信息、Gene Ontology信息及在芯片实验中的表达及差异表达数据;Meta-Network模块,用于浏览与查询meta分析的结果,通过基于Cytoscape web的图形交互界面向用户展示由meta分析产生的miRNA与各生物过程之间的网络关系.PMTED的目的： (1)通过对公共数据库中已经存在的大量靶基因表达数据的充分利用推进植物miRNA的研究;(2)为研究得较少的物种提供模式植物如拟南芥和水稻的参考知识以辅助这些物种中miRNA的研究.

关键词： microRNA 靶基因芯片基因表达

来源：评论

学校读者我要写书评

暂无评论

求解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问题求解器因子图调查传播冲突学习满足蕴涵学习

来源：评论

学校读者我要写书评

暂无评论

一个结合多方面定性空间信息的新方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种二阶TD Error快速Q(λ)算法

一种二阶TD Error快速Q(λ)算法

引用

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

作者：傅启明刘全孙洪坤高龙李瑾王辉苏州大学计算机科学与技术学院江苏苏州 215006 苏州大学计算机科学与技术学院江苏苏州 215006 吉林大学符号计算与知识工程教育部重点实验室长春 130012

Q(λ)学习算法是将值迭代与随机逼近的思想相结合，一种基于模型无关的多步离策略强化学习算法。针对经典的Q(λ)学习算法执行效率低、收敛速度慢的问题，从TD Error 的角度出发，给出n 阶TD Error 的概念，并将n 阶TD Error用于经典的Q... 详细信息

Q(λ)学习算法是将值迭代与随机逼近的思想相结合，一种基于模型无关的多步离策略强化学习算法。针对经典的Q(λ)学习算法执行效率低、收敛速度慢的问题，从TD Error 的角度出发，给出n 阶TD Error 的概念，并将n 阶TD Error用于经典的Q(λ)学习算法，提出一种二阶TD Error 快速Q(λ)学习算法——SOE ？ FQ(λ)。该算法利用二阶TD Error修正Q 值函数，并通过资格迹将TD Error 传播至整个状态动作空间，加快算法的收敛速度。在此基础之上，分析算法的收敛性及收敛效率，在仅考虑一步更新的情况下，算法所要执行的迭代次数T 主要指数依赖于1 11？γ ε 、。将SOE ？ FQ(λ)算法用于Random Walk 和Mountain Car 问题，实验结果表明，算法具有较快的收敛速度和较好的收敛精度。

关键词：强化学习马尔科夫决策过程二阶TD Error 资格迹 Q(λ)算法

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

最坏情况下#3-SAT问题最小上界

引用

计算机研究与发展 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 复杂性分析模型计数

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：