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

计算机工程与设计 2013年第1期34卷 18-22页

作者：赵晓东曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为提高操作系统和应用程序的安全性,研究了系统虚拟化的相关技术,讨论典型的基于系统虚拟化技术的安全技术应用和系统。根据研究目标的软件层次,分别从应用程序安全、操作系统安全和虚拟机监控器自身安全性三方面,对当前的研究现状和未... 详细信息

为提高操作系统和应用程序的安全性,研究了系统虚拟化的相关技术,讨论典型的基于系统虚拟化技术的安全技术应用和系统。根据研究目标的软件层次,分别从应用程序安全、操作系统安全和虚拟机监控器自身安全性三方面,对当前的研究现状和未来的发展趋势进行了分析和归纳。设计一种基于系统虚拟化技术实现对恶意软件透明安全的动态调试分析方案,通过在Intel-VT平台上实现系统原型,验证了该方法的可行性和有效性。

关键词：系统虚拟化安全隔离虚拟机监控器硬件辅助虚拟化

来源：评论

学校读者我要写书评

暂无评论

改进的Web注入型脆弱性检测方法

引用

计算机工程与设计 2013年第12期34卷 4137-4141页

作者：吕庆伟曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

针对现有Web注入型脆弱性检测方案大多只关注过滤型验证而忽略检查型验证这一不足,提出污染驱动的切片方法。以污点分析指导具体的程序切片过程,能够完整地提取程序中的两种验证操作;借助分步的、攻击者视角的字符串分析对验证操作的验... 详细信息

针对现有Web注入型脆弱性检测方案大多只关注过滤型验证而忽略检查型验证这一不足,提出污染驱动的切片方法。以污点分析指导具体的程序切片过程,能够完整地提取程序中的两种验证操作;借助分步的、攻击者视角的字符串分析对验证操作的验证能力进行评价分析,以更准确的检测web注入型脆弱性。实现了一个原型系统Valer,实验结果表明该方法有效降低了分析中的误报率,具有实用价值。

关键词： web注入型脆弱性输入验证污染驱动的切片攻击者视角字符串分析

来源：评论

学校读者我要写书评

暂无评论

一种随机TBFL方法

引用

计算机科学 2013年第1期40卷 5-13,18页

作者：王蓁蓁徐宝文周毓明陈林南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 金陵科技学院信息技术学院南京211169

许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了... 详细信息

许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了解决这个问题,Hao等人提出了SAFL(similarity aware fault localization)方法。实际上完全避免冗余是不可能的,因此从另一个角度构造了一个新的TBFL方法,称为随机TBFL方法。该方法的基本思想是:测试前对程序的语句错误概率进行先验分布,并把测试集看成随机变量,用测试用例反映的程序语句有关信息对程序语句的概率作一些调整,调整后的概率称为后验校正概率,最后根据这个后验概率对错误语句进行定位。将传统的TB-FL方法如Dicing方法、TARANTULA方法、SAFL方法纳入随机信息分析并通过几个实例进行分析和比较,结果表明,随机TBFL方法不仅能够正确定位错误语句,而且冗余对该方法的功效伤害不大。

关键词：错误定位测试为基础的错误定位随机错误定位方法

来源：评论

学校读者我要写书评

暂无评论

量子程序设计语言NDQJava2处理系统——代码转换程序

引用

计算机科学与探索 2013年第7期7卷 659-666页

作者：蔡希辉徐家福南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。着重介绍了NDQJava2处理系统的代码转换程序,... 详细信息

NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。着重介绍了NDQJava2处理系统的代码转换程序,详细讨论了其设计与实现过程,采用自顶向下、逐层转换的方式,将语法树转换成带量子汇编指令的Java代码。实验表明,该代码转换程序较好地完成了预期目标。

关键词： NDQJava2语言处理系统语法树代码转换程序

来源：评论

学校读者我要写书评

暂无评论

基于TCP/IP的远程触觉交互系统力反馈数据传输方法

引用

计算机科学 2013年第11期40卷 58-60,69页

作者：蒋峥峥高瞻顾翔陈翔南通大学计算机科学与技术学院南通226019 南京大学计算机软件新技术国家重点实验室南京210093

时延、丢包是影响远程触觉交互性能和用户体验的重要因素。以实时传输和真实再现力反馈数据为目的,提出了一种基于TCP/IP的实时力反馈数据传输方法,该方法通过时延处理和插值预处理降低网络通信过程中对远程触觉感知造成的不利影响实验... 详细信息

时延、丢包是影响远程触觉交互性能和用户体验的重要因素。以实时传输和真实再现力反馈数据为目的,提出了一种基于TCP/IP的实时力反馈数据传输方法,该方法通过时延处理和插值预处理降低网络通信过程中对远程触觉感知造成的不利影响实验结果证明,该方法有效地解决了远程触觉交互系统中实时力反馈的信息再现与信息交互问题,在远程医疗、远程教学、虚拟现实等领域具有重要的应用价值。

关键词：触觉交互远程协作力反馈 TCP IP 实时数据传输

来源：评论

学校读者我要写书评

暂无评论

一种用于中药方剂网络重叠社区发现的改进COPRA算法

引用

南京大学学报（自然科学版） 2013年第4期49卷 483-490页

作者：孙道平高原谢隽范欣生王崇骏南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 南京中医药大学江苏省方剂重点实验室南京210046

现阶段关于方剂配伍规律的研究主要用到的是数据挖掘技术,包括分别以分类和聚类为主的研究模式和以关联规则挖掘为主的研究模式,这两种研究模式作为研究中药方剂的重要技术取得了一系列可喜的成果,但是它们在揭示中医理论体系复杂性和... 详细信息

现阶段关于方剂配伍规律的研究主要用到的是数据挖掘技术,包括分别以分类和聚类为主的研究模式和以关联规则挖掘为主的研究模式,这两种研究模式作为研究中药方剂的重要技术取得了一系列可喜的成果,但是它们在揭示中医理论体系复杂性和内隐性方面还有不足之处.提出一种新的复杂网络的模型来探索中药方剂配伍规律,并用改进的COPRA算法对构建的复杂中药方剂网络进行社团发现,最后通过用自定义的模块密度来衡量所发现的社团紧密程度,以及对发现的社团与关联规则挖掘算法挖掘出的最大频繁项集进行比较,发现该模型及算法有很好的效果,具有一定的实用性.

关键词：中药方剂网络 COPRA算法模块密度

来源：评论

学校读者我要写书评

暂无评论

具有概念漂移的P2P网络流量识别研究

引用

系统工程与电子技术 2013年第4期35卷 864-869页

作者：刘三民孙知信南京航空航天大学计算机科学与技术学院江苏南京210016 安徽工程大学计算机与信息学院安徽芜湖241000 南京邮电大学宽带无线通信与传感网技术教育部重点实验室江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对P2P网络流量产生过程中存在概念漂移现象,提出具有概念漂移检测功能的多分类器动态集成流量识别方案。该方案包括概念漂移检测和分类器动态集成两大模块,由卡方统计推断原理实现概念漂移检测模块功能,采用基分类器的性能优先淘汰策... 详细信息

针对P2P网络流量产生过程中存在概念漂移现象,提出具有概念漂移检测功能的多分类器动态集成流量识别方案。该方案包括概念漂移检测和分类器动态集成两大模块,由卡方统计推断原理实现概念漂移检测模块功能,采用基分类器的性能优先淘汰策略进行动态集成解决流量概念漂移发生后的识别问题。在以贝叶斯分类器、支持向量机、决策树作为基分类器,针对不同集成规模、数据块大小进行仿真实验,结果证明方案是可行的,模型的识别准确率达到82%以上。

关键词：概念漂移流量检测 P2P 卡方统计

来源：评论

学校读者我要写书评

暂无评论

面向远程触觉协作的虚拟针灸系统研究

引用

系统仿真学报 2013年第9期25卷 2085-2090页

作者：蒋峥峥高瞻顾翔陈翔王丹丹南通大学计算机科学与技术学院南通226019 南京大学计算机软件新技术国家重点实验室南京210093 南通市紫琅职业技术学院南通226002

设计了一个新颖的基于远程触觉协作的虚拟针灸系统。分析了针灸过程中针体与组织的相互作用力,建立力学模型模拟针体受力,设计插值处理和分频输出以实现力反馈数据的实时网络传输。设计仿真实例对系统中力学模型、插值计算和分频输出的... 详细信息

设计了一个新颖的基于远程触觉协作的虚拟针灸系统。分析了针灸过程中针体与组织的相互作用力,建立力学模型模拟针体受力,设计插值处理和分频输出以实现力反馈数据的实时网络传输。设计仿真实例对系统中力学模型、插值计算和分频输出的效果进行验证,实验结果表明:提出的力学模型与针灸现实相符,插值方法可以提高远程触觉协作中接收数据的完整性,时延小于专家推荐的经验值,系统能够提供感觉逼真、实时稳定的虚拟针灸远程教学与训练,为针灸教学提供了一种新的手段。

关键词：虚拟现实针灸触觉交互远程协作力反馈

来源：评论

学校读者我要写书评

暂无评论

回归测试中测试用例集扩充技术研究进展

引用

计算机科学 2013年第6期40卷 8-15,28页

作者：陈翔顾庆陈道蓄南通大学计算机科学与技术学院南通226019 南京大学软件新技术国家重点实验室南京210093

测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并... 详细信息

测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并未对该研究问题的已有研究成果进行系统总结和展望。首先介绍了测试用例集扩充问题的研究背景和问题描述,然后总结出研究框架并对已有研究工作进行分类和系统比较,接着对常用评测数据集和评测指标进行了分析,最后对该问题值得关注的未来研究方向进行展望。

关键词：回归测试测试用例集扩充测试覆盖准则动态符号执行演化测试

来源：评论

学校读者我要写书评

暂无评论

回归测试用例选择技术研究综述

引用

计算机科学 2013年第10期40卷 1-9页

作者：陈翔顾卫江徐慧顾庆陈道蓄南通大学计算机科学与技术学院南通226019 南京大学软件新技术国家重点实验室南京210093

回归测试用例选择(Regression Test Case Selection,RTS)问题是回归测试研究中的一个热点,旨在从已有测试用例集中选择出所有可检测代码修改的测试用例。但迄今为止,国内研究人员并未对RTS问题的已有研究成果进行系统总结和比较。首先... 详细信息

回归测试用例选择(Regression Test Case Selection,RTS)问题是回归测试研究中的一个热点,旨在从已有测试用例集中选择出所有可检测代码修改的测试用例。但迄今为止,国内研究人员并未对RTS问题的已有研究成果进行系统总结和比较。首先在回归测试活动和测试用例划分基础上,引出RTS问题和相关假设。随后从源代码和模型角度对已有RTS技术进行分类,从源代码角度出发,又进一步将其细分为线性规划法、数据流分析法、图遍历法、程序切片法和防火墙法等。接着对常见评测数据集和评测指标进行总结,最后对该问题的未来研究方向进行了展望。

关键词：回归测试测试用例选择图遍历法.程序切片线性规划

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：