基于本体的语义Petri网研究及其在系统建模中的应用
| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 第1章 绪论 | 第13-20页 |
| ·论文研究背景 | 第13页 |
| ·Petri网的发展现状 | 第13-16页 |
| ·Petri网及UML目前存在的问题 | 第16-18页 |
| ·目前面向对象与Petri网结合的方法 | 第18-19页 |
| ·论文组织结构 | 第19-20页 |
| 第2章 语义Petri网定义 | 第20-41页 |
| ·概述 | 第20页 |
| ·语义Petri网的定义 | 第20-29页 |
| ·HOOPN的定义 | 第21-24页 |
| ·HOOPN的动态特性 | 第24-26页 |
| ·HOOPN的行为语义 | 第26-29页 |
| ·HOOPN中面向对象的表现 | 第29-34页 |
| ·信息隐藏 | 第29页 |
| ·抽象 | 第29-30页 |
| ·继承实现 | 第30-32页 |
| ·参变量的多态性 | 第32-33页 |
| ·对象间的消息传递 | 第33页 |
| ·对象实例化 | 第33-34页 |
| ·HOOPN模型的展开 | 第34-38页 |
| ·HOOPN模型的可达性分析 | 第38-40页 |
| ·本章小结 | 第40-41页 |
| 第3章 模型本体的构建 | 第41-59页 |
| ·概述 | 第41页 |
| ·本体论 | 第41-44页 |
| ·模型本体的构建 | 第44-49页 |
| ·模型本体的构建准则 | 第45-46页 |
| ·模型知识的本体表示 | 第46-47页 |
| ·模型本体的结构 | 第47-49页 |
| ·Petri网本体的核心概念集 | 第49-55页 |
| ·基本元素概念集 | 第49-50页 |
| ·结构元素概念集 | 第50-51页 |
| ·特征元素概念集 | 第51-52页 |
| ·概念间关系 | 第52-53页 |
| ·概念公理 | 第53-54页 |
| ·概念函数 | 第54-55页 |
| ·UML本体的核心概念集 | 第55-58页 |
| ·基本元素概念集 | 第56页 |
| ·结构元素概念集 | 第56-57页 |
| ·特征元素概念集 | 第57-58页 |
| ·本章小结 | 第58-59页 |
| 第4章 基于本体映射的模型自动转化方法 | 第59-82页 |
| ·概述 | 第59页 |
| ·本体映射 | 第59-63页 |
| ·本体映射 | 第60页 |
| ·映射方法 | 第60-63页 |
| ·本体概念的语义层次 | 第63-64页 |
| ·基于本体映射的模型自动转化步骤 | 第64-65页 |
| ·相似度计算模型 | 第65-74页 |
| ·基于特征的相似度计算 | 第66-69页 |
| ·基于语义的相似度计算 | 第69-71页 |
| ·特征语义相似度计算策略 | 第71-74页 |
| ·实验对比 | 第74-80页 |
| ·实验设计 | 第74-76页 |
| ·评估方法 | 第76页 |
| ·实验结果 | 第76-79页 |
| ·与已有方法比较 | 第79-80页 |
| ·分析与评价 | 第80-81页 |
| ·本章小结 | 第81-82页 |
| 第5章 基于语义 Petri网的AUV系统建模 | 第82-102页 |
| ·概述 | 第82页 |
| ·AUV控制系统的体系结构 | 第82-86页 |
| ·AUV控制系统组成 | 第82-84页 |
| ·AUV控制系统软件体系结构 | 第84-86页 |
| ·基于 SIPN的 AUV可靠性分析 | 第86-101页 |
| ·基于 SIPN的 AUV控制系统建模步骤 | 第86-87页 |
| ·AUV系统的UML模型 | 第87-91页 |
| ·AUV系统的HOOPN模型 | 第91-92页 |
| ·基于 SIPN的 AUV控制系统可靠性分析 | 第92-98页 |
| ·控制子系统可靠性分析实验数据 | 第98-101页 |
| ·本章小结 | 第101-102页 |
| 结论 | 第102-104页 |
| 参考文献 | 第104-114页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第114-116页 |
| 致谢 | 第116-117页 |
| 个人简历 | 第117页 |
