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

中国科学技术大学学报 2017年第8期47卷 644-652页

作者：孙栓柱宋蓓李春岩王皓江苏方天电力技术有限公司江苏南京211102 南京大学计算机软件新技术国家重点实验室江苏南京210023

为识别一类更新速度快、变化趋势平缓、缺少人工类标的大数据量工业时间序列中所存在的异常值,提出了一种以贝叶斯后验为基础的异常值在线检测及置信度评估算法.算法将预测检测和假设检验相结合,首先建立时间序列自回归模型,然后对预测... 详细信息

为识别一类更新速度快、变化趋势平缓、缺少人工类标的大数据量工业时间序列中所存在的异常值,提出了一种以贝叶斯后验为基础的异常值在线检测及置信度评估算法.算法将预测检测和假设检验相结合,首先建立时间序列自回归模型,然后对预测残差作基于贝叶斯原理的后验检验,用后验概率对数比确定序列中的异常值.为减少识别过程中的误判,在检测完成后,利用自组织映射神经网络计算状态转移概率,进一步对已标记的异常值进行置信度评估.通过定期更新模型,算法各参数能动态保持与数据变化规律同步,提高了检测的准确率.实验结果表明,该算法能够对时间序列异常值准确快速地进行在线检测,同时给出可靠的置信度评估,具有较高的实用价值.

关键词：时间序列异常检测贝叶斯后验置信度评估

来源：评论

学校读者我要写书评

暂无评论

基于一般化斜投影的异策略时序差分学习算法

引用

南京大学学报（自然科学版） 2017年第6期53卷 1052-1062页

作者：吴毓双陈筱语马静雯陈兴国南京邮电大学贝尔英才学院南京210023 南京邮电大学计算机学院南京210023 南京大学计算机软件新技术国家重点实验室南京210023

在强化学习的值函数线性估计问题中,时序差分不动点解和贝尔曼残差的方法都是对真实值函数的斜投影,然而这两种解经证明都不是最优解.通过对两种投影进行加权平均,提出了一种一般化的斜投影算子.基于此推导出两种残差时序差分学习算法,... 详细信息

在强化学习的值函数线性估计问题中,时序差分不动点解和贝尔曼残差的方法都是对真实值函数的斜投影,然而这两种解经证明都不是最优解.通过对两种投影进行加权平均,提出了一种一般化的斜投影算子.基于此推导出两种残差时序差分学习算法,并给出了这两种算法在异策略下的收敛性证明.在著名的Baird的异策略反例实验上,与相关算法进行了对比,实验结果验证了所提算法的正确性和有效性.

关键词：强化学习线性函数估计斜投影异策略时序差分学习

来源：评论

学校读者我要写书评

暂无评论

组合测试研究进展

引用

中国科技论文 2017年第20期12卷 2391-2400页

作者：聂长海南京大学软件新技术国家重点实验室暨计算机科学与技术系南京210023

经过30多年的发展,组合测试已经发展成为1种独立的和颇具影响的软件测试方法。该方法利用组合覆盖表作为测试用例集,可以有效检测软件系统中各种因素及其相互作用而促发的各种故障。论文在充分分析已有文献的基础上,结合作者在该领域的... 详细信息

经过30多年的发展,组合测试已经发展成为1种独立的和颇具影响的软件测试方法。该方法利用组合覆盖表作为测试用例集,可以有效检测软件系统中各种因素及其相互作用而促发的各种故障。论文在充分分析已有文献的基础上,结合作者在该领域的研究实践,首次系统介绍组合测试的演化发展,总结出其中的关键问题、方法、重要应用和未来发展方向,为组合测试的进一步研究和发展提供支持和参考。

关键词：软件测试组合测试覆盖表测试用例生成故障诊断

来源：评论

学校读者我要写书评

暂无评论

基于视差重映射的立体图像视觉舒适度提升

引用

中国图象图形学报 2017年第4期22卷 452-462页

作者：王颖郁梅应宏微蒋刚毅宁波大学信息科学与工程学院宁波315211 南京大学计算机软件新技术国家重点实验室南京210023

目的针对人眼观看立体图像内容可能存在的视觉不舒适性,基于视差对立体图像视觉舒适度的影响,提出了一种结合全局线性和局部非线性视差重映射的立体图像视觉舒适度提升方法。方法首先,考虑双目融合限制和视觉注意机制,分别结合空间频率... 详细信息

目的针对人眼观看立体图像内容可能存在的视觉不舒适性,基于视差对立体图像视觉舒适度的影响,提出了一种结合全局线性和局部非线性视差重映射的立体图像视觉舒适度提升方法。方法首先,考虑双目融合限制和视觉注意机制,分别结合空间频率和立体显著性因素提取立体图像的全局和局部视差统计特征,并利用支持向量回归构建客观的视觉舒适度预测模型作为控制视差重映射程度的约束;然后,通过构建的预测模型对输入的立体图像的视觉舒适性进行分析,就欠舒适的立体图像设计了一个两阶段的视差重映射策略,分别是视差范围的全局线性重映射和针对提取的潜在欠舒适区域内视差的局部非线性重映射;最后,根据重映射后的视差图绘制得到舒适度提升后的立体图像。结果在IVY Lab立体图像舒适度测试库上的实验结果表明,相较于相关有代表性的视觉舒适度提升方法对于欠舒适立体图像的处理结果,所提出方法在保持整体场景立体感的同时,能更有效地提升立体图像的视觉舒适度。结论所提出方法能够根据由不同的立体图像特征构建的视觉舒适度预测模型来自动实施全局线性和局部非线性视差重映射过程,达到既改善立体图像视觉舒适度、又尽量减少视差改变所导致的立体感削弱的目的,从而提升立体图像的整体3维体验。

关键词：立体图像视觉舒适度提升客观预测模型视差重映射立体感

来源：评论

学校读者我要写书评

暂无评论

基于内容的图像分割方法综述

引用

软件学报 2017年第1期28卷 160-183页

作者：姜枫顾庆郝慧珍李娜郭延文陈道蓄计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京理工大学泰州科技学院移动互联网学院江苏泰州225300 南京工程学院通信工程系江苏南京211167

图像分割是指将图像分成若干具有相似性质的区域的过程,是许多图像处理任务的预处理步骤.近年来,国内外学者主要研究基于图像内容的分割算法.在广泛调研大量文献和最新成果的基础上,将图像分割算法分为基于图论的方法、基于像素聚类的... 详细信息

图像分割是指将图像分成若干具有相似性质的区域的过程,是许多图像处理任务的预处理步骤.近年来,国内外学者主要研究基于图像内容的分割算法.在广泛调研大量文献和最新成果的基础上,将图像分割算法分为基于图论的方法、基于像素聚类的方法和语义分割方法这3种类型并分别加以介绍.对每类方法所包含的典型算法,尤其是最近几年利用深度网络技术的语义图像分割方法的基本思想、优缺点进行了分析、对比和总结.介绍了图像分割常用的基准数据集和算法评价标准,并用实验对各种图像分割算法进行对比.最后进行总结,并对未来可能的发展趋势加以展望.

关键词：图像分割图论聚类语义分割深度神经网络

来源：评论

学校读者我要写书评

暂无评论

面向Java程序包的代码概要自动生成技术研究

引用

计算机科学与探索 2017年第2期11卷 212-220页

作者：柳郁孙小兵李斌扬州大学信息工程学院江苏扬州225127 南京大学计算机软件新技术国家重点实验室南京210023

程序理解是从软件程序中获得抽象在程序中的功能和知识的过程,对软件维护有着重要的意义。研究表明,软件维护消耗了软件预算的50%到80%,而其中大概47%到62%的维护时间用于对软件系统的理解上。提出了一种面向Java程序的包概要方法,尝试... 详细信息

程序理解是从软件程序中获得抽象在程序中的功能和知识的过程,对软件维护有着重要的意义。研究表明,软件维护消耗了软件预算的50%到80%,而其中大概47%到62%的维护时间用于对软件系统的理解上。提出了一种面向Java程序的包概要方法,尝试从软件的语义层次出发,利用信息索引领域的潜在语义分析和数据挖掘领域的聚类算法对软件程序中的语义信息进行提取分析。对相似词汇的代码文件进行聚类,并从中提取话题对Java程序中的包进行刻画;对这些话题进行语义恢复,并利用MiniPar,一个英文词法分析器,来辅助生成程序中包的概要信息。实验结果表明该方法能够改进程序理解的效率。

关键词：程序理解潜在语义分析聚类话题概要化

来源：评论

学校读者我要写书评

暂无评论

基于均值漂移算法和时空上下文算法的目标跟踪

引用

计算机科学 2017年第8期44卷 22-26页

作者：周华争马小虎苏州大学计算机科学与技术学院苏州215006 南京大学计算机软件新技术国家重点实验室南京210023

在严重遮挡时,时空上下文STC(Spatio-Temporal Context)算法对目标位置的判断是正确的,而均值漂移MS(Mean Shift)算法对目标位置的判断会发生很大幅度的抖动,甚至跟踪错误目标。在遮挡结束后,时空上下文算法很难重新跟踪到正确目标,而... 详细信息

在严重遮挡时,时空上下文STC(Spatio-Temporal Context)算法对目标位置的判断是正确的,而均值漂移MS(Mean Shift)算法对目标位置的判断会发生很大幅度的抖动,甚至跟踪错误目标。在遮挡结束后,时空上下文算法很难重新跟踪到正确目标,而均值漂移算法可以重新检测到跟踪目标。结合二者的优缺点,提出基于均值漂移算法和时空上下文算法的目标跟踪算法MSandSTC。该算法主要解决目标被严重遮挡的问题。在许多具有挑战性的数据集上的实验表明所提算法具有较好的实时性和鲁棒性。

关键词：目标跟踪均值漂移时空上下文严重遮挡

来源：评论

学校读者我要写书评

暂无评论

基于奇异值分解的专利术语层次关系解析研究

引用

情报学报 2017年第5期36卷 473-483页

作者：吴志祥王昊王雪颖祁磊苏新宁南京大学信息管理学院南京大学江苏省数据工程与知识服务重点实验室南京大学计算机软件新技术国家重点实验室

奇异值分解是矩阵分析中常用的分解技术,在高维数据的降维、去噪方面有着广泛的应用。本文将矩阵的奇异值分解技术应用到领域专利术语的层次关系解析中,其核心思想是术语语义空间的深度转换,旨在用某种潜在特征代替文档作为属性来表示... 详细信息

奇异值分解是矩阵分析中常用的分解技术,在高维数据的降维、去噪方面有着广泛的应用。本文将矩阵的奇异值分解技术应用到领域专利术语的层次关系解析中,其核心思想是术语语义空间的深度转换,旨在用某种潜在特征代替文档作为属性来表示术语。具体研究包括,基于位置加权的原始术语-文档语义空间的构建方法、基于奇异值分解的术语特征抽取方法、基于术语-特征语义空间的术语层次关系解析方法。本文对论述的理论方法进行了实证研究,证实了该方法的可行性和有效性,并在此基础上实现较大规模的钢铁冶金领域专利术语层次关系解析,将解析结果纳入到本体学习理论体系中,实现该领域专利术语的知识本体化与可视化。

关键词：术语语义空间转换矩阵奇异值分解术语特征抽取术语层次关系本体学习

来源：评论

学校读者我要写书评

暂无评论

基于组合IIS路径抽取的组合线性混成系统有界可达性分析优化

引用

中国科学：信息科学 2017年第3期47卷 288-309页

作者：解定宝周岳翔卜磊王林章李宣东南京大学计算机软件新技术国家重点实验室南京210023 江苏省软件新技术与产业化协同创新中心南京210023

混成系统是一类同时具有离散和连续行为的复杂系统,被广泛应用于控制系统建模.针对其安全性需求,对不安全状态进行有界可达性验证,是保障系统安全的重要手段.然而,当前技术所能处理的问题规模和现实生活里的实际需要尚有一定的距离.特... 详细信息

混成系统是一类同时具有离散和连续行为的复杂系统,被广泛应用于控制系统建模.针对其安全性需求,对不安全状态进行有界可达性验证,是保障系统安全的重要手段.然而,当前技术所能处理的问题规模和现实生活里的实际需要尚有一定的距离.特别是组合混成系统由于涉及到各个组件间的协作与同步,组合状态空间快速爆炸,对其进行验证具有极高的复杂性.为控制问题的复杂度,一种面向路径的可达性分析方法在前期工作中被提出用来对组合线性混成系统进行有界可达性分析.该方法通过依次枚举潜在路径并进行验证的方式,有效地提升了所能处理的问题规模.当面对复杂系统时,上述面向路径的检测方法将会因为待检测路径数量的急剧上升而使得验证效率大幅降低,这也是模型检验状态空间爆炸问题的一种体现.为解决此问题,本文提出了一种状态空间约减技术以加速验证过程.当一组路径被判定为不可行时,定位出导致其不可行的原因,得到一个组合不可行路径片段.由于包含同样片段的组合路径一定不可行,因此在后续的路径遍历里只需要枚举与检验不包含组合不可行路径片段的路径,从而大幅减少需要检验的路径数量.此外,为了有效地规避此类组合路径片段,我们设计了一种全新的基于SMT编码的有界图结构遍历方法.实验表明,该优化技术大幅地提升了面向路径有界可达性分析方法的性能,整体性能也超越了当前最先进的同类工具.

关键词：混成系统有界模型检验可达性分析组合线性混成自动机可满足性不可约不可解子集

来源：评论

学校读者我要写书评

暂无评论

一种快速消除失真的虚拟视点合成方法

引用

图学学报 2017年第4期38卷 566-576页

作者：姚莉李小敏韩应栋东南大学计算机科学与工程学院软件学院江苏南京211189 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

基于深度图的绘制(DIBR)技术是合成虚拟视点图像的有效方法,但是合成的图像往往存在失真,最主要的问题是包含"伪影"和大小不等的空洞。针对"伪影"问题,先对参考视点图像进行色彩校正,并综合基于深度的彩色图融合和... 详细信息

基于深度图的绘制(DIBR)技术是合成虚拟视点图像的有效方法,但是合成的图像往往存在失真,最主要的问题是包含"伪影"和大小不等的空洞。针对"伪影"问题,先对参考视点图像进行色彩校正,并综合基于深度的彩色图融合和彩色图直接融合两种方式融合图像,以减弱"伪影"效应;针对映射后出现的小空洞,采用反向映射到参考图像的方式进行填充;针对大的空洞,采用图像修复的方式,结合深度图更好地填补空洞,但是图像修复是一个耗时的过程,为此将图像修复算法并行化,利用统一计算设备架构(CUDA)并行计算,来加速空洞填补过程。实验结果表明,针对"伪影"问题的处理及基于图像修复的空洞填补可以有效地提高虚拟视点图像合成质量,同时基于CUDA实现的并行图像修复算法也大幅降低了空洞填补时间。

关键词：自由视点视频视点合成图像修复 GPU加速

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：