造价通
更新时间:2026.04.19
地铁门禁系统施工布线及设备安装特点

格式:pdf

大小:283KB

页数: 1页

一、门禁系统简介门禁系统,简称ACS(即:Access Control System),是新型现代化安全管理系统,它集微机自动识别技术和现代安全管理措施为一体,它涉及电子,机械,光学,计算机技术,通讯技术,生物技术等诸多新技术。近年来,随着全国各大城市兴建地铁的热潮,地铁门禁系统也得以快速发展并不断完善。门禁系统早已突破单纯的门道和钥匙管理,它已经逐渐发展成为一套完整的出入管理系统。它在工作环境安全、人员考勤管理等行政管理工作中发挥着巨大的作用。

基于Spin的地铁门控制系统建模与验证

格式:pdf

大小:199KB

页数:

针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。

热门知识

地铁门禁

精华知识

地铁门禁

最新知识

地铁门禁
点击加载更多>>
地铁门禁相关专题

分类检索: