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

2009全国计算机网络与通信学术会议

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

针对目前评估工作中的主要问题,设计与实现了一个基于CC(CommonCriteria)的安全评估支持系统。该系统以知识库的形式对评估工作进行支持,并致力于对评估流程的控制,有助于评估工作的规范化。在系统的设计中提出了ST(Security Target)评... 详细信息

针对目前评估工作中的主要问题,设计与实现了一个基于CC(CommonCriteria)的安全评估支持系统。该系统以知识库的形式对评估工作进行支持,并致力于对评估流程的控制,有助于评估工作的规范化。在系统的设计中提出了ST(Security Target)评估算法、评估任务的并行化生成算法,有效地提高了评估工作的效率。

关键词：安全评估依赖关系知识库评估方案生成

来源：评论

学校读者我要写书评

暂无评论

多需求驱动的测试用例集约简方法

多需求驱动的测试用例集约简方法

引用

全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议

作者：孙富强王林章南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

软件测试过程中,测试用例集的规模可能会随着软件的维护和修改而飞速地增长,由于测试过程中时间和资源的限制,测试用例集约简技术试图移除那些冗余的测试用例,即它们满足的测试需求已被其他测试用例所满足。现有的基于单测试目标的测试... 详细信息

软件测试过程中,测试用例集的规模可能会随着软件的维护和修改而飞速地增长,由于测试过程中时间和资源的限制,测试用例集约简技术试图移除那些冗余的测试用例,即它们满足的测试需求已被其他测试用例所满足。现有的基于单测试目标的测试用例集约简方法不仅缩小了测试用例集的规模,同时也可能削弱了缺陷检测的能力。本文提出了多需求驱动的约简方法,该方法根据瀑布模型中需求规约、设计模型和代码的关系,分别设定相应的测试目标,在多测试需求集的基础上,精简现有的测试用例集,以达到既能约简测试用例集,又能提高精简测试用例集的缺陷检测能力的目的。

关键词：多需求测试用例集约简缺陷检测能力

来源：评论

学校读者我要写书评

暂无评论

基于星型模型的轮廓连接查询算法

基于星型模型的轮廓连接查询算法

引用

第26届中国数据库学术会议

作者：徐忠华张剡陈玲柏文阳南京大学计算机科学与技术系计算机软件新技术国家重点实验室

轮廓查询在多标准决策中具有重要应用价值,研究者对于单表轮廓查询已经进行了大量工作,但在实际中,轮廓查询的属性很可能分布在多张表中,比如在数据仓库中的星型模型中。如果在多表连接之后进行轮廓查询,随着维度和元组数目的增加,计算... 详细信息

轮廓查询在多标准决策中具有重要应用价值,研究者对于单表轮廓查询已经进行了大量工作,但在实际中,轮廓查询的属性很可能分布在多张表中,比如在数据仓库中的星型模型中。如果在多表连接之后进行轮廓查询,随着维度和元组数目的增加,计算代价会越来越大。为此,本文针对数据仓库中星型模型的数据特点,提出了三种此模型下的多表连接轮廓查询算法并对算法进行了实验比较分析。实验表明,我们的算法比先连接再做单表轮廓查询的算法更为有效,并且这三种算法在不同特点的数据集合下会表现出各自的优势。

关键词：轮廓查询多表连接数据仓库星形模型

来源：评论

学校读者我要写书评

暂无评论

无线网络环境下的缓存策略研究

引用

计算机科学 2009年第4期36卷 1-4,11页

作者：林晨黄宇金蓓弘中国科学院软件研究所软件工程技术中心北京100190 中国科学院研究生院北京100049 南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

日益普及的无线网络和移动设备为普适的Internet接入提供了良好的硬件基础,缓存技术是普适Internet场景中人们进行信息共享和分发的关键技术之一。综述了两类无线网络环境,即基于基础设施无线网络环境和移动自组网中的缓存策略,具体包... 详细信息

日益普及的无线网络和移动设备为普适的Internet接入提供了良好的硬件基础,缓存技术是普适Internet场景中人们进行信息共享和分发的关键技术之一。综述了两类无线网络环境,即基于基础设施无线网络环境和移动自组网中的缓存策略,具体包括缓存放置策略、缓存替换策略、缓存一致性维护算法。进而分析、讨论了上述策略的优缺点,并指出了缓存策略的发展趋势。

关键词：无线网络缓存放置替换一致性

来源：评论

学校读者我要写书评

暂无评论

一种动态内存泄露检测方法

一种动态内存泄露检测方法

引用

全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议

作者：许宝喜王林章软件新技术国家重点实验室南京大学计算机科学与技术系

内存泄露问题一直是C、C++等程序员们非常关心的一个问题,借助一些工具,程序员可以认识程序中存在的内存泄露问题。对于内存泄露检测分为静态和动态方法:静态方法一般采取分析,验证手段对源程序进行处理,不需要执行程序;动态方法则是让... 详细信息

内存泄露问题一直是C、C++等程序员们非常关心的一个问题,借助一些工具,程序员可以认识程序中存在的内存泄露问题。对于内存泄露检测分为静态和动态方法:静态方法一般采取分析,验证手段对源程序进行处理,不需要执行程序;动态方法则是让程序运行,监视程序的运行,获取程序的行为,从而分析是否有内存泄露问题。本文针对内存泄露问题,提出了一种动态检测内存泄露的方法,这种方法在向程序员提供更加有效的诊断信息方面做了一些研究工作。在以往的很多动态内存泄露的检测工具中,更多地关注了在程序的什么地方申请的内存发生了泄露,而对于这个泄露为何会产生所做的工作很少。在我们的这个工作中,对源程序进行了插桩。通过动态插桩的方式,收集程序的运行轨迹,将发生内存泄露时的内存轨迹呈现于程序员。并将该运行轨迹与在同一个地方申请了内存,却没有发生内存泄露的轨迹进行比对,指出可能是哪一个条件判断导致了内存泄露的发生。

关键词：内存泄露动态插桩静态

来源：评论

学校读者我要写书评

暂无评论

基于三值决策的属性约简

基于三值决策的属性约简

引用

中国人工智能学会第十三届学术年会

作者：贾修一商琳陈家骏南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

本文从决策语义角度出发,研究了决策和属性约简之间的关系.基于三值决策,定义了两种不同的属性约简:保持前后决策不变的属性约简和前后决策发生变化的属性约简.针对这两种不同的约简,分别给出了相应的语义解释,使得约简后的属性更符合... 详细信息

本文从决策语义角度出发,研究了决策和属性约简之间的关系.基于三值决策,定义了两种不同的属性约简:保持前后决策不变的属性约简和前后决策发生变化的属性约简.针对这两种不同的约简,分别给出了相应的语义解释,使得约简后的属性更符合决策者的需求.

关键词： rough set three-way decision decision theoretic rough set attribute reduction

来源：评论

学校读者我要写书评

暂无评论

一种新的基于线性四叉树的图像分割算法

一种新的基于线性四叉树的图像分割算法

引用

第九届全国虚拟现实与可视化学术会议

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

图像分割是进行图像分析的一个关键步骤，其分割效果直接决定图像分析的好坏。提出了一种新的基于线性四叉树的图像分制算法，这是一种基于区域增长的图像分割技术，具有比较理想的分割效果，同时利用一种具有常数时间复杂度邻域查询的... 详细信息

图像分割是进行图像分析的一个关键步骤，其分割效果直接决定图像分析的好坏。提出了一种新的基于线性四叉树的图像分制算法，这是一种基于区域增长的图像分割技术，具有比较理想的分割效果，同时利用一种具有常数时间复杂度邻域查询的线性四叉树加快其区域增长过程。

关键词：图像分割线性四叉树邻域查询区域增长

来源：评论

学校读者我要写书评

暂无评论

入侵检测系统研究综述

引用

计算机应用与软件 2009年第3期26卷 14-17页

作者：林果园曹天杰中国矿业大学计算机学院江苏徐州221008 南京大学计算机系软件新技术国家重点实验室江苏南京210093

入侵检测系统是重要的信息安全措施。对目前入侵检测系统的研究状况进行了总结分析,指出了入侵检测系统的最新发展及出现的新特点,重点分析了智能化技术的应用、数据融合和报警关联技术的引入、检测对象变化情况及与其它安全技术的协作... 详细信息

入侵检测系统是重要的信息安全措施。对目前入侵检测系统的研究状况进行了总结分析,指出了入侵检测系统的最新发展及出现的新特点,重点分析了智能化技术的应用、数据融合和报警关联技术的引入、检测对象变化情况及与其它安全技术的协作性;阐述了对入侵检测系统的测试评估方面的最新发展情况;最后,展望了入侵检测系统发展的方向。

关键词：入侵检测系统综述智能算法测试评估

来源：评论

学校读者我要写书评

暂无评论

预测状态表示综述

预测状态表示综述

引用

第三届中国数据挖掘学术会议(CCDM2009)

作者：王历高阳王巍巍南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京 210093

Agent采取动作与动态系统交互,系统将观测值反馈给agent.为了控制系统或者预测系统未来的观测值,需要为动态系统建模.早些时候,较为广泛的解决方法是用POMDP模型给系统建模.Littman,Sutton和Singh (2002)提出了为离散动态系统建模的新... 详细信息

Agent采取动作与动态系统交互,系统将观测值反馈给agent.为了控制系统或者预测系统未来的观测值,需要为动态系统建模.早些时候,较为广泛的解决方法是用POMDP模型给系统建模.Littman,Sutton和Singh (2002)提出了为离散动态系统建模的新方法：预测状态表示(Predictive Representations of State).PSRs优点在于在于并不像POMDP那样需要系统的隐藏状态,而只是通过预测系统反馈给agent的观测值序列来表示系统的状态.并且PSRs模型比POMDP模型更简洁.PSRs的两个核心问题是要找出那些能够表示系统状态的动作-观测值序列,和学习影响系统的参数.最近的几年中,学者们提出了多种方法来解决这两个问题,还提出了PSRs模型的规划方法,并且将PSRs扩展到其他的模型中.本论文将综述了上述的方法.

关键词：动态模型寻找核心test集学习规划

来源：评论

学校读者我要写书评

暂无评论

基于语义抽象的内存访问错误检测

基于语义抽象的内存访问错误检测

引用

第六届中国信息和通信安全学术会议(CCICS'2009)

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

内存访问错误是程序中最严重的缺陷之一。本文提出一种基于语义抽象的内存访问错误检测方法，通过对程序具体语义的完备近似抽象，对相关约束变量操作的精确检验，以及控制流图遍历中的函数信息收集，能够在过程间完备地静态检测C程序... 详细信息

内存访问错误是程序中最严重的缺陷之一。本文提出一种基于语义抽象的内存访问错误检测方法，通过对程序具体语义的完备近似抽象，对相关约束变量操作的精确检验，以及控制流图遍历中的函数信息收集，能够在过程间完备地静态检测C程序源代码中的内存访问边界错误。通过将程序分析和程序验证相结合，提高内存检查的自动化和准确性。原型实现表明了方法的有效性。

关键词：软件安全程序静态分析语义抽象内存访问错误检测方法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：