基于UPPAAL的微电网产能组件建模方法

来源期刊：软件工程2018年第10期

论文作者：姜科 洪玫 赵鹤 张光兰

文章页码：1 - 6

关键词：微电网;组件建模;微电网建模;产能组件;形式化验证;

摘    要：微电网是指由分布式电源、储能装置、能量转换装置、相关负荷监控、保护装置汇集而成的小型发配电系统。微电网的产能组件是微电网的重要组成部分,由于电源分布具有一定的随机性且电源的稳定性和时间相关联,致使微电网的在不同运行方式和场景下的供电可靠性存在差异。因此为了提高微电网的供电可靠性,亟须要对微电网产能组件建立一个稳定可靠的模型以保证微电网供电的可靠性。从微电网为实时控制系统的角度出发,通过分析光伏、风力发电等分布式电源建立相应的数学模型,将UPPAAL对实时系统建模方法引入微电网产能组件的建模之中,建立起来了微电网光伏电源、风力电源、水力电源的模型。最后通过将建立的模型的仿真结果与基于电磁暂态仿真软件PSCAD/EMTDC的仿真结果对比,证明了该建模方法的正确性,同时建立的模型也能够更加准确的反应实时系统的真实情况。该成果可以用于微电网可靠性的自动化验证工作。