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

计算机学报 2011年第8期34卷 1509-1518页

作者：周吴杰张德平徐宝文东南大学计算机科学与工程学院南京210096 南京大学软件新技术国家重点实验室南京210093 南京航空航天大学信息科学与技术学院南京210016 南京大学计算机科学与技术系南京210093

在研究了Martinez等人提出的组合测试错误定位模型的基础上,改进了他们用高维覆盖表来构造错误定位表的方法,并且针对安全值已知的待测系统提出了至多t维的错误交互定位的自适应算法,从而解决了Martinez等人提出的开问题之一,并进一步... 详细信息

在研究了Martinez等人提出的组合测试错误定位模型的基础上,改进了他们用高维覆盖表来构造错误定位表的方法,并且针对安全值已知的待测系统提出了至多t维的错误交互定位的自适应算法,从而解决了Martinez等人提出的开问题之一,并进一步分析了自适应算法的性能,证明了定位错误交互需调用的测试过程数目是关于错误交互数与因素数多项式阶增长的,拓展了Martinez等人提出的针对t=2的错误交互定位的自适应算法.

关键词：组合测试覆盖表错误定位表自适应算法

来源：评论

学校读者我要写书评

暂无评论

基于部分覆盖表的错误交互定位方法

引用

计算机学报 2011年第6期34卷 1126-1136页

在组合测试定位模型的基础上提出了部分覆盖表的错误交互定位方法,该方法在错误交互个数已知的条件下,通过生成部分覆盖表,利用测试用例运行结果提供的信息来对软件错误交互定位.从理论上证明了部分覆盖表等价于一类特殊的错误定位表,... 详细信息

在组合测试定位模型的基础上提出了部分覆盖表的错误交互定位方法,该方法在错误交互个数已知的条件下,通过生成部分覆盖表,利用测试用例运行结果提供的信息来对软件错误交互定位.从理论上证明了部分覆盖表等价于一类特殊的错误定位表,进而研究了部分覆盖表行数的上界,提出生成部分覆盖表的贪心算法,从而给出了定位引发软件故障的错误交互的非自适应算法,并通过实验验证了该方法的有效性.

关键词：组合测试覆盖表部分覆盖表错误定位表

来源：评论

学校读者我要写书评

暂无评论

快速生成两两组合测试用例集算法

引用

东南大学学报（自然科学版） 2011年第5期41卷 943-948页

研究了二元待测系统的最优二维覆盖表的构造,在此基础上提出了快速生成一般待测软件系统的二维覆盖表的算法.该算法首先针对二元待测系统生成相应的基本块B(0,1)和约简块R(0,1),然后对任意的取值组合对(a,b),通过替换生成相应的基本块B(... 详细信息

研究了二元待测系统的最优二维覆盖表的构造,在此基础上提出了快速生成一般待测软件系统的二维覆盖表的算法.该算法首先针对二元待测系统生成相应的基本块B(0,1)和约简块R(0,1),然后对任意的取值组合对(a,b),通过替换生成相应的基本块B(a,b)或约简块R(a,b),最后累加所有的块得到二维覆盖表.因此当待测系统是二元时该算法能生成最优的覆盖表,并且在各因素的可取值数目较小时算法的效果较好.设待测系统的因素数目为k,该算法的时间复杂性为O(klog k),因此对于大规模的待测系统,算法生成测试用例集的速度很快.算法的分层性有利于以后的错误定位工作.另外,给出了两两覆盖表的数学构造性上界,其上界是关于因素数对数阶增长的.最后通过实验验证了该算法的有效性.

关键词：组合测试两两组合测试覆盖表测试用例生成

来源：评论

学校读者我要写书评

暂无评论

DZS-LEACH:一种动态的WSN层簇式跨区安全多跳路由协议

引用

计算机科学 2011年第B10期38卷 359-363,393页

作者：缪成蓓白光伟顾跃跃南京工业大学计算机科学与技术系南京210009 南京大学计算机软件新技术国家重点实验室南京210093

主要研究传感器网络安全和能量高效的层簇式路由协议机制。在深入分析现有LEACH协议所面临的安全威胁的基础上,提出了一种动态的、基于分区自治的层簇式安全路由协议DZS-LEACH。其核心思想是,在多跳路由中融入动态密钥管理,使协议适应... 详细信息

主要研究传感器网络安全和能量高效的层簇式路由协议机制。在深入分析现有LEACH协议所面临的安全威胁的基础上,提出了一种动态的、基于分区自治的层簇式安全路由协议DZS-LEACH。其核心思想是,在多跳路由中融入动态密钥管理,使协议适应无线传感器网络动荡的拓扑结构,增强了协议的延展性;同时,DZS-LEACH通过分区自治避免远离基站的节点直接与汇聚节点通信,以均衡节点能耗。仿真实验表明,改进的路由协议DZS-LEACH大大减少了因网络攻击而造成的数据流失,增强了抗攻击能力,显著降低了网络能耗,延长了网络生存时间。

关键词：传感器网络安全路由协议分区自治动态密钥均衡能耗

来源：评论

学校读者我要写书评

暂无评论

一种基于区分服务的IEEE 802.11 QoS信道访问控制机制

引用

南京大学学报（自然科学版） 2011年第5期47卷 585-593页

作者：曹磊白光伟吴志刚吴艳洁南京工业大学计算机科学与技术系南京210009 南京大学软件新技术国家重点实验室南京210093

研究表明,无线移动自组织网络具有带宽有限,信道质量不稳定,节点移动造成网络拓扑结构变化等诸多特性,这些特性严重损害了网络性能,以致在传统无线移动网络中支持具有严格QoS要求的多媒体应用面临严峻的挑战.本文提出了一种基于区分服... 详细信息

研究表明,无线移动自组织网络具有带宽有限,信道质量不稳定,节点移动造成网络拓扑结构变化等诸多特性,这些特性严重损害了网络性能,以致在传统无线移动网络中支持具有严格QoS要求的多媒体应用面临严峻的挑战.本文提出了一种基于区分服务的信道接入控制机制,以更好地支持实时通信流.该机制对传统的IEEE 802.11DCF机制进行了部分改进,在目的节点引入了拒绝服务分组NTS,使目的节点可以根据网络的状态以一定的概率p拒绝低优先级数据分组.概率p被设计为关于分组重传次数的单调递增函数,被重传次数越多,说明信道竞争越激烈,也越有必要提高低优先级数据的拒绝概率以保护高优先级的实时数据分组.本文随后以马尔科夫链对该机制进行了建模分析,并通过相关模型的计算得出了数据流的饱和吞吐量,分组丢弃概率,饱和时延.分析结果表明该机制能够使高优先级数据流占用更多的带宽,并且降低了高优先级数据流的端到端平均时延以及分组丢弃概率.

关键词：无线自组织网络多媒体服务质量区分服务媒体接入控制

来源：评论

学校读者我要写书评

暂无评论

局部自适应混合模型的遥感图像去噪算法

引用

中国图象图形学报 2011年第7期16卷 1289-1296页

作者：王相海李放宋传鸣辽宁师范大学计算机与信息技术学院大连116029 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

遥感图像的噪声分析和去除作为经典问题一直受到关注并成为遥感图像处理的一个重要研究领域。传统的去噪方法在一定程度上可以去除图像中的噪声,但往往在去噪的同时会使图像的边缘和细节信息模糊化。针对P-M模型在去除遥感图像高斯噪声... 详细信息

遥感图像的噪声分析和去除作为经典问题一直受到关注并成为遥感图像处理的一个重要研究领域。传统的去噪方法在一定程度上可以去除图像中的噪声,但往往在去噪的同时会使图像的边缘和细节信息模糊化。针对P-M模型在去除遥感图像高斯噪声时所存在的对图像强边缘和细节附近的噪声难以去除,以及ROF模型通常会导致平坦区域出现"假边缘",甚至会产生块状效应等问题,提出一种基于局部自适应的混合模型。该模型针对图像局部区域所包含纹理信息的不同,自适应地调整约束权函数,使模型在平滑局部区域能更多地发挥P-M模型的特点,而在纹理丰富或边缘区域则更多地发挥ROF模型的特性,使模型在有效地去除高斯噪声的同时,很好地保护了遥感图像中的边缘特征和细节纹理信息。实验结果表明,对相同的高斯噪声所提出的混合模型去噪后图像的SNR较P-M和ROF模型分别提高了3 dB和2 dB。

关键词：遥感图像局部自适应混合模型去噪 P—M模型 ROF模型算法

来源：评论

学校读者我要写书评

暂无评论

形式化方法与工具专刊前言

引用

软件学报 2011年第6期22卷 1121-1122页

作者：王戟李宣东国防科学技术大学计算机学院并行与分布处理国防科技重点实验室南京大学计算机科学与技术系计算机软件新技术国家重点实验室(南京大学)

形式化方法是指有严格数学基础的软件和系统开发方法,支持计算机系统及软件的规约、设计、验证与演化等活动.随着高可信软件的兴起,形式化方法作为重要的途径,关注度日益提高.其作用不仅深化了人们对计算系统规律的认识,而且支持了计算... 详细信息

形式化方法是指有严格数学基础的软件和系统开发方法,支持计算机系统及软件的规约、设计、验证与演化等活动.随着高可信软件的兴起,形式化方法作为重要的途径,关注度日益提高.其作用不仅深化了人们对计算系统规律的认识,而且支持了计算系统开发、运行和演化之工具、平台、环境的构建.本专刊收录的11篇论文反映了近年来我国学者在形式化方法与工具领域的部分研究成果.

关键词：形式化三值模型运行时验证语义模型软件体系测试用例 AADL 专刊

来源：评论

学校读者我要写书评

暂无评论

基于SVM的中文查询分类

引用

情报学报 2011年第9期30卷 946-950页

作者：杨思春高超戴新宇陈家骏南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 安徽工业大学计算机学院马鞍山243002

在问答系统中用户的查询是以自然语言问句的形式出现的,查询分类对生成合适的答案有着重要的指导性作用。现有文献大多基于SVM统计学习模型实现查询分类。文章详细分析了中文查询分类的典型特征及其编码过程,并给出了LibSVM分类器的参... 详细信息

在问答系统中用户的查询是以自然语言问句的形式出现的,查询分类对生成合适的答案有着重要的指导性作用。现有文献大多基于SVM统计学习模型实现查询分类。文章详细分析了中文查询分类的典型特征及其编码过程,并给出了LibSVM分类器的参数优化及核函数选取方法。比较了词袋特征（bag-of-word）和词性与词袋绑定特征（bag-of-word/pos）在LibSVM（RBF）、LibSVM（Linear）和Liblinear三个分类器上的分类精度。实验结果表明,在问题训练集规模较大、特征维数较高的情况下,Liblinear分类器具有更好的性能。同时,得出一个结论：bagof-word/pos特征对英文查询分类有一定的贡献;对于中文查询分类,虽然理论上增加特征有利于提高SVM分类器的精度,但由于绑定词性特征后可能会引入噪声,进而降低查询分类的精度。

关键词：问答系统查询分类 SVM 核函数

来源：评论

学校读者我要写书评

暂无评论

改进的程序时序安全属性模型检测技术

引用

计算机工程 2011年第7期37卷 28-30页

作者：张志张林曾庆凯南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 上海市信息安全综合管理技术研究重点实验室上海200030

针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率。在检测过程中加入别名分析,考虑安全操作之间的数据流依赖关系,以提高检测的准确性。实验结果表明,改... 详细信息

针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率。在检测过程中加入别名分析,考虑安全操作之间的数据流依赖关系,以提高检测的准确性。实验结果表明,改进后的方法比原检测方法具有更高的效率和准确性。

关键词：时序安全属性模型检测别名分析

来源：评论

学校读者我要写书评

暂无评论

安全关键系统的软件可靠性评估方法

引用

计算机科学 2011年第12期38卷 135-138页

作者：张德平徐宝文南京航空航天大学计算机科学与与技术学院南京210016 南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的方法。该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间的转... 详细信息

基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的方法。该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间的转移概率分布,修正测试剖面,增加关键操作的遍历概率。最后给出了软件可靠性估计的最优测试剖面生成迭代算法。仿真结果表明,该方法能明显降低估计方差,在提高估计精度的同时能有效地加速统计测试。

关键词：软件可靠性统计测试 Markov使用模型重要抽样 Ali-Silvey距离

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：