国家自然科学基金(60241004) 作品数:55 被引量:214 H指数:9 相关作者: 赵保华 屈玉贵 周颢 刘桂英 郭雄辉 更多>> 相关机构: 中国科学技术大学 中国科学院 中国科学院软件研究所 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
概率信息流安全属性分析 被引量:8 2006年 以进程代数作为分析信息流安全属性的工具,将安全进程代数(SPA)扩展到概率系统,形成概率安全进程代数.使用概率安全进程代数对概率系统建模,在弱概率互拟等价的基础上,讨论了概率信息流安全属性,提出了P_PBNDC,S_PBNDC,CP_PBNDC等基于复合的不可演绎的属性,分析了这些安全属性之间的关系,并给出了一个实际的概率系统的例子. 赵保华 陈波 陆超关键词:信息流安全 进程代数 无干扰 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网络 负载平衡 生命期 WSN随机调度覆盖算法的子集划分最优解 被引量:9 2008年 随机调度覆盖算法实现对传感器进行随机调度,是利用传感器之间的覆盖冗余来延长网络的寿命.为此采用概率模型对随机调度覆盖算法进行分析,并且当被监测区域的面积和监测时间给定以后,在覆盖强度、传感器密度、能量节约和网络寿命的约束条件下,求解出随机调度覆盖算法中的子集划分和传感器数量的最优解. 刘永生 周颢 赵保华关键词:无线传感器网络 一致性测试中的时间约束及测试用例生成算法 被引量:3 2006年 针对协议测试理论中的时间约束问题,从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束,同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法.在控制流测试中,先生成引导序列,然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置.在数据流测试中,等待时间只需按照需求描述和约束来设定.对边界网关协议进行测试的结果表明,所提算法能适应不同的网络拓扑环境,其生成的测试用例在测试中能够有效降低测试代价. 赵保华 柯尧关键词:边界网关协议 无线传感器网络路由协议中的恶意节点发现和定位机制 被引量:5 2008年 恶意节点的存在会给无线传感器网络带来一系列的安全隐患.为此提出一种基于多路径和回馈的恶意节点发现和定位机制.将该机制应用于路由协议,可以有效地抑制恶意节点给网络带来的侵害. 蒋元曦 赵保华关键词:无线传感器网络 恶意节点 直扩编码并行序贯检测捕捉 被引量:1 2006年 在直扩编码的捕捉方法中,序贯捕捉法是一种较好的捕捉方法,与相关捕捉法相比其速度能提高2~10倍.为了对伪随机码进行更快速的捕捉,提出了一种新的捕捉结构,即并行序贯检测捕捉.该结构能在适当增加硬件规模的情况下,很好地提高捕获的速度.根据该结构可得出捕获时间和各参数的关系. 吴明立 赵保华 屈玉贵 刘桂英关键词:扩频通信 基于Tcl的ARP协议冒烟测试系统设计 被引量:1 2006年 协议的冒烟测试在网络产品的设计过程中有着重要的作用。文章关注于协议冒烟测试系统的设计和实现,提出了一种单机虚拟测试方法,并采用该方法实现了一个基于Tcl语言的协议冒烟测试系统,并在实际应用中取到了较好的测试效率。 赵保华 刘洪霞关键词:ARP TCL 一种提高协议测试效率的新方法 2006年 针对使用传统的方法提高协议测试效率存在的问题,从测试序列测试顺序的角度,首次引入了测试序列动态重排序的方法,对不同的错误情况,提出三种动态排序算法.讨论了测试序列动态重排序对测试效率产生的影响.实验仿真验证了所提动态排序方法比传统的静态测试在测试效率上有较大改进. 赵保华 姜振海