Formal Specification And Application Of Istribution Network Topology

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.