乘客陆先生在地铁列车蜂鸣器鸣叫后，仍试图进入车厢，结果电脑被车门夹在了门外，导致电脑完全被损毁。为此陆先生将地铁运营公司告上法院。12月20日上海市徐汇区人民法院认定陆先生和地铁公司均存在过错，判决地铁公司赔偿陆先生6000元。
针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。
地铁门相关专题
- 北安桥有地铁站
- 2019地铁规划线路图
- 2019北京地铁线路图
- 2019年地铁线路图
- 常州地铁3号线规划
- 常州地铁2号线规划
- 成都地铁21号线线路图
- 成都地铁6号线线路图
- 成都地铁13号线线路图
- 常州地铁4号线规划图
- 防盗门装进门洞打六根膨胀螺丝固定
- 中航格澜阳光花园一期门禁对讲建设项目施工组织设计
- 执行设备工程监理规范提升地铁设备监理服务质量
- 岳西县中医院门急诊康复综合楼装饰工程监理实施细则
- 多方式远程控制门禁系统
- 在地铁建设、运营中屏蔽门系统与相关专业的接口分析
- 制药用水系统使用点取样阀门的应用设计和选型论文
- 优选第五章厂房大门特征门木结构工程建筑工程概预算
- 可关断晶闸管(GTO)直接门极驱动电路
- 在市中心紧邻地铁和保护建筑的大型深基坑设计与施工
- 在LaTeX中使用TikZ画图的入门例子V1.5
- 引子渡水电站溢洪道弧形工作闸门焊接变形与处理
- 植筋技术在西安地铁体育场车站围护结构施工中的应用
- 义龙丽景都市公寓门窗玻璃安装分项工程监理实施细则
- 永煤矿区铁路道口栏门自动联锁控制电路技改方案
- 有限公司电力液压电梯门系统安装工程质量验收记录表
- 中国建筑金属结构协会钢木门窗委员会