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

光学技术 2015年第5期41卷 445-450页

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

根据小波变换的高频分量包含边缘及纹理等人眼比较关注的细节信息,提出了一种基于小波变换的高频重构的立体图像质量评价方法,包括左右视点质量评价和立体感评价两部分。通过模拟人类视觉系统处理原始和失真的左右视点图像,利用结构相... 详细信息

根据小波变换的高频分量包含边缘及纹理等人眼比较关注的细节信息,提出了一种基于小波变换的高频重构的立体图像质量评价方法,包括左右视点质量评价和立体感评价两部分。通过模拟人类视觉系统处理原始和失真的左右视点图像,利用结构相似度算法得到左右视点质量评价值;用加权处理后的小波高频分量经过重构得到人眼关注的细节信息图,分别计算原始和失真的左右视点细节信息图的绝对差值图,利用结构相似度算法对两幅绝对差值图评价得到立体感质量评价值。将两种质量评价值进行加权融合得到最终的立体图像质量评价值。整体实验结果的Pearson线性相关系数在0.94以上,Spearman秩相关系数值在0.93以上,均方根误差值接近5.5,能较好地符合人眼视觉特性。

关键词：立体图像质量评价人类视觉系统小波变换立体感

来源：评论

学校读者我要写书评

暂无评论

形式概念分析在软件维护中的应用综述

引用

电子学报 2015年第7期43卷 1399-1406页

作者：孙小兵李云李必信文万志扬州大学信息工程学院江苏扬州225127 南京大学计算机软件新技术国家重点实验室江苏南京210023 东南大学计算机科学与工程学院江苏南京211189 南通大学计算机科学与技术学院江苏南通226019

形式概念分析是一种层次化的形式对象分析方法,能够从二元关系中挖掘出具有共同形式属性的一组形式对象的聚集.近十几年来,形式概念分析技术已在软件工程领域,特别是软件维护的各项活动中得到了广泛的应用,并取得成功.本文从软件维护的... 详细信息

形式概念分析是一种层次化的形式对象分析方法,能够从二元关系中挖掘出具有共同形式属性的一组形式对象的聚集.近十几年来,形式概念分析技术已在软件工程领域,特别是软件维护的各项活动中得到了广泛的应用,并取得成功.本文从软件维护的角度,如软件理解、修改影响分析、重构、调试与测试等方面总结了从2000～2013年形式概念分析在这些领域的研究进展.这些研究成果的分类方法是基于一种软件维护活动框架进行论述,最后文章给出了形式概念分析在软件维护领域的研究趋势与展望.

关键词：形式概念分析软件维护

来源：评论

学校读者我要写书评

暂无评论

基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究

引用

小型微型计算机系统 2015年第3期36卷 408-417页

作者：黄传林黄志球胡军徐丙凤曲长亮南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型... 详细信息

能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.

关键词：嵌入式系统安全性分析 SysML活动图 MARTE 模型转换形式化方法

来源：评论

学校读者我要写书评

暂无评论

模型驱动的安全关键系统重配置信息验证方法

引用

计算机科学与探索 2015年第4期9卷 385-402页

作者：胡军马金晶刘雪程桢石娇洁黄志球南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建... 详细信息

近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。

关键词：系统配置信息验证 MARTE 模型驱动工程 ARINC653 综合模块化航电系统(IMA)

来源：评论

学校读者我要写书评

暂无评论

跨机构的软件缺陷集成采样预测研究

引用

小型微型计算机系统 2015年第8期36卷 1700-1705页

作者：戴翔毛宇光南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

针对在本机构的历史缺陷数据缺乏的情况下,如何合理利用跨机构的缺陷数据进行预测的问题,提出一种基于迁移的跨机构软件缺陷集成采样预测方法.首先利用跨机构的源缺陷数据和所要预测的目标缺陷数据共有的特征属性进行K-NN过滤,合理选择... 详细信息

针对在本机构的历史缺陷数据缺乏的情况下,如何合理利用跨机构的缺陷数据进行预测的问题,提出一种基于迁移的跨机构软件缺陷集成采样预测方法.首先利用跨机构的源缺陷数据和所要预测的目标缺陷数据共有的特征属性进行K-NN过滤,合理选择带标记的跨机构缺陷数据;然后,综合利用SMOTE过采样和K-means聚类降采样解决所选择的跨机构缺陷数据中的不平衡问题;最后,对平衡后的数据,进行集成投票训练,并在目标数据上验证预测分类的效果.实验结果表明,该缺陷预测方法能够在保持较高的查全率的同时,显著降低误报率,具有一定的实际指导测试过程的能力.

关键词：跨机构 SMOTE K-means 采样集成学习

来源：评论

学校读者我要写书评

暂无评论

基于SparkR的分类算法并行化研究

引用

计算机科学与探索 2015年第11期9卷 1281-1294页

作者：刘志强顾荣袁春风黄宜华南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 江苏省软件新技术与产业化协同创新中心南京210046

近几年来,大数据机器学习和数据挖掘并行化算法研究成为大数据领域一个较为重要的研究热点。Spark提供了一个称为Spark R的编程接口,方便一般应用领域的数据分析人员使用所熟悉的R语言在Spark平台上完成数据分析和计算。基于Spark R设... 详细信息

近几年来,大数据机器学习和数据挖掘并行化算法研究成为大数据领域一个较为重要的研究热点。Spark提供了一个称为Spark R的编程接口,方便一般应用领域的数据分析人员使用所熟悉的R语言在Spark平台上完成数据分析和计算。基于Spark R设计并实现了多种常用的并行化的机器学习分类算法,包括多项式贝叶斯分类算法、支持向量机(support vector machine,SVM)算法和Logistic Regression算法。对于SVM和Logistic Regression算法,在常规的并行化策略的基础上为了进一步提升训练速度,设计采用了并行化局部优化的迭代计算模式。实验结果表明,所设计实现的基于Spark R的并行化分类算法与Hadoop Map Reduce的方案相比,速度上提升了8倍左右。

关键词： SparkR 分类算法并行化局部迭代内存计算

来源：评论

学校读者我要写书评

暂无评论

联合梯度强度与方向信息的图像质量评价

引用

仪器仪表学报 2015年第12期36卷 2738-2746页

作者：崔子冠干宗良唐贵进刘峰朱秀昌南京邮电大学通信与信息工程学院南京210003 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学教育科学与技术学院南京210003

为了进一步提高全参考图像质量评价(IQA)方法的准确性和高效性,基于人类视觉系统(HVS)的低层次视觉感知机理,在利用梯度强度信息的同时还巧妙地利用了梯度方向信息,更好地表达了图像局部结构信息的失真。在LIVE2图像数据库上的实验结果... 详细信息

为了进一步提高全参考图像质量评价(IQA)方法的准确性和高效性,基于人类视觉系统(HVS)的低层次视觉感知机理,在利用梯度强度信息的同时还巧妙地利用了梯度方向信息,更好地表达了图像局部结构信息的失真。在LIVE2图像数据库上的实验结果表明:对不同类型的图像失真,联合利用梯度强度与方向信息的全参考IQA方法相比之前著名的基于HVS以及仅利用梯度强度信息的IQA方法具有更高的预测单调性和准确性,而且计算复杂度更低。

关键词：图像质量评价人类视觉系统结构失真梯度信息

来源：评论

学校读者我要写书评

暂无评论

构件软件的回归测试复杂性度量

引用

软件学报 2015年第12期26卷 3043-3061页

作者：陶传奇李必信 Jerry Gao 南京理工大学计算机科学与工程学院江苏南京210094 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 东南大学软件工程研究所江苏南京211189 东南大学计算机科学与工程学院江苏南京211189 Department of Computer Engineering San Jose State University

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以... 详细信息

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以实施不同的修改手段.不同的修改手段会导致不同的回归测试复杂性,这种复杂性是软件维护成本和有效性的重要因素.目前的研究没有强调构件软件的回归测试复杂性问题.基于修改影响复杂性模型和度量,提出一种回归测试的复杂性度量框架.该度量框架包括两个部分:基于图的模型和形式化度量计算.该度量可以有效表示构件软件分别在构件和系统层面的回归测试复杂性因素,可视化地体现复杂性变化.然后根据模型,提出具体的度量计算方式.最后,通过实验研究,针对同一个构件软件的相同修改需求,利用若干个实验组进行独立修改实施,然后比较回归测试的复杂性.实验结果表明,所提出的度量方式是可行和有效的.

关键词：基于构件的软件回归测试重测复杂性软件维护

来源：评论

学校读者我要写书评

暂无评论

一种基于动态词典和三支决策的情感分析方法

引用

山东大学学报（工学版） 2015年第1期45卷 19-23页

作者：周哲商琳南京大学计算机科学与技术系江苏南京210046 南京大学计算机软件新技术国家重点实验室江苏南京210046

提出了一种新的特征提取方式,与三支决策思想相结合,运用在文本情感分析中,以提高分类器的效率。根据训练集合创建动态情感词典,然后根据情感词典提取文本的抽象特征,形成特征矩阵。在分类过程中,如果分类器对于目标文本的所属分类确信... 详细信息

提出了一种新的特征提取方式,与三支决策思想相结合,运用在文本情感分析中,以提高分类器的效率。根据训练集合创建动态情感词典,然后根据情感词典提取文本的抽象特征,形成特征矩阵。在分类过程中,如果分类器对于目标文本的所属分类确信程度不够高,那么分类器会利用三支决策的思想,将文本置于边界域中,等待别的处理方法。实验结果表明,在英文影评数据集上,基于动态词典的特征提取方法可以取得更好的分类准确率,而且三支决策规则可将一些样例放入边界域,提高了分类准确率。

关键词：情感分析观点挖掘文本数据挖掘特征抽取三支决策

来源：评论

学校读者我要写书评

暂无评论

多策略同义词获取方法研究

引用

北京大学学报（自然科学版） 2015年第2期51卷 301-306页

作者：宋文杰顾彦慧周俊生孙玉杰严杰曲维光南京师范大学计算机科学与技术学院南京210023 江苏省信息安全保密技术工程研究中心南京210023 南京大学计算机软件新技术国家重点实验室南京210023

提出一种多策略同义词获取方法,一方面利用《同义词词林》、《中文概念词典》等现有语义词典中蕴含的同义关系获取同义词,另一方面根据百度百科信息框(Bdbk)中特征词和汉典网(Zdic)中HTML标记获取同义词,同时采用DIPRE自动获取模式的方... 详细信息

提出一种多策略同义词获取方法,一方面利用《同义词词林》、《中文概念词典》等现有语义词典中蕴含的同义关系获取同义词,另一方面根据百度百科信息框(Bdbk)中特征词和汉典网(Zdic)中HTML标记获取同义词,同时采用DIPRE自动获取模式的方法,从百度百科文本中发现置信度较高的模式和同义关系。实验结果表明,所提方法在NLP&CC 2012同义词评测数据集中取得较好结果。利用该方法,以《现代汉语语法信息词典》名词部分为目标,构建一部同义词词典并进行人工校对,为《现代汉语语法信息词典》构建较为完善的语义关系体系做出尝试。

关键词：同义词关系抽取模式匹配网络百科

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：