基于反例制导的电网拓扑N-k问题研究及技术拓展
| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 1 绪论 | 第13-23页 |
| 1.1 电网系统及其背景 | 第13-15页 |
| 1.2 研究现状 | 第15-19页 |
| 1.2.1 复杂系统质量保证 | 第15-17页 |
| 1.2.2 基于形式化方法的电网N-k问题分析 | 第17-19页 |
| 1.3 本文工作 | 第19-20页 |
| 1.4 论文结构 | 第20-23页 |
| 2 背景知识 | 第23-31页 |
| 2.1 电网系统的线性电流模型 | 第23-25页 |
| 2.2 SAT技术 | 第25-26页 |
| 2.3 SMT技术 | 第26-28页 |
| 2.4 LP技术 | 第28页 |
| 2.5 ⅡS技术 | 第28-29页 |
| 2.6 本章小节 | 第29-31页 |
| 3 面向N-k问题的整体SMT编码方案 | 第31-43页 |
| 3.1 N-k问题定义 | 第31-33页 |
| 3.2 面向N-k问题的整体SMT编码方案 | 第33-40页 |
| 3.2.1 电网模型物理特性SMT编码 | 第33-36页 |
| 3.2.2 面向故障输电线路的SMT编码与精化 | 第36-39页 |
| 3.2.3 整体算法框架 | 第39-40页 |
| 3.3 实例研究 | 第40-42页 |
| 3.3.1 编码示例 | 第41-42页 |
| 3.3.2 性能评估 | 第42页 |
| 3.4 本章小节 | 第42-43页 |
| 4 基于分层编码和反例制导的编码方案 | 第43-57页 |
| 4.1 基于SAT技术的分层编码 | 第43-45页 |
| 4.1.1 单次SMT编码分析的复杂度过高 | 第43-44页 |
| 4.1.2 面向系统拓扑结构配置的分层编码 | 第44-45页 |
| 4.2 基于ⅡS技术的反例制导 | 第45-47页 |
| 4.2.1 不可行拓扑子结构 | 第46-47页 |
| 4.2.2 基于不可行拓扑子结构的反例制导 | 第47页 |
| 4.3 基于分层编码和反例制导的编码方案 | 第47-53页 |
| 4.3.1 面向系统拓扑结构配置的SAT编码 | 第48-50页 |
| 4.3.2 确定系统拓扑结构配置的SMT编码 | 第50-51页 |
| 4.3.3 基于不可行拓扑子结构的反例制导 | 第51-53页 |
| 4.3.4 整体算法框架 | 第53页 |
| 4.4 实例研究 | 第53-56页 |
| 4.4.1 编码示例 | 第54-56页 |
| 4.4.2 性能评估 | 第56页 |
| 4.5 本章小节 | 第56-57页 |
| 5 工具实现与实验评估 | 第57-69页 |
| 5.1 设计与实现 | 第57-61页 |
| 5.1.1 工具介绍 | 第57-58页 |
| 5.1.2 模块架构 | 第58-61页 |
| 5.1.3 基于LP技术的对比算法 | 第61页 |
| 5.2 实验评估 | 第61-67页 |
| 5.2.1 实验结果分析 | 第64-67页 |
| 5.3 本章小结 | 第67-69页 |
| 6 总结与展望 | 第69-73页 |
| 6.1 论文主要工作 | 第69-70页 |
| 6.2 下一步计划 | 第70-71页 |
| 6.3 方法拓展 | 第71-73页 |
| 参考文献 | 第73-80页 |
| 简历与科研成果 | 第80-81页 |
| 致谢 | 第81-82页 |
