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

计算机科学 2009年第1期36卷 263-266,285页

作者：徐伟王林章李宣东南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

随机测试(RT)已被用于在基于模型的测试中自动生成满足一定模型覆盖准则的测试用例集合。然而,完全随机的测试用例产生方法可能会导致大量冗余的测试用例。因此,在研究基于UML(Unified Modeling Language)活动图产生测试用例的基础上,... 详细信息

随机测试(RT)已被用于在基于模型的测试中自动生成满足一定模型覆盖准则的测试用例集合。然而,完全随机的测试用例产生方法可能会导致大量冗余的测试用例。因此,在研究基于UML(Unified Modeling Language)活动图产生测试用例的基础上,提出了一种基于分类树的随机测试用例产生方法(CT-RT),运用分类树分析已运行测试用例的输入域,从而指导产生新的测试用例,并通过实验案例说明了对于UML活动图中的简单路径覆盖。该方法较之完全随机的方法大大减少了冗余测试用例的数量。

关键词：随机测试自动生成测试用例分类树 UML活动图

来源：评论

学校读者我要写书评

暂无评论

一种软件可靠性增长模型选择与综合方法

引用

计算机科学 2009年第9期36卷 135-138页

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

软件可靠性增长模型可以预测软件在将来某个时刻的可靠性,以此作为软件是否发布的依据。而目前常见的各种模型对不同失效数据集的预测能力并不一致。提出了一种软件可靠性增长模型选择和应用的框架,利用可靠性模型评价准则,对特定的失... 详细信息

软件可靠性增长模型可以预测软件在将来某个时刻的可靠性,以此作为软件是否发布的依据。而目前常见的各种模型对不同失效数据集的预测能力并不一致。提出了一种软件可靠性增长模型选择和应用的框架,利用可靠性模型评价准则,对特定的失效数据集选择优选模型集,根据优选模型集利用神经网络较好的学习预测能力计算可靠性。利用此方法对实际软件项目中的失效数据进行了分析,并验证了它的有效性。

关键词：软件可靠性可靠性增长模型模型选择与综合神经网络

来源：评论

学校读者我要写书评

暂无评论

服务组合中基于DTMC的可靠性和性能分析

引用

计算机科学 2009年第10期36卷 179-182,196页

作者：曹科强顾庆任颖新陈道蓄南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

Web服务组合可以通过整合网络上现有的多种异构服务从而形成新的服务。针对服务组合中的可靠性和相关性能评估问题,提出了一种基于离散时间马尔可夫链DTMC(Discrete Time Markov Chain)的评估方法。从不同运行场景的角度,利用DTMC相关... 详细信息

Web服务组合可以通过整合网络上现有的多种异构服务从而形成新的服务。针对服务组合中的可靠性和相关性能评估问题,提出了一种基于离散时间马尔可夫链DTMC(Discrete Time Markov Chain)的评估方法。从不同运行场景的角度,利用DTMC相关性质和公式综合估算了服务组合的可靠性和其他性能,并针对具体服务组合的瓶颈进行了分析,提出了改进措施。与现有的服务组合可靠性和性能分析方法相比,本方法对服务组合中结构复杂和运行场景多样化的特点具有更好的适应性,更全面、准确地评估了服务组合的可靠性和相关性能。实验表明,本方法具有良好的分析效果和指导改进的能力。

关键词：服务组合可靠性分析离散时间马尔可夫链运行场景

来源：评论

学校读者我要写书评

暂无评论

知性Cord逻辑:验证Ad Hoc网络匿名路由协议

引用

计算机应用 2009年第9期29卷 2432-2434页

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

为形式化验证移动自主网的匿名路由协议,提出了基于知性Cord逻辑的模块化验证方法。首先将协议分解为针对不同子安全功能的组件,然后分别利用知性Cord逻辑证明是否满足安全属性的规范。在这个框架下路径匿名的安全属性得到了规范。

关键词：匿名移动自主网知性Cord逻辑模块化形式化方法

来源：评论

学校读者我要写书评

暂无评论

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

引用

系统仿真学报 2009年第S1期21卷 54-56,60页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于相关分析的多数据流聚类(英文)

引用

软件学报 2009年第7期20卷 1756-1767页

作者：屠莉陈崚邹凌君南京航空航天大学信息科学与技术学院江苏南京210093 扬州大学计算机科学与工程系江苏扬州225009 南京大学计算机软件新技术国家重点实验室江苏南京210093

提出基于相关分析的多数据流聚类算法.该算法将多数据流的原始数据快速压缩成一个统计概要.根据这些统计概要,可以增量式地计算相关系数来衡量数据间的相似度.提出了一种改进的k-平均算法来生成聚类结果.改进的k-平均算法可以动态、实... 详细信息

提出基于相关分析的多数据流聚类算法.该算法将多数据流的原始数据快速压缩成一个统计概要.根据这些统计概要,可以增量式地计算相关系数来衡量数据间的相似度.提出了一种改进的k-平均算法来生成聚类结果.改进的k-平均算法可以动态、实时地调整聚类数目,并及时检测数据流的发展变化.还将算法应用到按照用户要求的聚类问题(COD),使得用户可以在任意的时间区间上查询聚类结果.提出了一种合理的时间片断划分机制,使得用户指定的任意时间区间都可以由这些时间片断组合而成.在模拟和真实数据上的实验结果都表明,该算法比其他方法具有更好的聚类质量、速度和稳定性,能够实时地反映数据流的变化.

关键词：聚类数据流相关分析

来源：评论

学校读者我要写书评

暂无评论

新加密文件系统的研究与实现

引用

计算机工程与设计 2009年第14期30卷 3272-3277页

作者：顾正义黄皓南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为了解决Windows系统中文件加密存储的难题,分析了Windows EFS系统的不足,深入研究了过滤驱动开发过程中对IRP的处理、文件状态跟踪、避免重入等关键技术,使用文件过滤驱动技术,设计并实现了一个新的加密文件系统。该系统对用户完全透明... 详细信息

为了解决Windows系统中文件加密存储的难题,分析了Windows EFS系统的不足,深入研究了过滤驱动开发过程中对IRP的处理、文件状态跟踪、避免重入等关键技术,使用文件过滤驱动技术,设计并实现了一个新的加密文件系统。该系统对用户完全透明,可以根据用户的策略对指定文件、文件夹或者某一类型文件进行加密存储,支持NTFS、FAT等多种文件系统,加密算法可以更改。实验结果表明,该系统性能良好且在功能和应用上都扩充了Windows EFS。

关键词： Windows 加密文件系统文件过滤驱动实现输入输出请求包

来源：评论

学校读者我要写书评

暂无评论

Windows消息钩子的拦截和清除

引用

计算机工程与设计 2009年第18期30卷 4201-4203,4206页

作者：郭津之龙海黄皓南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为了防止恶意程序通过消息钩子的方式将恶意代码插入到其它进程中去,分析了Windows操作系统中系统服务的调用机制以及消息钩子机制,提出了一种在操作系统内核模式下拦截消息钩子和直接对消息钩子内核对象进行清除的方法。与现有方法相... 详细信息

为了防止恶意程序通过消息钩子的方式将恶意代码插入到其它进程中去,分析了Windows操作系统中系统服务的调用机制以及消息钩子机制,提出了一种在操作系统内核模式下拦截消息钩子和直接对消息钩子内核对象进行清除的方法。与现有方法相比能够有效的在操作系统内核模式下拦截和清除消息钩子,防止被恶意程序绕过,从而有效地阻止了恶意代码的插入。实验结果表明,该方法能够有效的阻止进程中被注入恶意代码。

关键词：消息钩子钩子链表系统服务拦截清除

来源：评论

学校读者我要写书评

暂无评论

分布式任务分配中的一种信誉重连策略

引用

广西大学学报（自然科学版） 2009年第5期34卷 645-648页

作者：张雷王崇骏谢俊元南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

传统的任务分配一般是基于环境确定和所有Agent均他利的假设,而实际环境往往是复杂的,复杂环境下的Agent更趋理性和自利,所有这些问题给传统的任务分配带来了障碍。基于Agent理性自利的假设,提出了一种重连策略FriendFind并进行了相关实... 详细信息

传统的任务分配一般是基于环境确定和所有Agent均他利的假设,而实际环境往往是复杂的,复杂环境下的Agent更趋理性和自利,所有这些问题给传统的任务分配带来了障碍。基于Agent理性自利的假设,提出了一种重连策略FriendFind并进行了相关实验,实验表明该算法有效的解决了上述问题。

关键词：任务分配多Agent系统重连

来源：评论

学校读者我要写书评

暂无评论

一种大规模离散空间中的高斯强化学习方法

引用

计算机科学 2009年第8期36卷 247-249,275页

作者：周文云刘全李志涛苏州大学计算机科学与技术学院苏州215006 南京大学软件新技术国家重点实验室南京210093

针对大规模离散空间中强化学习的"维数灾"问题,即状态空间的大小随着特征的增加而发生指数级的增长,提出了一种基于高斯过程的强化学习方法。在本方法中,高斯过程模型有表示函数分布的能力,使用该模型之后,可以得到的不只是... 详细信息

针对大规模离散空间中强化学习的"维数灾"问题,即状态空间的大小随着特征的增加而发生指数级的增长,提出了一种基于高斯过程的强化学习方法。在本方法中,高斯过程模型有表示函数分布的能力,使用该模型之后,可以得到的不只是一个所需的估计值,而是关于该值的一个分布。实验结果表明,结合了高斯过程的强化学习方法在各方面性能,如收敛速度以及最终实验效果等都有所提高。使用高斯方法的回归模型可以在一定程度上解决大规模离散空间上的"维数灾"问题。

关键词：强化学习维数灾高斯过程回归函数分布

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：