- 专利标题: 基于三状态变量有限状态机的核DCS回溯方法及系统
-
申请号: CN202011301111.8申请日: 2020-11-19
-
公开(公告)号: CN112363869A公开(公告)日: 2021-02-12
- 发明人: 马权 , 罗琦 , 赵洋 , 余波 , 刘明星 , 汪亨 , 张文帅 , 蒋维 , 魏荣超 , 陈达其 , 吴延群
- 申请人: 中国核动力研究设计院
- 申请人地址: 四川省成都市双流区长顺大道一段328号
- 专利权人: 中国核动力研究设计院
- 当前专利权人: 中国核动力研究设计院
- 当前专利权人地址: 四川省成都市双流区长顺大道一段328号
- 代理机构: 成都行之专利代理事务所
- 代理商 张超
- 主分类号: G06F11/14
- IPC分类号: G06F11/14 ; G06F9/448 ; G06F12/0897
摘要:
本发明公开了基于三状态变量有限状态机的核DCS回溯方法,包括以下步骤:S1:在核安全级系统经典有限状态机的基础上建立记忆态变量模块;所述记忆态变量模块用于存储记忆态变量;所述记忆态变量为有限状态机在现态之前状态的变量;S2:在核安全级系统进行回溯时,将所述记忆态变量赋值于所述有限状态机的现态变量后根据有限状态机的现态进行回溯。本发明还公开了基于三状态变量有限状态机的核DCS回溯系统。本发明基于三状态变量有限状态机的核DCS回溯方法及系统,能够有效的实现对重复迁移路径应用的化简,实现核安全级系统进行状态回溯时,可以快速进行回退和回放操作,并在核安全级DCS中使用时效果良好。
公开/授权文献
- CN112363869B 基于三状态变量有限状态机的核DCS回溯方法及系统 公开/授权日:2022-03-01