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

计算机学报 2013年第12期36卷 2455-2467页

作者：汤恩义李宣东南京大学软件新技术国家重点实验室南京210093 南京大学软件学院南京210093 南京大学计算机科学与技术系南京210093

正确的时间属性和行为对于实时软件来说非常关键,然而这却很难得到完全的保障.在实际工业中,实时性错误不仅会在软件的设计开发阶段被引入,在软件的维护阶段,随着软件的演化也同样会引入这种错误.当软件维护人员对系统不够熟悉时,维护... 详细信息

正确的时间属性和行为对于实时软件来说非常关键,然而这却很难得到完全的保障.在实际工业中,实时性错误不仅会在软件的设计开发阶段被引入,在软件的维护阶段,随着软件的演化也同样会引入这种错误.当软件维护人员对系统不够熟悉时,维护阶段引入这些错误的可能性会更大.目前,还没有研究结果可以在软件修改发生之前,通过分析系统的时间关系信息来帮助指导软件维护人员减少或者避免引入时间相关的错误.在这样的背景下,文中提出了一种实际可用的分析途径来解决这一问题,称之为时间变化影响分析.这一解决途径在软件维护人员做出修改之前就可以分析软件内在的时间关系信息,从而帮助维护人员在软件的实际演化前预测可能带来的时间影响.在具体的操作上,可以通过告知软件维护人员程序代码中的某些位置点可能会对整个程序任务的执行时间产生很大的影响,来提醒他们修改这些位置点的代码时应当特别小心.由于这些点对程序任务的执行时间敏感,我们称之为时间变化敏感点.文中通过一种基于扰动的测试实现来检测程序中的时间变化敏感点,通过在程序中插桩不同的代码时延,达到对执行时间的扰动作用.对这些扰动作用下的程序执行时间数据进行统计,得到程序中各个位置点对时间影响的定量度量.对于实际使用的大规模程序,该方法通过集成静态程序分析技术提高吞吐量和减小漏报率.文中对分析途径做了原型实现,并在Mlardalen WCET基准用例集和开源项目Free Lossless Audio Codec(FLAC)上做了实例评估.评估结果展示了该方法的可行性和有效性.

关键词：软件维护实时软件时间变化影响分析基于扰动的测试时间变化敏感点

来源：评论

学校读者我要写书评

暂无评论

基于马氏距离和H-K聚类的空值估计研究

引用

计算机光盘软件与应用 2014年第20期17卷 86-88,91页

作者：陈睿进张聪毛宇光南京航空航天大学计算机科学与技术学院南京211106 计算机软件新技术国家重点实验室(南京大学) 南京210093

传统的基于欧氏距离和K-means聚类算法的空值估计算法容易因为欧氏距离对量纲的敏感性和初始聚类中心对K-means聚类效果的影响产生估值误差。将层次聚类算法和K-means聚类算法有机结合起来的H-K聚类算法克服了K-means算法对初始聚类中... 详细信息

传统的基于欧氏距离和K-means聚类算法的空值估计算法容易因为欧氏距离对量纲的敏感性和初始聚类中心对K-means聚类效果的影响产生估值误差。将层次聚类算法和K-means聚类算法有机结合起来的H-K聚类算法克服了K-means算法对初始聚类中心的敏感性,从而改善了聚类效果。与欧氏距离不同,马氏距离可以避免量纲的影响。为此提出一种改进的空值估计算法,将H-K聚类应用到空值估计算法中进行聚类,在聚类时采用马氏距离代替欧氏距离,在聚类后使用多元线性回归法计算样本中的空值。实验结果表明改进后的空值估计算法使得估计值的绝对误差率(MAER)得到降低。

关键词： K-means算法层次聚类 H-K聚类算法马氏距离空值估计

来源：评论

学校读者我要写书评

暂无评论

动态光下多尺度粗糙表面的实时绘制方法

动态光下多尺度粗糙表面的实时绘制方法

引用

第十届中国计算机图形学大会暨第十八届全国计算机辅助设计与图形学会会议

作者：过洁潘金贵南京大学计算机软件新技术国家重点实验室南京 210023 南京大学计算机科学与技术系南京 210023

大部分材质表面都具有一定的细微结构，而这些细微结构的存在增加了真实感图形绘制的复杂性。首先将材质表面的细微结构分为三类：宏观结构、介观结构和微观结构，并对每类结构分别建模：宏观结构采用三角面片建模，介观结构则采用法向... 详细信息

大部分材质表面都具有一定的细微结构，而这些细微结构的存在增加了真实感图形绘制的复杂性。首先将材质表面的细微结构分为三类：宏观结构、介观结构和微观结构，并对每类结构分别建模：宏观结构采用三角面片建模，介观结构则采用法向图表示，而微观结构直接采用单一的粗糙度表达。然后针对每种结构，分别获得它们的法向分布函数(NDF)，并用混合vMF分布拟合。最终屏幕空间每个像素内的法向分布用三个尺度NDF的卷积操作近似获得。此外，在处理环境光照时引入抛物面图(PM)和summed-area table (SAT)，满足了动态场景的实时绘制需求。

关键词：多尺度粗糙表面动态光照实时绘制滤波

来源：评论

学校读者我要写书评

暂无评论

基于海量医疗数据的症状自查服务的云框架设计

基于海量医疗数据的症状自查服务的云框架设计

引用

第二届CCF大数据学术会议

作者：周作建林文敏王斌斌潘金贵南京大学计算机软件新技术国家重点实验室南京中国210046 南京大学计算机科学与技术系南京中国210046

随着当前社会"亚健康"人群的增加,症状自查服务显得愈发重要.各地基于居民健康档案的区域卫生信息平台的建立,为症状自查服务实现提供了数据基础,但是我们仍面临着海量电子病历的获取、存储、搜索以及数据分析计算等诸多挑战... 详细信息

随着当前社会"亚健康"人群的增加,症状自查服务显得愈发重要.各地基于居民健康档案的区域卫生信息平台的建立,为症状自查服务实现提供了数据基础,但是我们仍面临着海量电子病历的获取、存储、搜索以及数据分析计算等诸多挑战.鉴于上述问题,本文提出一种基于云框架的症状自查服务模型.首先,本文建立了Hadoop集群,用来对海量医疗数据的存储以及索引的建立,提高电子病历的搜索响应时间.其次,本文设计了基于Lucene的分布式搜索节点集群,用来对海量的电子病历进行实时检索、数据分析和隐私过滤.此外,本文对症状自查服务的实现进行讨论,包括搜索节点的选择、病历索引文件的建立、病历相似度的计算及排序方法.最后,本文通过实验证实症状自查服务的云框架模型具有可扩展性和有效性.

关键词：医疗数据信息查询云框架系统设计

来源：评论

学校读者我要写书评

暂无评论

检测最大密度子图的局部广度优先扩张与收缩方法

引用

小型微型计算机系统 2014年第10期35卷 2267-2271页

作者：孙鹤立王鹏周瑜刘怀亮黄健斌西安交通大学计算机科学与技术系西安710049 南京大学计算机软件新技术国家重点实验室南京210023 西安电子科技大学软件学院西安710071 西安电子科技大学经济与管理学院西安710071

最大密度子图检测是一个重要的图挖掘问题,目前已经应用在诸如互联网、生物科学及图像处理等多个领域.在传统的最大密度子图检测算法基础上,提出一种新的基于局部广度优先扩张与收缩算法.首先,选定图中的最优结点,并从该结点出发做广度... 详细信息

最大密度子图检测是一个重要的图挖掘问题,目前已经应用在诸如互联网、生物科学及图像处理等多个领域.在传统的最大密度子图检测算法基础上,提出一种新的基于局部广度优先扩张与收缩算法.首先,选定图中的最优结点,并从该结点出发做广度优先扩张;其次,对上面所得到的扩张结点集合进行收缩,从而得到当前迭代过程的局部最大密度子图;最后,在该局部最大密度子图相对于原图的补图上不断进行上述迭代,每次记录当前平均密度最大的子图,直至补图为空.该算法利用局部邻域优势,有效地提升了最大密度子图的平均密度.通过实验结果表明,与同类算法相比,利用该算法所得到的最大密度子图的平均密度更大.此外,通过实验表明,该算法与同类算法相比还具有更好的稳定性和适应性.

关键词：图数据挖掘最大密度子图检测局部邻域平均密度

来源：评论

学校读者我要写书评

暂无评论

基于信息流的整数漏洞插装和验证

引用

软件学报 2013年第12期24卷 2767-2781页

作者：孙浩李会朋曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为降低整数漏洞插装验证的运行开销,提出基于信息流的整数漏洞插装方法.从限定分析对象范围的角度出发,将分析对象约减为污染信息流路径上的所有危险整数操作,以降低静态插装密度.在GCC平台上,实现了原型系统DRIVER(detect and run-time... 详细信息

为降低整数漏洞插装验证的运行开销,提出基于信息流的整数漏洞插装方法.从限定分析对象范围的角度出发,将分析对象约减为污染信息流路径上的所有危险整数操作,以降低静态插装密度.在GCC平台上,实现了原型系统DRIVER(detect and run-time check integer-based vulnerabilities with information flow).实验结果表明,该方法具有精度高、开销低、定位精确等优点.

关键词：整数漏洞信息流污点分析插装

来源：评论

学校读者我要写书评

暂无评论

计量管理信息系统中的数据库安全

引用

计算机与现代化 2014年第1期 182-185,191页

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

当前信息安全越来越引起人们的重视,本文在介绍计量信息管理系统的架构设计、开发环境和功能模块设计的基础上,重点讨论数据库的安全问题。系统采用ASP+IIS+SQL Server 2005平台架构,结合数据库技术和Web技术,从网络系统层次、操作系统... 详细信息

当前信息安全越来越引起人们的重视,本文在介绍计量信息管理系统的架构设计、开发环境和功能模块设计的基础上,重点讨论数据库的安全问题。系统采用ASP+IIS+SQL Server 2005平台架构,结合数据库技术和Web技术,从网络系统层次、操作系统层次和数据库管理系统层次等多方面进行安全性分析,采用用户身份认证、防火墙技术、基于角色的访问控制、数据加密、审计追踪与入侵检测、防数据库下载和防SQL注入攻击等技术对数据库进行保护。

关键词：计量信息管理系统数据库数据库安全

来源：评论

学校读者我要写书评

暂无评论

基于数据流的测试用例自动生成研究

引用

计算机技术与发展 2014年第9期24卷 1-5页

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

目前的数据流测试技术存在缺乏具体的数据驱动方法,测试用例的生成过程没有与测试需求结合起来等问题。基于此,文中提出一种自动生成测试用例的模型(TRGA),利用控制流图(CFG)计算生成测试用例所需的变量的定义使用对,使用数据类型结构图... 详细信息

目前的数据流测试技术存在缺乏具体的数据驱动方法,测试用例的生成过程没有与测试需求结合起来等问题。基于此,文中提出一种自动生成测试用例的模型(TRGA),利用控制流图(CFG)计算生成测试用例所需的变量的定义使用对,使用数据类型结构图(DTG)来作为创建测试对象的数据驱动,利用遗传算法的搜索能力来生成数据,并提出了一种新的适应度计算方法。实验结果表明,该模型能够在减少搜索时间,降低生成测试用例规模的同时达到较高的测试覆盖率。

关键词：数据流控制流图数据类型结构图适应度测试用例

来源：评论

学校读者我要写书评

暂无评论

考虑类特性的面向对象错误定位

引用

计算机学报 2013年第12期36卷 2420-2428页

作者：涂径玄陈林许蕾卢红敏徐宝文南京大学软件新技术国家重点实验室南京210048 南京大学计算机科学与技术系南京210048

基于频谱的错误定位方法很少考虑语言特性对其错误定位效率的影响.文中针对基于频谱的面向对象程序错误定位,分析讨论了类特性对基于频谱的错误定位方法的有效影响,提出了结合类可疑度信息的错误定位算法,并通过3个Java开源软件作为实... 详细信息

基于频谱的错误定位方法很少考虑语言特性对其错误定位效率的影响.文中针对基于频谱的面向对象程序错误定位,分析讨论了类特性对基于频谱的错误定位方法的有效影响,提出了结合类可疑度信息的错误定位算法,并通过3个Java开源软件作为实验对象对其进行了验证.实验结果表明,文中提出的方法能够有效提高基于频谱的面向对象错误定位方法的效率.

关键词：错误定位面向对象类可疑度频谱程序分析

来源：评论

学校读者我要写书评

暂无评论

样本驱动的半自动图像集前背景分割

引用

计算机辅助设计与图形学学报 2013年第6期25卷 794-801页

作者：汪粼波郭延文夏天辰金国平南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

图像集的前背景分割是近年来图像处理与图形学领域的一项热点研究工作.针对图像集中的图像逐个进行交互分割会涉及大量的用户操作,导致效率低下,而联合分割方法通常局限于处理具有相似前景的图像集,且因需求解大规模的优化问题较为耗时... 详细信息

图像集的前背景分割是近年来图像处理与图形学领域的一项热点研究工作.针对图像集中的图像逐个进行交互分割会涉及大量的用户操作,导致效率低下,而联合分割方法通常局限于处理具有相似前景的图像集,且因需求解大规模的优化问题较为耗时的问题,提出一种样本驱动的半自动图像集分割方法.首先选取若干图像作为样本进行手动交互分割,训练基于样本图像超像素特征描述的支持向量机分类器;对于其余待分割图像,根据其超像素特征描述到支持向量机分隔超平面的距离计算基于双弯曲Sigmoid函数映射的前景置信度,再采用图切割的算法实现目标图像的快速自动分割.对于包含错误分割的个别图像,进一步提出一种交互式局部修正方法修复错误分割区域,并获得最终的精确分割结果.在2个标准数据集上进行算法有效性验证和对比实验的结果表明,与联合分割算法相比,文中方法能更好、更快地实现在线分割;与逐个交互分割算法相比,文中方法能以相对较小的交互量实现对目标图像集的精确分割.

关键词：图像分割联合分割超像素支持向量机双弯曲Sigmoid函数

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：