精品文献
刷卡系统地铁门
自动伸缩门和道闸电子刷卡系统技术要求
1 / 2 自动伸缩门和道闸电子刷卡系统技术要求 一、 简况： 月坛南街号院办公区自动伸缩门和道闸电子刷卡系统的采购安 装（安装尺寸到现场测量） 。在安装前要拆除原有伸缩门系统和手动 道闸、铺设地干线圈等。工程量的确定由各竞价单位于年月日上午 ： 至：到北京市西城区月坛南街号进行现场踏勘。 没有进行现场踏勘的 单位报价无效。此竞价为交钥匙工程所有费用涵盖其中， 不另行追加 任何费用。 二、资质要求： 、符合《政府采购法》第二十二条规定（注）； 、要求在北京必须有常驻机构及施工和维护队伍。 、通过质量管理体系认证； 、近三年台套以上同型号机组应用业绩 （销售合同的复印件提供和该项目的用户 验收证明原件及用户的有效联系方式）； 、具有建设部门颁发的《国家机电设备安装资质证书》。 、《政府采购法》第二十二条对供应商参加政府采购活动应当具备的相关条件： （一）具有独立承担民事责任的能力； （二）
基于Spin的地铁门控制系统建模与验证
基于Spin的地铁门控制系统建模与验证
针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。