-
题名故障检测的Petri网模型与Petri网故障进程
被引量:1
- 1
-
-
作者
张继军
李小青
董卫
-
机构
山东农业大学信息科学与工程学院
兰州大学信息科学与工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2014年第9期2029-2033,共5页
-
基金
国家自然科学基金项目(61170079
60903099)资助
-
文摘
Petri网进程是分析网系统运行规律的有力工具,能够准确的模拟系统的动态运行过程,且能反映故障传播的固有特性.分析故障在Petri网进程中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网进行扩展,提出了带输入输出的Petri网和故障检测的Petri网模型,为了描述该类Petri网的动态行为特征,给出了Petri网故障进程、2-进程以及故障检测进程的定义和构造方法;然后,基于故障检测进程给出了故障检测和故障定位的检测方法;最后采用该方法,给出了时序电路故障检测应用实例.
-
关键词
带输入输出的petri网
故障检测petri模型
petri网2-进程
petri网故障进程
-
Keywords
petri net with input and output
petri net for fault detection
2-process of petri net
petri net fault process
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于PETRI网递阶监控器的间歇过程故障诊断
被引量:2
- 2
-
-
作者
刘振娟
李宏光
吴重光
-
机构
北京化工大学信息科学与技术学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第5期1495-1497,共3页
-
基金
北京市重点学科基金(XK100100435)
-
文摘
基于混杂系统理论的Petri网递阶监控器设计方法,对间歇过程的故障传播和诊断进行了研究,建立了具有两层递阶结构的Petri网故障诊断系统,上层采用赋时Petri网协调间歇时序操作步骤,下层采用混合模糊Petri网进行故障监测和诊断。针对一个实验级应用例子建立了故障传播和诊断的混合模糊Petri网模型,实验和仿真结果表明了方案的可行性和有效性。
-
关键词
间歇过程
故障诊断
petri网
递阶监督
-
Keywords
batch process
fault diagnosis
petri net
hierarchical supervision
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名炼化过程故障传播路径的不确定并行推理方法研究
被引量:2
- 3
-
-
作者
蔡爽
张来斌
胡瑾秋
-
机构
中国石油大学(北京)机械与储运工程学院
-
出处
《中国安全科学学报》
CAS
CSCD
北大核心
2014年第11期116-121,共6页
-
基金
国家自然科学基金资助(51104168)
北京市自然科学基金资助(3132027)
+3 种基金
教育部新世纪优秀人才支持计划项目(NCET-12-0972)
中国石油大学(北京)科研基金资助(YJRC-2013-35)
北京市优秀博士学位论文指导教师科技项目(YB20111141401)
中国石油化工股份有限公司科学研究与技术开发项目(P14004)
-
文摘
为有效抑制炼化过程故障传播,基于模糊Petri网(FPN)的基本原理,采用FPN网建立炼化过程故障传播模型。对每次发生变迁的各故障库所进行不确定并行推理,将每次变迁发生后所得故障发生概率的最大值作为其后集库所对应命题成立的可信度,故障依次向可信度值最大的后集库所传播,通过故障的前后集关系得出最可能的故障传播路径。将此方法应用于典型炼化过程的常压塔装置。结果表明,引起常压塔故障的最可能传播路径为:进料温度异常—常压塔塔底温度异常—产品质量不合格—常压塔故障。在该路径中的常压塔底部设置温度报警器,进行重点监控,便能保证炼化过程安全可靠进行。
-
关键词
炼化过程
模糊petri网(FPN)
故障推理
故障传播
可信度
-
Keywords
refinery process
fuzzy petri net (FPN)
fault reasoning
fault propagation
reliability
-
分类号
X937
[环境科学与工程—安全科学]
-
-
题名一种高可用异构容错系统的混合可用性模型
- 4
-
-
作者
孙健
董小社
张兴军
-
机构
西安交通大学电子与信息工程学院
-
出处
《科学技术与工程》
北大核心
2015年第30期40-44,57,共6页
-
基金
国家"863计划"项目(2008AA01A202)资助
-
文摘
为解决高可用异构容错系统的可用性评价问题,提出了一种针对高可用异构容错系统的混合可用性评价模型。设计实现异构容错原型系统,包括硬件体系结构框架及软件系统。采用Markov过程与随机Petri网相结合的方式,从可用性量化和系统状态转换两方面构建系统的可用性模型。根据该可用性模型估算系统的高可用指标,并与同构及非容错单机系统进行比较分析。结果表明,该可用性模型能够对异构容错系统进行准确的可用性评价,验证了系统5个9的高可用指标要求。最后总结了影响系统高可用性的主要因素及提升系统可用性的有效方法。
-
关键词
异构
容错
可用性
MARKOV过程
随机petri网
-
Keywords
heterogeneous
fault-tolerant
availability
Markov process
stochastic petri net
-
分类号
TP302.7
[自动化与计算机技术—计算机系统结构]
-