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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

采用可编程逻辑控制器的大型物体三维扫描重建

引用

光学精密工程 2017年第4期25卷 1044-1050页

作者：白素琴史金龙钱强王直江苏科技大学电气与信息工程学院江苏张家港215600 江苏科技大学计算机科学与工程学院江苏镇江212003 南京大学计算机软件新技术国家重点实验室江苏南京210023

本文提出了一种新颖且实用的三维重建系统,以获取大型物体的三维数据。文中对该系统的组成以及所采用的方法和原理进行了研究。该系统由一个基于红外的三维扫描仪、两个导轨和一个基于PLC(可编程逻辑控制器)模块的高精度运动控制系统组... 详细信息

本文提出了一种新颖且实用的三维重建系统,以获取大型物体的三维数据。文中对该系统的组成以及所采用的方法和原理进行了研究。该系统由一个基于红外的三维扫描仪、两个导轨和一个基于PLC(可编程逻辑控制器)模块的高精度运动控制系统组成。运动控制系统控制安装在导轨上的三维扫描仪做匀速运动;三维扫描仪向物体投射红外线,并重建物体上所投射的红外线段;接着,系统根据三维扫描仪的运动速度,拼接局部重建数据,最终获得大型物体完整的三维重建数据。实验结果表明:与基于激光测距拼接的方法相比,该方法的测量速度约提高了7倍,测量精度约提高了2.5倍。基本满足工业生产中大型物体自动三维重建的稳定可靠、精度高、速度快等要求。

关键词：大型扫描三维重建测量

来源：评论

学校读者我要写书评

暂无评论

组合测试研究进展

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

设备自动巡检控制逻辑的层级时间自动机建模与验证

引用

计算机科学 2017年第4期44卷 66-71,78页

作者：孙程邢建春杨启亮韩德帅解放军理工大学国防工程学院南京210007 计算机软件新技术国家重点实验室南京大学南京210093

地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠地运行,需对设备进行定期的自动巡检。在自动巡检的过程中,设备自动巡检控制逻辑起到了举足轻重的作用。为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之... 详细信息

地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠地运行,需对设备进行定期的自动巡检。在自动巡检的过程中,设备自动巡检控制逻辑起到了举足轻重的作用。为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之前提出了一种层级有限自动机(HFA)的形式化模型,并利用HFA对设备自动巡检控制逻辑实现了行为建模,但并未添加时间属性,也未验证其正确性与可靠性。现提出一种层级时间自动机形式化模型,并利用它对设备自动巡检控制逻辑进行建模,再利用UPPAAL对其进行分析与形式化验证,分别验证其安全性、可达性、活性及时间约束,以此来确保其时效正确性与可靠性。这种建模与形式化验证方法弥补了之前无时间约束的漏洞,有效确保了设备自动巡检控制逻辑的正确性与可靠性。最终,该模型通过了模拟和验证,这充分证明了设备自动巡检控制逻辑是正确可靠的。

关键词：自动巡检层级时间自动机 UPPAAL 模型检测

来源：评论

学校读者我要写书评

暂无评论

基于不舒适感知与组稀疏编码的立体图像视觉舒适度评价

引用

激光杂志 2017年第2期38卷 87-93页

作者：王颖郁梅陈芬彭宗举宁波大学信息科学与工程学院浙江宁波315211 南京大学计算机软件新技术国家重点实验室南京210093

针对现有的需要依靠映射模型来缩小图像特征和视觉舒适度之间的差距的立体图像视觉舒适度评价方法,提出了一种基于不舒适感知与组稀疏编码的立体图像视觉舒适度评价方法。首先,考虑人眼的视觉注意机制和双目融合极限,结合显著不舒适区... 详细信息

针对现有的需要依靠映射模型来缩小图像特征和视觉舒适度之间的差距的立体图像视觉舒适度评价方法,提出了一种基于不舒适感知与组稀疏编码的立体图像视觉舒适度评价方法。首先,考虑人眼的视觉注意机制和双目融合极限,结合显著不舒适区域和空间频率提取视差统计特征;然后,对立体图像特征按照主观评分值(MOS)进行不舒适程度分组,并利用组聚类构建不舒适感知字典;最后,通过加权在字典上进行组稀疏编码得到组稀疏系数和设定的每组不舒适程度值,预测得到立体图像视觉舒适度的客观评价值。实验结果表明,对于IVY LAB立体图像库,所提出方法的Pearson线性相关系数(PLCC)值在0.89以上,Spearman等级相关系数(SROCC)值在0.87以上,优于相关代表性的立体图像视觉舒适度评价方法,表明所提出方法的客观评价值与主观评价值具有良好的一致性,更加符合人眼视觉系统的感知特性。

关键词：立体图像视觉舒适度评价显著不舒适区域视差统计不舒适感知字典组稀疏编码

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于文档的移动平台间UI控件对应方法

引用

计算机科学 2017年第11期44卷 98-103页

作者：徐同同刘曲涛郑晓梅潘敏学张天南京大学计算机软件新技术国家重点实验室南京210023 南京中医药大学信息技术学院南京210023

多平台开发是移动应用软件开发的一个重要特点,同时还具有版本演化快和开发周期短的要求,这给移动开发带来了巨大的挑战。由于目前主流的移动平台大多采用MVC架构模式,并且在开发上体现出了UI驱动和事件驱动的特点,因此不同平台(如iOS和... 详细信息

多平台开发是移动应用软件开发的一个重要特点,同时还具有版本演化快和开发周期短的要求,这给移动开发带来了巨大的挑战。由于目前主流的移动平台大多采用MVC架构模式,并且在开发上体现出了UI驱动和事件驱动的特点,因此不同平台(如iOS和Android等)之间的UI控件具有较强的对应性,这给移动应用的开发人员在多平台开发时提供了重要的参考。提出了一种基于文档来理解不同平台之间UI控件对应性的方法,该方法以iOS和Android两种移动平台为研究对象,通过自然语言处理技术来分析从官方文档中抓取的UI控件描述文字,基于空间向量模型计算控件之间的相似度,并针对移动应用的特点设计了同义词集来保证匹配的准确性。基于所提方法,对iOS和Android平台上的典型UI控件进行了具体实验,结果表明,在单控件对应性方面,该方法能找到大部分的控件对应性,具有较高的准确度。

关键词：自然语言处理移动开发 UI控件

来源：评论

学校读者我要写书评

暂无评论

一种基于Kalman滤波和粒子群优化的测试数据生成方法

引用

电子学报 2017年第10期45卷 2473-2483页

作者：薛猛姜淑娟张争光钱俊彦张艳梅曹鹤玲中国矿业大学计算机科学与技术学院江苏徐州221116 桂林电子科技大学广西可信软件重点实验室广西桂林541004 南京大学计算机软件新技术国家重点实验室江苏南京210093 河南工业大学信息科学与工程学院河南郑州450001

为减少进化代数,提高路径覆盖成功率,提出了多邻域Kalman滤波PSO测试数据生成方法.在该方法中将粒子固定划分到不同邻域中,各邻域内指定一个粒子向全局最优粒子学习,其余各粒子向所在邻域中最优粒子学习,而全局最优粒子利用无速度项的简... 详细信息

为减少进化代数,提高路径覆盖成功率,提出了多邻域Kalman滤波PSO测试数据生成方法.在该方法中将粒子固定划分到不同邻域中,各邻域内指定一个粒子向全局最优粒子学习,其余各粒子向所在邻域中最优粒子学习,而全局最优粒子利用无速度项的简化PSO进化.在此过程中,除全局最优粒子外的各粒子利用Kalman滤波方程更新粒子的位置.实验表明,相较于基本PSO和其他PSO方法,即使是覆盖困难的路径,本文方法也具有进化代数少、路径覆盖成功率高及性能稳定的特点.

关键词：测试数据生成粒子群优化 Kalman滤波邻域拓扑

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：