CN105224736B - 一种基于约束求解的智能电网系统鲁棒性验证方法 - Google Patents
一种基于约束求解的智能电网系统鲁棒性验证方法 Download PDFInfo
- Publication number
- CN105224736B CN105224736B CN201510606520.1A CN201510606520A CN105224736B CN 105224736 B CN105224736 B CN 105224736B CN 201510606520 A CN201510606520 A CN 201510606520A CN 105224736 B CN105224736 B CN 105224736B
- Authority
- CN
- China
- Prior art keywords
- transmission line
- electricity
- constraint
- sat
- failure
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02E—REDUCTION OF GREENHOUSE GAS [GHG] EMISSIONS, RELATED TO ENERGY GENERATION, TRANSMISSION OR DISTRIBUTION
- Y02E60/00—Enabling technologies; Technologies with a potential or indirect contribution to GHG emissions mitigation
Abstract
本发明公开了一种基于约束求解的智能电网系统鲁棒性验证方法。本发明通过模拟输电线路失效的情形,分析每一种输电线路失效的情形下电网是否安全。分析电网是否安全的过程步骤如下:首先构建SAT约束编码,然后由SAT求解器求解,根据求解得到的解构建SMT约束编码,最后通过SMT求解器求解。假如SMT求解器不可解,则重新通过SAT求解器求解一组新的解构建SMT约束编码,直到SAT求解器也不可解。当SAT求解器不可解时,表示该种输电线路失效的情形下电网不安全,当SMT求解器可解,表示该种输电线路失效的情形下,电网安全。本发明能够快速对大规模的电网系统进行完备的鲁棒性验证,有效节约时间和人力成本。
Description
技术领域
本发明涉及电网系统鲁棒性验证。
背景技术
近来,大型智能电网系统的故障事故将如何发现输电网络中的缺陷这个问题带到了大家面前。智能电网系统的设计者和维护者希望有工具能够有效帮其找到输电网络中的问题。这其实是一个缺陷评估问题:对于一个给定的智能电网系统,将其内部小部分输电线路移除后,是否会导致整个系统的故障?这里,我们将被移除的输电网络的边数定义为k,一般情况下,我们会认定k是5以内的。
工业界,一般将这个问题命名为N-k问题。这里N为整个电网系统中输电线路的边数。即给定一个含有N条输电线路的网络,求解在最少破坏多少(k)条线路的情况下整个电网将无法正常工作。N-k问题是极为难以处理的,即使在k很小的情况,单纯的枚举方法也是不实际的,因为需要检查的破坏可能会组合爆炸,一一枚举检查会极为耗时。
发明内容
本发明所要解决的问题是解决电网的N-k问题,判断k值时电网系统是否鲁棒,或者计算电网系统N-k问题中的k值。
为解决上述问题,本发明采用的方案如下:
一种基于约束求解的智能电网系统鲁棒性验证方法,包括如下步骤:
S1:获取电网数据;
S2:遍历模拟输电线路失效的情形,针对每一种输电线路失效的情形,根据电网数据,分析电网是否安全;
所述分析电网是否安全包括以下步骤:
S21:根据该输电线路失效的情形和所述电网数据,构建SAT约束编码F,并初始化约束集T为空;
S22:将所述SAT约束编码F和所述约束集T输入至SAT求解器进行求解;假如SAT求解器能够求得一组解,将这组解作为可行配置输入至步骤S23并执行;假如SAT求解器无解,则认为该输电线路失效的情形下电网不安全,结束对该输电线路失效的情形的处理;
S23:根据所述可行配置和所述电网数据,构建SMT约束编码W;
S24:将所述SMT约束编码W输入至SMT约束求解器进行求解;假如SMT约束求解器可解,则表示所述可行配置能够应对该输电线路失效的情形,该输电线路失效的情形下电网安全,结束对该输电线路失效的情形的处理;假如SMT约束求解器不可解,则将所述可行配置加入至所述约束集T后转步骤S22。
进一步,所述步骤S2中遍历模拟输电线路失效的情形时,输电线路失效数从1开始累加遍历,直到当输电线路失效数为k时存在一种输电线路失效的情形时电网不安全。
进一步,所述步骤S24中,当SMT约束求解器不可解时,还包括:从SMT约束求解器的UC接口获得所述SMT约束编码W中不可满足的最小集合X,根据最小集合X生成相应的SAT约束编码并将其去反之后加入至所述SAT约束编码F中,然后转步骤S22。
进一步,所述电网数据包括电网中站点和输电线路的拓扑关系数据、站点电量数据和输电线路电量数据;所述站点由发电站、变电站和耗电区域组成;所述站点电量数据包括发电站电量数据、耗电区域电量数据;所述发电站电量数据包括最大发电量、最小发电量;所述耗电区域电量数据包括额定耗电量;所述输电线路电量数据包括最大通电量。
进一步,,所述步骤S21中构建的SAT约束编码F=Fg∩FFail∩FOk;其中Fg为站点部分的SAT约束编码,表示为:FFail为输电线路失效部分的SAT约束编码,表示为:FOk为输电线路正常部分的SAT约束编码,表示为:其中,Gi为布尔变量,用于表示第i个站点是否正常工作;Ei为布尔变量,用于表示第i条输电线路是否正常工作;Ng为站点数;Ne为输电线路数;t为输电线路失效数。
本发明的技术效果如下:本发明使用了SAT约束求解和线性SMT约束求解两项技术来判定电网系统的鲁棒性是否能满足预定的要求,同时通过SMT约束求解器获得不可满足的最小集合,然后将这个最小集合转化后加入至SAT约束求解器进行求解以加速整个验证过程。本发明能够快速对大规模的电网系统进行完备的鲁棒性验证,有效节约时间和人力成本。
附图说明
图1是本发明的实施例的电网结构样例图。
具体实施方式
下面结合说明书附图对本发明做进一步详细说明。
本发明用以分析的数据来自智能电网系统的数据库。智能电网系统的数据库保存有各种各样的电网数据。而本发明并不需要其中全部的电网数据,本实施例为此构建了一个简化的电网数据模型。如图1所示,图1是一个构建好的简化的数据模型。该数据模型是由站点和输电线路组成的一个拓扑图。其中站点分成三种:发电站、变电站和耗电区域。发电站在图1中用五角星表示,有三个发电站,分别为站点1、2、3。变电站用长方形表示,站点6为变电站。耗电区域用圆圈表示,站点4和5为两个耗电区域。输电线路连接站点,包括:站点1和6之间的输电线路L16、站点2和6之间的输电线路L26、站点3和6之间的输电线路L36、站点2和4之间的输电线路L24、站点3和5之间的输电线路L35、站点4和5之间的输电线路L45。构建简化的电网数据模型过程也即是前述所指的步骤S1的获取电网数据。步骤S1中的电网数据包括电网中站点和输电线路的拓扑关系数据、站点电量数据和输电线路电量数据。站点电量数据包括发电站电量数据、耗电区域电量数据。发电站电量数据包括最大发电量、最小发电量。耗电区域电量数据包括额定耗电量。输电线路电量数据包括最大通电量。以图1为例,作为发电站的站点1、2、3的最小发电量和最大发电量分别为:(0,10),(8,10),(8,10);作为耗电区域的站点4、5的额定耗电量均为5;输电线路L16、L26、L36、L24、L35、L45的最大通电量和额定电阻分别为:10,3,3,10,10,10。需要说明的是,上述步骤S1中所指的电网数据的“获取”也可以表示为这是本发明的输入,因此,本实施例中构建简化的电网数据模型过程不是必备的,也因此,如何具体构建简化的电网数据模型并不是本发明所讨论的范畴,无需赘述。
步骤S1之后是模拟验证的过程,也就前述步骤S2:遍历模拟输电线路失效的情形,针对每一种输电线路失效的情形,根据电网数据,分析电网是否安全。本实施例中,遍历模拟输电线路失效的情形时,输电线路失效数从2开始累加遍历。也就是输电线路失效数从2开始,3,4,....,逐个遍历。输电线路失效表示该输电线路被破坏无法正常工作。本领域技术人员可以理解,当输电线路失效数为t时,根据对输电线路失效情形的组合,总共有种输电线路失效的情形。其中,Ne为输电线路总数。假如遍历过程终止于输电线路失效数为k时,则总的输电线路失效的情形有种。也就是在分析电网是否安全的步骤中大约需要分析种模拟输电线路失效的情形。分析电网是否安全通过以下步骤实现:
首先步骤S21:根据该输电线路失效的情形和电网数据,构建SAT约束编码F,并初始化约束集T为空。SAT约束编码F为合取范式由三部分组成:站点部分的SAT约束编码Fg、输电线路失效部分的SAT约束编码FFail以及输电线路正常部分的SAT约束编码FOk。SAT约束编码F可表示为:F=Fg∩FFail∩FOk。其中,Gi为布尔变量,用于表示第i个站点是否正常工作;Ng为站点数。
Ei为布尔变量,用于表示第i条输电线路是否正常工作;Ne为输电线路数;t为输电线路失效数。以图1为例,当前模拟输电线路失效的情形为输电线路L16、L26失效,则根据上述定义SAT约束编码F表示为:
上述合取范式中,E16、E26、E36、E24、E35、E45分别为用于表示输电线路L16、L26、L36、L24、L35、L45是否正常工作的布尔变量。
然后将SAT约束编码F和约束集T输入至SAT求解器进行求解。约束集T是SAT求解器对SAT约束编码F的解集,用于使得SAT求解器对SAT约束编码F求解时避免解得约束集T中的结果。SAT求解器,又称SAT约束求解器,用于求解布尔可满足问题(BooleanSatisfiability Problem),为本领域技术人员所熟悉,无需赘述。假如SAT求解器无解,则认为该输电线路失效的情形下电网不安全,结束对该输电线路失效的情形的处理,转对下一种输电线路失效的情形进行处理,直到所有的输电线路失效的情形被遍历。当假如SAT求解器能够解得一组解,该组解是由对应于前述布尔变量Gi和布尔变量Ei的布尔值组成,该组解作为可行配置进行SMT求解。
SMT求解由两个步骤组成。首先是构建SMT约束编码,即步骤S23,根据可行配置和电网数据,构建SMT约束编码W。然后是将SMT约束编码W输入至SMT约束求解器进行求解,以及求解后的结果判断。
SMT约束编码W的定义根据如下规则进行定义:
规则a、发电站的实际发电量在该发电站的最小发电量、最大发电量之间;
规则b、耗电区域的实际耗电量不超过该耗电区域的额定耗电量;
规则c、输电线路的实际通电量不超过该输电线路的最大通电量;
规则d、输电线路的实际电阻不超过该输电线路的额定电阻;
规则e、站点电量的输入输出满足能量守恒定律。
以图1和上述图1中的数据为例,SAT求解器解得的一组可行配置为:{G1=false,G2=false,G3=true,G4=true,G5=true,G6=true,E16=false,E26=false,E36=true,E24=true,E35=true,E45=true}。
G1=false意味着发电站1的实际发电量f1=0;
G2=false意味着发电站2的实际发电量f2=0;
G3=true,根据规则a,有f3≥8和f3≤10;
G4=true,根据规则b,有f4≤5;
G5=true,根据规则b,有f5≤5;
E16=false意味着输电线路L16的实际通电量f16=0;
E26=false意味着输电线路L26的实际通电量f26=0;
E36=true,根据规则c,有输电线路L36的实际通电量f36≤3和f36≥-3;
E24=true,根据规则c,有输电线路L24的实际通电量f24≤10和f24≥-10;
E35=true,根据规则c,有输电线路L35的实际通电量f35≤10和f35≥-10;
E45=true,根据规则c,有输电线路L45的实际通电量f45≤10和f45≥-10;
G1=false,根据规则e,有f16=f1;该约束与前述的f16=0和f1=0重复;
G2=false,根据规则e,有f24+f26=f2;根据f26=0和f2=0简化成:f24=0;
G6=true,根据规则e,有f16+f26+f36=0;根据f16=0和f26=0简化成:f36=0;
G6=true,根据规则e,有f35+f36=f3;根据f36=0简化成:f3=f35;
G4=true,根据规则e,有f24+f54=f4;根据f24=0简化成:f54=f4;
G5=true,根据规则e,有f35+f45=f5;根据f45=-f54、f54=f4、f3=f35简化成:f4+f5=f3;
于是根据可行配置和电网数据,可以得到SMT约束编码W如下:
f1=0;
f2=0;
f3≥8;
f3≤10;
f4≤5;
f5≤5;
f16=0;
f26=0;
f36=0;
f24=0;
f35≤10;
f35≥-10;
f45≤10;
f45≥-10;
f3=f35;
f54=f4;
f4+f5=f3。
将上述SMT约束编码W输入至SMT约束求解器进行求解。SMT约束求解器用于求解Satisfiability Modulo Theories(SMT)可满足性模理论的问题,为本领域技术人员所熟悉,不再赘述。假如SMT约束求解器可解,则表示可行配置能够应对该输电线路失效的情形,该输电线路失效的情形下电网安全,结束对该输电线路失效的情形的处理,转对下一种输电线路失效的情形进行处理,直到所有的输电线路失效的情形被遍历。当假如SMT约束求解器不可解,则将可行配置加入至约束集T,再从SMT约束求解器的UC接口获得所述SMT约束编码W中不可满足的最小集合X,根据最小集合X生成相应的SAT约束编码并将其取反之后加入至之前的SAT约束编码F中,然后转步骤S22重新通过SAT求解器对SAT约束编码F进行求解,期望重新获得一组可行配置进行SMT约束求解。
以图1和上述图1中的数据为例,当输电线路失效数为2时,存在输电线路失效时,SMT约束求解器无解,也就是说,图1示例的电网,N-k问题的k值为2。也就是说本发明的方法可以用来计算N-k问题的k值。显而易见地,上述方法中,假如指定输电线路失效数时,可以用于判断当前输电线路失效数下,电网是否安全。针对某种特定的输电线路失效的情形,本发明可以通过上述过程的求解,可以解得是否存在一种可行配置可以解决当前输电线路失效的情形。
Claims (2)
1.一种基于约束求解的智能电网系统鲁棒性验证方法,其特征在于,该方法包括如下步骤:
S1:获取电网数据;所述电网数据包括电网中站点和输电线路的拓扑关系数据、站点电量数据和输电线路电量数据;所述站点由发电站、变电站和耗电区域组成;所述站点电量数据包括发电站电量数据、耗电区域电量数据;所述发电站电量数据包括最大发电量、最小发电量;所述耗电区域电量数据包括额定耗电量;所述输电线路电量数据包括最大通电量;
S2:遍历模拟输电线路失效的情形,针对每一种输电线路失效的情形,根据电网数据,分析电网是否安全;
所述分析电网是否安全包括以下步骤:
S21:根据该输电线路失效的情形和所述电网数据,构建SAT约束编码F,并初始化约束集T为空;SAT约束编码F=Fg∩FFail∩FOk;其中Fg为站点部分的SAT约束编码,表示为: FFail为输电线路失效部分的SAT约束编码,表示为:FOk为输电线路正常部分的SAT约束编码,表示为:其中,Gi为布尔变量,用于表示第i个站点是否正常工作;Ei为布尔变量,用于表示第i条输电线路是否正常工作;Ng为站点数;Ne为输电线路数;t为输电线路失效数;
S22:将所述SAT约束编码F和所述约束集T输入至SAT求解器进行求解;假如SAT求解器能够求得一组解,将这组解作为可行配置输入至步骤S23并执行;假如SAT求解器无解,则认为该输电线路失效的情形下电网不安全,结束对该输电线路失效的情形的处理;
S23:根据所述可行配置和所述电网数据,构建SMT约束编码W;构建SMT约束编码W时基于规则:
规则a、发电站的实际发电量在该发电站的最小发电量、最大发电量之间;
规则b、耗电区域的实际耗电量不超过该耗电区域的额定耗电量;
规则c、输电线路的实际通电量不超过该输电线路的最大通电量;
规则d、输电线路的实际电阻不超过该输电线路的额定电阻;
规则e、站点电量的输入输出满足能量守恒定律;
S24:将所述SMT约束编码W输入至SMT约束求解器进行求解;假如SMT约束求解器可解,则表示所述可行配置能够应对该输电线路失效的情形,该输电线路失效的情形下电网安全,结束对该输电线路失效的情形的处理;假如SMT约束求解器不可解,从SMT约束求解器的UC接口获得所述SMT约束编码W中不可满足的最小集合X,根据最小集合X生成相应的SAT约束编码并将其去反之后加入至所述SAT约束编码F中,然后转步骤S22。
2.如权利要求1所述的基于约束求解的智能电网系统鲁棒性验证方法,其特征在于,所述步骤S2中遍历模拟输电线路失效的情形时,输电线路失效数从1开始累加遍历,直到当输电线路失效数为k时存在一种输电线路失效的情形时电网不安全。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510606520.1A CN105224736B (zh) | 2015-09-22 | 2015-09-22 | 一种基于约束求解的智能电网系统鲁棒性验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510606520.1A CN105224736B (zh) | 2015-09-22 | 2015-09-22 | 一种基于约束求解的智能电网系统鲁棒性验证方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN105224736A CN105224736A (zh) | 2016-01-06 |
CN105224736B true CN105224736B (zh) | 2018-02-16 |
Family
ID=54993702
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510606520.1A Active CN105224736B (zh) | 2015-09-22 | 2015-09-22 | 一种基于约束求解的智能电网系统鲁棒性验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN105224736B (zh) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105808429A (zh) * | 2016-03-03 | 2016-07-27 | 南京大学 | 一种面向线性约束代码的有界可达性验证方法 |
CN111444112B (zh) * | 2020-04-27 | 2023-12-12 | 南京大学 | 一种基于共享不可行路径池的代码并行验证方法和装置 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20130311812A1 (en) * | 2012-05-21 | 2013-11-21 | International Business Machines | Power Shifting in Multicore Platforms by Varying SMT Levels |
CN104104251A (zh) * | 2014-05-12 | 2014-10-15 | 浙江大学 | 一种基于ssr-kdf的并网逆变器的鲁棒控制方法 |
-
2015
- 2015-09-22 CN CN201510606520.1A patent/CN105224736B/zh active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20130311812A1 (en) * | 2012-05-21 | 2013-11-21 | International Business Machines | Power Shifting in Multicore Platforms by Varying SMT Levels |
CN104104251A (zh) * | 2014-05-12 | 2014-10-15 | 浙江大学 | 一种基于ssr-kdf的并网逆变器的鲁棒控制方法 |
Non-Patent Citations (3)
Title |
---|
A pearl on SAT and SMT solving in Prolog;Jacob M.Howe等;《Theoretical Computer Science》;20120601;第435卷;第43-55页 * |
power system probabilistic and security analysis on commodity high performance computing;Tao Cui等;《HiPCNA-PG"13 proceedings of the 3rd international workshop on high performance computing》;20131122;第1-10页 * |
STL在电网故障诊断遗传算法中的应用研究;兰海等;《应用科技》;20090905;第36卷(第9期);第56-61页 * |
Also Published As
Publication number | Publication date |
---|---|
CN105224736A (zh) | 2016-01-06 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN105354587B (zh) | 一种风力发电机组齿轮箱的故障诊断方法 | |
Xu et al. | Robust transient stability-constrained optimal power flow with uncertain dynamic loads | |
CN103064008B (zh) | 一种基于希尔伯特-黄变换的非线性模拟电路软故障诊断方法 | |
CN103995237A (zh) | 一种卫星电源系统在线故障诊断方法 | |
CN104486169B (zh) | 可重用自动检测及随机验证系统和方法 | |
CN101013452A (zh) | 一种符号化的模型检测方法 | |
CN104037760B (zh) | 一种不确定注入功率的电力系统预想事故选择方法 | |
CN105224736B (zh) | 一种基于约束求解的智能电网系统鲁棒性验证方法 | |
Dhople et al. | A set-theoretic method for parametric uncertainty analysis in Markov reliability and reward models | |
CN110532314A (zh) | 高压电器质量检测的方法及终端设备 | |
Wang et al. | Applying probabilistic collocation method to power flow analysis in networks with wind farms | |
CN104635146B (zh) | 基于随机正弦信号测试和hmm的模拟电路故障诊断方法 | |
Kim et al. | An integrated software testing framework for FPGA-based controllers in nuclear power plants | |
CN104578050B (zh) | 一种电网暂态稳定强相关输电断面的识别方法 | |
Elfaki et al. | Using First Order Logic to Validate Feature Model. | |
CN107562557A (zh) | 基于可满足模理论的故障树的验证、求解系统及其方法 | |
Shukla et al. | Static and dynamic reliability studies of a fast reactor shutdown system using smart component method | |
Ahmed et al. | Design verification enhancement of field programmable gate array-based safety-critical I&C system of nuclear power plant | |
CN103310070A (zh) | 用于三维芯片电源地网络的分层仿真方法 | |
CN105577424A (zh) | 一种基于数据溯源图的数据资产质量监测方法 | |
CN105470949B (zh) | 考虑复杂转供的配电网可靠性评估方法 | |
CN107102543A (zh) | 一种能量路由器抗干扰控制器的形成方法及装置 | |
CN104037756B (zh) | 一种含复杂电力设备模型的电力系统稳定评估方法 | |
CN109635480A (zh) | 一种基于制图软件的控制逻辑验证和调试方法 | |
CN102902509A (zh) | 基于Grünwald-Letnikov定义的高阶逻辑分数阶验证方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |