针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。
序号 名称 规格 单位 数量 1 多奥门禁机 二维码、刷卡 （IC） 台 121 2 通转 485-TCP/IP 个 122 3 磁力锁 通用门锁 把 121 4 开关 开门按钮 个 121 5 门禁电源 12V 个 121 6 门禁系统软件 DAIC-MJ-SF 套 1 7 发卡器 USB 个 1 8 管理卡 M1 张 121 9 调试卡 M1 张 121 10 小程序 用多奥免费其他另 计 套 1 合计 税金=设备 *10% 运费（物流到付） 总价 单价 总价 0 0 0 0 0 0 0 0 0 0 0 0 0
热门知识
刷卡系统地铁门-
话题： 地产家居hs_490537782
精华知识
刷卡系统地铁门最新知识
刷卡系统地铁门-
话题： 工程造价huhaihui11
-
话题： 工程造价157****2061
刷卡系统地铁门相关专题
- 拉卡拉POS刷卡费率是多少
- 智能刷卡水表多少钱
- 自动刷卡道闸系统要多少钱
- 西门子刷卡门禁多少钱
- 多功能门禁刷卡锁怎么调试
- 刷卡智能电表价格大概多少
- 刷卡门禁一体机多少钱
- 刷卡门锁多少钱
- 刷卡门禁系统报价是多少
- 电梯改成刷卡需要多少钱
- 中国工程图学学会成立工程与制造系统集成化分会
- 云计算技术在城市轨道交通运营指挥管理系统中的应用
- 多逆变器太阳能光伏并网发电系统的组群控制方法
- 智能建筑工程报警与电视监控系统前端设备的安装施工
- 防盗门装进门洞打六根膨胀螺丝固定
- 招远电视台制作播出系统数字化改造工程的设计与实践
- 全热回收地源热泵空调机组的系统及工程方案设计
- 支持群体设计的工程数据库管理系统的结构及实现
- 云计算对企业信息化系统建设和运营的影响分析和改进
- 智能建筑工程设计中的机电设备集成配置系统总体设计
- 中航格澜阳光花园一期门禁对讲建设项目施工组织设计
- 智能电力监控管理系统在某飞机维修公司工程中的应用
- 智能建筑智能化工程名词解释-通信系统设备安装工程
- 智能建筑虚拟仪器监控系统与控制网络的接口技术
- 智能照明系统在高校教学楼建筑节能改造中的应用
- 医用洁净空调系统设计调试中易忽视的问题及设计优化
- 中关村太阳能集中集热、分户储热、分户辅热系统