首页--交通运输论文--铁路运输论文--铁路通信、信号论文--铁路信号论文--区间闭塞与机车信号系统论文

基于UML和有色Petri网的RBC切换建模与分析

摘要第1-5页
Abstract第5-6页
目录第6-8页
1 绪论第8-12页
   ·选题背景和意义第8-9页
   ·国内外研究现状第9-11页
   ·主要研究内容第11-12页
2 RBC建模方案第12-19页
   ·RBC系统及需求分析第12-13页
   ·基于UML和有色Petri网的集成建模方法第13-14页
     ·UML及其优缺点第13-14页
     ·有色Petri网及其优缺点第14页
   ·RBC形式化建模过程第14-19页
     ·集成建模方法第14-15页
     ·UML转换为有色Petri网的基本规则第15-19页
3 基于UML和有色Petri网的RBC切换模型构建第19-33页
   ·RBC切换第19-24页
     ·RBC切换策略第19-22页
     ·RBC切换流程设计第22-24页
   ·UML模型构建第24-27页
     ·用例图的建立第24-25页
     ·顺序图的建立第25-26页
     ·状态图的建立第26-27页
   ·分层有色Petri网模型构建第27-33页
     ·分层有色Petri网第27页
     ·顶层模型的建立第27-28页
     ·子网模型的建立第28-33页
4 RBC切换模型验证第33-43页
   ·有色Petri网建模工具及验证方法第33-34页
     ·CPN Tools工具第33页
     ·验证方法第33-34页
   ·仿真运行过程第34-37页
   ·模型的状态空间分析第37-42页
     ·状态空间报告的生成第37-39页
     ·可达图的生成第39-41页
     ·状态空间问询第41-42页
   ·验证结果分析第42-43页
5 RBC切换赋时模型的时间性能分析第43-50页
   ·RBC切换赋时模型的建立第43-45页
   ·RBC切换时间性能分析第45-49页
     ·监控器及设置第45-47页
     ·时间性能分析第47-49页
   ·结果与分析第49-50页
结论第50-51页
致谢第51-52页
参考文献第52-55页
攻读学位期间的研究成果第55页

论文共55页,点击 下载论文
上一篇:光纤陀螺捷联导航列车定位技术的研究
下一篇:戈壁地区高速铁路粗粒土填料室内及现场试验研究