基于三状态变量有限状态机的核DCS回溯方法及系统
摘要:
本发明公开了基于三状态变量有限状态机的核DCS回溯方法,包括以下步骤:S1:在核安全级系统经典有限状态机的基础上建立记忆态变量模块;所述记忆态变量模块用于存储记忆态变量;所述记忆态变量为有限状态机在现态之前状态的变量;S2:在核安全级系统进行回溯时,将所述记忆态变量赋值于所述有限状态机的现态变量后根据有限状态机的现态进行回溯。本发明还公开了基于三状态变量有限状态机的核DCS回溯系统。本发明基于三状态变量有限状态机的核DCS回溯方法及系统,能够有效的实现对重复迁移路径应用的化简,实现核安全级系统进行状态回溯时,可以快速进行回退和回放操作,并在核安全级DCS中使用时效果良好。
0/0