基于uppaal的电压型配电自动化建模与仿真

摘要：

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

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

所属期刊栏目：43

分类号：TN99-34;TM76

资助基金：国家电网公司科技项目资助520626160010,520626160011,520626180061,520626170033

在线出版日期：2020-04-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：138-141