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

吉林大学学报（理学版） 2015年第2期53卷 285-290页

作者：许苍竹郝爽李博宇刘明慧吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012 吉林大学软件学院长春130012

针对基于MAC的动态回溯算法在求解约束满足问题时,不仅需要大量空间存储删除解释,而且回溯机制过于复杂,对经典的删除解释及动态回溯算法的回溯机制进行优化,优化后的动态回溯算法减少了存储删除解释的空间,并可仅使用一次回溯操作返回... 详细信息

针对基于MAC的动态回溯算法在求解约束满足问题时,不仅需要大量空间存储删除解释,而且回溯机制过于复杂,对经典的删除解释及动态回溯算法的回溯机制进行优化,优化后的动态回溯算法减少了存储删除解释的空间,并可仅使用一次回溯操作返回到可能导致冲突的关键变量.在最差情况下,存储删除解释的空间复杂度由O(n2 d)改进为O(nd+n2).通过结合restart技术使优化后的动态回溯算法成为完备算法.实验结果表明,优化后的完备动态回溯算法在大部分问题求解中,整体效率明显优于标准回溯算法.

关键词：人工智能约束满足问题动态回溯算法删除解释

来源：评论

学校读者我要写书评

暂无评论

基于Git的代码托管平台JLUCODE

引用

计算机时代 2016年第12期 32-34,38页

作者：侯效永李良伟孙召宋春雨杨昊韩霄松吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012 中国石油天然气集团公司大庆油田人才开发院

软件版本控制在软件行业的作用十分重要,而大多数在校学生对版本控制的了解却知之甚少。通过分析对比三大版本控制系统CVS、SVN、Git的优缺点,基于Git设计并实现了一个吉林大学代码托管平台JLUCODE,通过Git协议与Web平台实现本地与服务... 详细信息

软件版本控制在软件行业的作用十分重要,而大多数在校学生对版本控制的了解却知之甚少。通过分析对比三大版本控制系统CVS、SVN、Git的优缺点,基于Git设计并实现了一个吉林大学代码托管平台JLUCODE,通过Git协议与Web平台实现本地与服务器的通讯。该平台主要实现代码托管、统计分析、论坛讨论和作业管理等功能,以帮助学生学习、理解版本控制的意义,提升自身的能力,更好地管理源码、完成作业。

关键词：版本控制代码托管 Git 代码分析

来源：评论

学校读者我要写书评

暂无评论

基于局部结构交互的RNA假结预测

引用

吉林大学学报（工学版） 2015年第2期45卷 613-618页

作者：刘元宁艾露露段云娜李誌田明尧张浩吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 长春理工大学应用技术学院长春130022 军事医学科学院军事兽医研究所长春130122

基于RNA局部结构间的交互作用,提出一种含假结的RNA二级结构预测新方法LIFold。对给定的RNA序列,首先通过能量计算得到不含假结的能量最优结构,然后应用局部结构交互配对生成假结茎区,在已得到的最优结构基础上构建含假结的能量计算模型... 详细信息

基于RNA局部结构间的交互作用,提出一种含假结的RNA二级结构预测新方法LIFold。对给定的RNA序列,首先通过能量计算得到不含假结的能量最优结构,然后应用局部结构交互配对生成假结茎区,在已得到的最优结构基础上构建含假结的能量计算模型,最后通过优化算法得到含假结的RNA二级结构。应用该方法基于HotKnots测试数据的敏感性和阳性预测值(PPV)分别达到84%和80%,基于PseudoBase数据库测试数据的敏感性和阳性预测值分别达到78%和73%,与HotKnots、ILM、PknotsRG、IPknot及FlexStem等知名软件相比较,准确率均有所提高。

关键词：计算机应用 RNA二级结构假结最小自由能交互配对

来源：评论

学校读者我要写书评

暂无评论

面向网页的主题概念挖掘

引用

计算机科学 2015年第5期42卷 62-66页

作者：刘琼琼左万利王英吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

网页主题挖掘对自然语言处理如网页文本分类、文摘自动生成、信息融合等具有重要意义。挖掘网页主题可以帮助用户更好地理解网页内容。尽管已有一些从普通文本中挖掘概念的工作,但其很少考虑单词所属标签和位置对单词权重的影响,且没有... 详细信息

网页主题挖掘对自然语言处理如网页文本分类、文摘自动生成、信息融合等具有重要意义。挖掘网页主题可以帮助用户更好地理解网页内容。尽管已有一些从普通文本中挖掘概念的工作,但其很少考虑单词所属标签和位置对单词权重的影响,且没有工作给出上述两种影响因子的计算方法。借助WordNet,将网页主题从词语扩展到概念层次,提出了使用词性标注和词义消歧确定网页中单词词义并充分利用标签影响因子和位置影响因子对网页正文文本特征进行权重修正的主题概念挖掘方法,给出了两种影响因子的计算公式。在DMOZ数据集上的实验结果表明,修正权重可以明显提高主题挖掘精度,最高可达到0.95。

关键词：词性标注词义消歧标签影响因子位置影响因子权重修正

来源：评论

学校读者我要写书评

暂无评论

基于LBC的计算机生成图像盲鉴别算法

引用

计算机科学 2015年第6期42卷 135-138,161页

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

针对现有的计算机生成图像盲鉴别算法选用的分类特征维度较高、通用性差等问题,提出了一种基于局部二进制计数模式的计算机生成图像盲鉴别算法。首先,将原始图像由RGB颜色空间转换为HSV颜色空间;然后,提取HSV颜色空间图像及其下采样图... 详细信息

针对现有的计算机生成图像盲鉴别算法选用的分类特征维度较高、通用性差等问题,提出了一种基于局部二进制计数模式的计算机生成图像盲鉴别算法。首先,将原始图像由RGB颜色空间转换为HSV颜色空间;然后,提取HSV颜色空间图像及其下采样图像的局部二进制计数模式矩阵,求取矩阵归一化直方图;最后,将上述直方图作为分类特征送入SVM分类器,实现计算机生成图像的盲鉴别。实验结果表明,该算法可以有效地鉴别自然图像和计算机生成图像,与现有算法相比具有更高的识别率和较低的特征维度。

关键词：图像盲鉴别计算机生成图像下采样图像局部二进制计数模式 SVM分类器

来源：评论

学校读者我要写书评

暂无评论

基于序列的子问题相容性技术

引用

计算机科学 2015年第7期42卷 28-31,37页

作者：陈德泉张永刚辛颖刘文壮吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性（SSAC）,并给出相应的实现算法。然后分析其时空、空间复杂性及正确性,证明SSAC化简不改变原约束满足问题的解集,同时证明... 详细信息

研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性（SSAC）,并给出相应的实现算法。然后分析其时空、空间复杂性及正确性,证明SSAC化简不改变原约束满足问题的解集,同时证明SSAC的约束传播能力介于SAC和AC之间。通过对随机问题和composed问题的测试表明,所提算法的效率是已有算法SAC-SDS和SAC-3的2~3倍。

关键词：约束满足相容性技术 SSAC

来源：评论

学校读者我要写书评

暂无评论

一种基于随机游走和共点的社交网络拓扑模型

引用

计算机工程与应用 2015年第12期51卷 74-77页

作者：林佳佳刘衍珩王亚洲田雪颖吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

研究移动社交网络拓扑模型,有助于在更深层次上理解移动社交网络的结构特性和进行相关安全软件的开发。根据移动社交网络的高度动态性,提出了基于随机游走的有向网络拓扑模型,通过上一状态的节点累计连接时间和共点个数变化来决定当前... 详细信息

研究移动社交网络拓扑模型,有助于在更深层次上理解移动社交网络的结构特性和进行相关安全软件的开发。根据移动社交网络的高度动态性,提出了基于随机游走的有向网络拓扑模型,通过上一状态的节点累计连接时间和共点个数变化来决定当前节点状态。仿真实验表明,构造的移动社交网络拓扑模型符合真实移动社交网络环境下具有幂律特性的拓扑结构。

关键词：移动社交网络随机游走动态性累积连接时间共点

来源：评论

学校读者我要写书评

暂无评论

基于小波树的电容型设备异常检测方法

引用

吉林大学学报（理学版） 2015年第6期53卷 1275-1281页

作者：虞强源范世超金承业吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林省乐金电子有限公司长春130062

针对电力系统中电容型设备的异常检测问题,以介质损耗因数为主要监测参数,提出一种基于小波树的设备绝缘性异常检测方法,以解决异常的自动检测问题.该方法利用在线监测获得的介质损耗因数数据,采用二层小波树方法进行异常检测,通过检测... 详细信息

针对电力系统中电容型设备的异常检测问题,以介质损耗因数为主要监测参数,提出一种基于小波树的设备绝缘性异常检测方法,以解决异常的自动检测问题.该方法利用在线监测获得的介质损耗因数数据,采用二层小波树方法进行异常检测,通过检测介质损耗因数的突发性和持续性突变异常,分析得到设备的绝缘性异常检测结果.根据对变电所电容型设备实测数据的分析,验证了该方法的有效性和实用性,为设备的异常预警提供了辅助支持.

关键词：异常检测小波树电容型设备介质损耗因数

来源：评论

学校读者我要写书评

暂无评论

基于Hash函数的抵御失去同步RFID安全认证协议

引用

吉林大学学报（理学版） 2015年第3期53卷 499-504页

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

针对无线射频识别(RFID)技术存在的同步安全隐患,提出一种新的基于单向Hash函数的安全认证协议,以解决存在于RFID系统中的各种安全问题,并对提出的协议进行基于GNY逻辑的形式化证明和对比分析.结果表明,该协议可有效解决窃听、重放攻击... 详细信息

针对无线射频识别(RFID)技术存在的同步安全隐患,提出一种新的基于单向Hash函数的安全认证协议,以解决存在于RFID系统中的各种安全问题,并对提出的协议进行基于GNY逻辑的形式化证明和对比分析.结果表明,该协议可有效解决窃听、重放攻击、失去同步等安全问题,在能耗、安全与性能方面优于当前其他主流协议.

关键词： RFID Hash函数协议 GNY逻辑

来源：评论

学校读者我要写书评

暂无评论

基于自适应归一化RBF网络的Q-V值函数协同逼近模型

引用

计算机学报 2015年第7期38卷 1386-1396页

作者：刘全肖飞傅启明伏玉琛周小科朱斐苏州大学计算机科学与技术学院江苏苏州215006 吉林大学符号计算与知识工程教育部重点实验室长春130012 江苏省软件新技术与产业化协同创新中心南京210046

径向基函数网络逼近模型可以有效地解决连续状态空间强化学习问题.然而,强化学习的在线特性决定了RBF网络逼近模型会面临"灾难性扰动",即新样本作用于学习模型后非常容易对先前学习到的输入输出映射关系产生破坏.针对RBF网络... 详细信息

径向基函数网络逼近模型可以有效地解决连续状态空间强化学习问题.然而,强化学习的在线特性决定了RBF网络逼近模型会面临"灾难性扰动",即新样本作用于学习模型后非常容易对先前学习到的输入输出映射关系产生破坏.针对RBF网络逼近模型的"灾难性扰动"问题,文中提出了一种基于自适应归一化RBF(ANRBF)网络的Q-V值函数协同逼近模型及对应的协同逼近算法——QV(λ).该算法对由RBFs提取得到的特征向量进行归一化处理,并在线自适应地调整ANRBF网络隐藏层节点的个数、中心及宽度,可以有效地提高逼近模型的抗干扰性和灵活性.协同逼近模型中利用Q和V值函数协同塑造TD误差,在一定程度上利用了环境模型的先验知识,因此可以有效地提高算法的收敛速度和初始性能.从理论上分析了QV(λ)算法的收敛性,并对比其他的函数逼近算法,通过实验验证了QV(λ)算法具有较优的性能.

关键词：强化学习函数逼近径向基函数灾难性扰动协同逼近

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：