摘要

为了解决故障建模中如何较好地描述故障状态变化过程的问题,定义了带有激发矩阵的故障Petri网,对库所、变迁、激发矩阵、理想激发矩阵以及激发时间作了有别于传统Petri网的定义;将系统故障解释为源库所故障或者变迁的激发功能故障;依据变迁及其外延的一般形式,给出了故障Petri网的激发矩阵分析方法,由此提出了一种故障诊断算法。以某电源系统为例,设计实验对所提出的故障诊断算法进行验证,结果表明算法能够有效、可靠地诊断出系统故障。

全文