[发明专利]有异常状态信息的有限状态自动机中故障事件序列的表示方法

权利要求书

1.有异常状态信息的有限状态自动机中故障事件序列的表示方法，其特征在于，包括如下步骤：

S1，标记集合，加入相关事件：对于给定的系统自动机以及自动机中的异常状态信息，根据条件找到相应状态，并为每个状态标记一个事件集合，将状态所对应的相关事件加入其中；所述给定系统的确定性有限状态自动机表达式为：

G＝(X，E，δ，X₀，X_m)，

其中，X为有限状态集，E为有限事件集，δ：X×E→X为状态转移方程，将状态转移方程拓展为对一个事件序列的状态转移，即δ：X×E^*→X，其中E^*表示基于E的所有有限事件序列的集合，为初始状态，为标记状态；

S2，迭代探索：以迭代的方式根据当前状态所标记的事件集合以及相对应的变动公式对自动机进行探索；

S3，迭代探索中标记：在探索过程中，标记出一些基本事件序列，将其整合到同一集合中，同时找到系统自动机中所有不包含异常状态的环以及各个环所对应的初始状态集；即：基于事件序列s、与s相对应的事件集和系统自动机G进行迭代探索，并以基本事件序列和环事件序列的相关定义进行记录；

S4，完善环事件序列集：基于已找到的环事件序列集及相应的环初始状态集，进行环与环之间的初步整合后，利用一个迭代方法完成对环事件序列集的最终完善；即，针对每一个环初始状态x∈X^C，初始化一个用于记录更新的环事件序列集合基于起始于x的任何一个环事件序列s∈C^x，将其他环事件序列插入；随后，逐步迭代更新，直至与每个环相对应的事件序列集合收敛；

S5：结果输出：遍历基本事件序列集合S_f中的所有基本事件序列，基于每个环所对应的初始状态，将完善后的环事件序列集插入已找到的所有基本事件序列中，即可得到最终该自动机的全部故障事件序列的有限一般表示S_F。

2.如权利要求1所述的有异常状态信息的有限状态自动机中故障事件序列的表示方法，其特征在于：所述步骤S1中，初始化基本事件序列集合为空集，即其中，2^E表示所有事件序列的集合；并针对每一个状态x∈X，初始化一个与之相对应的事件集为空集，即对任何可到达异常状态的状态x′，即将系统在该状态下所有可能发生的事件加入集合中，即对任意e∈E，若δ(x′，e)＝x′有定义，则