地铁门控制系统相关论文
随着我国经济的快速发展,城镇化进程也逐渐加快,然而城市交通拥堵问题却日益严重。近年来,城市轨道交通在缓解城市公共交通压力方面发......
针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将......