【作者】 黄玉辉；

【导师】 刘东；

【作者基本信息】 上海交通大学 ， 电力系统及其自动化， 2013， 博士

【摘要】 随着智能电网领域的不断扩展，电力系统公共信息模型（CommonInformation Model，CIM）作为电力系统的标准逐渐被认可；基于CIM的电气网络拓扑结构分析简化对于提升电力计算分析效率具有显著的效果和意义。区别于输电网拓扑分析过程，配电网拓扑分析需要基于变化的拓扑结构，并且由于网络结构复杂、设备种类繁多，需要用系统的逻辑语言和数学公式对配电网拓扑分析的应用过程进行严格说明和推理。为保证配电网拓扑分析应用逻辑的严密性，本文运用具有严格数学定义的形式化方法对不可观测区域确定，分支线收缩以及电气岛划分三项典型应用的核心逻辑进行规格，并采用定理证明或模型检测的方式进行形式化验证。以经过形式化表达和校验的拓扑分析应用逻辑为基础编写的配电网高级应用程序，从理论上满足配电网系统分析的完备性和准确性需求，具体工作如下：1)基于不可观测岛的核心判断逻辑，提出适用于存在较多缺失信息配电网的状态估计实用算法；2)基于分支线收缩核心算法逻辑，提出应用于配电网转供能力计算的网络拓扑变换模型，实现转供能力快速计算；3)基于最小供电区域划分逻辑，完成包含转供能力在内的配电网多目标重构优化并行系统设计。通过实验室仿真以及实际区域电网数据测试，论证了拓扑分析的形式化方法对配电网应用程序逻辑转换与推理检验抽象方法的正确性。基于拓扑分析的可观测区域确定、初始解空间优化、电气拓扑岛拆分策略，对配电网状态估计算法适应性、智能算法优化效率、并行处理加速比的提升有显著作用。更多还原

【Abstract】 Common Information Model (CIM) is gradually being recognized as thestandard of the power system with the development of the smart grid.CIM-based topology analysis of the power network has a significant effect onimproving the calculation and analysis efficiency. Different from transmissionnetwork, topological analysis of distribution network is based on the networktopology changes. It is essential that systematic logical language andmathematical formula should be applied to strict instructions and reasoning oftopological analysis application process due to the complexity of the networkstructure and the wide range of the equipment.The formal method with strict mathematic definition is applied to thespecification of the core logic of distribution network unobservable areadetermination, the branch line contraction and distribution network partition. Inaddition, the verification method with theorem or model checking is employedin this paper, which ensures the rigor in the application logic of the distributionnetwork topological analysis. The application softwares of the distributionnetwork are created on the basis of the application logic for topological analysisvia formal specification and verification, which guarantees the accuracy andcompleteness of the requirements analysis and functions implementation of thedistribution network.The main contents are described as follows: 1) Based on the core Judgment logic of unobservable island, the stateestimation algorithm of distribution network which has more missing message isproposed.2) Based on the core logic of the branch line contraction algorithm, thenetwork topology transformation model applied to distribution network loadtransfer capability (LTC) calculation is proposed. The quick calculation of LTCis realized.3) Based on the logic of minimum power supply area division, the systemdesign for distribution network parallel calculation of multipurpose partition andoptimization is realized. Besides, the system is one that is capable of LTCcalculation.It is demonstrated that the formal method for topological analysis could beapplied to logic transformation of distribution network software by means ofsimulation and the data tests on actual grid. The validity of abstract reasoningmethod is verified simultaneously. The adaptability of the algorithm fordistribution network state estimation, the optimization of the initial solutionspace and the speedup of parallel processing have been greatly enhanced by thestrategies of distribution network unobservable area determination, the initialsolution space optimization and distribution network partition which are basedon topological analysis.更多还原