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

南京邮电大学学报（自然科学版） 2017年第1期37卷 61-67页

作者：陆徐行唐贵进崔子冠陈昌红刘峰南京邮电大学江苏省图像处理与图像通信重点实验室江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093

在目标跟踪研究领域里,对尺度变化的目标跟踪一直是其中的重点和难点。为了解决这一问题,文中提出了一种基于压缩特征的尺度自适应目标跟踪算法。在线跟踪过程中,用一个满足rip条件的测量矩阵来提取出目标某一帧的压缩特征,并训练贝叶... 详细信息

在目标跟踪研究领域里,对尺度变化的目标跟踪一直是其中的重点和难点。为了解决这一问题,文中提出了一种基于压缩特征的尺度自适应目标跟踪算法。在线跟踪过程中,用一个满足rip条件的测量矩阵来提取出目标某一帧的压缩特征,并训练贝叶斯分类器。在下一帧中根据这一帧的目标位置采样多个候选窗口,选取分类器分数最大的窗口作为下一帧目标位置。并且,每隔一定帧数将目标分割成4小块,对这4个小块分别跟踪指定帧数并对小块的跟踪结果进行一定处理,来判断指定帧数后的大块目标的尺度变化并实现缩放。实验结果表明,该算法能够适应目标尺度比较明显的缩放,跟踪结果在定性和定量上都比原始的压缩跟踪算法要好。

关键词：尺度自适应压缩特征跟踪朴素贝叶斯分类器分块追踪

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于对数图像处理模型的低照度图像增强算法

引用

南京邮电大学学报（自然科学版） 2017年第2期37卷 98-106页

作者：林宝栋唐贵进干宗良崔子冠刘峰南京邮电大学江苏省图像处理与图像通信重点实验室江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了解决图像采集或视频监控应用中遇到夜视或背光等低照度的情况,文中从对数图像处理模型出发,结合色彩恒常性理论,提出一种基于人眼视觉特性的低照度图像增强算法。该算法首先将RGB彩色图像转换到HSV色彩空间,利用对数图像处理模型(L... 详细信息

为了解决图像采集或视频监控应用中遇到夜视或背光等低照度的情况,文中从对数图像处理模型出发,结合色彩恒常性理论,提出一种基于人眼视觉特性的低照度图像增强算法。该算法首先将RGB彩色图像转换到HSV色彩空间,利用对数图像处理模型(LIP)算子改进普通空域滤波器对亮度通道进行反射分量的提取,以更好地保持图像高频信息,然后根据局部的背景亮度信息计算放大系数,在LIP模型下对每个像素的光照分量进行增强,以提高图像的亮度和对比度。实验结果表明,新算法基于人眼视觉特性,有效地提高了图像的整体对比度,保留图像的细节信息,有较好的主观视觉感受。

关键词：图像增强对数图像处理模型 Retinex理论低照度图像

来源：评论

学校读者我要写书评

暂无评论

基于四边形网格剖分的可计算区域填充方法

引用

计算机工程 2017年第5期34卷 299-305,312页

作者：徐绕山袁苇航孙正兴南京信息职业技术学院计算机与软件学院南京210023 南京大学计算机软件新技术国家重点实验室南京210046

针对在一定形状限制条件下的可形变填充问题,提出一种可计算填充方法。对目标区域和填充样板进行四边形网格剖分。给出在样板拼接、边界、旋转、最小形变等约束条件下的整型规划,使用填充样板在填充区域中进行离散拼接,并通过全局优化... 详细信息

针对在一定形状限制条件下的可形变填充问题,提出一种可计算填充方法。对目标区域和填充样板进行四边形网格剖分。给出在样板拼接、边界、旋转、最小形变等约束条件下的整型规划,使用填充样板在填充区域中进行离散拼接,并通过全局优化迭代样板形变,以达到理想的填充效果。实验结果表明,该填充方法对目标区域的有效覆盖率以及边缘拟合度与约束限制无直接关系,在指定约束条件下,能较好地达到区域填充效果。

关键词：四边形网格区域填充离散拼接整型规划形状约束全局优化

来源：评论

学校读者我要写书评

暂无评论

基于复杂学习分类系统的密度聚类方法

引用

计算机应用 2017年第11期37卷 3207-3211页

作者：黄虹玮葛笑天陈烜松计算机软件新技术国家重点实验室(南京大学) 南京210023 江苏省审计厅南京210009

提出一种基于复杂学习分类系统(XCS)的密度聚类方法,可以用于对任意形状且带有噪声的二维数据进行聚类分析。此方法称为DXCSc,主要包括以下三个过程:1)基于学习分类系统,对输入数据生成规则种群,并对规则进行适当压缩;2)将已经生成的规... 详细信息

提出一种基于复杂学习分类系统(XCS)的密度聚类方法,可以用于对任意形状且带有噪声的二维数据进行聚类分析。此方法称为DXCSc,主要包括以下三个过程:1)基于学习分类系统,对输入数据生成规则种群,并对规则进行适当压缩;2)将已经生成的规则视为二维数据点,进而基于密度聚类思想对二维数据点进行聚类;3)对密度聚类后的规则种群进行适当聚合,生成最终的规则种群。在第一个过程中,采用学习分类系统框架生成规则种群并进行适当约减。第二个过程认为种群的各规则簇中心比它们的邻居规则具有更高的密度,并且与密度更高的规则间距离更大。在第三个过程中,采用图分割方法对相关重叠簇进行适当聚合。在实验中,将所提方法与K-means、近邻传播聚类算法(AP)、Voting-XCSc等算法进行了比较,实验结果表明,所提方法在精度方面优于对比算法。

关键词：学习分类系统进化计算强化学习密度聚类规则合并

来源：评论

学校读者我要写书评

暂无评论

面向认知的多源数据学习理论和算法研究进展

引用

软件学报 2017年第11期28卷 2971-2991页

作者：杨柳于剑刘烨詹德川天津大学计算机科学与技术学院天津300350 交通数据分析与挖掘北京市重点实验室(北京交通大学) 北京100044 脑与认知科学国家重点实验室(中国科学院心理研究所) 北京100101 中国科学院大学心理学系北京100049 计算机软件新技术国家重点实验室南京大学江苏南京210023

多源数据学习在大数据时代具有极其重要的意义.目前,多源数据学习算法研究远远超前于多源数据学习理论研究,经典的机器学习理论难以应用于多源数据学习,更难以提供多源数据学习算法在实际应用中的理论保障.从学习的最终目的是知识这一... 详细信息

多源数据学习在大数据时代具有极其重要的意义.目前,多源数据学习算法研究远远超前于多源数据学习理论研究,经典的机器学习理论难以应用于多源数据学习,更难以提供多源数据学习算法在实际应用中的理论保障.从学习的最终目的是知识这一认知切入点出发,对人类学习的认知机理、机器学习的三大经典理论(计算学习理论、统计学习理论和概率图理论)以及多源数据学习算法设计这3个方面的研究进展进行总结,最后给出未来研究方向的思考.

关键词：统计学习理论模式分类特征空间认知心理

来源：评论

学校读者我要写书评

暂无评论

基于相似性计算的高效存储型XSS客户端攻击识别模型

引用

南京邮电大学学报（自然科学版） 2017年第4期37卷 84-90页

作者：程宏兵宁一笑钱漫匀浙江工业大学计算机科学与技术学院(软件学院) 浙江杭州310023 南京大学软件新技术国家重点实验室江苏南京210093

针对存储型XSS攻击的主要注入方法和基本变异方式,文中设计并实现了一种在客户端识别存储型XSS攻击字符串的模型。首先通过选取攻击特征,计算特征权重来构建类型标准向量组。其次对预处理后的字符串识别攻击特征,构建攻击特征向量,将其... 详细信息

针对存储型XSS攻击的主要注入方法和基本变异方式,文中设计并实现了一种在客户端识别存储型XSS攻击字符串的模型。首先通过选取攻击特征,计算特征权重来构建类型标准向量组。其次对预处理后的字符串识别攻击特征,构建攻击特征向量,将其与向量组中的类型标准向量进行相似性计算。再次将结果与阈值比较,对字符串进行攻击类型分类。最后构造了攻击字符串测试所提出的模型,并与Github上两个经典的开源XSS过滤工具进行识别率比较,结果验证了所提出的模型可以有效地识别存储型XSS攻击。

关键词：相似性计算 XXS 攻击识别

来源：评论

学校读者我要写书评

暂无评论

一种符号执行制导的循环内界分析方法

引用

电子学报 2017年第11期45卷 2582-2592页

作者：赵祖威冯世宁汤恩义陈鑫李宣东潘敏学赵晨南京大学软件新技术国家重点实验室江苏南京210023 南京大学软件学院江苏南京210093 南瑞集团公司(国网电力科学研究院) 江苏南京211106 国电南瑞科技股份有限公司江苏南京211106

循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界(Loop Bound).对应技术在文献中被称为循环边界分析(Loop Bound Analysis).现有的循环边界分析均使用保守方式进行外界分析,即产生略... 详细信息

循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界(Loop Bound).对应技术在文献中被称为循环边界分析(Loop Bound Analysis).现有的循环边界分析均使用保守方式进行外界分析,即产生略高于循环边界的近似值.基于这一现状,本文提出了一种自动地循环内界分析方法,产生略低于循环边界的近似值.当用户综合利用外界与内界分析,能将循环边界值约束到一个统计区间,从而能对分析结果获得更为完整的认识.本文基于循环条件制导的符号执行(Symbolic Execution)技术实现了循环内界分析,该技术的本质在于它能够利用符号执行符号化推导程序执行约束的特点,准确求解循环在程序所有合法输入条件下的边界值,并由生成的测试用例来保证该边界值一定可达(即保证是循环内界).本文对符号执行制导技术进行了优化,并在多组已有研究采用的基准用例集上进行了实例评估,实验结果表明,本文的循环内界分析方法具备准确性和高效性,可以满足应用需求.

关键词：循环边界分析符号执行软件测试

来源：评论

学校读者我要写书评

暂无评论

面向AltaRica模型的嵌入式系统安全性验证方法

引用

计算机科学与探索 2017年第1期11卷 24-36页

作者：仵志鹏胡军陈松石娇洁南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

嵌入式系统在航空、航天、交通等安全关键领域的使用愈加广泛,Alta Rica是一种描述安全关键系统的建模语言,同时基于Alta Rica模型的安全性分析已成为欧洲的工业标准。提出了一种面向Alta Rica模型的嵌入式系统安全性验证方法,包括:使用... 详细信息

嵌入式系统在航空、航天、交通等安全关键领域的使用愈加广泛,Alta Rica是一种描述安全关键系统的建模语言,同时基于Alta Rica模型的安全性分析已成为欧洲的工业标准。提出了一种面向Alta Rica模型的嵌入式系统安全性验证方法,包括:使用Alta Rica语言对嵌入式系统进行建模;给出Alta Rica模型到Promela模型的转换规则;对转换规则进行形式化证明,得到嵌入式系统的Promela模型;使用模型检验工具SPIN进行安全性验证。通过机轮刹车系统中的机轮刹车控制单元进行实例分析,验证了转换规则的正确性和有效性。

关键词：嵌入式系统安全性验证 AltaRica模型 Promela模型

来源：评论

学校读者我要写书评

暂无评论

一种基于UML关系的Java代码库构造方法

引用

计算机科学 2017年第11期44卷 69-79页

作者：姜人和郑晓梅朱晓倩潘敏学张天南京大学计算机软件新技术国家重点实验室南京210023 南京中医药大学信息技术学院南京210023

关系信息是体现代码结构和语义的最重要的一类信息,如继承、聚合、组合、依赖、调用和创建实例等。为了更好地支持开源代码的理解与复用,提出了一种基于UML2关系的代码库构造方法。它以图数据库为实现平台,采用语言工程中经典的抽象语... 详细信息

关系信息是体现代码结构和语义的最重要的一类信息,如继承、聚合、组合、依赖、调用和创建实例等。为了更好地支持开源代码的理解与复用,提出了一种基于UML2关系的代码库构造方法。它以图数据库为实现平台,采用语言工程中经典的抽象语法树作为基础,并针对Java语言的特性和机制,设计富语义的Java代码属性图数据模型,在此基础上使得Java代码的图结构持久化。同时,为了屏蔽各种编程语言社区对代码中关系信息理解的差异性,采用UML2.4国际标准版本中定义的关系类型及语义解释,设计相应的代码关系抽取算法,为图节点添加对应的关系边。针对代码图化后的膨胀及代码库的空间存储消耗情况,选取9个常见的开源项目进行了实验评估。最后,给出了基于此代码库的查询应用实例。

关键词：代码库 UML 图数据库代码查询

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：