基于本体的IEC61968语义信息模型的验证方法研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-19页 |
| ·研究的背景及意义 | 第10-11页 |
| ·国内外研究现状 | 第11-16页 |
| ·配电网信息集成 | 第11-12页 |
| ·互操作试验 | 第12-14页 |
| ·语义网本体技术的引入 | 第14-16页 |
| ·本文的主要研究内容 | 第16-19页 |
| ·研究目标及内容 | 第16-17页 |
| ·拟解决的关键问题 | 第17-19页 |
| 第二章 基于IEC 61968 标准的信息集成 | 第19-36页 |
| ·配电网信息集成需求 | 第19-22页 |
| ·IEC 61968 标准体系 | 第22-30页 |
| ·CIM 及其扩展 | 第22-24页 |
| ·信息交换模型 | 第24-26页 |
| ·面向服务的总线架构 | 第26-27页 |
| ·基于SOA 的智能配电网信息集成 | 第27-30页 |
| ·总线校验机制 | 第30-35页 |
| ·模型与消息 | 第30-32页 |
| ·验证机制 | 第32-35页 |
| ·本章小结 | 第35-36页 |
| 第三章 基于本体的语义信息模型校验 | 第36-52页 |
| ·本体技术 | 第36-41页 |
| ·语义网及本体的概念 | 第36-38页 |
| ·OWL 语言 | 第38-41页 |
| ·构建基于OWL 的CIM 模型 | 第41-46页 |
| ·UML 类图与OWL 本体的映射 | 第41-44页 |
| ·模式（Schema）与子集（Profile） | 第44-46页 |
| ·模型验证 | 第46-51页 |
| ·验证原理 | 第46-47页 |
| ·验证算法及流程 | 第47-49页 |
| ·总线验证服务 | 第49-51页 |
| ·本章小结 | 第51-52页 |
| 第四章 IEC 61968 消息规范验证 | 第52-60页 |
| ·XML Schema | 第52-53页 |
| ·XML 文档的有效性 | 第53-56页 |
| ·XML 和XML Schema 数据模型 | 第53-54页 |
| ·数据模型的映射关系 | 第54-55页 |
| ·一致性规则 | 第55-56页 |
| ·消息的规范性验证 | 第56-59页 |
| ·消息类型定义（XSD） | 第56-57页 |
| ·消息验证原理 | 第57-59页 |
| ·本章小结 | 第59-60页 |
| 第五章 工具的开发与应用测试 | 第60-72页 |
| ·验证工具的开发 | 第60-65页 |
| ·Jena 体系结构 | 第60-62页 |
| ·总体框架 | 第62-63页 |
| ·功能描述 | 第63-65页 |
| ·应用测试 | 第65-70页 |
| ·模型验证测试 | 第65-67页 |
| ·消息验证测试 | 第67-70页 |
| ·本章小结 | 第70-72页 |
| 第六章 结论 | 第72-75页 |
| ·总结 | 第72页 |
| ·创新点 | 第72-73页 |
| ·存在问题与展望 | 第73-75页 |
| 参考文献 | 第75-81页 |
| 攻读硕士学位期间已发表或已投寄论文目录 | 第81页 |
| 发明专利 | 第81-82页 |
| 攻读硕士学位期间参与的科研项目 | 第82-83页 |
| 致谢 | 第83-85页 |
