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

软件学报 2016年第1期27卷 1-25页

作者：陈翔顾庆刘望舒刘树龙倪超南通大学计算机科学与技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

静态软件缺陷预测是软件工程数据挖掘领域中的一个研究热点.通过分析软件代码或开发过程,设计出与软件缺陷相关的度量元;随后,通过挖掘软件历史仓库来创建缺陷预测数据集,旨在构建出缺陷预测模型,以预测出被测项目内的潜在缺陷程序模块... 详细信息

静态软件缺陷预测是软件工程数据挖掘领域中的一个研究热点.通过分析软件代码或开发过程,设计出与软件缺陷相关的度量元;随后,通过挖掘软件历史仓库来创建缺陷预测数据集,旨在构建出缺陷预测模型,以预测出被测项目内的潜在缺陷程序模块,最终达到优化测试资源分配和提高软件产品质量的目的.对近些年来国内外学者在该研究领域取得的成果进行了系统的总结.首先,给出了研究框架并识别出了影响缺陷预测性能的3个重要影响因素:度量元的设定、缺陷预测模型的构建方法和缺陷预测数据集的相关问题;接着,依次总结了这3个影响因素的已有研究成果;随后,总结了一类特殊的软件缺陷预测问题(即,基于代码修改的缺陷预测)的已有研究工作;最后,对未来研究可能面临的挑战进行了展望.

关键词：软件质量保障软件缺陷预测软件度量元机器学习数据集预处理

来源：评论

学校读者我要写书评

暂无评论

基于流形特征相似度的感知图像质量评价

引用

自动化学报 2016年第7期42卷 1113-1124页

作者：王朝云蒋刚毅郁梅陈芬宁波大学信息科学与工程学院宁波315211 南京大学计算机软件新技术国家重点实验室南京210093

图像质量评价(Image quality assessment,IQA)的目标是利用设计的计算模型得到与主观评价一致的结果,而人类视觉感知特性是感知图像质量评价的关键.大量研究发现,认知流形和拓扑连续性是人类感知的基础即人类感知局限在低维流形之上.基... 详细信息

图像质量评价(Image quality assessment,IQA)的目标是利用设计的计算模型得到与主观评价一致的结果,而人类视觉感知特性是感知图像质量评价的关键.大量研究发现,认知流形和拓扑连续性是人类感知的基础即人类感知局限在低维流形之上.基于图像低维流形特征分析,本文提出了基于流形特征相似度(Manifold feature similarity,MFS)的全参考图像质量评价方法.首先,利用正交局部保持投影算法来模拟大脑的视觉处理过程获取最佳映射矩阵进而得到图像的低维流形特征,通过流形特征的相似度来表征两幅图像的结构差异,从而反映感知质量上的差异.其次,考虑亮度失真对人眼视觉感知的影响,通过图像块均值计算亮度相似度并用于评价图像的亮度失真;最后,结合两个相似度得到图像的客观质量评价值.在四个公开图像测试库上的实验结果表明,所提出方法与现有代表性的图像质量方法相比总体上具有更好的评价结果.

关键词：图像质量评价流形特征相似度正交局部保持投影视觉感知

来源：评论

学校读者我要写书评

暂无评论

含有析取语义循环的不变式生成改进方法

引用

软件学报 2016年第7期27卷 1741-1756页

作者：潘建东陈立前黄达明孙浩曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 并行与分布处理国防科技重点实验室(国防科学技术大学计算机学院) 湖南长沙410073

抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显... 详细信息

抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显式和隐式含有析取语义的循环结构,提出了基于循环分解和归纳推理的不变式生成改进方法,缓解了抽象解释分析中出现的语义损失问题.实验结果表明:相比已有方法,该方法能为这种包含析取语义的循环结构生成更加精确的不变式,并且有益于一些安全性质的推理.

关键词：抽象解释抽象域不变式析取语义循环分解

来源：评论

学校读者我要写书评

暂无评论

一种基于相关性特征融合的乳腺图像感兴趣区域检测方法

引用

南京大学学报（自然科学版） 2016年第1期52卷 194-202页

作者：陆恒杨李宁谢俊元南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210023

乳腺图像的感兴趣区域(region of interest,ROI)检测是计算机辅助诊断乳腺疾病的第一步,检测效果的提升对减小误诊率有重要的作用.传统方法往往提取单独的视觉特征来描述乳腺图像,通过分类的方法找出包含肿块的区域.然而由于乳腺图像内... 详细信息

乳腺图像的感兴趣区域(region of interest,ROI)检测是计算机辅助诊断乳腺疾病的第一步,检测效果的提升对减小误诊率有重要的作用.传统方法往往提取单独的视觉特征来描述乳腺图像,通过分类的方法找出包含肿块的区域.然而由于乳腺图像内容丰富结构复杂,使用单一的底层视觉容易忽视特征间的相互联系.提出基于相关性特征融合的乳腺图像ROI检测框架(multi-cue integration detection,MCID),通过引入乳腺图像的相关性特征,并与乳腺图像局部视觉特征相融合,辅助乳腺图像ROI的检测,以提高检测准确性.乳腺图像ROI检测实验表明,MCID可提高肿块检测的准确性.

关键词：感兴趣区域检测特征融合概率潜在语义分析乳腺图像

来源：评论

学校读者我要写书评

暂无评论

元数据存储库系统中违背良格式约束潜在操作的推理

引用

计算机研究与发展 2016年第5期53卷 1095-1105页

作者：赵晓非高阳史颖欢史忠植天津工业大学计算机科学与软件学院天津300387 计算机软件新技术国家重点实验室(南京大学) 南京210023 中国科学院智能信息处理重点实验室(中国科学院计算技术研究所) 北京100190

存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保良格式约束规定得并不充分,上述2个原因使得确保基于元对象设施(meta object facility,MOF)建立的元数据存储库系统的状态不违背良格式约束成... 详细信息

存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保良格式约束规定得并不充分,上述2个原因使得确保基于元对象设施(meta object facility,MOF)建立的元数据存储库系统的状态不违背良格式约束成为一个令人棘手的问题.提出了一种能够自动推断可能违背良格式约束的潜在操作的方法.首先定义了一组比MOF的构造活动更精确和灵活的MOF内部活动并建立了二者之间的对应关系;接着研究了如何推断可能违背约束条件的内部活动;最后通过比对与这些内部活动相对应的构造活动是否在操作规范中出现,研究了如何推断违背约束条件的潜在操作,该方法可以用于约束检测领域.由于可以剔除许多无关的检测,该方法可以有效地提高良格式约束检测的效率.此外该方法对约束设计领域也有一定的参考价值.

关键词：存储库系统良格式约束元对象设施约束检测构造活动内部活动

来源：评论

学校读者我要写书评

暂无评论

砂岩显微图像分割和鉴别技术及工具实现

砂岩显微图像分割和鉴别技术及工具实现

引用

第六届全国沉积学大会

作者：郝慧珍姜枫李娜王秉乾顾庆胡修棉南京大学软件新技术国家重点实验室南京210023 南京工程学院通信工程学院南京211167 南京大学软件新技术国家重点实验室南京210023 南京理工大学泰州科技学院计算机科学与技术系泰州225300 南京大学软件新技术国家重点实验室南京210023 南京大学地球科学与工程学院南京210023

来源：评论

学校读者我要写书评

暂无评论

基于模式组合的粒子群优化测试用例生成方法

引用

软件学报 2016年第4期27卷 785-801页

作者：姜淑娟王令赛薛猛张艳梅于巧姚慧冉中国矿业大学计算机科学与技术学院江苏徐州221116 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有的分支.目前的方法是修改程序的源代码,以使... 详细信息

适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有的分支.目前的方法是修改程序的源代码,以使每个分支得到评价.但修改源代码不但可能影响程序的原有结构、引入错误,而且很难实现自动化.针对这一问题,提出一种基于模式组合的粒子群优化测试用例生成方法.首先,将分支条件定义为"模式",即,一类具有相同特征且能提高适应度值的个体集合,并改变其分支函数的插桩方式,可解决分支条件不完全评价的问题;然后,设计一种新的交叉算子,寻找到所有使模式的分支函数值最小的个体,将这些个体中含有模式的部分通过交叉算子组合到一个个体上,既可防止模式在进化过程中被破坏,又可因多种模式的组合而提高个体的适应度值;最后,使用局部搜索策略对种群中的最优个体进行搜索,提高粒子群优化算法的局部搜索精度,进一步提高测试用例生成效率.为了评价该方法的有效性,基于一组基准程序和开源程序进行实验.实验结果表明:对于含有模式的程序,该测试用例生成方法与已有方法相比,在覆盖率和平均进化代数上均有明显优势.

关键词：测试用例生成粒子群优化算法交叉算子局部搜索策略

来源：评论

学校读者我要写书评

暂无评论

绿色数据中心数据处理型框架中的数据管理

引用

系统仿真学报 2016年第3期28卷 592-599页

作者：张啸高原王晓亮葛以踊杨海祥万书鹏南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210023 国电南瑞科技股份有限公司南京210023

使用绿色能源已成为解决数据中心能耗问题的一种有效方式。为了降低绿色能源变化幅度大的特点带来的影响,通常将可延迟作业放入等待队列,将相应空闲服务器置为休眠状态,降低系统能耗,在新能源可用的时候执行作业。当新作业执行时,需要... 详细信息

使用绿色能源已成为解决数据中心能耗问题的一种有效方式。为了降低绿色能源变化幅度大的特点带来的影响,通常将可延迟作业放入等待队列,将相应空闲服务器置为休眠状态,降低系统能耗,在新能源可用的时候执行作业。当新作业执行时,需要重新开启休眠状态服务器来保证数据可用性。数据放置与作业执行时间的不统一,会导致频繁开启休眠服务器,带来能源浪费。针对绿色数据中心提出一种数据调度策略,根据数据处理型框架中等待队列作业调度次序,通过将未来一段时间内需要被读取的数据块提前复制在活跃服务器上,降低休眠状态服务器开启的次数,从而降低总体能耗。实验模拟结果显示,该算法可平均减少43%的休眠状态服务器重复开启次数。

关键词：绿色数据中心数据处理型框架能耗新能源数据管理

来源：评论

学校读者我要写书评

暂无评论

基于金字塔变换跨尺度代价聚合的立体匹配

引用

系统仿真学报 2016年第9期28卷 2227-2234页

作者：姚莉刘助奎王秉凤计算机网络和信息集成教育部重点实验室(东南大学) 南京211189 计算机软件新技术国家重点实验室(南京大学) 南京210023 东南大学计算机科学与工程学院南京211189

人眼视觉系统在不同尺度上处理接收到的视觉信号,而传统的立体匹配算法都在原立体匹配图像对最大尺度下进行立体匹配,在低纹理区域、无纹理区域立体匹配错误率高。模拟人眼视觉系统在多个尺度上进行立体匹配,再融合不同尺度下的匹配结... 详细信息

人眼视觉系统在不同尺度上处理接收到的视觉信号,而传统的立体匹配算法都在原立体匹配图像对最大尺度下进行立体匹配,在低纹理区域、无纹理区域立体匹配错误率高。模拟人眼视觉系统在多个尺度上进行立体匹配,再融合不同尺度下的匹配结果能减少错误率。通过改进一种基于高斯金字塔变换跨尺度代价聚合的立体匹配方法,在原框架上,在代价聚合阶段加入拉普拉斯金字塔变换,在视差精细化阶段加入基于加权联合双边滤波的视差精细化方法,使新框架能获得比原论文更好的视差图。

关键词：立体匹配跨尺度金字塔变换加权联合双边滤波视差精细化

来源：评论

学校读者我要写书评

暂无评论

基于网格映射的虚拟视点合成

引用

系统仿真学报 2016年第10期28卷 2321-2328页

作者：姚莉吴琼颖许辉计算机网络和信息集成教育部重点实验室(东南大学) 南京211189 计算机软件新技术国家重点实验室(南京大学) 南京210023 东南大学计算机科学与工程学院南京211189

由于深度不准确、遮挡以及相邻参考视点曝光不同等原因,基于深度图的绘制技术(DIBR)会产生空洞、重影等一系列问题,同时修复空洞需要消耗大量时间,提出基于网格映射的虚拟视点合成方法,以轮廓为基础在图像中构建网格,以网格三角形为映... 详细信息

由于深度不准确、遮挡以及相邻参考视点曝光不同等原因,基于深度图的绘制技术(DIBR)会产生空洞、重影等一系列问题,同时修复空洞需要消耗大量时间,提出基于网格映射的虚拟视点合成方法,以轮廓为基础在图像中构建网格,以网格三角形为映射单元,并通过能量约束进行映射生成虚拟视点图像。利用融合算法将不同视点的图像进行融合,得到最终的虚拟视点图像。算法相比于传统的DIBR中像素为单元的处理方式在合成图像质量相当的前提下具有更快的处理速度。

关键词：边缘检测网格化纹理映射网格映射

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：