| 摘要 | 第6-8页 |
| ABSTRACT | 第8-9页 |
| 图目录 | 第13-14页 |
| 表目录 | 第14-15页 |
| 第1章 导论 | 第15-25页 |
| 1.1 Bigraph发展历史 | 第15-23页 |
| 1.1.1 Bigraph产生的背景 | 第15-19页 |
| 1.1.2 Bigraph简述 | 第19-21页 |
| 1.1.3 相关工作 | 第21-23页 |
| 1.2 本文的主要工作及创新点 | 第23-24页 |
| 1.3 论文的结构 | 第24页 |
| 1.4 小结 | 第24-25页 |
| 第2章 Bigraph理论基础 | 第25-46页 |
| 2.1 Bigraph的形式化定义 | 第25-29页 |
| 2.2 数学基础及相关范畴 | 第29-36页 |
| 2.2.1 基础范畴论 | 第29-34页 |
| 2.2.2 Bigraph的相关范畴 | 第34-36页 |
| 2.3 Bigraph代数系统 | 第36-40页 |
| 2.4 Bigraph的反应系统及迁移系统 | 第40-45页 |
| 2.4.1 反应系统 | 第41-42页 |
| 2.4.2 迁移系统 | 第42-45页 |
| 2.5 小结 | 第45-46页 |
| 第3章 基于赋类的Bigraph理论模型 | 第46-71页 |
| 3.1 引言 | 第46-47页 |
| 3.2 嵌套赋类的位置图 | 第47-61页 |
| 3.2.1 基本定义 | 第48-53页 |
| 3.2.2 相关性质 | 第53-60页 |
| 3.2.3 表达能力 | 第60-61页 |
| 3.3 匹配赋类的连接图 | 第61-67页 |
| 3.3.1 相关定义 | 第62-64页 |
| 3.3.2 相关特性 | 第64-67页 |
| 3.3.3 表达能力 | 第67页 |
| 3.4 定型的Bigraph | 第67-70页 |
| 3.5 小结 | 第70-71页 |
| 第4章 面向行为的建模语言(BDL)的Bigraph语义 | 第71-93页 |
| 4.1 面向行为的需求描述模型 | 第71-77页 |
| 4.1.1 BDL的相关定义 | 第72-73页 |
| 4.1.2 BDL的语法 | 第73-74页 |
| 4.1.3 BDL的语义 | 第74-75页 |
| 4.1.4 行为需求模型的层次结构 | 第75-77页 |
| 4.2 BDL的精化与规约 | 第77-80页 |
| 4.2.1 简单行为的精化规约 | 第77-78页 |
| 4.2.2 复合行为的精化规约 | 第78-80页 |
| 4.3 BDL的Bigraph描述 | 第80-91页 |
| 4.3.1 有限BDL_(Ref)的Bigraph描述 | 第81-88页 |
| 4.3.2 常量动作BehCons的Bigraph描述 | 第88-91页 |
| 4.4 小结 | 第91-93页 |
| 第5章 普适环境中上下文感知系统的定型Bigraph描述 | 第93-109页 |
| 5.1 普适计算与上下文感知 | 第93-96页 |
| 5.1.1 普适计算 | 第93-94页 |
| 5.1.2 上下文感知 | 第94-96页 |
| 5.2 上下文感知系统与其BRS描述 | 第96-99页 |
| 5.2.1 上下文感知系统模型研究 | 第96-97页 |
| 5.2.2 上下文感知系统的BRS描述 | 第97-99页 |
| 5.3 带演算的Bigraph反应系统 | 第99-104页 |
| 5.3.1 演算BRS-BRS_(cal) | 第101-103页 |
| 5.3.2 常规BRS与演算BRS | 第103-104页 |
| 5.4 案例研究 | 第104-108页 |
| 5.5 小结 | 第108-109页 |
| 第6章 总结及展望 | 第109-111页 |
| 6.1 总结 | 第109-110页 |
| 6.2 展望 | 第110-111页 |
| 参考文献 | 第111-121页 |
| 发表文章目录 | 第121-122页 |
| 参与的科研及工程项目 | 第122-123页 |
| 致谢 | 第123页 |
