论文部分内容阅读
目前我国智能配电网自愈需要在大范围的分布式控制系统操纵下实现优化,在这种基础下,形式化校验技术能够在目前智能配电网系统中实现逻辑控制以及验证的双重作用力,通过介绍形式化校验技术的工作原理,解析智能配电网自愈技术的发展,了解形式化校验技术在智能配电网自愈中的故障警示、故障具体诊断、解决算法与模型认证中的应用作用。文章中所涉及到的形式化校验主要以智能分布式自动化算法为例。