| 第一章 绪论 | 第1-24页 |
| ·研究背景及意义 | 第15-16页 |
| ·研究现状 | 第16-19页 |
| ·Petri网的研究方法 | 第19-21页 |
| ·本文的主要工作及结构安排 | 第21-24页 |
| 第二章 Petri网理论和在测试中的应用 | 第24-52页 |
| ·Petri网(PN)的基本方法 | 第24-26页 |
| ·Petri网的基本性质 | 第26-28页 |
| ·Petri网的分析方法 | 第28-31页 |
| ·可达树分析法 | 第28-29页 |
| ·矩阵方程分析方法 | 第29-31页 |
| ·事件图定义和特性分析 | 第31页 |
| ·时间Petri网 | 第31-34页 |
| ·在Petri网中引入时间的意义 | 第31-33页 |
| ·扩展时间Petri网ETPN | 第33-34页 |
| ·计算ETPN的运行时间 | 第34页 |
| ·IEEE488总线握手协议的Petri网建模和分析 | 第34-40页 |
| ·IEEE488总线3线挂钩协议 | 第35-36页 |
| ·握手协议的Petri网建模 | 第36-37页 |
| ·握手协议的Petri网模型的性质分析 | 第37-39页 |
| ·IEEE488总线的数据传送操作序列与Petri网模型关系 | 第39-40页 |
| ·IEEE4888总线握手协议的ETPN模型和传输速率 | 第40页 |
| ·硬件电路的ETPN建模和特性分析 | 第40-44页 |
| ·电路的ETPN模型 | 第41-43页 |
| ·ETPN模型的特性分析 | 第43-44页 |
| ·CPLD实现和时延仿真 | 第44页 |
| ·智能仪器软件的ETPN建模和性能分析 | 第44-52页 |
| ·概述 | 第44-45页 |
| ·智能仪器中的多任务多线程技术 | 第45-47页 |
| ·多线程的智能仪器扩展时间Petri网模型 | 第47-49页 |
| ·Petri模型性质 | 第49页 |
| ·子任务完成时间 | 第49-50页 |
| ·应用实例 | 第50-52页 |
| 第三章 测试系统的Petri网建模和分析 | 第52-76页 |
| ·概述 | 第52-54页 |
| ·航空发动机高空台分布式测试系统 | 第54-59页 |
| ·系统组成和总体结构 | 第54-55页 |
| ·多参数采集卡 | 第55-57页 |
| ·转速、流量采集卡 | 第57-59页 |
| ·VFP综合测试系统软件 | 第59页 |
| ·多参数采集卡的ETPN建模和分析 | 第59-71页 |
| ·采集电路的ETPN建模和分析 | 第59-66页 |
| ·多参数采集卡的ETPN建模和分析 | 第66-71页 |
| ·转速、流量采集卡的ETPN建模和分析 | 第71页 |
| ·VFP测试系统软件的ETPN建模和分析 | 第71-73页 |
| ·VFP测试系统总ETPN模型 | 第73-76页 |
| 第四章 测试系统的随机Petri网(SPN)建模和性能分析 | 第76-88页 |
| ·SPN的定义和分析方法 | 第76-79页 |
| ·随机Petri网的定义 | 第76-77页 |
| ·随机Petri网的分析方法 | 第77-79页 |
| ·广义随机Petri网(GSPN)的定义和分析方法 | 第79-82页 |
| ·广义随机Petri网的定义 | 第79-80页 |
| ·隐退标识与真实标识 | 第80页 |
| ·GSPN的实施规则 | 第80-82页 |
| ·GSPN的特性 | 第82页 |
| ·测试系统的GSPN模型 | 第82-84页 |
| ·概述 | 第82页 |
| ·广义随机Petri网模型的建立 | 第82-84页 |
| ·用GSPN对测试系统进行性能分析评价 | 第84-88页 |
| ·测试系统的GSPN模型的可达树 | 第84-85页 |
| ·计算稳态概率 | 第85-86页 |
| ·性能分析 | 第86-88页 |
| 第五章 正态分布广义随机Petri网及其化简 | 第88-104页 |
| ·正态分布广义随机Petri网(NGSPN) | 第88-89页 |
| ·串并联模型的化简 | 第89-91页 |
| ·NGSPN串行变迁的合成执行时间 | 第91-93页 |
| ·NGSPN并行变迁的合成执行时间 | 第93-99页 |
| ·理论方法 | 第93-94页 |
| ·分类研究 | 第94-99页 |
| ·串行变迁与并行变迁合成执行时间的比较 | 第99-100页 |
| ·应用举例 | 第100-104页 |
| ·转速、流量采集卡的NGSPN建模 | 第100-102页 |
| ·NGSPN模型的化简 | 第102-104页 |
| 第六章 测试系统的混合Petri网研究 | 第104-115页 |
| ·混合Petri网(HPN) | 第104-108页 |
| ·HPN的定义 | 第104-106页 |
| ·HPN使能与实施规则 | 第106-107页 |
| ·HPN的宏性能 | 第107-108页 |
| ·HPN的实施速度以及动态特性 | 第108-111页 |
| ·可行IFS向量 | 第108-109页 |
| ·无冲突实施速度计算 | 第109-111页 |
| ·测试系统的HPN建模和研究 | 第111-115页 |
| 第七章 结束语 | 第115-118页 |
| ·全文总结 | 第115-116页 |
| ·进一步的工作 | 第116-118页 |
| 参考文献 | 第118-127页 |
| 致谢 | 第127-128页 |
| 个人简历、攻读博士学位期间的科研工作和完成的论文 | 第128-129页 |
