期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于有限状态机的错误诊断算法
被引量:
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
职称材料
题名
基于有限状态机的错误诊断算法
被引量:
3
1
作者
赵保华
钱兰
周颢
郭雄辉
机构
中国科学技术大学计算机科学技术系中国科学院计算机科学重点实验室
出处
《电子与信息学报》
EI
CSCD
北大核心
2006年第9期1679-1683,共5页
基金
国家自然科学基金重大研究计划项目(90104010)
国家自然科学基金项目(60241004)
国家973计划项目(2003CB314801)资助课题
文摘
基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果,并且用一个具体的实例来详细描述本文提出的算法。
关键词
错误诊断
一致性测试
有限状态机
Keywords
Fault diagnosis, Conformance testing, Finite State Machine (FSM)
分类号
TN393.04 [电子电信—物理电子学]
在线阅读
下载PDF
职称材料
题名
基于UIO测试序列的错误诊断算法
被引量:
2
2
作者
赵保华
钱兰
郭雄辉
机构
中国科学技术大学计算机科学技术系
出处
《电子与信息学报》
EI
CSCD
北大核心
2006年第11期2152-2156,共5页
基金
国家自然科学基金重大研究计划项目(90104010)
国家自然科学基金项目(60241004)
+1 种基金
国家973计划项目
中国科学院计算机科学重点实验室基础研究基金资助课题
文摘
唯一输入输出(UniqueInputOutput)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,及测试结果中可能的错误转换后的输入/输出消息,从而能高效完全地诊断单个错误。最后用实验数据给出了该文算法和原始算法之间的比较结果。
关键词
错误诊断
一致性测试
有限状态机
唯一输入输出
Keywords
Fault diagnosis, Conformance testing, Finite slate machine, Unique Input Output(UIO)
分类号
TN915.04 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
新形势下开展森林防火工作初探——以陕西长青国家级自然保护区为例
被引量:
5
3
作者
王健龙
师杜娟
路晋
王红娟
郭雄辉
机构
陕西长青国家级自然保护区管理局
出处
《森林防火》
2024年第2期77-80,共4页
基金
国家林业和草原科学普及项目(2022133305)。
文摘
结合陕西长青国家级自然保护区森林防火工作现状和面临主要威胁,深入分析当前存在主要问题,并提出建立联防机制,改善基础设施,推进智慧防火,加强森林防火队伍建设和人员培训,强化宣传教育等几点新形势下如何具体优化开展森林防火工作的对策建议,仅供参考。
关键词
森林防火
视频监控
社区联防
队伍建设
宣传教育
Keywords
Forest fire prevention
Video monitoring
Community joint defense
Team building
Publicity and education
分类号
S762.3 [农业科学—森林保护学]
在线阅读
下载PDF
职称材料
题名
蒲公英的歌唱
4
作者
毛云尔
郭雄辉
出处
《艺术评鉴》
2016年第11期188-188,共1页
分类号
J [艺术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于有限状态机的错误诊断算法
赵保华
钱兰
周颢
郭雄辉
《电子与信息学报》
EI
CSCD
北大核心
2006
3
在线阅读
下载PDF
职称材料
2
基于UIO测试序列的错误诊断算法
赵保华
钱兰
郭雄辉
《电子与信息学报》
EI
CSCD
北大核心
2006
2
在线阅读
下载PDF
职称材料
3
新形势下开展森林防火工作初探——以陕西长青国家级自然保护区为例
王健龙
师杜娟
路晋
王红娟
郭雄辉
《森林防火》
2024
5
在线阅读
下载PDF
职称材料
4
蒲公英的歌唱
毛云尔
郭雄辉
《艺术评鉴》
2016
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部