钱兰
- 作品数：10 被引量：30H指数：3
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信农业科学更多>>
- 基于有限状态机的错误诊断算法被引量：3
- 2006年
- 基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果,并且用一个具体的实例来详细描述本文提出的算法。
- 赵保华钱兰周颢郭雄辉
- 关键词：有限状态机
- 基于Markov链模型的被动测试错误检测算法被引量：3
- 2006年
- 通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到的输入/输出对的概率分布,就可以解决已有算法存在的问题,因此适用范围更广,同时还探讨了单个错误定位问题.
- 赵保华钱兰屈玉贵郭雄辉
- 关键词：被动测试MARKOV链
- 协议一致性测试的错误诊断研究
- 本文对协议一致性测试的错误诊断进行了研究。文章在分析了一个已有的基于有限状态机的错误诊断方法后，提出了一个新的基于有限状念机的错误诊断算法，该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信...
- 钱兰
- 关键词：网络通信通信协议
- 动态数据驱动林火蔓延预测方法
- 本发明公开了一种动态数据驱动林火蔓延预测方法，通过对火线位置施加扰动产生集合，FARSITE软件实现集合的正向预测，集合卡曼滤波算法则通过融入观测数据对预测结果进行动态修正，提高了FARSITE林火蔓延软件模拟预测的准确...
- 张启兴张永明钱兰
- 文献传递
- 被动测试中观察者放置问题被引量：2
- 2005年
- 在被动测试中如何放置观察者使得放置的数目最少并且能监视整个网络的运行情况是一个很有实际应用价值的问题·先证明了该问题是一个NP完全问题;接着讨论了在网络拓扑是树的特殊情形下该问题的解,并给出了针对树结构的一个线性时间算法;然后在一个已有的近似比为2的算法基础上给出了一个改进算法并证明了其近似比为2-O(1),最后用实验来验证了改进算法的有效性,指明了进一步的研究方向·
- 赵保华郭雄辉钱兰屈玉贵
- 关键词：被动测试NP完全问题
- 集合卡曼滤波算法对FARSITE林火蔓延预测的修正效果研究
- 森林火灾是一种全球性的灾害现象，各地每年都会有一定数量的森林火灾发生，这些火灾往往规模较大，有时还会形成特大型火灾，控制起来非常困难。火灾不仅会破坏生态系统，还会释放含碳气体形成大面积环境污染，更有可能对人类生命财产造成...
- 钱兰
- 关键词：森林火灾林火蔓延
- 基于UIO测试序列的错误诊断算法被引量：3
- 2006年
- 唯一输入输出(UniqueInputOutput)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,及测试结果中可能的错误转换后的输入/输出消息,从而能高效完全地诊断单个错误。最后用实验数据给出了该文算法和原始算法之间的比较结果。
- 赵保华钱兰郭雄辉
- 关键词：有限状态机
- 被动测试中的错误诊断算法被引量：5
- 2005年
- 介绍了被动测试的有限状态机模型、错误模型和错误检测算法,给出了单个错误的诊断算法并分析了其时间复杂度,将所提出的算法推广到对多个错误的诊断,以在路由协议OSPF(OpenShortestPathFirst)的接口有限状态机上做的模拟实验为例来说明算法的有效性.
- 郭雄辉赵保华钱兰
- 关键词：被动测试有限状态机
- IPv6协议测试系统研究和实现被引量：13
- 2005年
- IPv6必将成为下一代Internet网络的主导协议,如何测试各个厂商的IPv6实现是一个关键的问题.本文关注于IPv6协议的一致性测试,提出了一种分布式虚拟测试法,采用该方法我们实现了一个测试系统,并进行了实际测试,给出了一些测试结果和分析.
- 郭雄辉赵保华屈玉贵钱兰
- 关键词：IPV6ICMPV6
- 被动测试中网络监测问题被引量：1
- 2006年
- 研究了被动测试中如何放置观察者使得放置的数目最少并且能监视整个网络的运行情况.先把该问题归结为图的顶点覆盖问题,它是一个NP完全问题；接着讨论了在网络拓扑是树的特殊情形下带权和不带权顶点覆盖问题的解,并给出了树结构上带权顶点覆盖问题的线性时间算法；然后在已有的一个近似比为2的算法基础上,结合树结构上不带权顶点覆盖问题的算法给出了图的不带权顶点覆盖问题的一个改进算法,最后用实验验证了改进算法能使观察者数目减小20%左右.
- 赵保华钱兰郭雄辉
- 关键词：被动测试NP完全问题
