%0 Journal Article
%T 基于UPPAAL的微电网产能组件建模方法
%A 姜 科
%A 张光兰
%A 洪 玫
%A 赵 鹤
%J 软件工程
%D 2018
%X 摘 要: 微电网是指由分布式电源、储能装置、能量转换装置、相关负荷监控、保护装置汇集而成的小型发配电 系统。微电网的产能组件是微电网的重要组成部分，由于电源分布具有一定的随机性且电源的稳定性和时间相关联，致 使微电网的在不同运行方式和场景下的供电可靠性存在差异。因此为了提高微电网的供电可靠性，亟须要对微电网产能 组件建立一个稳定可靠的模型以保证微电网供电的可靠性。从微电网为实时控制系统的角度出发，通过分析光伏、风力 发电等分布式电源建立相应的数学模型，将UPPAAL对实时系统建模方法引入微电网产能组件的建模之中，建立起来 了微电网光伏电源、风力电源、水力电源的模型。最后通过将建立的模型的仿真结果与基于电磁暂态仿真软件PSCAD/ EMTDC的仿真结果对比，证明了该建模方法的正确性，同时建立的模型也能够更加准确的反应实时系统的真实情况。 该成果可以用于微电网可靠性的自动化验证工作。
%K 微电网
%K 组件建模
%K 微电网建模
%K 产能组件
%K 形式化验证
%U http://www.rjgczz.com/ch/reader/view_abstract.aspx?file_no=20181001&flag=1