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

大数据 2015年第1期1卷 28-47页

作者：黄宜华南京大学计算机软件新技术国家重点实验室南京210023 南京大学PASA大数据技术实验室南京210023

要实现高效的大数据机器学习,需要构建一个能同时支持机器学习算法设计和大规模数据处理的一体化大数据机器学习系统。研究设计高效、可扩展且易于使用的大数据机器学习系统面临诸多技术挑战。近年来,大数据浪潮的兴起,推动了大数据机... 详细信息

要实现高效的大数据机器学习,需要构建一个能同时支持机器学习算法设计和大规模数据处理的一体化大数据机器学习系统。研究设计高效、可扩展且易于使用的大数据机器学习系统面临诸多技术挑战。近年来,大数据浪潮的兴起,推动了大数据机器学习的迅猛发展,使大数据机器学习系统成为大数据领域的一个热点研究问题。介绍了国内外大数据机器学习系统的基本概念、基本研究问题、技术特征、系统分类以及典型系统;在此基础上,进一步介绍了本实验室研究设计的一个跨平台统一大数据机器学习系统——Octopus(大章鱼)。

关键词：大数据机器学习分布并行计算大数据处理平台

来源：评论

学校读者我要写书评

暂无评论

一种面向功能类似程序的高效克隆检测技术

一种面向功能类似程序的高效克隆检测技术

引用

第十四届全国软件与应用学术会议

作者：董加星许畅南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

程序克隆检测普遍被应用在检测软件市场中是否有经恶意修改后重新发布的软件,或是应用于克隆代码的识别与重构.但是其应用领域不仅限于此,面向功能类似程序的克隆检测有着独有的特点,同时也有着很大的应用前景.功能类似程序之间的克隆... 详细信息

程序克隆检测普遍被应用在检测软件市场中是否有经恶意修改后重新发布的软件,或是应用于克隆代码的识别与重构.但是其应用领域不仅限于此,面向功能类似程序的克隆检测有着独有的特点,同时也有着很大的应用前景.功能类似程序之间的克隆检测要比一般的克隆检测复杂一点,它是要在一些具有相似框架代码,实现功能类似的程序中找到克隆程序对.现有的克隆检测技术在检测功能类似程序时很难控制误报率.本文提出了一种克隆检测方法,通过对功能类似程序克隆检测特点的分析,从中获取有用的信息,最终改进克隆检测技术并将其应用于实践.实验结果表明,该克隆检测技术可以有效地进行克隆检测,结合功能类似程序克隆检测的特点可以很好地控制误报率.

关键词：软件检测程序分析克隆检测技术移植

来源：评论

学校读者我要写书评

暂无评论

一种面向用户需求的Web服务测试方法

引用

计算机学报 2014年第3期37卷 512-521页

作者：许蕾李言辉陈林宫敏颜友军徐宝文南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验... 详细信息

Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验结果表明该文方法生成组合Web服务测试用例的有效性.以用户需求驱动组合Web服务测试,既能保证所选服务真正符合用户需求,又可根据用户使用场景来丰富测试需求信息,结合领域知识启发式生成测试用例.

关键词：组合Web服务用户需求测试用例生成使用场景软件测试中图法

来源：评论

学校读者我要写书评

暂无评论

支持向量机方法预测七鳃鳗miRNA前体

引用

济南大学学报（自然科学版） 2015年第5期29卷 333-339页

作者：张洁李庆伟邹丽辽宁师范大学生命科学学院大连116081 辽宁师范大学七鳃鳗研究中心大连116081 辽宁师范大学计算机与信息技术学院大连116081 南京大学计算机软件新技术国家重点实验室南京210093

将七鳃鳗miRNA前体(pre-miRNA)序列的结构特征作为支持向量机工具Lib-SVM的输入向量,经Grid程序优化参数后,开发序列预测程序Lj-miRSVM,通过10倍交叉法验证,平均敏感性和特异性分别为95%和95.9%,准确率为95.8%,接收者操作特征曲线(ROC)... 详细信息

将七鳃鳗miRNA前体(pre-miRNA)序列的结构特征作为支持向量机工具Lib-SVM的输入向量,经Grid程序优化参数后,开发序列预测程序Lj-miRSVM,通过10倍交叉法验证,平均敏感性和特异性分别为95%和95.9%,准确率为95.8%,接收者操作特征曲线(ROC)下的面积比约为98.9%。用Lj-miRSVM预测其他20个物种的pre-miRNA,平均正确率为78.5%。

关键词：七鳃鳗支持向量机 miRNA前体预测 ROC曲线

来源：评论

学校读者我要写书评

暂无评论

一种面向无线传感网应用重编程的逻辑式编程语言

引用

软件学报 2014年第2期25卷 326-340页

作者：朱晓瑞陶先平谢宏伟吕建计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

无线传感网的发展,使其需要具有高效地更新其上运行的应用软件的能力.为了解决这个问题,提出了一种面向无线传感网应用重编程的逻辑式编程语言及其处理系统***语言根据无线传感网应用的普遍特点,基于传统逻辑式语言进行扩展,并提供合适... 详细信息

无线传感网的发展,使其需要具有高效地更新其上运行的应用软件的能力.为了解决这个问题,提出了一种面向无线传感网应用重编程的逻辑式编程语言及其处理系统***语言根据无线传感网应用的普遍特点,基于传统逻辑式语言进行扩展,并提供合适的编程抽象,方便程序员高效地构建、修改程序.同时,语言的处理系统使用中间代码将应用程序与系统软件解耦,从而减少应用更新时所需传输的更新代码的规模,提高更新效率.通过一个数据收集应用案例评估了ReLog语言及其执行机制,结果表明:使用ReLog语言能够获得简洁、易修改的程序;同时,语言的执行机制能够显著降低传输应用更新代码的能量和时间开销.

关键词：逻辑式编程语言操作语义无线传感网重编程解释执行

来源：评论

学校读者我要写书评

暂无评论

基于条件随机场的模型特征线提取方法

引用

电子学报 2014年第3期42卷 498-504页

作者：张尧烨孙正兴刘凯宋沫飞章菲倩南京大学计算机软件新技术国家重点实验室江苏南京210046

本文提出了一种草图指导的三维模型特征线提取方法,该方法特点在于:一方面,建立了笔画采样点与模型特征线点间的条件随机场匹配模型,将模型几何特征与形状相似性结合匹配,实现了草图信息与模型特征线提取的有效融合;另一方面,提出了基... 详细信息

本文提出了一种草图指导的三维模型特征线提取方法,该方法特点在于:一方面,建立了笔画采样点与模型特征线点间的条件随机场匹配模型,将模型几何特征与形状相似性结合匹配,实现了草图信息与模型特征线提取的有效融合;另一方面,提出了基于结构相似性的模型特征线度量机制,并采用迭代优化方法实现了全局最优模型特征线的提取.实验结果表明:本文提出的方法能有效获取与草图结构形状相对应的模型特征线绘图.

关键词：非真实感绘制特征线提取条件随机场迭代优化指导草图

来源：评论

学校读者我要写书评

暂无评论

局部方向三值模式纹理描述子

引用

计算机工程与设计 2015年第5期36卷 1260-1264,1303页

作者：刘海军南京大学计算机软件新技术国家重点实验室江苏南京210023 北京市轻纺机械机器视觉工程技术研究中心北京100176 北京经纬纺机新技术有限公司北京100176

为解决LDP算子运算速度较慢、对于有些模式无法精确区分等问题,提出局部方向三值模式纹理描述子。采用自适应阈值,对像素8个方向边缘响应进行三值编码,提取并统计正边缘模式和负边缘模式,联合起来构成局部方向三值模式,作为最终特征来... 详细信息

为解决LDP算子运算速度较慢、对于有些模式无法精确区分等问题,提出局部方向三值模式纹理描述子。采用自适应阈值,对像素8个方向边缘响应进行三值编码,提取并统计正边缘模式和负边缘模式,联合起来构成局部方向三值模式,作为最终特征来描述图像。在Brodatz数据集和CUReT数据集上将该模式与传统的LBP、LDP、FLDP、LTP算法进行对比实验,对比结果表明,与LDP算法相比,该模式在上述两个数据集上的分类准确率分别提高了5.42%和8.43%,运算速度提高了8倍以上;与LBP、FLDP、FTP相比,该模式也有明显优势。

关键词：纹理特征纹理描述子局部方向模式局部三值模式纹理分类

来源：评论

学校读者我要写书评

暂无评论

软件工程领域专业硕士培养模式初探

引用

计算机教育 2015年第1期 3-6页

作者：骆斌刘钦冯桂焕王浩然南京大学软件学院江苏南京210093 计算机软件新技术国家重点实验室江苏南京210093

随着软件工程自身观念、知识、实践、工具等的发展更新,我国软件工程领域专业硕士教育的发展迎来巨大的机遇和挑战。文章介绍GSw2009中的CBOK以及最新的SWEBOK V3两种软件工程知识体系,阐述借鉴GSw E2009的南京大学课程体系和与之配套... 详细信息

随着软件工程自身观念、知识、实践、工具等的发展更新,我国软件工程领域专业硕士教育的发展迎来巨大的机遇和挑战。文章介绍GSw2009中的CBOK以及最新的SWEBOK V3两种软件工程知识体系,阐述借鉴GSw E2009的南京大学课程体系和与之配套的工程能力训练系统,结合中国研究生教育的实际,提出将软件工程中的过程管理方法引入教学管理体系。

关键词：软件工程研究生知识体系课程体系专业规范

来源：评论

学校读者我要写书评

暂无评论

混成系统形式化验证

引用

软件学报 2014年第2期25卷 219-233页

作者：卜磊解定宝南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

混成系统是实时嵌入式系统的一种重要子类,其行为中广泛存在离散控制逻辑跳转与连续实时行为交织混杂的情况,因此行为复杂,难以掌握与控制.由于此类系统广泛出现在工控、国防、交通等与国计民生密切相关的安全攸关的领域,因此,如何对相... 详细信息

混成系统是实时嵌入式系统的一种重要子类,其行为中广泛存在离散控制逻辑跳转与连续实时行为交织混杂的情况,因此行为复杂,难以掌握与控制.由于此类系统广泛出现在工控、国防、交通等与国计民生密切相关的安全攸关的领域,因此,如何对相关系统进行有效的分析与理解,从而保障系统安全运营,是一项具有重要意义的工作.常规的系统安全性分析手段,如测试、仿真等仅能在一定输入的情况下运行系统来观测系统行为,无法穷尽地检测复杂混成系统在所有可能输入下的行为,因此并不足以保证系统的安全性.区别于测试等方法,形式化方法通过求解系统模型状态取值范围等方法来确认系统模型中一定不会出现相关错误.因此,其对于保障安全攸关混成系统的安全性具有十分重要的意义.形式化方法由形式化规约与形式化验证两个方面构成.因此从以上两个角度分别对形式化规约方向上现有混成系统建模语言、关注性质以及形式化验证方向的混成系统模型检验、定理证明的现有主要技术与方法进行了综述性的回顾与总结.在此基础上,针对现阶段实时嵌入式系统复杂化、网络化的特性,对混成系统形式化验证的重要关注问题与研究方向进行了探索与讨论.

关键词：混成系统形式化方法模型检验定理证明

来源：评论

学校读者我要写书评

暂无评论

多核环境下一种支持动态预测性能损失的方法

引用

系统仿真学报 2014年第11期26卷 2803-2809页

作者：程仲汉官水旺黄皓南京大学计算机软件新技术国家重点实验室南京210046

在多核处理器环境中,并行程序对处理器共享资源,如最后一级缓存、内存控制器等的争用会造成其性能下降。对程序性能进行准确地预测能够为协同调度提供决策依据,从而减少争用导致的性能损失。传统的基于重用距离的性能建模方法的预测效果... 详细信息

在多核处理器环境中,并行程序对处理器共享资源,如最后一级缓存、内存控制器等的争用会造成其性能下降。对程序性能进行准确地预测能够为协同调度提供决策依据,从而减少争用导致的性能损失。传统的基于重用距离的性能建模方法的预测效果好,但由于开销较大而无法动态实施。针对此不足,基于机器学习提出一种支持动态预测程序性能损失的方法。选取硬件性能指标用于度量程序对共享资源的使用强度,建立双层预测模型:以协同运行时的性能指标作为输入,估计程序的竞争度和敏感度或其独立运行时的性能指标,预测出任意两个程序间的性能损失。仿真实验结果表明,相比启发式调度算法,基于该预测方法的调度结果对不同数据集有更小的整体性能损失。

关键词：片上多核处理器共享资源争用性能损失预测机器学习协同调度

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：