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

第八届全国测试学术会议

作者：邢颖宫云战王雅文张旭舟北京邮电大学网络与交换技术国家重点实验室北京100876 辽宁工程技术大学电子与信息工程学院葫芦岛125105 北京邮电大学网络与交换技术国家重点实验室北京100876 北京邮电大学网络与交换技术国家重点实验室北京100876 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

本文主要工作集中于基于分支限界搜索框架的测试用例生成算法的研究.将面向路径的测试用例生成问题定义为约束满足问题,通过状态空间搜索建模,结合分支限界和爬山法进行约束求解.提出了基于变量级别的动态排序方法来连接分支限界与爬山... 详细信息

本文主要工作集中于基于分支限界搜索框架的测试用例生成算法的研究.将面向路径的测试用例生成问题定义为约束满足问题,通过状态空间搜索建模,结合分支限界和爬山法进行约束求解.提出了基于变量级别的动态排序方法来连接分支限界与爬山法.变量的初始值依据启发式规则进行选取,并从这个初始值开始通过目标函数的计算来完成爬山过程.文中方法充分发挥了分支限界和爬山法的优势,实验验证该方法对于较复杂的被测程序可以很好地生成测试用例,在覆盖率上优于一些动、静态测试用例生成方法,可应用于实际工程的测试.

关键词：软件工程测试用例自动生成分支限界爬山法约束求解

来源：评论

学校读者我要写书评

暂无评论

多变量公钥密码扩展方案的安全性分析

引用

计算机学报 2013年第6期36卷 1177-1182页

作者：聂旭云徐赵虎廖永建钟婷电子科技大学计算机科学与工程学院成都611731 网络与数据安全四川省重点实验室成都611731 中国科学院信息工程研究所信息安全国家重点实验室北京100093 上海市信息安全综合管理技术研究重点实验室上海200240

扩展的多变量公钥密码方案(Extended Multivariate Public Key Cryptosystem,EMC)是Wang等人在2011年提出的一种新的增强多变量公钥加密体制安全性的方法,其核心是在加密之前先对明文变量进行一次基于杂凑函数的驯顺变换(Hash-based Tam... 详细信息

扩展的多变量公钥密码方案(Extended Multivariate Public Key Cryptosystem,EMC)是Wang等人在2011年提出的一种新的增强多变量公钥加密体制安全性的方法,其核心是在加密之前先对明文变量进行一次基于杂凑函数的驯顺变换(Hash-based Tame Transformation,简称HT变换)处理.Wang等人将EMC方法和加方法相结合构造出了多变量加密方案HTTP(Hash-based tame and plus).作者声称HTTP方案可以抵挡现有的对多变量公钥密码体制的攻击.文中对EMC方案和HTTP加密方案进行了安全性分析,分析结果表明EMC方案并没有真正增强原始多变量公钥密码体制的安全性.如果存在一种攻击方法可恢复原始的多变量公钥加密体制的合法密文对应的明文,那么同样可以恢复增强后的加密方案的合法密文对应的明文.计算机实验表明,我们的攻击是有效的.

关键词：多变量公钥密码扩展方案线性化方程 HT变换

来源：评论

学校读者我要写书评

暂无评论

边缘海静力数值预报模式并行和优化

边缘海静力数值预报模式并行和优化

引用

2013全国高性能计算学术年会

作者：逢仁波徐建良张云泉谭光明贾海鹏中国海洋大学信息科学与工程学院青岛266100 国家海洋环境预报中心网络与计算机部北京100081 中国海洋大学信息科学与工程学院青岛266100 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

边缘海静力数值模式是国内第一个针对边缘海特点自主开发的数值预报模式.本文实现根据计算资源情况对计算区域进行动态分解,改进逐步求解的SOR迭代算法,引入了红黑排序的SOR并行迭代算法,解决SOR逐步迭代算法无法并行化的问题,提高边缘... 详细信息

边缘海静力数值模式是国内第一个针对边缘海特点自主开发的数值预报模式.本文实现根据计算资源情况对计算区域进行动态分解,改进逐步求解的SOR迭代算法,引入了红黑排序的SOR并行迭代算法,解决SOR逐步迭代算法无法并行化的问题,提高边缘海数值模式程序的并行度,并保留数据间的依赖关系.通过实验表明,并行化后的边缘海静力数值模式相对原程序加速比提高60.71倍,3天(25920时间步)预报结果均方根误差低于O.O01,满足海洋数值预报的时效性和精度要求.

关键词：边缘海静力数值预报迭代算法精度控制时效性能

来源：评论

学校读者我要写书评

暂无评论

融合音频单词与视觉特征的成人视频检测

引用

中国图象图形学报 2012年第7期17卷 791-797页

作者：刘毅志唐胜王向东林守勋张勇东湖南科技大学计算机科学与工程学院湘潭411201 中国科学院计算技术研究所北京100190 湖南省知识处理与网络化制造重点实验室湘潭411201

基于多模态的检测方法是过滤成人视频的有效手段,然而现有方法中缺乏准确的音频语义表示方法。因此本文提出融合音频单词与视觉特征的成人视频检测方法。先提出基于周期性的能量包络单元(简称EE)分割算法,将音频流准确地分割为EE的序列... 详细信息

基于多模态的检测方法是过滤成人视频的有效手段,然而现有方法中缺乏准确的音频语义表示方法。因此本文提出融合音频单词与视觉特征的成人视频检测方法。先提出基于周期性的能量包络单元(简称EE)分割算法,将音频流准确地分割为EE的序列;再提出基于EE和BoW(Bag-of-Words)的音频语义表示方法,将EE的特征描述为音频单词的出现概率;采用复合加权方法融合音频单词与视觉特征的检测结果;还提出基于周期性的成人视频判别算法,与基于周期性的EE分割算法前后配合,以充分利用周期性进行检测。实验结果表明,与基于视觉特征的方法相比,本文方法显著提高了检测性能。当误检率为9.76%时,检出率可达94.44%。

关键词：成人视频检测多模态融合音频单词视觉特征能量包络单元

来源：评论

学校读者我要写书评

暂无评论

网管云及其关键技术研究

网管云及其关键技术研究

引用

第一届中国互联网学术会议

作者：陈福杨家海王元卓凌晓张妍北京外国语大学计算机科学与技术系北京 100089 清华大学信息科学与技术国家实验室北京 100084 中国科学院计算技术研究所网络数据科学与工程研究中心北京 100190

以更大、更快、更安全为核心特征的下一代互联网,其可管理性是一个关键问题。下一代互联网的泛在、无线和巨量网络空间使得网络管理日趋复杂,针对这一问题本文提出了一种托管式网络管理体系结构MulCNeT,使用云计算形成的强大的弹性计算... 详细信息

以更大、更快、更安全为核心特征的下一代互联网,其可管理性是一个关键问题。下一代互联网的泛在、无线和巨量网络空间使得网络管理日趋复杂,针对这一问题本文提出了一种托管式网络管理体系结构MulCNeT,使用云计算形成的强大的弹性计算能力实现中小型企事业单位网络的高品质网管。文中提出了MulCNeT 关键实现技术、业务模式;同时本文提出了适应MulCNet 结构的动态负载均衡算法3RMALS,从CPU 资源、内存资源、存储空间、宽带四个典型资源的调度出发,通过互补型需求叠加供给机制,最大程度的共享资源、满足瞬间峰值震荡和确保合理的利用率,从而实现弹性和绿色资源供给机制。最后给出了模拟分析,证明了叠加算法的合理性。

关键词：下一代互联网网络管理网管云云计算

来源：评论

学校读者我要写书评

暂无评论

基于Shell命令和多阶Markov链模型的用户伪装攻击检测

引用

电子学报 2011年第5期39卷 1199-1204页

作者：肖喜翟起滨田新广陈小娟叶润国中国科学院研究生院信息安全国家重点实验室北京100049 中国科学院计算技术研究所网络科学与技术重点实验室北京100190 北京工商大学计算机与信息工程学院北京100037 北京启明星辰信息安全技术有限公司北京100193

伪装攻击是指非授权用户通过伪装成合法用户来获得访问关键数据或更高层访问权限的行为.提出一种新的用户伪装攻击检测方法.该方法针对伪装攻击用户行为的多变性和审计数据shell命令的相关性,利用特殊的多阶齐次Markov链模型对合法用户... 详细信息

伪装攻击是指非授权用户通过伪装成合法用户来获得访问关键数据或更高层访问权限的行为.提出一种新的用户伪装攻击检测方法.该方法针对伪装攻击用户行为的多变性和审计数据shell命令的相关性,利用特殊的多阶齐次Markov链模型对合法用户的正常行为进行建模,并通过双重阶梯式归并shell命令来确定状态,提高了用户行为轮廓描述的准确性和检测系统的泛化能力,并大幅度减少了存储成本.检测阶段根据实时性需求,采用运算量小的、仅依赖于状态转移概率的分类值计算方法,并通过加窗平滑处理分类值序列得到判决值,进而对被监测用户的行为进行判决.实验表明,同现有的典型检测方法相比,该方法在虚警概率相同的情况下大幅度提高了检测概率,并有效减少了系统计算开销,特别适用于在线检测.

关键词：网络安全伪装攻击入侵检测 shell命令异常检测多阶Markov链

来源：评论

学校读者我要写书评

暂无评论

铁路货运网格数据平台关键技术研究

引用

华中科技大学学报（自然科学版） 2011年第S1期39卷 193-197页

作者：邢智明李晓林戴钢谢毅刘丰志铁道部信息技术中心北京100844 中国科学院计算技术研究所网络重点实验室北京100190 北京交通大学计算机与信息技术学院北京100044 北京科技大学土木与环境工程学院北京100083

设计并实现了一个高扩展性、高可用性的数据网格系统RFGrid来处理海量的铁路货运数据.RFGrid提出一个虚拟化数据模型,集成全国各个铁路局所有的数据,提供全局统一的数据视图,支持灵活高效的构件化业务开发模式.RFGrid采用分布处理的模式... 详细信息

设计并实现了一个高扩展性、高可用性的数据网格系统RFGrid来处理海量的铁路货运数据.RFGrid提出一个虚拟化数据模型,集成全国各个铁路局所有的数据,提供全局统一的数据视图,支持灵活高效的构件化业务开发模式.RFGrid采用分布处理的模式,将任务分解到各个路局并行执行,所有处理细节对用户透明,降低了分布式数据处理的复杂性,提高了资源利用率.最后,利用真实的货运生产应用作为负载进行性能分析,结果显示RFGrid能显著提升货运数据处理的性能,提高了货运分析的效率,对提高运输组织水平有重要意义.

关键词：网格数据集成分布式计算货运分析虚拟化高可用

来源：评论

学校读者我要写书评

暂无评论

基于Shell命令和DTMC模型的用户行为异常检测新方法

引用

计算机科学 2011年第11期38卷 54-58,82页

作者：肖喜翟起滨田新广陈小娟中国科学院研究生院信息安全国家重点实验室北京100049 清华大学深圳研究生院深圳518055 中国科学院计算技术研究所网络科学与技术重点实验室北京100190 北京工商大学计算机与信息工程学院北京100037

提出一种新的基于离散时间Markov链模型的用户行为异常检测方法,主要用于以shell命令为审计数据的入侵检测系统。该方法在训练阶段充分考虑了用户行为复杂多变的特点和审计数据的短时相关性,将shell命令序列作为基本数据处理单元,依据... 详细信息

提出一种新的基于离散时间Markov链模型的用户行为异常检测方法,主要用于以shell命令为审计数据的入侵检测系统。该方法在训练阶段充分考虑了用户行为复杂多变的特点和审计数据的短时相关性,将shell命令序列作为基本数据处理单元,依据其出现频率利用阶梯式的数据归并方法来确定Markov链的状态,同现有方法相比提高了用户行为轮廓描述的准确性和对用户行为变化的适应性,并且大幅度减少了状态个数,节约了存储成本。在检测阶段,针对检测实时性和准确度需求,通过计算状态序列的出现概率分析用户行为异常程度,并提供了基于固定窗长度和可变窗长度的两种均值滤噪处理及行为判决方案。实验表明,该方法具有很高的检测性能,其可操作性也优于同类方法。

关键词：网络安全入侵检测 shell命令异常检测离散时间Markov链

来源：评论

学校读者我要写书评

暂无评论

铁路货运网格数据平台关键技术研究

铁路货运网格数据平台关键技术研究

引用

第三届中国国家网格学术年会

作者：邢智明李晓林戴钢谢毅刘丰志铁道部信息技术中心，北京100844 中国科学院计算技术研究所网络重点实验室，北京100190 北京交通大学计算机与信息技术学院，北京100044 北京科技大学土木与环境工程学院，北京100083

设计并实现了一个高扩展性、高可用性的数据网格系统RFGrid来处理海量的铁路货运数据。RFGrid提出一个虚拟化数据模型，集成全国各个铁路局所有的数据，提供全局统一的数据视图，支持灵活高效的构件化业务开发模式。RFGrid采用分布处理... 详细信息

设计并实现了一个高扩展性、高可用性的数据网格系统RFGrid来处理海量的铁路货运数据。RFGrid提出一个虚拟化数据模型，集成全国各个铁路局所有的数据，提供全局统一的数据视图，支持灵活高效的构件化业务开发模式。RFGrid采用分布处理的模式，将任务分解到各个路局并行执行，所有处理细节对用户透明，降低了分布式数据处理的复杂性，提高了资源利用率。最后，利用真实的货运生产应用作为负载进行性能分析，结果显示RFGrid能显著提升货运数据处理的性能，提高了货运分析的效率，对提高运输组织水平有重要意义。

关键词：铁路货运数据货运分析数据集成分布式计算

来源：评论

学校读者我要写书评

暂无评论

一种需求驱动的自主Web服务聚集方法

引用

软件学报 2010年第6期21卷 1181-1195页

作者：叶荣华金芝王璞巍郑丽伟杨夏芬浙江师范大学计算机科学与技术研究所浙江金华321004 中国科学院数学与系统科学研究院北京100190 中国科学院计算技术研究所北京100190 中国人民大学数据工程与知识工程教育部重点实验室北京100872

引入具有主动搜索需求能力的自主Web服务概念,提出基于环境本体的意图-行为-实现机制,用于描述服务请求和自主Web服务能力,构型了一种需求驱动的自主Web服务聚集的模型.给出了基于意图-行为-实现机制的需求能力匹配算法和自主Web服务聚... 详细信息

引入具有主动搜索需求能力的自主Web服务概念,提出基于环境本体的意图-行为-实现机制,用于描述服务请求和自主Web服务能力,构型了一种需求驱动的自主Web服务聚集的模型.给出了基于意图-行为-实现机制的需求能力匹配算法和自主Web服务聚集算法.最后,通过对应用案例的研究来展示该方法的可行性.

关键词：自主Web服务需求驱动聚集意图行为服务组合

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：