期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于有限状态机的错误诊断算法 被引量:3
1
作者 赵保华 钱兰 +1 位作者 周颢 郭雄辉 《电子与信息学报》 EI CSCD 北大核心 2006年第9期1679-1683,共5页
基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换... 基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果,并且用一个具体的实例来详细描述本文提出的算法。 展开更多
关键词 错误诊断 一致性测试 有限状态机
在线阅读 下载PDF
基于UIO测试序列的错误诊断算法 被引量:2
2
作者 赵保华 钱兰 郭雄辉 《电子与信息学报》 EI CSCD 北大核心 2006年第11期2152-2156,共5页
唯一输入输出(UniqueInputOutput)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,... 唯一输入输出(UniqueInputOutput)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,及测试结果中可能的错误转换后的输入/输出消息,从而能高效完全地诊断单个错误。最后用实验数据给出了该文算法和原始算法之间的比较结果。 展开更多
关键词 错误诊断 一致性测试 有限状态机 唯一输入输出
在线阅读 下载PDF
新形势下开展森林防火工作初探——以陕西长青国家级自然保护区为例 被引量:5
3
作者 王健龙 师杜娟 +2 位作者 路晋 王红娟 郭雄辉 《森林防火》 2024年第2期77-80,共4页
结合陕西长青国家级自然保护区森林防火工作现状和面临主要威胁,深入分析当前存在主要问题,并提出建立联防机制,改善基础设施,推进智慧防火,加强森林防火队伍建设和人员培训,强化宣传教育等几点新形势下如何具体优化开展森林防火工作的... 结合陕西长青国家级自然保护区森林防火工作现状和面临主要威胁,深入分析当前存在主要问题,并提出建立联防机制,改善基础设施,推进智慧防火,加强森林防火队伍建设和人员培训,强化宣传教育等几点新形势下如何具体优化开展森林防火工作的对策建议,仅供参考。 展开更多
关键词 森林防火 视频监控 社区联防 队伍建设 宣传教育
在线阅读 下载PDF
蒲公英的歌唱
4
作者 毛云尔 郭雄辉 《艺术评鉴》 2016年第11期188-188,共1页
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部