首页--工业技术论文--自动化技术、计算机技术论文--自动化技术及设备论文--自动化系统论文--自动控制、自动控制系统论文

网络化控制系统Petri网建模与分析

摘要第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页

论文共154页,点击 下载论文
上一篇:基于样例的空间数据检索技术研究
下一篇:集装箱班轮运输业的规模经济性研究