格式：pdf
大?。?span class="single-tag-height">91KB
頁數(shù)：
乘客陸先生在地鐵列車蜂鳴器鳴叫后，仍試圖進(jìn)入車廂，結(jié)果電腦被車門夾在了門外，導(dǎo)致電腦完全被損毀。為此陸先生將地鐵運營公司告上法院。12月20日上海市徐匯區(qū)人民法院認(rèn)定陸先生和地鐵公司均存在過錯，判決地鐵公司賠償陸先生6000元。
格式：pdf
大?。?span class="single-tag-height">199KB
頁數(shù)：
針對地鐵門控制系統(tǒng)(MDCS)安全問題,提出一種MDCS檢測方法。通過分析MDCS的控制邏輯,使用Promela建立了基于Spin的MDCS系統(tǒng)模型,將MDCS中的地鐵控制系統(tǒng)、地鐵門控制系統(tǒng)及屏蔽門控制系統(tǒng)抽象為三個進(jìn)程,并用線性時態(tài)邏輯公式描述待驗證性質(zhì),運行Spin后即可判斷MDCS是否存在安全隱患。實驗結(jié)果表明,該檢測方法可有效驗證MDCS的安全性。
熱門知識
地鐵門-
話題： 室內(nèi)設(shè)計王舜
-
話題： 室內(nèi)設(shè)計七∮夜
-
話題： 工程造價liliang8150
-
話題： 地產(chǎn)家居noodles3
精華知識
地鐵門-
話題： 項目管理liyaoqiang02
-
-
最新知識
地鐵門-
-
話題： 室內(nèi)設(shè)計回憶美麗
-
話題： 室內(nèi)設(shè)計憂雪
相關(guān)問答
地鐵門地鐵門相關(guān)專題
- 北安橋有地鐵站
- 2019地鐵規(guī)劃線路圖
- 2019北京地鐵線路圖
- 2019年地鐵線路圖
- 常州地鐵3號線規(guī)劃
- 常州地鐵2號線規(guī)劃
- 成都地鐵21號線線路圖
- 成都地鐵6號線線路圖
- 成都地鐵13號線線路圖
- 常州地鐵4號線規(guī)劃圖
- 防盜門裝進(jìn)門洞打六根膨脹螺絲固定
- 中航格瀾陽光花園一期門禁對講建設(shè)項目施工組織設(shè)計
- 執(zhí)行設(shè)備工程監(jiān)理規(guī)范提升地鐵設(shè)備監(jiān)理服務(wù)質(zhì)量
- 岳西縣中醫(yī)院門急診康復(fù)綜合樓裝飾工程監(jiān)理實施細(xì)則
- 多方式遠(yuǎn)程控制門禁系統(tǒng)
- 在地鐵建設(shè)、運營中屏蔽門系統(tǒng)與相關(guān)專業(yè)的接口分析
- 制藥用水系統(tǒng)使用點取樣閥門的應(yīng)用設(shè)計和選型論文
- 優(yōu)選第五章廠房大門特征門木結(jié)構(gòu)工程建筑工程概預(yù)算
- 可關(guān)斷晶閘管(GTO)直接門極驅(qū)動電路
- 在市中心緊鄰地鐵和保護(hù)建筑的大型深基坑設(shè)計與施工
- 在LaTeX中使用TikZ畫圖的入門例子V1.5
- 引子渡水電站溢洪道弧形工作閘門焊接變形與處理
- 以色列地鐵粉砂地層盾構(gòu)連續(xù)穿越河道和鐵路施工技術(shù)
- 怎樣挑選塑鋼門窗——訪西安海富特塑鋼工程有限公司
- 易門大椿樹水泥廠30萬噸水泥粉磨站可行性報告
- 球形木質(zhì)素吸附劑吸附L-天門冬氨酸的性能
- 如何區(qū)別鋁合金門窗60、70、80系列
- 地鐵門禁系統(tǒng)設(shè)計
- 地鐵閘
- 地鐵閘機
- 地鐵閘機設(shè)計
- 地鐵閘門設(shè)計
- 地鐵防水保質(zhì)期
- 地鐵防水工程
- 地鐵防水工程施工質(zhì)量驗收標(biāo)準(zhǔn)配套表格
- 地鐵防水施工
- 地鐵防水施工方案
- 地鐵防汛應(yīng)急預(yù)案
- 地鐵防汛方案
- 地鐵防火設(shè)計規(guī)范
- 地鐵防雷接地
- 地鐵階地勘察
- 地鐵附屬構(gòu)筑物
- 地鐵附屬結(jié)構(gòu)施工工藝
- 地鐵附屬結(jié)構(gòu)施工方案
- 地鐵降壓變電所設(shè)計
- 地鐵降水井技術(shù)交底
- 地鐵隧道
- 地鐵隧道二襯工序施工
- 地鐵隧道加固
- 地鐵隧道動態(tài)廣告
- 地鐵隧道區(qū)間支護(hù)
- 地鐵隧道變形監(jiān)測
- 地鐵隧道堵漏
- 地鐵隧道堵漏施工
- 地鐵隧道塌方
- 地鐵隧道媒體