[发明专利]模糊故障Petri网及其网络故障诊断方法

权利要求书

1.一种模糊故障Petri网，其特征在于：包括如下一个11元组：

Σ＝(S,T,F,D,G,w,η,θ,γ,M₀,H)

其中：

S：S＝{s₁,s₂,s₃,…s_n}为库所集；

T：T＝{t₁,t₂,t₃,…t_m}为变迁集；

F：F为流关系集合；

D：S→{0,1}为FFPN的容量函数；

G：G＝{g₁,g₂,…,g_n}为有限的命题集合；

w：T→[0,1]为函数。

η：S→[0,1]是库所S的关联函数；

θ：S→G，是一个库所到命题的关联函数；

γ：T→[0,1]为变迁的阈值映射；

M₀：初始标识；

H：长度为2的数组。

2.根据权利要求1所述的模糊故障Petri网，其特征在于：所述变迁集合与库所集合满足如下条件：两种不同的元素变迁与库所至少有其一。

3.根据权利要求1所述的模糊故障Petri网，其特征在于：所述流关系集合与变迁集合、库所集合之间的关系为：

F⊆(S×T)▿(T×S),dom(F)∪cod(F)=S∪T,]]>

其中，

cod(F)={s∈S∪T|∃t∈S∪T:(t,s)∈F}.]]>

4.根据权利要求1所述的模糊故障Petri网，其特征在于：所述有限的命题集合与变迁集合、库所集合之间的关系为：

5.一种根据权利要求1至4任一项所述模糊故障Petri网的网络故障诊断方法，其特征在于：

假设s_i为网络故障的主要因素，每个因素的状态由库所对应命题g_i来表示，真实度为η(s_i)，如果目标库所表示以太网出现故障，初始库所为网络使用过程中网络出现故障的致因因素，t_i表示事件，置信度u_i表示t_i发生的可能性，具体诊断方法包括以下步骤：

步骤1、如果s_i∈S是网络发生故障的各个原因，那么M(s_i)＝1，否则为0，i＝1,…,n；

步骤2、设一个库所s₀，全部库所s_i，如果M(s_i)＝1，则s₀和s_i间加入变迁t，^·t＝s₀，t^·＝s_i，η(s₀)＝1；

步骤3、令H(s₀)＝[0,1]，库所s₀被标注未被查看；

步骤4、已被标注未被查看库所s_i与相邻库所s_j，如果s_i∈^·t_ij，s_j∈t_ij^·，则：

如果η(s_i)>γ(t_ij)，则：令H(s_j)＝[s_i,η(s_j)]，将s_j标注，η(s_j)＝η(s_i)×u(t_ij)；

如果|^·t_ij|＝n,n≥2,当η(s_i)>γ(t_ij)，i＝1，2，…，n时，则：H(s_j)＝[s_i,η(s_j)]，η(s_j)＝min[η(s₁),η(s₂),…,η(s_j)]×u(t_ij)；

如果η(s_i)≤γ(t_ij)，则：s_j不进行标注，H(s_i)＝[0,η(s_i)]。

如果s_j已被标注，则：新H值H’(s_j)与旧H值H(s_j)中第二个元素比较，η’(s_j)和η(s_j)取较大者；

步骤5、如果s_i已被查看，重复执行步骤4，直到所有s都被查看；

步骤6、依据目标库所H值第一元素逆向回溯找到传播路径，此路径上的命题即为网络故障的主要因素。