原文传递
铁路信号系统的Petri网建模与分析研究
| 论文题名： | 铁路信号系统的Petri网建模与分析研究 |
| 关键词： | 铁路信号;自动站间闭塞;Petri网 |
| 摘要： | 长期以来，人们探索着各种建模和分析方法，使得建立的模型尽可能真实地反映系统实际，同时又能方便地加以分析，从而获知系统特性，为系统设计奠定理论基础。本文将离散事件系统的理论和分析方法引入铁路信号系统的研究，以微机化自动站间闭塞系统为实例，运用面向对象Petri网的方法构建系统模型，采用离散事件系统性能分析方法——P不变量的方法，分析系统动态性能，从而得出了对于复杂的铁路信号系统也可使用该理论进行分析研究。 论文内容包括绪论，Petri网理论，微机化自动站间闭塞系统Petri网模型，系统性能分析，及结论等几个部分。论文主要研究内容是：运用Petri网理论构建系统模型，该模型分为六类相对独立的对象子网：信号灯类对象子网、区段类对象子网、列车类对象子网、闭塞机对象子网、计轴类对象子网、通信类对象子网。通过描述对象类之间的关系，运用P不变量分析法分析系统的动态特性。 |
| 作者： | 钟文燕 |
| 专业： | 交通信息工程及控制 |
| 导师： | 郭进 |
| 授予学位： | 硕士 |
| 授予学位单位： | 西南交通大学 |
| 学位年度： | 2005 |
| 正文语种： | 中文 |
检索历史
应用推荐
