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

第八届全国测试学术会议

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

利用MapReduce平台实现高效并行的频繁子图挖掘

引用

计算机科学与探索 2014年第7期8卷 790-801页

作者：孙鹤立陈强刘玮黄健斌邹建华西安交通大学电子与信息工程学院西安710049 西安电子科技大学软件学院西安710071 北京邮电大学信息与通信工程学院北京100876 南京大学计算机软件新技术国家重点实验室南京210023

频繁子图挖掘是数据挖掘领域的一个重要问题,并且有着广泛的应用。在Hadoop平台上实现了一种基于MapReduce的高效频繁子图挖掘算法Cloud-GFSG(cloud-global frequent subgraph)。该算法基于Apriori思想,在扩展边生成新的子图时,使用已... 详细信息

频繁子图挖掘是数据挖掘领域的一个重要问题,并且有着广泛的应用。在Hadoop平台上实现了一种基于MapReduce的高效频繁子图挖掘算法Cloud-GFSG(cloud-global frequent subgraph)。该算法基于Apriori思想,在扩展边生成新的子图时,使用已经挖掘出的k-1阶的频繁子图生成k阶的频繁子图。同时,检查是否存在待扩展生成的子图,设定生成的频繁子图表示规则,保证了频繁子图信息的唯一性。较同类算法相比,该算法在挖掘频繁子图时更具通用性,并且在扩展边时避免产生大量的复制图,从而使得算法的正确性得以保证,且运行效率显著提高。

关键词：频繁子图挖掘 MapReduce Hadoop平台

来源：评论

学校读者我要写书评

暂无评论

基于马尔科夫决策过程的可适变业务流程建模及分析

引用

电子与信息学报 2013年第7期35卷 1760-1765页

作者：张红霞邹华林荣恒杨放春北京邮电大学网络与交换技术国家重点实验室北京100876 中国石油大学计算机与通信工程学院青岛266580

研究移动网络的适变业务流程的建模和模型分析对于部署和执行Web服务应用有着重要的意义。该文通过定义业务流程的相似性及数据类型的相容性,为可适变应用提供了候选集合,使得业务流程能够根据环境的变化动态地进行适变。为了有效地对... 详细信息

研究移动网络的适变业务流程的建模和模型分析对于部署和执行Web服务应用有着重要的意义。该文通过定义业务流程的相似性及数据类型的相容性,为可适变应用提供了候选集合,使得业务流程能够根据环境的变化动态地进行适变。为了有效地对适变业务流程实例进行分析,该文提出基于马尔科夫决策过程模型的适变业务流程建模方法,采用随机模型检测技术对模型的合理性进行验证和预测。针对具体实例,采用该文提出的方法对视频传输应用进行建模和分析验证,实验结果表明,该文为适变业务流程的建模和分析验证提供了一种有效的方法。

关键词：移动网络业务流程马尔科夫决策过程概率计算树逻辑随机模型检测

来源：评论

学校读者我要写书评

暂无评论

基于M-IBE的异构传感网密钥管理协议

引用

计算机研究与发展 2013年第10期50卷 2109-2116页

作者：马春光王九如武朋张华哈尔滨工程大学计算机科学与技术学院哈尔滨150001 网络与交换技术国家重点实验室(北京邮电大学) 北京100876 哈尔滨工程大学国家保密学院哈尔滨150001

为解决异构传感网(heterogeneous sensor networks,HSN)因功能异构而导致的组内通信和组间通信安全问题,研究了公钥密码体制尤其身份基密码体制(identity-based encryption,IBE)在异构传感网中的应用,提出了基于多域身份基加密(multi-do... 详细信息

为解决异构传感网(heterogeneous sensor networks,HSN)因功能异构而导致的组内通信和组间通信安全问题,研究了公钥密码体制尤其身份基密码体制(identity-based encryption,IBE)在异构传感网中的应用,提出了基于多域身份基加密(multi-domain identity-based encryption,M-IBE)的异构传感网密钥管理协议.从逻辑上把HSN中的一个组类比于M-IBE的一个域.部署前由可信第三方为HSN生成全局公共参数、选取各组公私钥、抽取组内各节点私钥;部署后同组内邻居节点通过交换身份标识建立共享密钥;不同组内邻居节点在获得簇头授权后协商建立共享密钥.协议由密钥预分配、组内共享密钥建立、组间共享密钥协商、新节点加入、节点移除5部分组成.实验分析表明:该协议具有较高的安全性,可以抵抗高端节点和低端节点俘获攻击,较低的存储需求和恒定的连通概率适用于安全需求较高的应用场景中.

关键词：异构传感网密钥管理公钥密码体制多域身份基加密安全

来源：评论

学校读者我要写书评

暂无评论

基于区间必然集的测试用例生成方法

引用

计算机辅助设计与图形学学报 2013年第4期25卷 550-556,563页

作者：王雅文宫云战肖庆北京邮电大学网络与交换技术国家重点实验室北京100876 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 装甲兵工程学院信息工程系北京100072

针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然... 详细信息

针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然集"的计算方法.提出了面向路径的值区间分析算法,通过对给定路径进行前向数据流分析来计算各条边上的区间上下文环境以及各符号的必然取值区间,在路径出口处的符号值区间必然集中任意取值,可得到覆盖给定路径的测试用例.与基于约束求解的传统方法相比,文中方法省去了表达式变换及调用约束求解器的过程,对输入变量弱关联的情况能够快速、准确地生成测试用例.

关键词：测试用例面向路径符号执行上下文环境区间必然集

来源：评论

学校读者我要写书评

暂无评论

PQBCF:一种基于中间中心度的机会网络P2P查询算法

引用

电子学报 2013年第9期41卷 1815-1820页

作者：牛建伟戴彬孙利民林佳骝熊永平北京航空航天大学软件开发环境国家重点实验室北京100191 中国科学院软件研究所北京100190 卡内基梅隆大学计算机学院宾夕法尼亚州匹兹堡15213 北京邮电大学网络与交换技术国家重点实验室北京100876

社会机会网络由人携带的带有短距离通信接口的移动设备利用人的移动形成,其数据采用/存储-携带-转发0的模式进行传输,本文针对这类网络,提出了一种基于中间中心度的P2P查询算法(P2P Query based on Betweenness Centrality Forwarding,P... 详细信息

社会机会网络由人携带的带有短距离通信接口的移动设备利用人的移动形成,其数据采用/存储-携带-转发0的模式进行传输,本文针对这类网络,提出了一种基于中间中心度的P2P查询算法(P2P Query based on Betweenness Centrality Forwarding,PQBCF).节点的中间中心度描述了节点在信息传输转发过程中的参与度和重要度,PQBCF算法通过选择具有较大中间中心度的节点来实现信息的高效转发.仿真实验表明,与目前该研究领域的SF(Spray and Focus)等主流算法相比,PQBCF算法能够有效提高查询成功率,并降低查询延时.

关键词：机会网络 P2P查询中间中心度社会网络移动设备

来源：评论

学校读者我要写书评

暂无评论

事件驱动、面向服务的物联网服务提供方法

引用

中国科学：信息科学 2013年第10期43卷 1219-1243页

作者：乔秀全章洋吴步丹程渤赵帅马华东陈俊亮北京邮电大学网络与交换技术国家重点实验室北京100876 北京邮电大学计算机学院智能通信软件与多媒体北京市重点实验室北京100876

物联网无缝集成了用户域、信息空间域和物理空间域,实现了"人—机—物"的动态协同,其应用常常涉及到跨业务域甚至跨组织的用户、业务流程和物理实体的实时动态交互.因此,物联网服务系统往往需要集成多个分布式的企业应用系统... 详细信息

物联网无缝集成了用户域、信息空间域和物理空间域,实现了"人—机—物"的动态协同,其应用常常涉及到跨业务域甚至跨组织的用户、业务流程和物理实体的实时动态交互.因此,物联网服务系统往往需要集成多个分布式的企业应用系统从而形成一个大规模复杂服务系统来实时协作完成一定的业务目标.目前,大多数已有研究工作主要集中于解决不同实体和应用系统间在动态交互环境下的互联和互操作问题.然而,如何在信息的提供方和消费者之间按需的分发感知信息、并基于物理世界所发生的变化动态的实时协同相关的企业服务或者业务流程做出快速反应尚没有系统深入地研究.为此,本文结合事件驱动架构和面向服务架构的设计思想,提出了一种事件驱动、面向服务的物联网服务提供方法,该方法能够便捷地支持感知信息的按需分发和聚合,并实现事件驱动的跨业务域甚至跨组织的服务动态协同.这种实现了"时间、空间和控制"解耦的服务提供方法极大地增强了物联网服务系统的灵活性和敏捷性,允许系统及时地对物理世界的动态变化做出快速响应.最后,通过实际部署的区域集中供热监控及热计量物联网应用进行了验证.

关键词：物联网服务提供事件分发服务协同面向服务架构事件驱动架构复杂事件处理

来源：评论

学校读者我要写书评

暂无评论

异构延迟容忍移动传感器网络中基于转发概率的数据传输

引用

软件学报 2013年第2期24卷 215-229页

作者：刘唐彭舰杨进四川师范大学基础教学学院四川成都610068 四川大学计算机学院四川成都610065 网络与交换国家重点实验室(北京邮电大学) 北京100876 乐山师范学院计算机学院四川乐山614000

提出了一种基于转发概率的动态数据转发策略:FPAD(forwarding probability-based adaptive data deliveryalgorithm).FPAD适用于由不同类型传感器节点构成的可监测不同对象的异构延迟容忍移动传感器网络HDTMSN(heterogeneous delay tolerant mobile sensor network).在这种网络中,各类节点拥有不同的通信能力、运动速度与消息存储能力,并且获取的数据消息具有不同的大小和不同的延迟容忍度.针对异构网络的特点,FPAD一方面根据节点能量消耗和消息传输延迟计算出节点的传输概率和转发概率,并以此进行数据消息的传输;另一方面,提出根据消息当前的延迟容忍度作为消息丢弃依据的消息队列管理机制.仿真实验结果表明,与现有的几种数据传输算法相比,FPAD的数据传输成功率更高、传输延迟更小,而且网络寿命相对较长.

关键词：异构延迟容忍移动无线传感器网络数据收集动态数据传输转发概率队列管理

来源：评论

学校读者我要写书评

暂无评论

多媒体数字产品版权保护模型研究与设计

引用

计算机科学 2013年第1期40卷 98-102页

作者：孟芳慧曹宝香杨义先钮心忻曲阜师范大学计算机科学学院日照276826 北京邮电大学网络与交换技术国家重点实验室信息安全中心北京100876

非法的盗版行为侵害了创作者的合法权益,使得多媒体信息的版权保护问题变得十分重要。通过分析一般的版权保护管理系统,提出了一种有效保护多媒体信息版权的模型。该模型综合利用鲁棒水印和脆弱水印对多媒体信息进行4次水印嵌入;采用全... 详细信息

非法的盗版行为侵害了创作者的合法权益,使得多媒体信息的版权保护问题变得十分重要。通过分析一般的版权保护管理系统,提出了一种有效保护多媒体信息版权的模型。该模型综合利用鲁棒水印和脆弱水印对多媒体信息进行4次水印嵌入;采用全文件加密的方式对多媒体信息加密;使用基于双缓冲机制及安全存储机制的专门的客户端软件对信息解密。最后通过性能分析可知,在没有降低系统的权威性、公平性、实用性的前提下,该模型提高了整个DRM系统的安全性。

关键词：数字版权管理鲁棒水印脆弱水印多媒体文件加解密数字签名

来源：评论

学校读者我要写书评

暂无评论

面向业务特征的自适应虚拟机迁移带宽分配算法

引用

计算机学报 2013年第9期36卷 1816-1825页

作者：刘诗海孙宇清刘古月山东大学计算机科学与技术学院中国人民解放军68067部队中国科学院计算技术研究所计算机体系结构国家重点实验室北京邮电大学国际学院

虚拟机动态迁移是支持绿色云计算环境的重要技术,迭代时间和宕机时间是迁移性能的衡量指标,而虚拟机迁移时使用的网络带宽和业务运行产生的内存脏页是影响迁移性能的重要因素,因此合理分配迁移带宽和减少脏页率能够有效缩短迭代时间和... 详细信息

虚拟机动态迁移是支持绿色云计算环境的重要技术,迭代时间和宕机时间是迁移性能的衡量指标,而虚拟机迁移时使用的网络带宽和业务运行产生的内存脏页是影响迁移性能的重要因素,因此合理分配迁移带宽和减少脏页率能够有效缩短迭代时间和宕机时间.该文提出了一种面向业务特征的自适应虚拟机迁移带宽分配算法,通过对迁移过程中脏页率的分析,预测运行业务的网络带宽使用量,自适应分配虚拟机迁移带宽;引入带宽调整系数,有效处理迁移过程中的业务数据抖动现象,从而确保预测的合理性.这一算法能够在保证迁移性能和系统可靠性的同时,减少迭代时间和宕机时间.实验表明在带宽资源有限的前提下,该方法能够合理利用空闲带宽资源,提高迁移性能,确保业务服务质量.

关键词：虚拟机动态迁移带宽分配脏页率绿色计算云计算

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：