赵保华 作品数:223 被引量:884 H指数:16 供职机构: 华为技术有限公司 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 理学 经济管理 更多>>
概率信息流安全属性分析 被引量:8 2006年 以进程代数作为分析信息流安全属性的工具,将安全进程代数(SPA)扩展到概率系统,形成概率安全进程代数.使用概率安全进程代数对概率系统建模,在弱概率互拟等价的基础上,讨论了概率信息流安全属性,提出了P_PBNDC,S_PBNDC,CP_PBNDC等基于复合的不可演绎的属性,分析了这些安全属性之间的关系,并给出了一个实际的概率系统的例子. 赵保华 陈波 陆超关键词:信息流安全 进程代数 无干扰 基于Tcl的路由协议一致性测试 针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术. 余营志 赵保华 屈玉贵关键词:路由协议 测试系统 TCL 文献传递 边界网关协议BGP-4的一致性测试 被引量:2 2002年 边界网关协议是在全球因特网上 ,用来在自治系统间的传递路由信息的域间路由协议。边界网关协议 (BGP - 4)的一致性测试 ,是国家高速信息示范网路由协议测试项目的重要组成部分。文中介绍了通讯协议的一致性测试方法 ,并结合BGP - 4的一致性测试进行测试方法的实践与研究。针对BGP协议的不同部分的测试 ,介绍了不同的测试方法以及测试系统和测试环境的设计与构造。 孙朝静 赵保华关键词:GATEWAY TTCN SDH测控软件的设计和实现 2005年 在SDH测试过程中 ,使用传统的脚本命令控制方式进行人机交互繁琐且不易管理。并且 ,这种方式对测试者来说要求高、难学习、易出错且错误处理能力弱。该文设计并实现了基于Tcl/TK脚本语言的SDH测控软件。该软件将用户命令进行封装 ,从而简化了命令的操作和处理 ,实现了对整个SDH测试过程的统一管理 ;同时软件的界面采用向导方式进行设计 ,为测试者提供了非常友好的人机交互功能 ;并且 ,软件还具有强大的错误处理能力 ,能及时处理操作错误并为用户提供相应的出错信息 。 李姝 屈玉贵 赵保华关键词:脚本 测控 人机交互 SDH测试平台的设计和实现 被引量:3 2005年 光纤通信是现代信息传输的重要手段.SDH(Synchronous Digital Hierarchy)这种新的传输体制凭借大容量、标准化的优点成为光纤通信的主力.SDH接收/发送器是用于SDH光网络的重要器件.设计并实现了一个自动化的SDH测试平台.平台提供了TCL扩展接口,测试者可以通过接口动态控制SDH过程,实现对SDH接收/发送器的自动化测试. 李姝 屈玉贵 周颢 赵保华关键词:SDH TCL 无线Adhoc网络中的负载平衡广播路由算法 被引量:5 2008年 在无线Ad hoc网络中,由于节点的能量有限,如果过分消耗一部分节点的能量使这些节点退出,这样将会影响整个网络的连通性,因而能量的负载平衡成为了一个核心问题,针对该问题提出了一个时间复杂度是O(n2)的贪心算法--WMST(weighted minimum spanning tree),该改进算法综合考虑了节点初始能量和通信的能量消耗等因素,随后又提出了一个改进算法,最后通过模拟实验将这2个算法与BIP算法进行了比较,实验表明该算法有效的改善了网络的负载平衡以及网络的生命期,最后,还指出了进一步的研究方向。 胡甜 周颢 赵保华关键词:无线ADHOC网络 负载平衡 生命期 物联网环境下一种基于人工能量势的服务获取方法 2012年 针对物联网环境下的服务获取问题,结合物联网节点能量有限、节点自组织、数据空间性等特点,提出了一种基于人工能量势的物联网空间社区服务获取方法。首先给出了空间社区的概念,然后利用能量迁移方法,使物联网用户能够通过空间节点在节点的最大有效传输范围内寻找最优节点作为下一跳节点,以减少节点的下一跳数和交互时间,从而节省节点能耗,提高服务获取的效率。理论分析和仿真实验表明,提出的方法与Random Walk和Modified-BFS算法相比在减少节点能耗、延长网络生存周期及服务获取效率等方面有一定的改进。 王杨 赵保华关键词:物联网 WSN随机调度覆盖算法的子集划分最优解 被引量:9 2008年 随机调度覆盖算法实现对传感器进行随机调度,是利用传感器之间的覆盖冗余来延长网络的寿命.为此采用概率模型对随机调度覆盖算法进行分析,并且当被监测区域的面积和监测时间给定以后,在覆盖强度、传感器密度、能量节约和网络寿命的约束条件下,求解出随机调度覆盖算法中的子集划分和传感器数量的最优解. 刘永生 周颢 赵保华关键词:无线传感器网络 一致性测试中的时间约束及测试用例生成算法 被引量:3 2006年 针对协议测试理论中的时间约束问题,从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束,同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法.在控制流测试中,先生成引导序列,然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置.在数据流测试中,等待时间只需按照需求描述和约束来设定.对边界网关协议进行测试的结果表明,所提算法能适应不同的网络拓扑环境,其生成的测试用例在测试中能够有效降低测试代价. 赵保华 柯尧关键词:边界网关协议 分布式网络攻击测试系统中的代理选择算法 2008年 对网络设备的网络攻击测试有助于确定设备的稳定性和安全性,从而降低网络运行风险.首先改进了分布式网络攻击测试系统,该系统由一个主控结点和多个代理结点组成,能适应多种网络拓扑结构,能对Internet网络中的目标设备进行各种常规的网络攻击和分布式攻击测试,并支持新攻击套件开发.然后讨论了该系统在线模式下特有的代理选择问题,提出了一种合理的代理选择算法,有利于保证结点通信,分散测试流量. 陈伟琳 周颢 赵保华