地铁门禁系统施工布线及设备安装特点
格式:pdf
大小:283KB
页数: 1页
一、门禁系统简介门禁系统,简称ACS(即:Access Control System),是新型现代化安全管理系统,它集微机自动识别技术和现代安全管理措施为一体,它涉及电子,机械,光学,计算机技术,通讯技术,生物技术等诸多新技术。近年来,随着全国各大城市兴建地铁的热潮,地铁门禁系统也得以快速发展并不断完善。门禁系统早已突破单纯的门道和钥匙管理,它已经逐渐发展成为一套完整的出入管理系统。它在工作环境安全、人员考勤管理等行政管理工作中发挥着巨大的作用。
基于Spin的地铁门控制系统建模与验证
大小:199KB
页数:
针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。
地铁门禁知识来自于造价通云知平台上百万用户的经验与心得交流。 注册登录 造价通即可以了解到相关地铁门禁最新的精华知识、热门知识、相关问答、行业资讯及精品资料下载。同时,造价通还为您提供材价查询、测算、询价、云造价等建设行业领域优质服务。手机版访问:地铁门禁