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

• 作者: 刘聪 李立生 樊迪 王坦坦 王永亮
• 来源期刊: 现代电子技术
• 关键词: 配电自动化 时间自动机 uppaal 模型验证 模型实现过程 故障隔离
• 年，卷（期）: 2020,（3）
• 所属期刊栏目: 电子技术及应用
• 页码范围: 138-141
• 页数: 4页
• 分类号: TN99-34|TM76
• 语种: 中文
• DOI: 10.16652/j.issn.1004-373x.2020.03.033

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘聪		11	4	1.0	1.0
2	王坦坦		6	1	1.0	1.0
3	樊迪	国网山东省电力公司电力科学研究院	5	3	1.0	1.0
4	李立生	国网山东省电力公司电力科学研究院	11	32	4.0	5.0
5	王永亮		1	0	0.0	0.0