基于UML的联锁软件建模与仿真研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 序 | 第8-11页 |
| 1 引言 | 第11-16页 |
| ·计算机联锁系统研究现状 | 第11-12页 |
| ·建模语言应用现状 | 第12-13页 |
| ·研究目的及研究内容 | 第13-16页 |
| 2 计算机联锁系统结构模型 | 第16-28页 |
| ·系统功能需求分析 | 第16-17页 |
| ·系统硬件结构模型 | 第17-18页 |
| ·系统软件结构模型 | 第18-27页 |
| ·上位机软件结构模型 | 第19-20页 |
| ·联锁机软件结构模型 | 第20-25页 |
| ·信号设备仿真软件结构模型 | 第25-27页 |
| ·小结 | 第27-28页 |
| 3 对象描述及状态变化分析 | 第28-40页 |
| ·进路与信号机、道岔、轨道电路 | 第28-29页 |
| ·信号机对象描述及状态变化分析 | 第29-32页 |
| ·道岔对象描述及状态变化分析 | 第32-34页 |
| ·轨道电路对象描述及状态变化分析 | 第34-36页 |
| ·进路对象描述 | 第36-38页 |
| ·小结 | 第38-40页 |
| 4 进路控制过程UML建模 | 第40-80页 |
| ·一次进路过程建模分析 | 第40-43页 |
| ·进路过程的状态变化 | 第43-48页 |
| ·有限状态机基本概念 | 第46-47页 |
| ·进路状态的有限状态机实现 | 第47-48页 |
| ·进路选排过程建模 | 第48-60页 |
| ·进路选路过程建模 | 第48-53页 |
| ·进路排路过程建模 | 第53-60页 |
| ·锁闭过程建模 | 第60-63页 |
| ·信号开放保持过程建模 | 第63-67页 |
| ·信号开放过程建模 | 第63-65页 |
| ·信号保持过程建模 | 第65-67页 |
| ·进路解锁过程建模 | 第67-79页 |
| ·正常解锁过程建模 | 第67-73页 |
| ·中途折返解锁过程建模 | 第73-76页 |
| ·取消进路及人解过程建模 | 第76-79页 |
| ·小结 | 第79-80页 |
| 5 开发环境构建与仿真研究 | 第80-89页 |
| ·联锁机开发环境构建 | 第80-84页 |
| ·uClinux移植和下载运行 | 第80-81页 |
| ·联锁软件在uClinux上开发流程 | 第81-84页 |
| ·上位机开发环境构建 | 第84页 |
| ·跨平台通信开发环境构建 | 第84-85页 |
| ·仿真研究 | 第85-88页 |
| ·小结 | 第88-89页 |
| 6 结论 | 第89-90页 |
| 参考文献 | 第90-92页 |
| 作者简历 | 第92-94页 |
| 学位论文数据集 | 第94页 |
