格式：pdf
大小：91KB
頁數：
乘客陸先生在地鐵列車蜂鳴器鳴叫后，仍試圖進入車廂，結果電腦被車門夾在了門外，導致電腦完全被損毀。為此陸先生將地鐵運營公司告上法院。12月20日上海市徐匯區人民法院認定陸先生和地鐵公司均存在過錯，判決地鐵公司賠償陸先生6000元。
格式：pdf
大小：199KB
頁數：
針對地鐵門控制系統(MDCS)安全問題,提出一種MDCS檢測方法。通過分析MDCS的控制邏輯,使用Promela建立了基于Spin的MDCS系統模型,將MDCS中的地鐵控制系統、地鐵門控制系統及屏蔽門控制系統抽象為三個進程,并用線性時態邏輯公式描述待驗證性質,運行Spin后即可判斷MDCS是否存在安全隱患。實驗結果表明,該檢測方法可有效驗證MDCS的安全性。
熱門知識
地鐵門的原理-
話題： 項目管理liyaoqiang02
精華知識
地鐵門的原理-
話題： 室內設計linwangmei
最新知識
地鐵門的原理相關問答
地鐵門的原理地鐵門的原理相關專題
- 建筑工地鐵皮圍墻怎么稱呼
- 光明什么樓盤最近地鐵站
- 西安地鐵三號線施工單位是
- 高樓金第離地鐵有多遠
- 施工場地鐵皮圍擋造價
- 深圳騰訊大樓在哪個地鐵站
- 地鐵關門鈴音效
- 地鐵施工中的豎井是什么
- 地鐵出入口蓋挖法施工方案
- 地鐵施工的方法是什么
- 基于壓電堆驅動器的噴嘴擋板式氣體控制閥
- 磷銨技術改造五大磷肥工程的建議
- 以大豆油多元醇制備的硬質聚氨酯泡沫塑料的性能
- 逆變TIG焊機接觸引弧電路的設計(引弧電路)
- 應用模糊數學理論對公路工程建設項目方案的綜合評價
- 可替代現有隔熱保溫材料的新型材料
- 以貫穿項目為核心載體的建筑工程技術專業素材庫建設
- 多逆變器太陽能光伏并網發電系統的組群控制方法
- 影響萘高效減水劑與普通硅酸鹽水泥適應性的關鍵因素
- 在全縣非煤礦山和危化企業安全生產工作會議上的講話
- 中國工程造價咨詢業的發展趨勢
- 支持并行工程和智能CAPP的制造資源建模技術
- 中共重慶市委重慶市人民政府關于建設平安重慶的決定
- 智能建筑工程報警與電視監控系統前端設備的安裝施工
- 在“建筑節能與居住舒適”專題技術交流會議上的講話
- 以MSP430FW427為核心的遠程數字水表設計
- 防盜門裝進門洞打六根膨脹螺絲固定