一种形式化验证方法、系统、装置及计算机可读存储介质

    公开(公告)号:CN114186426A

    公开(公告)日:2022-03-15

    申请号:CN202111527847.1

    申请日:2021-12-14

    摘要: 本发明公开了一种形式化验证方法、系统、装置及计算机可读存储介质,属于电力能源领域,包括如下步骤:根据应用场景的用能需求,确定能源综合服务站的功能定位、组合元素,构建能源综合服务站的供能模型;建立能源综合服务站运行管控模型,通过分析上传的运行数据以及控制能源站内部各设备的运行状态,使能源综合服务站满足实时的功率平衡需求;通过所述供能模型、能源综合服务站运行管控模型,对规划的能源综合服务站信息物理系统使用形式化方法验证,计算其运行时非正常状态的次数、发生时刻以及持续时间,从而修正能源综合服务站与监控系统规划时出现的错误。解决了现有能源综合服务站规划方案存在局限性、可靠性差的技术问题。

    一种能源互联网CPS韧性调度方法、系统及其存储介质

    公开(公告)号:CN114221901B

    公开(公告)日:2024-02-20

    申请号:CN202111399997.9

    申请日:2021-11-19

    摘要: 本发明公开了一种考虑极端事件的能源互联网CPS韧性调度方法、系统及其存储介质,包括如下步骤:基于图论理论和Floyd算法,运用邻接矩阵和出度、入度的等式关系,确定电力通信网边与节点的模型关系;基于最优切负荷算法,评估通信节点重要性指标;确定通信业务的重要度;根据通信节点重要性指标、通信业务的重要度、通信链路可靠性评估指标与电力通信网络综合费用,建立电力通信网双层协同优化模型,进行极端事件下能源互联网CPS韧性路由调度。本发明利用该模型保障在极端事件影响下,重要通信节点所必需的重要通信业务分配到更加可靠的通信链路上,以提升电力系统韧性,解决了现(56)对比文件朱国威.基于复杂网络理论的电力CPS连锁故障建模及分析《.中国优秀硕士学位论文全文数据库》.2020,全文.Shutan Wu;Guojing Liu;Zhengping Gao;Jing Shi;Yi Ge;Qi Wang.A ResilientScheduling Scheme for Power CommunicationNetworks Considering Extreme Events《.AResilient Scheduling Scheme for PowerCommunication Networks ConsideringExtreme Events》.2021,全文.