输变电设备的全景信息建模与应用
摘要 | 第5-6页 |
Abstract | 第6页 |
第1章 绪论 | 第9-18页 |
1.1 选题背景和意义 | 第9-10页 |
1.2 IEC-CIM标准研究及应用状况 | 第10-13页 |
1.2.1 IEC-CIM标准介绍 | 第10-12页 |
1.2.2 IEC-CIM标准应用状况 | 第12-13页 |
1.3 全景信息模型的定义和研究现状 | 第13-16页 |
1.4 Petri网的研究现状 | 第16页 |
1.5 本文的工作与创新 | 第16-18页 |
第2章 输变电设备全景信息模型的扩展 | 第18-39页 |
2.1 模型需求 | 第18-21页 |
2.1.1 全寿命周期管理系统的信息需求 | 第18-20页 |
2.1.2 全寿命周期管理系统的交互需求 | 第20-21页 |
2.2 模型扩展原则与方法 | 第21-23页 |
2.2.1 模型扩展原则 | 第21-22页 |
2.2.2 模型扩展方法 | 第22-23页 |
2.3 输变电设备全景信息扩展建模 | 第23-38页 |
2.3.1 输变电设备资产信息扩展建模 | 第24-31页 |
2.3.2 输变电设备在线监测信息建模 | 第31-35页 |
2.3.3 输变电设备公共信息建模 | 第35-37页 |
2.3.4 输变电设备统一服务建模 | 第37-38页 |
2.4 本章小结 | 第38-39页 |
第3章 全景信息模型的形式化映射 | 第39-51页 |
3.1 统一建模语言UML | 第39-40页 |
3.1.1 UML的主要内容 | 第39页 |
3.1.2 UML的缺陷 | 第39-40页 |
3.2 Petri网的相关理论 | 第40-43页 |
3.2.1 Petri网的相关定义 | 第40-41页 |
3.2.2 Petri网的相关性质 | 第41-42页 |
3.2.3 有色Petri网 | 第42页 |
3.2.4 层次有色Petri网 | 第42-43页 |
3.3 基于Petri网的全景信息模型映射 | 第43-46页 |
3.3.1 映射目的及方法 | 第43页 |
3.3.2 模型映射 | 第43-46页 |
3.4 故障诊断活动图向Petri网的映射 | 第46-49页 |
3.5 电价测算状态图向Petri网的映射 | 第49-50页 |
3.6 本章小结 | 第50-51页 |
第4章 输变电设备全景信息模型的验证及应用 | 第51-64页 |
4.1 基于可覆盖性树理论的模型合理性分析验证 | 第51-54页 |
4.1.1 可覆盖性树验证理论 | 第51-52页 |
4.1.2 电价测算服务模型的实例验证 | 第52-54页 |
4.2 出现序列理论对系统行为正确性的验证 | 第54-60页 |
4.2.1 出现序列理论及其构造方法 | 第54-55页 |
4.2.2 申请设备更换模型的实例验证 | 第55-60页 |
4.3 输变电设备全景信息模型的实施应用 | 第60-63页 |
4.3.1 模型实施的原则和方案 | 第60-61页 |
4.3.2 模型实施的具体过程 | 第61-63页 |
4.4 本章小结 | 第63-64页 |
结论 | 第64-66页 |
1 本文研究工作的总结 | 第64-65页 |
2 下一步工作的展望 | 第65-66页 |
参考文献 | 第66-71页 |
致谢 | 第71-72页 |
附录 | 第72页 |