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

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

作者： CHEN Xiang 陈翔 GU Qing 顾庆 School of Computer Science and Technology Nantong University Nantong Jiangsu 226019 China Stat 南通大学计算机科学与技术学院江苏南通226019 南京大学软件新技术国家重点实验室南京210093 State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China 南京大学软件新技术国家重点实验室南京210093

变异测试是一种基于缺陷的软件测试技术，在近四十年得到国内外学者的广泛关注，并取得了一些研究成果。对已有的研究工作进行总结，将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中，给出变异测试的基本假设，对... 详细信息

变异测试是一种基于缺陷的软件测试技术，在近四十年得到国内外学者的广泛关注，并取得了一些研究成果。对已有的研究工作进行总结，将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中，给出变异测试的基本假设，对变异测试分析流程进行介绍，并对其中的重要概念依次给出定义，从静态检测和动态检测两个角度对等价变异体检测技术进行总结。在变异测试优化模块中，从变异体选择优化和变异体执行优化两个角度对已有研究工作进行总结。在变异测试应用模块中，选择了测试用例集充分性评估、测试用例生成和回归测试三个应用领域，对研究工作进行分类总结。最后对变异测试的未来研究方向进行了展望。

关键词：软件缺陷变异测试自动化检测性能优化

来源：评论

学校读者我要写书评

暂无评论

过程感知信息系统中过程的动态演化

引用

软件学报 2011年第3期22卷 417-438页

作者：宋巍马晓星胡昊吕建计算机软件与新技术国家重点实验室(南京大学) 江苏南京210093 南京理工大学计算机科学与技术学院江苏南京210094

支持过程模型的动态修改并将过程模型的修改传播到当前正在运行的过程实例上,是柔性过程感知信息系统的基本要求.过程实例迁移是应对过程感知信息系统中过程动态演化的主流技术途径,它将尚未执行结束的过程实例动态地迁移到修改后的过... 详细信息

支持过程模型的动态修改并将过程模型的修改传播到当前正在运行的过程实例上,是柔性过程感知信息系统的基本要求.过程实例迁移是应对过程感知信息系统中过程动态演化的主流技术途径,它将尚未执行结束的过程实例动态地迁移到修改后的过程模型上继续执行,从而使得这些过程实例可以享受到过程优化带来的便利.过程实例迁移的挑战在于保证过程实例迁移的正确性以及过程实例迁移检验的高效性,以此为切入点,综述了过程感知信息系统中过程动态演化技术的研究进展.最后,展望了过程演化技术未来应当关注的研究方向.

关键词：过程感知信息系统过程模型动态演化过程实例迁移:正确性高效性

来源：评论

学校读者我要写书评

暂无评论

证据信任模型中的信任传递与聚合研究

引用

通信学报 2011年第8期32卷 91-100页

作者：蒋黎明张琨徐建廖俊张宏南京理工大学计算机科学与技术学院江苏南京210094 南京大学计算机软件新技术国家重点实验室江苏南京210094

现有信任模型在信任传递和聚合方面存在一定的不足:首先是信任传递过程中缺少对直接推荐实体的反馈信任度的有效度量;其次是信任聚合过程中因缺少对推荐链之间依赖关系的有效处理而存在推荐信息的损耗或重复计算等问题。为了解决这些问... 详细信息

现有信任模型在信任传递和聚合方面存在一定的不足:首先是信任传递过程中缺少对直接推荐实体的反馈信任度的有效度量;其次是信任聚合过程中因缺少对推荐链之间依赖关系的有效处理而存在推荐信息的损耗或重复计算等问题。为了解决这些问题,提出了一种新的证据信任模型,结合D-S证据理论和图论方法有效解决了信任传递的可靠性和信任聚合的准确性等问题。仿真实验表明,与已有模型相比,所提模型具有更强的抑制各种策略欺骗及共谋行为的能力,在信任度量准确性方面也有较大提高。

关键词： D-S证据理论信任传递信任聚合信任子图

来源：评论

学校读者我要写书评

暂无评论

面向方面的计算误差处理技术:实例研究与评估

引用

软件学报 2011年第11期22卷 2639-2651页

作者：崔展齐王林章刘慧根李宣东南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 南京大学天文学系江苏南京210093

传统的实现方法通常把误差处理策略与程序的基本功能交织到一起,这会增加程序的耦合度,使得程序难以理解与维护.针对这一问题,提出一种面向方面的解决方案,即将程序的各种误差处理策略封装为方面.为评估该方法的有效性,将一个真实的卫... 详细信息

传统的实现方法通常把误差处理策略与程序的基本功能交织到一起,这会增加程序的耦合度,使得程序难以理解与维护.针对这一问题,提出一种面向方面的解决方案,即将程序的各种误差处理策略封装为方面.为评估该方法的有效性,将一个真实的卫星轨道测算系统中的误差处理策略分别封装为类中的方法和方面,并设计了一系列实验来评估原程序及分别采用两种方式重构后的程序在关注点分离度、耦合度、程序规模及运行时间上的差异.结果实验结果和重构过程中获得的经验可以得出,采用面向方面技术将误差处理功能封装为方面来实现能够有效提高程序的模块化程度和可维护性,并且不会引起程序性能的显著下降.

关键词：面向方面程序设计重构计算误差处理科学计算

来源：评论

学校读者我要写书评

暂无评论

基于内容的快速事件匹配算法

引用

通信学报 2011年第6期32卷 78-85页

作者：陈继明鞠时光潘金贵邹志文龚震宇江苏大学计算机科学技术与通信工程学院江苏镇江212013 南京大学计算机软件新技术国家重点实验室江苏南京210093

在对分布式虚拟环境应用特点和已有事件匹配算法进行研究和分析的基础上,设计并实现了一种基于内容的快速事件匹配算法。该算法兼顾了处理订购和事件匹配的效率,能够有效地解决对称事件匹配问题,从而使基于内容的发布/订购模型能较好地... 详细信息

在对分布式虚拟环境应用特点和已有事件匹配算法进行研究和分析的基础上,设计并实现了一种基于内容的快速事件匹配算法。该算法兼顾了处理订购和事件匹配的效率,能够有效地解决对称事件匹配问题,从而使基于内容的发布/订购模型能较好地应用于分布式虚拟环境。实验结果及性能分析证明了该算法的可行性和有效性。

关键词：分布式虚拟环境基于内容的发布/订购模型事件匹配效率基于内容的快速事件匹配算法

来源：评论

学校读者我要写书评

暂无评论

一种基于JOP的rootkit构造方法

引用

计算机科学 2011年第B10期38卷 44-49页

作者：李正玉茅兵谢立计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

ROP是一种新的恶意代码构造方法,该方法可以利用系统中已有的代码来构造恶意程序,利用ROP构造的rootkit可以躲避目前已有的内核完整性保护机制的检测。由于ROP采用的以ret指令结尾的短指令序列具有一定的规律性,因此目前已经有很多防御... 详细信息

ROP是一种新的恶意代码构造方法,该方法可以利用系统中已有的代码来构造恶意程序,利用ROP构造的rootkit可以躲避目前已有的内核完整性保护机制的检测。由于ROP采用的以ret指令结尾的短指令序列具有一定的规律性,因此目前已经有很多防御手段能够对其进行防御。相比ROP而言,基于JOP[1]的rootkit构造方法没有明显的规律可言,因此目前针对ROP的防御手段都无法对其进行防御。此外,较传统的ROP而言该方法不会受限于内核栈的大小,而且构造过程中所使用到的数据在内存中的布局也比较灵活。

关键词： ROP JOP 短指令序列

来源：评论

学校读者我要写书评

暂无评论

基于不确定数据的top-k概率相互最近邻查询

引用

计算机应用研究 2011年第7期28卷 2485-2487,2491页

作者：梁瑜张剡周嵩柏文阳南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

不确定数据上的概率相互最近邻查询具有重要的实际应用,针对目前关于这方面的研究尚少,提出了不确定数据上的概率相互最近邻的top-k查询算法。首先对问题进行描述与定义,其次总结可行的裁剪规则,从而裁剪查询对象中未计算的实例点。通... 详细信息

不确定数据上的概率相互最近邻查询具有重要的实际应用,针对目前关于这方面的研究尚少,提出了不确定数据上的概率相互最近邻的top-k查询算法。首先对问题进行描述与定义,其次总结可行的裁剪规则,从而裁剪查询对象中未计算的实例点。通过实验表明,该算法能有效地降低最近邻查询中的I/O开销,提高查询的响应速度。

关键词：空间查询不确定数据概率相互最近邻反向最近邻查询处理

来源：评论

学校读者我要写书评

暂无评论

一种乱序数据流上的偏倚抽样算法

引用

计算机研究与发展 2011年第S3期48卷 298-303页

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

抽样是生成和维护数据流概要结构的常用方法.乱序数据流中,延时到达的数据通常被丢弃,从而会降低聚集运算的精度.提出一种新的利用双时间戳进行偏倚抽样的方法,通过所设计的衰减函数确定数据流元组的权重,根据该权重进行抽样,不仅可以... 详细信息

抽样是生成和维护数据流概要结构的常用方法.乱序数据流中,延时到达的数据通常被丢弃,从而会降低聚集运算的精度.提出一种新的利用双时间戳进行偏倚抽样的方法,通过所设计的衰减函数确定数据流元组的权重,根据该权重进行抽样,不仅可以保证将最新产生的数据抽中,保留在滑动窗口内,还可以保证部分重要的延时数据不被丢弃.利用平衡二叉树存储滑动窗口内数据流元组的权重,以提高数据流操作的响应时间.实验结果表明根据双时间戳计算出的数据权重更能反映数据的实时性和代表性;与顺序结构相比,利用平衡二叉树可提高最小权重的查找速度,流数据量越大,速度提高越明显.

关键词：乱序数据流概要结构双时间戳抽样

来源：评论

学校读者我要写书评

暂无评论

一种乱序数据流上的偏倚抽样算法

引用

计算机研究与发展 2011年第S2期48卷 676-681页

作者：秦林新刘奇志南京大学计算机软件新技术国家重点实验室南京2100933 南京大学计算机科学与技术系南京210093

抽样是生成和维护数据流概要结构的常用方法.乱序数据流中,延时到达的数据通常被丢弃,从而会降低聚集运算的精度.提出一种新的利用双时间戳进行偏倚抽样的方法,通过所设计的衰减函数确定数据流元组的权重,根据该权重进行抽样,不仅可以保证将最新产生的数据抽中,保留在滑动窗口内,还可以保证部分重要的延时数据不被丢弃.利用平衡二叉树存储滑动窗口内数据流元组的权重,以提高数据流操作的响应时间.实验结果表明根据双时间戳计算出的数据权重更能反映数据的实时性和代表性；与顺序结构相比,利用平衡二叉树可提高最小权重的查找速度,流数据量越大,速度提高越明显.

关键词：乱序数据流概要结构双时间戳抽样

来源：评论

学校读者我要写书评

暂无评论

三值逻辑证明系统及正例与反例的提取

引用

计算机辅助设计与图形学学报 2011年第7期23卷 1270-1279页

作者：郭建韩俊刚华东师范大学软件学院上海200062 计算机软件新技术国家重点实验室(南京大学) 南京210092 西安邮电学院计算机科学系西安710061

三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足... 详细信息

三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足某个性质;在证明过程中为存在路径量词提取正例,为全称路径量词提取反例.正例和反例的提取可给模型的细化指明方向.最后通过实例给出了该证明系统在数字逻辑电路验证中的应用.

关键词：三值逻辑不完全Kripke结构正例反例证明系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：