多通道压力测试系统petri网建模及其性能分析
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-16页 |
| ·研究背景和意义 | 第10-11页 |
| ·高空台、Petri网简介 | 第11-14页 |
| ·高空台介绍 | 第11-12页 |
| ·Petri网研究现状 | 第12-14页 |
| ·本课题研究的目的 | 第14页 |
| ·本文研究内容和章节安排 | 第14-16页 |
| 第二章 Petri网相关理论 | 第16-30页 |
| ·Petri网的基本概念 | 第16-19页 |
| ·Petri网的定义 | 第16-18页 |
| ·Petri网的运行规则 | 第18-19页 |
| ·Petri网的一些性质 | 第19-20页 |
| ·Petri网的两种分析方法 | 第20-23页 |
| ·基于可达树分析方法 | 第21-22页 |
| ·基于不变量分析法 | 第22-23页 |
| ·时间Petri网 | 第23-24页 |
| ·随机Petri网 | 第24-27页 |
| ·随机Petri网的定义 | 第24-25页 |
| ·随机Petri网的分析方法 | 第25-27页 |
| ·广义随机Petri网 | 第27-29页 |
| ·真实标识与隐退标识 | 第27页 |
| ·GSPN变迁的激发规则 | 第27-28页 |
| ·隐退标识的消除方法 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 高空台压力测试系统物理结构 | 第30-35页 |
| ·概述 | 第30-31页 |
| ·稳态压力测试系统 | 第31-33页 |
| ·过渡态压力测试系统 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第四章 稳态压力测试系统Petri网模型 | 第35-65页 |
| ·气路部分Petri网模型 | 第36-41页 |
| ·模块中压力采集部分Petri网模型 | 第41-43页 |
| ·通信部分Petri网模型 | 第43-45页 |
| ·TCP/IP协议 | 第43-44页 |
| ·通讯部分Petri网模型 | 第44-45页 |
| ·模块的Petri网模型及其性能分析 | 第45-50页 |
| ·稳态时模块的Petri网模型 | 第46-49页 |
| ·模块的Petri网模型性能分析 | 第49-50页 |
| ·模块的性能评价 | 第50-58页 |
| ·求解模块Petri网的稳态概率 | 第50-51页 |
| ·模块的测试性能分析 | 第51-53页 |
| ·模块的测试性能实验验证 | 第53-58页 |
| ·机箱的Petri网模型和性能分析 | 第58-61页 |
| ·机箱的Petri网模型 | 第59-60页 |
| ·机箱的性能分析 | 第60-61页 |
| ·系统的Petri网模型 | 第61-63页 |
| ·本章小结 | 第63-65页 |
| 第五章 过渡态压力测试系统Petri网模型 | 第65-74页 |
| ·气路和传感器部分的Petri网模型 | 第65-66页 |
| ·压力采集部分的Petri网模型 | 第66-68页 |
| ·VXI总线协议Petri网 | 第68-70页 |
| ·VXI系统概述 | 第68-69页 |
| ·过渡态通信部分Petri网模型 | 第69-70页 |
| ·采集卡的Petri网模型 | 第70-71页 |
| ·过渡态压力测试系统Petri网模型 | 第71-73页 |
| ·过渡态压力测试系统性能分析 | 第72-73页 |
| ·本章小结 | 第73-74页 |
| 第六章 总结与展望 | 第74-75页 |
| 致谢 | 第75-76页 |
| 参考文献 | 第76-78页 |
| 攻读硕士期间取得的研究成果 | 第78-79页 |
| 附录 | 第79页 |