[发明专利]一种稳定控制装置动作逻辑的有限状态机建模方法、装置及存储介质

说明书

本发明公开了一种稳定控制装置动作逻辑的有限状态机建模方法、装置及存储介质，所述方法包括：建立稳定控制装置动作逻辑与有限状态机之间的映射关系；依据稳定控制装置动作过程对稳定控制装置的状态进行归纳；依据所建立的映射关系及所归纳的稳定控制装置的状态配置有限状态机的状态迁移逻辑及执行动作。本发明实现了稳控策略表与稳定控制装置控制软件的解耦，便于软件的编制和测试，减少了稳定控制工程的二次开发工作量，从而极大地提高了工程实施的整体效率；采用有限状态机开发的核心逻辑，只要状态图设计正确并通过验证，就能保证代码逻辑的正确性，具有更高的可靠性。

技术领域

本发明涉及一种稳定控制装置动作逻辑的有限状态机建模方法、装置及存储介质，属于嵌入式计算机系统技术领域。

背景技术

区域稳定控制是确保电力系统安全稳定运行的重要手段。控制决策的实现方式一般分为3类：①离线预决策，实时匹配；②在线预决策，实时匹配；③实时计算，实时控制。无论何种方式，控制策略表都是控制的基本依据，稳定控制装置是策略实施的主体，运行方式的识别、扰动状态的判别以及策略搜索、匹配和实施是稳定控制装置的核心内容。

整个稳定控制工程中，控制策略是相对易变的部分。运行部门要经常根据电网运行方式和结构的变化进行稳定分析计算和策略表的更新，稳定控制装置的策略搜索软件也要进行相应的二次开发，稳定控制系统能否按照既定策略正确实施控制，其关键是稳定控制装置中的策略搜索匹配软件流程是否正确、逻辑是否严密，这通常都会涉及大量的编程、测试和验证工作，系统越复杂，问题就越突出。

区域电网安全稳定控装置部署完成后，二次开发工作主要集中在以下2个方面：①策略表的制定。利用电力系统专业工具对电网进行仿真和稳定分析计算，预想多种可能的故障场景，包括运行方式、断面潮流和故障状态等，反复验证稳定控制措施如切机、切负荷或解列等对维护电网稳定的效果，并得到最终的控制策略表。②策略表搜索匹配软件的编制和测试。策略表搜索匹配是根据既定的策略表编写稳定控制装置软件，该软件通过对故障场景的识别，对照策略表的相应条目进行搜索和匹配，获得对应的控制措施并实施，软件编制完成后，研发、工程和用户要进行一系列测试，发现软件中的漏洞并进行修改，现场投运前还要按照策略表进行最后测试。稳定控制工程实施过程中，策略表若需修改或调整，上述过程就要重新进行，而策略表的修订在整个工程中时有发生，随着电力系统规模的扩大、策略复杂性的提高以及投运装置数量的增加，稳定控制工程的二次开发工作面临巨大的挑战。

发明内容

本发明实施例的目的在于克服现有技术中的不足，提供一种稳定控制装置动作逻辑的有限状态机建模方法、装置及存储介质，能够提高稳定控制装置控制软件的开发效率和可靠性。

第一方面，本发明实施例提供了一种稳定控制装置动作逻辑的有限状态机建模方法，所述方法包括如下步骤：

建立稳定控制装置动作逻辑与有限状态机之间的映射关系；

依据稳定控制装置的动作过程对稳定控制装置的状态进行归纳；

依据所建立的映射关系及所归纳的稳定控制装置的状态配置有限状态机的状态迁移逻辑及执行动作。

结合第一方面，进一步的，所述有限状态机由五元组M＝(Q,Σ,δ,q₀,Λ)组成；

其中，Q＝{q₀,q₁,…,q_n}表示有限状态的集合，q_n表示有限状态机在第n种状态下状态变量集合；

Σ＝{σ₁,σ₂,…,σ_n}表示可输入的变量及其取值；σ_n表示有限状态机在第n种状态下输入变量的集合；

δ:Q×Σ→Q表示状态转移函数；

q₀∈Q表示初始状态；