| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 1 绪论 | 第10-13页 |
| ·课题的提出 | 第10页 |
| ·国内外研究现状 | 第10-12页 |
| ·本文的内容安排 | 第12-13页 |
| 2 基本知识 | 第13-28页 |
| ·Petri网的基本知识 | 第13-21页 |
| ·Petri网基本概念 | 第13-15页 |
| ·Petri网的动态性质 | 第15-18页 |
| ·Petri网的分析方法 | 第18-20页 |
| ·Petri网的结构性质 | 第20-21页 |
| ·分布式系统的基本知识 | 第21-28页 |
| ·分布式系统的定义 | 第21-22页 |
| ·分布式系统的基础模型 | 第22-28页 |
| 3 随机Petri网的分布式系统可信赖性分析方法 | 第28-46页 |
| ·概述 | 第28页 |
| ·随机Petri网(Stochastic Petri Net) | 第28-39页 |
| ·随机时间变迁的实施 | 第29-32页 |
| ·随机Petri网(SPN)介绍 | 第32-39页 |
| ·分布式系统的可信赖性概念及分析方法 | 第39-46页 |
| ·可信赖性概念 | 第39-41页 |
| ·可信赖性分析方法 | 第41-42页 |
| ·SPN的可信赖性分析方法 | 第42-46页 |
| 4 基于随机Petri网的机群系统可信赖性研究 | 第46-59页 |
| ·概述 | 第46页 |
| ·分配器─服务器架构的机群系统随机Petri网模型 | 第46-59页 |
| ·机群服务器系统简介 | 第47-48页 |
| ·分配器/服务器架构的机群系统介绍 | 第48-49页 |
| ·分配器/服务器机群系统的SPN模型 | 第49-51页 |
| ·机群系统的可信赖性分析 | 第51-54页 |
| ·仿真结果及分析 | 第54-59页 |
| 5 冗余备份多处理机系统的建模与可信赖性分析 | 第59-70页 |
| ·概述 | 第59页 |
| ·冗余备份系统的随机Petri网模型 | 第59-63页 |
| ·有关的定义和假设 | 第59-60页 |
| ·冗余备份系统 | 第60-62页 |
| ·备份系统的随机Petri网表示 | 第62-63页 |
| ·冗余备份多处理机系统的随机Petri网建模与分析 | 第63-65页 |
| ·冗余备份多处理机系统的可信赖性分析 | 第65-70页 |
| 6 结束语 | 第70-72页 |
| ·本文的主要工作 | 第70页 |
| ·进一步的工作 | 第70-72页 |
| 参考文献 | 第72-75页 |
| 致谢 | 第75-76页 |
| 作者简介及读研期间主要科研成果 | 第76页 |
