摘要
由于传统方法对电压型配电自动化的动作过程的分析缺乏严格的数学定义与模型验证,导致结论保守或者不完备。为了解决这个问题,使用模型检测的方法实现对其动作过程的分析,提出一个用于电压型配电自动化的分析模板,通过时间自动机理论建立形式化模型,并使用模型工具uppaal对其动作过程建模与性质验证。仿真结果能够验证所述模型的活性、正确性和平滑性。通过对模型的科学验证,证明电压型配电自动化在配网自动化建设上具有重要意义。
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.
作者
王永亮
李立生
樊迪
刘聪
王坦坦
WANG Yongliang;LI Lisheng;FAN Di;LIU Cong;WANG Tantan(Shandong University of Technology,Zibo 255000,China;State Grid Shandong Electric Power Company Electric Power Research Institute,Ji’nan 250002,China)
出处
《现代电子技术》
北大核心
2020年第3期138-141,共4页
Modern Electronics Technique
基金
国家电网公司科技项目资助（520626160010,520626160011,520626180061,520626170033）
关键词
配电自动化
时间自动机
UPPAAL
模型验证
模型实现过程
故障隔离
power distribution automation
time automata
uppaal
model detection
model implementation process
fault isolation
