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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 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可提高肿块检测的准确性.

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

来源：评论

学校读者我要写书评

暂无评论

基于HOG和几何特征的服装细节要素识别与分类

引用

图学学报 2016年第1期37卷 84-90页

作者：纪娟秦珂杨若瑜南京大学软件新技术国家重点实验室江苏南京210046

随着人们对服装产品多元化需求的增强,无论是对于经营者还是消费者,服装分类都显得十分必要。现有方法大都基于服装整体做出处理,而忽略了服装细节要素的特征。提出针对服装细节,如衣领类型、袖子和下装长度等进行识别分类方法。在轮廓... 详细信息

随着人们对服装产品多元化需求的增强,无论是对于经营者还是消费者,服装分类都显得十分必要。现有方法大都基于服装整体做出处理,而忽略了服装细节要素的特征。提出针对服装细节,如衣领类型、袖子和下装长度等进行识别分类方法。在轮廓提取的基础上,针对衣领位置不确定、领口形状受周边花纹干扰等难点,设计了在多尺度HOG结果上进行投票的方法,并结合基于角点检测的几何特征提取如关键尺寸比例计算等,用SVM完成训练分类。最后利用多个特征搭配系数矩阵给出服装搭配建议。实验表明,该方法能够有效地完成上述服装细节要素分类,对自动搭配推荐也有一定实用价值。

关键词：服装细节要素轮廓提取 HOG特征几何特征服装搭配

来源：评论

学校读者我要写书评

暂无评论

不同材质服装的实时动态仿真

引用

图学学报 2016年第1期37卷 102-109页

作者：薛原黄璐宸杨若瑜南京大学软件新技术国家重点实验室江苏南京210046

提出参数化的人体建模方法。将人体分为10个部分,并且定义了一系列特征参数用来控制人体的拓扑结构。文献[1]中提出的Zhang样条曲线被用于构造每个部分的人体表面。在完整人体模型的基础上,实现实时的着装模拟。在传统弹簧质点模型的基... 详细信息

提出参数化的人体建模方法。将人体分为10个部分,并且定义了一系列特征参数用来控制人体的拓扑结构。文献[1]中提出的Zhang样条曲线被用于构造每个部分的人体表面。在完整人体模型的基础上,实现实时的着装模拟。在传统弹簧质点模型的基础上提出大弯曲弹簧以实现褶皱效果。另外,通过合理的参数设置以及多重校正机制实现不同材质的效果,包括丝质、棉质和弹性布料。实验结果证明该系统可以建立较为真实的人体模型,并且能实时地进行较为复杂的试穿仿真。

关键词： Zhang样条参数化变形大弯曲弹簧服装材质

来源：评论

学校读者我要写书评

暂无评论

基于相对熵的数据流概念漂移检测算法

引用

计算机应用与软件 2017年第12期34卷 256-259页

作者：杨帆张永辽宁师范大学计算机与信息技术学院辽宁大连116081 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

针对数据流中出现的概念漂移问题,采用决策树作为分类器,提出一种基于相对熵的数据流概念漂移检测算法。提出的算法将分类器的准确率与相对熵作为判断该数据块是否发生概念漂移的标准。通过5个数据集对该方法进行验证,该算法在其中4个... 详细信息

针对数据流中出现的概念漂移问题,采用决策树作为分类器,提出一种基于相对熵的数据流概念漂移检测算法。提出的算法将分类器的准确率与相对熵作为判断该数据块是否发生概念漂移的标准。通过5个数据集对该方法进行验证,该算法在其中4个数据集上都获得了最优的结果,在另一个数据集上获得了次优结果。实验结果表明采用该方法不仅能够有效地检测概念漂移的发生,而且还能提高分类器的准确率。

关键词：数据流概念漂移相对熵决策树

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

融合显著物体检测的图像显示适配

引用

中国图象图形学报 2016年第3期21卷 373-381页

作者：李姝蓁郭竞帆任桐炜武港山南京大学计算机软件新技术国家重点实验室南京210093 南京大学软件新技术与产业化协同创新中心南京210093 南京大学软件学院南京210093

目的图像显著适配旨在自动调节图像尺寸,对图像内容进行非均匀缩放,以便在受限的展示空间内更好地保留显著物体。为了解决显示适配过程中显著物体部分扭曲的问题,提出一种基于显著物体检测的图像显示适配方法。方法本文方法采用显著物... 详细信息

目的图像显著适配旨在自动调节图像尺寸,对图像内容进行非均匀缩放,以便在受限的展示空间内更好地保留显著物体。为了解决显示适配过程中显著物体部分扭曲的问题,提出一种基于显著物体检测的图像显示适配方法。方法本文方法采用显著物体分割结果来替代显著性图,以改进显示适配结果。首先,采用显著性融合和传播的方法生成显著性图;接着,结合输入图像和显著性图,采用自适应三阈值方法实现显著物体分割;然后,以此为基础,生成输入图像的曲边网格表示;最后,通过对不同网格的非均匀缩放,生成符合目标尺寸的适配结果。结果在面向图像显示适配的公开数据集RetargetMe上,将本文方法与现有的10种代表性显示适配方法的结果进行了人工评估和比较。本文方法可以有效地减少显著物体出现部分扭曲的现象,能在48.8%的图像上取得无明显缺陷的适配效果,比现有最好的方法提高了5%。结论基于显著物体检测的图像显示适配方法有助于提高显示适配过程中对显著物体处理的一致性,减少由于显著物体部分扭曲而引起的明显人工处理痕迹,从而达到提升显示适配效果的目的。

关键词：图像显示适配显著物体检测显著性图显著物体分割

来源：评论

学校读者我要写书评

暂无评论

直觉模糊逻辑的(α,β)-准锁语义归结方法

引用

模式识别与人工智能 2016年第3期29卷 223-228页

作者：邹丽刘迪谭雪微郑宏亮辽宁师范大学计算机与信息技术学院大连116081 南京大学计算机软件新技术国家重点实验室南京210093

为了提高直觉模糊命题逻辑的(α,β)-归结效率,将准锁语义归结策略应用于(α,β)-归结原理,得到直觉模糊命题逻辑的(α,β)-准锁语义归结方法,证明方法的可靠性与完备性.给出直觉模糊命题逻辑系统的(α,β)-准锁语义归结和(α,β)-准锁... 详细信息

为了提高直觉模糊命题逻辑的(α,β)-归结效率,将准锁语义归结策略应用于(α,β)-归结原理,得到直觉模糊命题逻辑的(α,β)-准锁语义归结方法,证明方法的可靠性与完备性.给出直觉模糊命题逻辑系统的(α,β)-准锁语义归结和(α,β)-准锁语义归结演绎的概念.讨论直觉模糊命题逻辑系统中的(α,β)-准锁语义归结式和锁子句的合并规则.最后,给出直觉模糊命题逻辑系统的基于(α,β)-准锁语义归结的自动推理算法步骤,并通过实例说明算法的有效性.

关键词：直觉模糊逻辑 (α,β)-准锁语义归结完备性定理自动推理

来源：评论

学校读者我要写书评

暂无评论

基于抽象状态的类的行为规格化方法

引用

计算机科学 2016年第S1期43卷 457-460页

作者：王伟丁二玉骆斌南京大学软件学院南京210093 计算机软件新技术国家重点实验室南京210093

为独立方法定义严谨的规格可以保证程序的正确性。但是在面向对象的程序中,方法之间因为共享属性而相互影响,这就需要能够反映方法间影响的规格化方法。研究者们使用抽象变量、状态抽象、堆、查询等多种方法进行了尝试。文中给出一种基... 详细信息

为独立方法定义严谨的规格可以保证程序的正确性。但是在面向对象的程序中,方法之间因为共享属性而相互影响,这就需要能够反映方法间影响的规格化方法。研究者们使用抽象变量、状态抽象、堆、查询等多种方法进行了尝试。文中给出一种基于抽象状态的类的行为规格方法,该方法基于抽象状态解决了类方法间的共享依赖和相互影响,同时实现了规格与实现的独立描述与运行时自动化验证。

关键词：抽象状态共享依赖规格化方法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：