王永亮 李立生 樊迪 刘 聪 王坦坦

摘  要： 由于传统方法对电压型配电自动化的动作过程的分析缺乏严格的数学定义与模型验证，导致结论保守或者不完备。为了解决这个问题，使用模型检测的方法实现对其动作过程的分析，提出一个用于电压型配电自动化的分析模板，通过时间自动机理论建立形式化模型，并使用模型工具uppaal对其动作过程建模与性质验证。仿真结果能够验证所述模型的活性、正确性和平滑性。通过对模型的科学验证，证明电压型配电自动化在配网自动化建设上具有重要意义。

关键词： 配电自动化; 时间自动机; uppaal; 模型验证; 模型实现过程; 故障隔离

中图分类号： TN99?34; TM76                     文献标识码： A                      文章編号： 1004?373X（2020）03?0138?04

Modeling and simulation of voltage?matched power

distribution automation based on uppaal

WANG Yongliang1， LI Lisheng2， FAN Di2， LIU Cong1， WANG Tantan1

（1. Shandong University of Technology， Zibo 255000， China;

2. State Grid Shandong Electric Power Company Electric Power Research Institute， Jinan 250002， China）

Abstract： Due to the lack of strict mathematical definition and model verification in the analysis of action process of voltage?matched power distribution automation by traditional methods， the conclusions obtained are conservative or incomplete. In view of this， the model detection method is used to analyze the action process. An analysis template for voltage?matched power distribution automation is proposed， which creates a formalized model by the theory of time automata， and performs modeling and property verification for the action process by the modeling tool uppaal. The simulation results can verify the activity， correctness and smoothness of the said model. The scientific verification of the model proves the importance of voltage?matched power distribution automation in the construction of distribution automation.

Keywords： power distribution automation; time automata; uppaal; model detection; model implementation process; fault isolation