论文部分内容阅读
微电网是指由分布式电源、储能装置、能量转换装置、相关负荷监控、保护装置汇集而成的小型发配电系统。微电网的产能组件是微电网的重要组成部分,由于电源分布具有一定的随机性且电源的稳定性和时间相关联,致使微电网的在不同运行方式和场景下的供电可靠性存在差异。因此为了提高微电网的供电可靠性,亟须要对微电网产能组件建立一个稳定可靠的模型以保证微电网供电的可靠性。从微电网为实时控制系统的角度出发,通过分析光伏、风力发电等分布式电源建立相应的数学模型,将UPPAAL对实时系统建模方法引入微电网产能组件的建模之中,建立