[发明专利]基于三状态变量有限状态机的核DCS回溯方法及系统

说明书

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

技术领域

本发明涉及核工业技术领域，具体涉及基于三状态变量有限状态机的核DCS回溯方法及系统。

背景技术

有限状态机是一种具有离散输入输出系统的模型，被广泛应用于不同场景下的控制系统建模，取得了巨大的成功。有限状态机在发展过程中逐渐形成了经典的Moore型和Mealy型两种结构。在一些存在重复状态迁移路径的应用中，使用经典结构的有限状态机会出现状态数量过多、状态迁移路径冗长且维护性差等现象。尤其是在核安全级DCS系统中，进行状态回退和状态回放会非常不便。

发明内容

本发明所要解决的技术问题是现有的有限状态机在核安全级DCS系统中，进行状态回退和状态回放会非常不便，目的在于提供基于三状态变量有限状态机的核DCS回溯方法及系统，解决上述问题。

本发明通过下述技术方案实现：

基于三状态变量有限状态机的核DCS回溯方法，包括以下步骤：

S1：在核安全级系统经典有限状态机的基础上建立记忆态变量模块；所述记忆态变量模块用于存储记忆态变量；所述记忆态变量为有限状态机在现态之前状态的变量；

S2：在核安全级系统进行回溯时，将所述记忆态变量赋值于所述有限状态机的现态变量后根据有限状态机的现态进行回溯。

现有技术中，经典有限状态机中一般具备现态变量和次态变量。现态变量表征有限状态机当前处于的状态，次态变量表征有限状态机下一时刻需要迁移的目标状态。现态变量和次态变量的取值在状态未发生迁移时取值相同；状态发生迁移时刻，二者取值不同；状态迁移结束后二者取值再次相同。这就使得核安全级系统进行状态回溯时，可能需要依赖于其他变量输入，无法准确回溯某一状态。

本发明应用时，发明人创造性的引入了第三个变量，即记忆态变量，记忆态变量为有限状态机在现态之前的状态变量，这样当需要进行回退或者回放时，只需要将记忆变量模块进行记忆态变量的输出，就可以实现上一状态或者更之前状态的回退，并且可以具有回放的功能。本发明引入第三个通用化变量-记忆态变量。在状态即将发生迁移时，现态变量与次态变量取值不同且现态变量即将更新，此时将现态变量值打入一个带使能的寄存器中。该寄存器的输出就是记忆态变量。状态迁移结束后，现态变量与次态变量取值再次相同，记忆态变量取值将长期保持，直到下一次状态迁移动作发生。本发明能够有效的实现对重复迁移路径应用的化简，实现核安全级系统进行状态回溯时，可以快速进行回退和回放操作，并在核安全级DCS中使用时效果良好。

进一步的，步骤S2包括以下子步骤：

将记忆态变量作为所述次态变量的赋值条件或将记忆态变量赋值给次态变量实现将所述记忆态变量赋值于所述有限状态机的现态变量。

进一步的，所述记忆态变量模块包括条件使能模块和寄存器；

所述条件使能模块的条件端接入现态变量和次态变量，所述条件使能模块的使能端接入寄存器，当所述现态变量和次态变量取值不同时，所述条件使能模块的使能端输出使能信号；

当现态变量与次态变量取值不同时，所述有限状态机状态即将发生迁移，所述条件使能模块的使能端输出使能信号，所述寄存器收到使能信号时将现态变量作为记忆态变量进行存储。