| 提要 | 第5-7页 |
| 摘要 | 第7-11页 |
| Abstract | 第11-14页 |
| 第1章 绪论 | 第17-23页 |
| 1.1 研究的背景与研究意义 | 第17-21页 |
| 1.1.1 抽象 | 第17-21页 |
| 1.1.2 物理系统建模 | 第21页 |
| 1.2 本文章节结构 | 第21-23页 |
| 第2章 基于KRA 模型的抽象分层过程 | 第23-47页 |
| 2.1 表示抽象的KRA 模型 | 第23-30页 |
| 2.1.1 表示层和描述框架 | 第23-26页 |
| 2.1.2 一个运行实例 | 第26-29页 |
| 2.1.3 在KRA 模型框架中形式化定义“抽象” | 第29-30页 |
| 2.2 抽象算子 | 第30-37页 |
| 2.2.1 抽象算子的定义 | 第31-34页 |
| 2.2.2 抽象算子的运算过程 | 第34-36页 |
| 2.2.3 算子的一致性 | 第36-37页 |
| 2.3 形式化抽象分层过程 | 第37-45页 |
| 2.4 本章小结 | 第45-47页 |
| 第3章 扩展KRA 模型框架 | 第47-67页 |
| 3.1 广义KRA 模型 | 第47-53页 |
| 3.2 基于广义KRA 模型框架的物理系统建模过程 | 第53-61页 |
| 3.2.1 基本模型 | 第53-55页 |
| 3.2.2 抽象模型 | 第55-59页 |
| 3.2.3 一个运行实例 | 第59-61页 |
| 3.3 广义KRA 模型的域扩展 | 第61-66页 |
| 3.3.1 多重感知MP | 第61-64页 |
| 3.3.2 域间关系DR | 第64-66页 |
| 3.4 本章小结 | 第66-67页 |
| 第4章 基于本体的分层抽象模型 | 第67-91页 |
| 4.1 简化G-KRA 模型表示框架 | 第67-74页 |
| 4.1.1 本体概述 | 第67-68页 |
| 4.1.2 基于本体的G-KRA 模型框架 | 第68-74页 |
| 4.2 本体抽象算子 | 第74-79页 |
| 4.2.1 基本本体抽象算子 | 第74-75页 |
| 4.2.2 实体本体抽象算子集 | 第75-78页 |
| 4.2.3 连接本体抽象算子集 | 第78-79页 |
| 4.3 本体类间的抽象映射关系 | 第79-83页 |
| 4.3.1 实体映射 | 第79-80页 |
| 4.3.2 连接映射 | 第80-83页 |
| 4.4 本体类的抽象度 | 第83-84页 |
| 4.5 基于本体的分层建模过程 | 第84-90页 |
| 4.5.1 本体类的分层过程 | 第84-86页 |
| 4.5.2 基于本体类的分层建模 | 第86-87页 |
| 4.5.3 基于本体类分层建模实例 | 第87-90页 |
| 4.6 本章小结 | 第90-91页 |
| 第5章 多重抽象建模过程 | 第91-109页 |
| 5.1 解释性知识 | 第91-93页 |
| 5.2 流片段 | 第93-97页 |
| 5.2.1 流片段的定义 | 第93-96页 |
| 5.2.2 流片段间的关系 | 第96-97页 |
| 5.3 流本体类 | 第97-105页 |
| 5.3.1 流本体类的定义 | 第97-99页 |
| 5.3.2 流本体类的抽象分层过程 | 第99-102页 |
| 5.3.3 基于流本体类的分层模型表示 | 第102-105页 |
| 5.4 多重分层抽象过程 | 第105-107页 |
| 5.4.1 几个概念 | 第105-106页 |
| 5.4.2 基于多重知识的流本体类分层 | 第106-107页 |
| 5.5 本章小结 | 第107-109页 |
| 第6章 总结与展望 | 第109-113页 |
| 参考文献 | 第113-121页 |
| 作者简介及在学期间所取得的科研成果 | 第121-122页 |
| 致谢 | 第122页 |