| 摘要 | 第1-7页 |
| ABSTRACT | 第7-13页 |
| 第一章 绪论 | 第13-21页 |
| ·网络化控制系统PETRI网建模的重要性 | 第13-14页 |
| ·网络化控制系统PETRI网建模的研究概况、水平和发展趋势 | 第14-18页 |
| ·国外达到的水平 | 第15-16页 |
| ·国内达到的水平 | 第16-18页 |
| ·网络化控制系统PETRI网建模的立论依据 | 第18-19页 |
| ·本文的主要研究工作及整体框架 | 第19页 |
| ·本章小结 | 第19-21页 |
| 第二章 网络化控制系统概述 | 第21-33页 |
| ·引言 | 第21-22页 |
| ·控制系统的发展历程 | 第22-27页 |
| ·集中式控制系统 | 第23页 |
| ·集散式控制系统 | 第23-24页 |
| ·现场总线控制系统 | 第24-26页 |
| ·基于Ethernet的控制系统 | 第26-27页 |
| ·网络化控制系统概念 | 第27-28页 |
| ·网络化控制系统特点 | 第28-30页 |
| ·网络化控制系统与信息系统的集成 | 第30页 |
| ·网络化控制系统的体系结构 | 第30-32页 |
| ·本章小结 | 第32-33页 |
| 第三章 PETRI网的基本理论 | 第33-60页 |
| ·引言 | 第33-34页 |
| ·PETRI网的基本定义 | 第34-36页 |
| ·Petri网 | 第34页 |
| ·输入输出函数 | 第34-35页 |
| ·Petri网的标识 | 第35页 |
| ·Petri网的执行 | 第35-36页 |
| ·PETRI网的基本性质 | 第36-44页 |
| ·行为特性 | 第37-40页 |
| ·结构特性 | 第40-44页 |
| ·PETRI网分析的基本方法 | 第44-47页 |
| ·可达树分析方法 | 第45-46页 |
| ·代数方法 | 第46-47页 |
| ·PETRI网的化简、综合的方法 | 第47-48页 |
| ·化简 | 第47-48页 |
| ·综合 | 第48页 |
| ·PETRI网存在的一些基本问题 | 第48-50页 |
| ·局限性 | 第48-49页 |
| ·克服局限的建议 | 第49页 |
| ·分析 | 第49-50页 |
| ·混合随机PETRI网 | 第50-58页 |
| ·Petri网的分类 | 第50-51页 |
| ·混合随机Petri网的形式化定义 | 第51-52页 |
| ·混合随机Petri网的运行规则 | 第52-56页 |
| ·混合随机Petri网的关联矩阵 | 第56-57页 |
| ·混合随机Petri网的结构性质 | 第57-58页 |
| ·混合随机Petri网的行为特性 | 第58页 |
| ·本章小结 | 第58-60页 |
| 第四章 现场总线的形式化模型和性能分析 | 第60-78页 |
| ·引言 | 第60页 |
| ·形式化技术 | 第60-64页 |
| ·基于模型的方法 | 第61页 |
| ·基于逻辑的方法 | 第61页 |
| ·基于进程演算的方法 | 第61页 |
| ·基于网络的方法 | 第61-62页 |
| ·四类形式化方法比较 | 第62-63页 |
| ·Petri网的建模步骤 | 第63-64页 |
| ·现场设备的形式化模型 | 第64-67页 |
| ·被控对象的形式化模型 | 第64页 |
| ·网络化传感器的形式化模型 | 第64-65页 |
| ·网络化执行器的形式化模型 | 第65页 |
| ·网络化控制器的形式化模型 | 第65-67页 |
| ·现场总线 | 第67-77页 |
| ·概述 | 第67页 |
| ·现场总线的组成 | 第67-68页 |
| ·过程现场总线Profibus | 第68-75页 |
| ·概述 | 第68页 |
| ·Profibus总线存取协议 | 第68-70页 |
| ·MAC层运行机理分析 | 第70-71页 |
| ·MAC层的混合随机Petri网仿真模型 | 第71-73页 |
| ·Profibus的混合随机Petri网模型 | 第73-74页 |
| ·性能分析 | 第74-75页 |
| ·CAN总线的HSPN建模 | 第75-77页 |
| ·概述 | 第75-76页 |
| ·CAN总线的混合随机Petri网模型 | 第76-77页 |
| ·本章小结 | 第77-78页 |
| 第五章 以太网的形式化模型和性能分析 | 第78-105页 |
| ·引言 | 第78-79页 |
| ·IEEE802.2逻辑链路控制LLC的形式化模型 | 第79-94页 |
| ·IEEE802.2逻辑链路控制子层3型协议 | 第79页 |
| ·LLC3型操作的数据传输 | 第79-81页 |
| ·LLC3型协议的混合随机Petri网模型 | 第81-83页 |
| ·协议正确操作的参数范围 | 第83-84页 |
| ·LLC3型协议的验证和分析 | 第84-93页 |
| ·动态特性初步验证 | 第93-94页 |
| ·CSMA／CD的混合随机PETRI网模型 | 第94-99页 |
| ·概述 | 第94-95页 |
| ·带冲突检测的载波监听多路访问CSMA／CD(IEEE802.3) | 第95页 |
| ·通道的模型 | 第95-96页 |
| ·有限站点的1坚持CSMA协议模型 | 第96-97页 |
| ·仿真结果 | 第97-99页 |
| ·TCP／IP协议形式化模型 | 第99-103页 |
| ·概述 | 第99-100页 |
| ·TCP／IP协议形式化模型 | 第100-103页 |
| ·本章小结 | 第103-105页 |
| 第六章 网络化控制系统的形式化模型和性能分析 | 第105-111页 |
| ·引言 | 第105页 |
| ·用混合随机PETRI网对网络化控制系统建模 | 第105-107页 |
| ·网络化控制系统性能分析 | 第107-108页 |
| ·网络化控制系统稳定性分析 | 第108-110页 |
| ·网络化控制系统存在的主要问题 | 第108-109页 |
| ·网络化控制系统的稳定性 | 第109-110页 |
| ·本章小结 | 第110-111页 |
| 第七章 网络化控制系统的故障分析研究 | 第111-128页 |
| ·引言 | 第111-113页 |
| ·故障树表示与简化 | 第111-112页 |
| ·故障诊断 | 第112-113页 |
| ·利用PETRI网对系统的故障率进行分析 | 第113-119页 |
| ·具有单输入的变迁 | 第114-115页 |
| ·具有多输入的变迁 | 第115-118页 |
| ·具有单输入和环的变迁 | 第118页 |
| ·具有抑制弧的变迁 | 第118-119页 |
| ·网络化控制系统的混合随机PETRI网故障模型 | 第119-127页 |
| ·传感器故障模型及其仿真分析 | 第119-123页 |
| ·传感器故障模型 | 第119-121页 |
| ·故障仿真和分析 | 第121-122页 |
| ·传感器增益变化故障仿真 | 第122页 |
| ·传感器增益变化故障分析 | 第122-123页 |
| ·总线系统的故障分析和建模 | 第123-127页 |
| ·总线故障分类 | 第123-125页 |
| ·基于Petri网的容错系统建模 | 第125-127页 |
| ·本章小结 | 第127-128页 |
| 第八章 某试验装置控制系统形式化建模技术的实例 | 第128-142页 |
| ·引言 | 第128页 |
| ·某试验装置控制系统 | 第128-132页 |
| ·某试验装置控制系统结构组成 | 第128-129页 |
| ·某试验装置控制系统功能概述 | 第129-130页 |
| ·某试验装置控制系统结构图 | 第130-132页 |
| ·某试验装置控制系统形式化建模 | 第132-137页 |
| ·前端控制子系统结构图 | 第132页 |
| ·前端控制子系统Petri网模型 | 第132-133页 |
| ·某试验装置控制系统形式化模型 | 第133-137页 |
| ·某试验装置控制系统形式化建模 | 第133-136页 |
| ·某试验装置控制系统仿真分析 | 第136-137页 |
| ·某试验装置控制系统失效模式PETRI网模型 | 第137-141页 |
| ·某试验装置控制系统失效模式Petri网模型 | 第137-140页 |
| ·某试验装置控制系统仿真分析 | 第140-141页 |
| ·本章小结 | 第141-142页 |
| 第九章 总结与展望 | 第142-144页 |
| 参考文献 | 第144-151页 |
| 致谢 | 第151-152页 |
| 个人简历 | 第152-153页 |
| 在学期间的研究成果及发表的学术论文 | 第153-154页 |
