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

软件学报 2015年第2期26卷 348-363页

作者：甘水滔秦晓军陈左宁王林章数学工程与先进计算国家重点实验室(无锡江南计算技术研究所) 江苏无锡214083 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过... 详细信息

提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过遍历代码片段对应的语法分析树中关键节点的数量,构造对应的特征矩阵.从公开漏洞数据库中抽取部分实例作为基本知识库,通过对代码进行基于多种克隆类型的聚类计算,达到了从被测软件代码中检测脆弱代码的目的.与基于单一特征向量的检测方法相比,对脆弱性特征的描述更加精确,更具有针对性,并且弥补了形式化检测方法在脆弱性类型覆盖能力上的不足.在对android-kernel代码的测试中发现了9个脆弱性.对不同规模软件代码的测试结果表明,该方法的时间开销和被测代码规模成线性关系.

关键词：脆弱性检测代码克隆语法分析树特征矩阵

来源：评论

学校读者我要写书评

暂无评论

基于随机游走的无线传感器网络覆盖洞修复

引用

计算机应用与软件 2016年第8期33卷 141-145页

作者：韩蕊张书奎陈朋飞苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210023

近年来,无线传感器网络逐渐成为研究的热点。无线传感器网络中由于传感器节点能力的耗尽或失效导致原先被覆盖的区域变成无节点覆盖的区域,即覆盖空洞。针对覆盖空洞问题,提出基于随机游走的移动节点修复覆盖空洞算法。通过添加移动节点... 详细信息

近年来,无线传感器网络逐渐成为研究的热点。无线传感器网络中由于传感器节点能力的耗尽或失效导致原先被覆盖的区域变成无节点覆盖的区域,即覆盖空洞。针对覆盖空洞问题,提出基于随机游走的移动节点修复覆盖空洞算法。通过添加移动节点,运用融合了能量消耗和时延的随机游走方式指引移动节点寻找覆盖空洞,并进行填补。仿真实验的结果证明了此方法的有效性,移动节点寻找出的覆盖空洞的路径上在能量以及时延方面较优。

关键词：无线传感器网络覆盖洞随机游走移动节点修复

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络在桥梁健康监测中的应用

引用

软件学报 2015年第6期26卷 1486-1498页

作者：俞姝颖吴小兵陈贵海戴海鹏洪卫星计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 江苏省交通工程建设局江苏南京210004

桥梁的安全运营,是关系到国计民生的大事.因此,桥梁结构健康监测系统正成为国内外学术界和工程界的研究热点.无线传感器网络由于安装方便、维护成本低和部署灵活等特点,已被广泛应用于桥梁健康监测系统中.对现有的基于无线传感器网络的... 详细信息

桥梁的安全运营,是关系到国计民生的大事.因此,桥梁结构健康监测系统正成为国内外学术界和工程界的研究热点.无线传感器网络由于安装方便、维护成本低和部署灵活等特点,已被广泛应用于桥梁健康监测系统中.对现有的基于无线传感器网络的桥梁健康监测系统进行综述,依次介绍了各个子系统中的基本原理和典型方法,并结合多个具体实例分析了系统中的关键技术,最后总结了已有系统中存在的问题和未来的研究方向.

关键词：结构健康监测桥梁无线传感器网络损伤识别

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学与探索 2015年第9期9卷 1056-1065页

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

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

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

关键词：云框架症状自查服务海量医疗数据 Hadoop Lucene

来源：评论

学校读者我要写书评

暂无评论

多尺度粗糙表面的实时绘制方法

引用

中国图象图形学报 2015年第4期20卷 559-567页

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

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

目的大部分材质表面都具有一定的细微结构,而这些细微结构的存在增加了真实感图形绘制的复杂性。方法首先将材质表面的细微结构分为3类:宏观结构、介观结构和微观结构,并对每类结构分别建模:宏观结构采用三角面片建模,介观结构则采用法向图表示,而微观结构直接采用单一的粗糙度表达。然后针对每种结构,分别获得它们的法向分布函数(NDF),并用混合v MF分布拟合。最终屏幕空间每个像素内的法向分布用3个尺度NDF的卷积操作近似获得。此外,在处理环境光照时引入抛物面图(PM)和summed-area table(SAT),满足了动态场景的实时绘制需求。结果实验结果表明本文方法可以在不同视点范围下生成高真实感的反射效果,并获得实时的绘制性能。结论本文提出的实时绘制方法能够处理表面材质结构复杂的3维模型在环境光下的真实感反射效果,并支持动态光照和形变物体。

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

来源：评论

学校读者我要写书评

暂无评论

中断驱动的嵌入式系统数据竞争检测工具

引用

计算机科学与探索 2015年第8期9卷 914-925页

作者：陈园军石浚菁王林章李宣东南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

中断驱动的嵌入式系统广泛应用于对安全和稳定性要求极高的领域,但因系统设计复杂,运行环境多样等原因,中断不确定性导致的严重故障时有发生,数据竞争是较为棘手的问题之一。已有工作对中断导致的数据竞争检测做了许多尝试,但目前还没... 详细信息

中断驱动的嵌入式系统广泛应用于对安全和稳定性要求极高的领域,但因系统设计复杂,运行环境多样等原因,中断不确定性导致的严重故障时有发生,数据竞争是较为棘手的问题之一。已有工作对中断导致的数据竞争检测做了许多尝试,但目前还没有比较易用的解决方案。为了解决这类问题,提出了一种基于控制流图的静态检测方法。该方法通过对源程序进行预处理分析,检测出程序中使用的共享资源和中断使能操作;根据预处理的结果,构建出源程序对应的简要控制流图;通过对简要控制流图的抢占关系分析,得到可能会导致竞争关系的执行序列。实验结果表明,该方法能有效检测出程序中潜在的竞争关系,并指明该潜在竞争的发生路径,帮助软件测试人员对故障进行确认和修复。

关键词：中断竞争嵌入式系统中断驱动测试

来源：评论

学校读者我要写书评

暂无评论

中断驱动系统模型检验?

引用

软件学报 2015年第9期26卷 2212-2230页

作者：周筱羽顾斌赵建华杨孟飞李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统... 详细信息

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.

关键词：中断驱动系统模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

一种优化缓存的Mobile Agent迁移机制

引用

北京理工大学学报 2015年第1期35卷 86-91页

作者：徐小龙吴家兴曹玲玲王新珩南京邮电大学计算机学院江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210046 西苏格兰大学计算机学院

目前的Mobile Agent迁移系统中,若Agent迁移失败,封装好的最小信息集将被简单抛弃,再次迁移时需重新封装,导致了额外的系统开销和迁移的低效率.对Mobile Agent迁移机制进行改进,通过在本地Agency添加Agent迁移缓存管理器AMCM,提出了一... 详细信息

目前的Mobile Agent迁移系统中,若Agent迁移失败,封装好的最小信息集将被简单抛弃,再次迁移时需重新封装,导致了额外的系统开销和迁移的低效率.对Mobile Agent迁移机制进行改进,通过在本地Agency添加Agent迁移缓存管理器AMCM,提出了一种优化缓存的Mobile Agent迁移机制.机制区分了Mobile Agent强迁移和弱迁移两种情况;当Agent迁移失败之后,已封装好的Agent信息集由Agent迁移缓存管理器保存;该Agent再次迁移时,封装好的消息将被直接发送至目的节点;机制还实现了Agent在多个节点间高效率的连续迁移.实验与性能分析表明,优化缓存的Mobile Agent迁移机制可有效节约系统的计算资源,缩短Mobile Agent的迁移时延.

关键词：移动主体迁移机制优化缓存连续迁移

来源：评论

学校读者我要写书评

暂无评论

中断驱动控制系统的有界模型检验技术

引用

软件学报 2015年第10期26卷 2485-2503页

作者：周筱羽顾斌赵建华杨孟飞计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调... 详细信息

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作.使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模,并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程.控制变量将中断处理过程和系统任务相关联,中断处理程序可以设定某个控制变量,而系统任务则通过检查该控制变量来确定是否需要进行后续处理.对于这样的形式化模型,给出了检验关键时序性质的有界模型检验算法.该算法使用深度优先的方式遍历所有长度小于等于K的可行路径,并使用SMT Z3实现了对时间约束和规约的处理.

关键词：中断驱动系统有界模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

基于程序频谱的动态缺陷定位方法研究

引用

软件学报 2015年第2期26卷 390-412页

作者：陈翔鞠小林文万志顾庆南通大学计算机科学与技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预... 详细信息

基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预备知识和基本假设;随后,提出缺陷定位研究框架并识别出框架内一系列可影响缺陷定位效果的内在影响因素,包括程序频谱构造方式、测试套件构成和维护、内在缺陷数量、测试用例预言设置、用户反馈和缺陷修复开销等;接着,对实证研究中采用的评测指标和评测程序进行总结和分析;然后,对缺陷定位方法在一些特定测试领域中的应用进行总结;最后,对该领域未来值得关注的研究方向进行了展望.

关键词：软件调试缺陷定位程序频谱测试用例测试用例预言

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：