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

系统仿真学报 2010年第9期22卷 2125-2130页

作者：欧阳婷婷苏绍勇卢威潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

虽然分布式虚拟环境及其各种技术已发展成熟,但其在电子竞技领域的应用尚不多见。将分布式虚拟环境技术应用到电子竞技领域的"虚拟网络马拉松"系统中,描述了虚拟化电子竞技系统的特点和通信协议设计准则,讨论了相关的一些关... 详细信息

虽然分布式虚拟环境及其各种技术已发展成熟,但其在电子竞技领域的应用尚不多见。将分布式虚拟环境技术应用到电子竞技领域的"虚拟网络马拉松"系统中,描述了虚拟化电子竞技系统的特点和通信协议设计准则,讨论了相关的一些关键技术的实现,包括标准性、公平性、通信开销和自愈合性,在此基础上设计并实现了虚拟网络马拉松系统网络通信协议VNMCP。

关键词：分布式虚拟环境电子竞技网络通信协议虚拟网络马拉松

来源：评论

学校读者我要写书评

暂无评论

一种基于衍生树的交互式P2P流媒体系统

引用

软件学报 2010年第5期21卷 1138-1152页

作者：陈建忠徐天音李文中陆桑璐陈道蓄 Edward CHAN 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 香港城市大学电脑科学系

提出了一种基于衍生树的P2P系统框架,以支持交互式流媒体应用.该系统利用分布式发现服务来进行资源定位,并通过基于衍生树的缓存结构来维护数据传输拓扑.使用基于衍生树的系统管理策略可以显著地降低节点动态加入和退出等交互操作的开销... 详细信息

提出了一种基于衍生树的P2P系统框架,以支持交互式流媒体应用.该系统利用分布式发现服务来进行资源定位,并通过基于衍生树的缓存结构来维护数据传输拓扑.使用基于衍生树的系统管理策略可以显著地降低节点动态加入和退出等交互操作的开销.另外,通过使用分布式散列表(distributed hash table,简称DHT)来维护会话,可以较低的代价实现资源查找、服务重构和拓扑维护等任务.仿真实验结果表明,与现有的P2P流媒体系统相比,该系统具有良好的性能,其用户交互操作的开销可以降低超过50%.

关键词：衍生树 P2P流媒体交互性分割缓存分布式发现服务

来源：评论

学校读者我要写书评

暂无评论

一种新的布尔规格测试用例生成算法

引用

东南大学学报（自然科学版） 2010年第2期40卷 291-295页

作者：李磊芳徐宝文陈振宇章晓芳董国伟东南大学计算机科学与工程学院南京210096 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 苏州大学计算机科学与技术学院苏州215006

为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树... 详细信息

为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树中发生变异的叶结点处进行回溯,将检测条件分解成子表达式,并分别对各子表达式进行循环从而生成其可满足赋值,最后将上述赋值组合形成测试用例.实验数据显示:该方法有效地减少了测试用例生成时所需的循环赋值次数,且测试用例生成时间的缩减与循环次数的减少呈近似线性关系;相对LNF,该方法对LRF时间的缩减更为明显.研究表明检测条件的分解循环能有效降低总循环次数,从而提高了测试用例的生成效率.

关键词：软件测试布尔规格测试测试用例生成

来源：评论

学校读者我要写书评

暂无评论

网络协同取证计算研究

引用

计算机学报 2010年第3期33卷 504-513页

作者：张有东曾庆凯王建东南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 淮阴工学院计算机工程系江苏淮安223003 南京航空航天大学信息科学与技术学院南京210016

网络取证面临着复杂多样的网络入侵环境,尤其是对于复合攻击的取证,为此提出了网络协同取证计算新概念.通过对传统的函数依赖关系理论的扩展,提出了以一定概率相依赖的概率函数依赖关系及其分析方法与算法,进而结合贝叶斯网络理论、报... 详细信息

网络取证面临着复杂多样的网络入侵环境,尤其是对于复合攻击的取证,为此提出了网络协同取证计算新概念.通过对传统的函数依赖关系理论的扩展,提出了以一定概率相依赖的概率函数依赖关系及其分析方法与算法,进而结合贝叶斯网络理论、报警关联分析技术和对K2算法的改进,提出了一种网络协同取证分析算法,算法通过对元报警事件的聚类和综合不同的网络取证数据源,能够直观地再现复杂网络攻击的犯罪场景,有效地实现网络取证分析;而且即使在部分数据缺失情况下,算法也可推理攻击的发生过程.

关键词：协同取证复合攻击概率函数依赖贝叶斯网络犯罪场景

来源：评论

学校读者我要写书评

暂无评论

基于地表的连续可见最近邻查询方法

引用

计算机研究与发展 2010年第S1期47卷 133-138页

作者：管猛张剡柏文阳计算机软件新技术国家重点实验室(南京大学) 南京210093 南京大学计算机科学与技术系南京210093

连续可见最近邻查询是查询连续空间的最近邻问题,目前的研究基本以二维空间为背景并提出了一些查询算法,但可见性判断方法不能适用于三维或高维空间.以陆地表面的三维数据为研究背景,提出了一种查询地表任意路径的连续可见最近邻方法.... 详细信息

连续可见最近邻查询是查询连续空间的最近邻问题,目前的研究基本以二维空间为背景并提出了一些查询算法,但可见性判断方法不能适用于三维或高维空间.以陆地表面的三维数据为研究背景,提出了一种查询地表任意路径的连续可见最近邻方法.该方法以计算步长的方式把整个查询路径分割成若干个连续的查询子路径,循环计算每个子路径的连续可见最近邻直至得到整个路径的查询结果.该方法可以扩展应用于高维空间中的连续最近邻查询.

关键词：最近邻地表连续可见最近邻

来源：评论

学校读者我要写书评

暂无评论

基于形态分析识别设计模式中的集中管理式聚集

引用

软件学报 2010年第11期21卷 2725-2737页

作者：周晓宇钱巨陈林徐宝文东南大学计算机科学与工程学院江苏南京211189 上海市计算机软件评测重点实验室上海201112 南京航空航天大学信息科学与技术学院江苏南京210016 南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为... 详细信息

针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为的方法.最后,通过开源软件JEdit中的实例分析展示了该方法的有效性.

关键词：聚集设计模式形态分析集中式管理识别

来源：评论

学校读者我要写书评

暂无评论

软件脆弱性分类属性研究

引用

计算机工程 2010年第1期36卷 184-186,193页

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

针对软件脆弱性分类中分类属性的选择问题,给出软件脆弱性的基本概念,讨论分类研究的目标及属性选取的基本原则。通过对5种典型分类属性的比较和总结,归纳分类属性的类别,提出一个新的分类思路。根据目前分类研究中存在的问题,给出相应... 详细信息

针对软件脆弱性分类中分类属性的选择问题,给出软件脆弱性的基本概念,讨论分类研究的目标及属性选取的基本原则。通过对5种典型分类属性的比较和总结,归纳分类属性的类别,提出一个新的分类思路。根据目前分类研究中存在的问题,给出相应的改进措施及未来的发展方向。

关键词：软件脆弱性分类属性分类法安全

来源：评论

学校读者我要写书评

暂无评论

含指针程序的单子切片方法

引用

计算机学报 2010年第3期33卷 473-482页

作者：张迎周吴重强钱巨张卫丰徐宝文南京邮电大学计算机学院南京210003 南京大学计算机软件新技术国家重点实验室南京210093 北京邮电大学网络与交换技术国家重点实验室北京100876 EMC中国研发中心上海200433 南京航空航天大学信息科学与技术学院南京210016 南京大学计算机科学与技术系南京210093

传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析... 详细信息

传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性.

关键词：程序切片单子切片数据流迭代指针指向分析

来源：评论

学校读者我要写书评

暂无评论

用于社团分析的差异性度量方法

引用

南京大学学报（自然科学版） 2010年第5期46卷 528-534页

作者：孙正宋文军王崇骏谢俊元计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

在经典的社团发现算法中,相似性往往作为聚类方法的标准而存在.本文从当前社团发现研究的顶点相似性的反面出发,提出顶点差异性,并且提出了从顶点自身出发,从一个顶点出发两种差异性度量方法;根据提出的顶点差异性,应用于当前的常用社... 详细信息

在经典的社团发现算法中,相似性往往作为聚类方法的标准而存在.本文从当前社团发现研究的顶点相似性的反面出发,提出顶点差异性,并且提出了从顶点自身出发,从一个顶点出发两种差异性度量方法;根据提出的顶点差异性,应用于当前的常用社团发现算法,得出结果进行对比分析.

关键词：顶点差异性社团发现社会网络分析

来源：评论

学校读者我要写书评

暂无评论

一个基于复合攻击路径图的报警关联算法

引用

南京大学学报（自然科学版） 2010年第1期46卷 56-63页

作者：刘志杰王崇骏南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

入侵检测系统作为保护计算机系统安全的重要手段其应用越来越广泛,然而随之产生的大量原始报警事件也带来了新的问题:数量巨大、误报警多、重复报警多,影响了对入侵检测系统的有效利用.针对此问题,警报关联技术成为网络安全研究的一个... 详细信息

入侵检测系统作为保护计算机系统安全的重要手段其应用越来越广泛,然而随之产生的大量原始报警事件也带来了新的问题:数量巨大、误报警多、重复报警多,影响了对入侵检测系统的有效利用.针对此问题,警报关联技术成为网络安全研究的一个热点问题,研究者尝试对低级的报警信息进行关联,从而达到降低误报率的目的.本文提出一个基于复合攻击路径图的报警关联算法,使用报警信息在攻击中所处的攻击阶段并将其关联起来构建攻击场景从而达到揭示隐藏在大量攻击事件背后的入侵真实意图.该模型先对报警信息进行预处理,匹配到知识库中对应的攻击阶段,然后再将攻击链接起来,根据攻击路径图的权值计算对应主机的受威胁程度,并决定是否报警.该模型可以实现对报警信息的实时处理,并能重现攻击行为的实施路径,最后通过实验证明了该算法的有效性.

关键词：入侵检测报警关联攻击场景复合入侵

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：