期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于λ-free Petri网的离散事件系统可诊断性验证方法
1
作者
满育冰
霍翊茗
+1 位作者
董亮
冉宁
《河北大学学报(自然科学版)》
2025年第6期582-589,共8页
离散事件系统(discrete event systems,DES)在运行中易发生故障,因此研究故障诊断方法对于保障系统安全稳定运行至关重要.系统可诊断性验证是DES故障诊断的研究内容之一,其目的是判断故障发生后能否在有限长度的观测序列内被检测出来.因...
离散事件系统(discrete event systems,DES)在运行中易发生故障,因此研究故障诊断方法对于保障系统安全稳定运行至关重要.系统可诊断性验证是DES故障诊断的研究内容之一,其目的是判断故障发生后能否在有限长度的观测序列内被检测出来.因此,针对该问题,提出一种基于λ-free Petri网的DES可诊断性验证方法.首先构建了λ-free Petri网模型,将故障建模为不可观变迁;其次基于原始模型和其无故障子网构建一个验证网;最后绘制验证网的可达性图,提出可诊断性验证方法.实验结果表明,该方法显著提升了DES故障可诊断性的验证能力,有效增强了DES在实际应用中的可靠性.
展开更多
关键词
Petri网
离散事件系统
可诊断性
在线阅读
下载PDF
职称材料
题名
一种基于λ-free Petri网的离散事件系统可诊断性验证方法
1
作者
满育冰
霍翊茗
董亮
冉宁
机构
河北大学电子信息工程学院
出处
《河北大学学报(自然科学版)》
2025年第6期582-589,共8页
基金
国家自然科学基金项目(62373132),河北省自然科学基金项目(F2025201023),石家庄市驻冀高校基础研究项目(241791367A),河北大学优秀青年科研创新团队建设项目(QNTD202411),河北大学多学科交叉研究计划项目(DXK202409)。
文摘
离散事件系统(discrete event systems,DES)在运行中易发生故障,因此研究故障诊断方法对于保障系统安全稳定运行至关重要.系统可诊断性验证是DES故障诊断的研究内容之一,其目的是判断故障发生后能否在有限长度的观测序列内被检测出来.因此,针对该问题,提出一种基于λ-free Petri网的DES可诊断性验证方法.首先构建了λ-free Petri网模型,将故障建模为不可观变迁;其次基于原始模型和其无故障子网构建一个验证网;最后绘制验证网的可达性图,提出可诊断性验证方法.实验结果表明,该方法显著提升了DES故障可诊断性的验证能力,有效增强了DES在实际应用中的可靠性.
关键词
Petri网
离散事件系统
可诊断性
Keywords
Petri net
discrete event systems
diagnosability
分类号
TP11 [自动化与计算机技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于λ-free Petri网的离散事件系统可诊断性验证方法
满育冰
霍翊茗
董亮
冉宁
《河北大学学报(自然科学版)》
2025
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
