针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。
（八）铁门安装 1、施工准备 （1）根据铁门结构，采购合格板材与符合设计的相关配件。 （2）门框采用δ 2.0mm不锈钢板 (304) ，剪压、焊接、打磨。 （3）焊条采用合格标准的不锈钢焊条 （4）用 1m垂直检测尺检查门框的正、侧面垂直度≤3 mm （5）用 1m垂直检测尺检查门横框的水平度≤3 mm （6）门扇采用δ 1.5mm不锈钢板 (304) ，上、中、下层结合式制作。 （7）上下层门扇剪压成形后，上层门扇四围压死边，下层与上层配套剪压成槽型。 （8）用钢尺检查门扇宽度、高度 ≤ 3.5mm （9）用钢尺检查门扇对角线长度差 ≤ 5 mm （10）中间层δ 45mm挤塑板，挤塑板两面采用环氧树脂分别黏贴固定在上层、 下层 门扇板，其中下层门扇包裹挤塑板。 （11）上下层门扇连接，连接缝用氩弧焊焊接、打磨、酸洗。 （12）视窗的制作，用不锈钢角铁包δ 10mm P
热门知识
工地铁门平方造价精华知识
工地铁门平方造价-
话题： 室内设计w350893304
-
话题： 工程造价liliang8150
最新知识
工地铁门平方造价-
话题： 室内设计wincentleung
-
话题： 项目管理liyaoqiang02
工地铁门平方造价相关专题
- 造价的去工地
- 造价实习生去工地
- 造价员不上工地能学好吗
- 造价员工地现场管理制度
- 造价员需要跑工地
- 造价员在工地能做什么
- 怎样管理在工地上的挖机
- 怎样做好一个工地的管理者
- 怎样做好工地材料员
- 建筑工地15打桩机价格
- 中国工程造价咨询业的发展趋势
- 云南省建设工程造价协会优秀工程咨询成果奖评选办法
- 有关建筑工程造价管理面临的问题与其处理手段
- 岳阳信息价,最新最全岳阳工程造价信息网信息价下载
- 以工作任务为载体的安装工程造价课程教学改革与实践
- 中国建设工程造价管理协会援外工程委员会
- 基于闭环反馈优化的IDC基础设施造价评估模型
- 云南红河3层板式建筑食堂62#-食堂工程造价指标
- 在工程建设管理中进行工程造价全过程控制的几点建议
- 有关工程造价预结算审核存在问题及其解决对策
- 在职培训——提升员工素质的捷径兼析造价工程师培训
- 云南保山服务中心4#-敬老院服务中心工程造价指标
- 政府财政投资工程项目全过程工程造价控制与管理措施
- 云南红河长度982.4主干路210#工程造价指标
- 中国手工地毯行业市场前景分析预测年度报告
- 云南省造价工程师安装计量：除锈、刷油和衬里考试题
- 云南造价咨询服务收费自动计算表〔2O12〕66号