您的位置： 专家智库 > >

国家自然科学基金(90104010)

作品数：65 被引量：351H指数：11
相关作者：赵保华屈玉贵周颢刘桂英张炜更多>>
相关机构：中国科学技术大学中国科学院中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信理学更多>>

文献类型

  • 65篇期刊文章
  • 4篇会议论文

领域

  • 55篇自动化与计算...
  • 21篇电子电信
  • 1篇理学

主题

  • 17篇网络
  • 14篇无线传感
  • 14篇无线传感器
  • 14篇无线传感器网
  • 14篇无线传感器网...
  • 14篇感器
  • 14篇传感
  • 14篇传感器
  • 14篇传感器网
  • 14篇传感器网络
  • 10篇TCL
  • 7篇有限状态机
  • 7篇通信
  • 7篇状态机
  • 7篇路由
  • 7篇被动测试
  • 5篇通信协议
  • 4篇一致性
  • 4篇贪心
  • 4篇协议一致性测...

机构

  • 69篇中国科学技术...
  • 2篇中国科学院
  • 1篇北京林业大学
  • 1篇中国科学院软...

作者

  • 68篇赵保华
  • 38篇屈玉贵
  • 15篇周颢
  • 11篇刘桂英
  • 9篇张炜
  • 8篇郭雄辉
  • 6篇钱兰
  • 5篇李婧
  • 4篇潘全科
  • 4篇张英堂
  • 4篇蔺智挺
  • 3篇林华辉
  • 3篇姜振海
  • 3篇陈波
  • 3篇陆超
  • 2篇吕欣岩
  • 2篇方毅
  • 2篇邓勇
  • 2篇柏荣刚
  • 2篇刘恒昌

传媒

  • 13篇小型微型计算...
  • 11篇中国科学技术...
  • 7篇计算机工程与...
  • 5篇西安交通大学...
  • 4篇电子与信息学...
  • 4篇电子学报
  • 4篇计算机工程
  • 4篇北京邮电大学...
  • 3篇计算机学报
  • 2篇电子技术应用
  • 1篇计算机集成制...
  • 1篇计算机研究与...
  • 1篇计算机应用
  • 1篇计算机应用研...
  • 1篇软件学报
  • 1篇计算机科学
  • 1篇天津大学学报
  • 1篇传感器与微系...

年份

  • 1篇2010
  • 6篇2008
  • 16篇2007
  • 28篇2006
  • 7篇2005
  • 5篇2004
  • 4篇2003
  • 1篇2002
  • 1篇2001
共 65 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
概率信息流安全属性分析被引量：8
2006年
以进程代数作为分析信息流安全属性的工具,将安全进程代数(SPA)扩展到概率系统,形成概率安全进程代数.使用概率安全进程代数对概率系统建模,在弱概率互拟等价的基础上,讨论了概率信息流安全属性,提出了P_PBNDC,S_PBNDC,CP_PBNDC等基于复合的不可演绎的属性,分析了这些安全属性之间的关系,并给出了一个实际的概率系统的例子.
赵保华陈波陆超
关键词：信息流安全进程代数无干扰
SDH测试平台的设计和实现被引量：3
2005年
光纤通信是现代信息传输的重要手段.SDH(Synchronous Digital Hierarchy)这种新的传输体制凭借大容量、标准化的优点成为光纤通信的主力.SDH接收/发送器是用于SDH光网络的重要器件.设计并实现了一个自动化的SDH测试平台.平台提供了TCL扩展接口,测试者可以通过接口动态控制SDH过程,实现对SDH接收/发送器的自动化测试.
李姝屈玉贵周颢赵保华
关键词：SDHTCL
WSN随机调度覆盖算法的子集划分最优解被引量：9
2008年
随机调度覆盖算法实现对传感器进行随机调度,是利用传感器之间的覆盖冗余来延长网络的寿命.为此采用概率模型对随机调度覆盖算法进行分析,并且当被监测区域的面积和监测时间给定以后,在覆盖强度、传感器密度、能量节约和网络寿命的约束条件下,求解出随机调度覆盖算法中的子集划分和传感器数量的最优解.
刘永生周颢赵保华
关键词：无线传感器网络
一致性测试中的时间约束及测试用例生成算法被引量：3
2006年
针对协议测试理论中的时间约束问题,从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束,同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法.在控制流测试中,先生成引导序列,然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置.在数据流测试中,等待时间只需按照需求描述和约束来设定.对边界网关协议进行测试的结果表明,所提算法能适应不同的网络拓扑环境,其生成的测试用例在测试中能够有效降低测试代价.
赵保华柯尧
关键词：边界网关协议
分布式网络攻击测试系统中的代理选择算法
2008年
对网络设备的网络攻击测试有助于确定设备的稳定性和安全性,从而降低网络运行风险.首先改进了分布式网络攻击测试系统,该系统由一个主控结点和多个代理结点组成,能适应多种网络拓扑结构,能对Internet网络中的目标设备进行各种常规的网络攻击和分布式攻击测试,并支持新攻击套件开发.然后讨论了该系统在线模式下特有的代理选择问题,提出了一种合理的代理选择算法,有利于保证结点通信,分散测试流量.
陈伟琳周颢赵保华
无线传感器网络路由协议中的恶意节点发现和定位机制被引量：5
2008年
恶意节点的存在会给无线传感器网络带来一系列的安全隐患.为此提出一种基于多路径和回馈的恶意节点发现和定位机制.将该机制应用于路由协议,可以有效地抑制恶意节点给网络带来的侵害.
蒋元曦赵保华
关键词：无线传感器网络恶意节点
IPv6实验网的组建和测试分析被引量：14
2003年
主要介绍设计、搭建IPv6实验网,并在此基础上捕获数据包,测试协议性能。通过分析数据包的结构,验证了IPv6网络的特点:地址匹配的方便性、数据报头的简洁性。通过设计和组建IPv6/IPv4双协议栈路由器,介绍了一种通过IPv4网络转发IPv6数据包的双协议栈隧道技术。
袁斌张英堂屈玉贵方毅刘桂英徐骏
关键词：网络测试
基于有限状态机的错误诊断算法被引量：3
2006年
基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果,并且用一个具体的实例来详细描述本文提出的算法。
赵保华钱兰周颢郭雄辉
关键词：有限状态机
一种新的UIO测试序列生成算法被引量：16
2004年
基于贪心算法提出了寻找FSM(finitestatemachine)各个状态的UIO(uniqueinputoutput)序列的伪多项式时间算法,可以快速地找出FSM的UIO序列,基于“由近及远”的方法提出了寻找最短UIO测试序列的算法,可以找出FSM的最短UIO序列.
徐军委赵保华屈玉贵
关键词：通信协议UIO序列贪心算法
一种基于测试序列失败树的动态测试方法被引量：2
2007年
针对传统的测试方法按照静态的顺序执行预先生成的固定测试集,而实际测试范围可能被缩小,同时测试结果受到测试序列间、测试序列内的影响等问题,提出了一种构造测试序列失败树(TSFT)并用其指导动态测试的方法.该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响,通过TSFT指导测试序列的动态执行,同时还考虑了引导序列和验证序列对测试结果的影响,在避开TSFT的前提下,可在引导序列和验证序列集合中进行搜索和替换,动态地生成新的有效测试序列.实验结果表明,所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响,较明显地提高了实际的测试效率和测试覆盖率.
赵保华高存皓姜振海周颢潘全科
全选 清除 导出
共7页<1234567>
聚类工具0