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

计算机科学 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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于局部结构交互的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年第11期35卷 1374-1382页

作者：李喆刘琦长春理工大学理学院长春130022 自动推理与认知重庆市重点实验室重庆400714 吉林大学符号计算与知识工程教育部重点实验室长春130022 中科院系统所数学机械化重点实验室北京10090

利用区间算法,研究结构矩阵秩亏的可信性验证.给定具有特殊代数结构且数值秩为k的实矩阵A(p),给出算法输出具有相同代数结构的区间矩阵A(p+W),其每一个位置的元素为矩阵A(p)相应位置的元素的很小的区间摄动,使得区间矩阵A(p+W)中包含一... 详细信息

利用区间算法,研究结构矩阵秩亏的可信性验证.给定具有特殊代数结构且数值秩为k的实矩阵A(p),给出算法输出具有相同代数结构的区间矩阵A(p+W),其每一个位置的元素为矩阵A(p)相应位置的元素的很小的区间摄动,使得区间矩阵A(p+W)中包含一具有相同代数结构且秩为k的实矩阵A(p+w).

关键词：区间算法结构矩阵可信性验证 INTLAB.

来源：评论

学校读者我要写书评

暂无评论

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

引用

吉林大学学报（理学版） 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逻辑

来源：评论

学校读者我要写书评

暂无评论

基于概念R-MUPS的本体调试方法?

引用

软件学报 2015年第9期26卷 2231-2249页

作者：欧阳丹彤苏静叶育鑫崔仙姬吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 国家地球物理探测仪器工程技术研究中心(吉林大学) 吉林长春130026 大连民族大学信息与通信工程学院辽宁大连116600

通过定义不可满足概念间的覆盖关系,发现MUPS和MIPS之间的内在关联,从而引出不可满足概念的R-MUPS;给出并证明不一致本体术语集中至少存在一个不可满足概念的R-MUPS就是该术语集的MIPS;利用这一结论,提出基于有序标签演算的R-MUPS算法,... 详细信息

通过定义不可满足概念间的覆盖关系,发现MUPS和MIPS之间的内在关联,从而引出不可满足概念的R-MUPS;给出并证明不一致本体术语集中至少存在一个不可满足概念的R-MUPS就是该术语集的MIPS;利用这一结论,提出基于有序标签演算的R-MUPS算法,采用深度优先遍历原则合并分支计算R-MUPS,同时缓存覆盖概念集合,加快MIPS的求解,实现本体调试.通过概念扩展树与概念R-MUPS算法的等价性,证明算法的正确性并分析其复杂度.最后,利用自动生成本体、现实本体及其扩建本体的数据进行全面测试.实验结果表明:基于R-MUPS的MIPS求解方法能够高效、准确地完成本体调试任务.

关键词：本体调试描述逻辑定位 MUPS MIPS

来源：评论

学校读者我要写书评

暂无评论

基于OpenMP+MPI的2.5维电磁场正演并行化方法

引用

石油地球物理勘探 2015年第1期50卷 170-176,20页

作者：白洪涛范翠松李昂何丽莉李桐林吉林大学地球探测科学与技术学院吉林长春130026 吉林大学公共计算机教学与研究中心吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 中国地质调查局天津地质调查中心天津300170 吉林大学计算机科学与技术学院吉林长春130012

针对2.5维复电阻率电磁场正演串行算法的效率瓶颈,研究了一种基于OpenMP+MPI的混合计算并行化方法。将波数域分解到计算机集群的各节点上,采用MPI对各波数进行并行运算;在各节点内部,对复双共轭梯度法求解线性方程组的过程采用OpenMP并... 详细信息

针对2.5维复电阻率电磁场正演串行算法的效率瓶颈,研究了一种基于OpenMP+MPI的混合计算并行化方法。将波数域分解到计算机集群的各节点上,采用MPI对各波数进行并行运算;在各节点内部,对复双共轭梯度法求解线性方程组的过程采用OpenMP并行运算。波数等间隔分配到各集群节点,以利负载均衡;集群节点读取各自的模型参数,MPI群集传递当前波数的计算结果,以降低通信开销。不同类型和规模算例的实验结果表明,该并行方法不仅能够达到与串行方法等同的精度,而且获得了接近线性的加速比。

关键词： 2.5维复电阻率电磁场正演波数分解并行计算混合计算

来源：评论

学校读者我要写书评

暂无评论

中文网络文本的语义信息处理研究综述

引用

计算机应用研究 2015年第1期32卷 6-10,16页

作者：刘磊李壮张鑫吕帅吉林大学计算机科学与技术学院长春130012 吉林大学软件学院长春130012 吉林大学数学学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

从学术价值和应用价值两方面分析了将计算机学科与语言学学科的研究方法相结合对于研究网络文本的意义,分别从分析网络文本的特性、网络词汇的演化规律以及构建网络文本语言知识库、开发平台和支持工具等方面对该领域中的研究现状与相... 详细信息

从学术价值和应用价值两方面分析了将计算机学科与语言学学科的研究方法相结合对于研究网络文本的意义,分别从分析网络文本的特性、网络词汇的演化规律以及构建网络文本语言知识库、开发平台和支持工具等方面对该领域中的研究现状与相关工作予以描述与分析,试图明晰面向中文网络文本的语义信息处理的研究内容和路线,为相关研究的进一步开展奠定基础。

关键词：中文网络文本网络词汇网络语言语义分析知识库

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：