格式：pdf
大?。?span class="single-tag-height">91KB
頁數(shù)：
乘客陸先生在地鐵列車蜂鳴器鳴叫后，仍試圖進(jìn)入車廂，結(jié)果電腦被車門夾在了門外，導(dǎo)致電腦完全被損毀。為此陸先生將地鐵運(yùn)營(yíng)公司告上法院。12月20日上海市徐匯區(qū)人民法院認(rèn)定陸先生和地鐵公司均存在過錯(cuò)，判決地鐵公司賠償陸先生6000元。
格式：pdf
大?。?span class="single-tag-height">199KB
頁數(shù)：
針對(duì)地鐵門控制系統(tǒng)(MDCS)安全問題,提出一種MDCS檢測(cè)方法。通過分析MDCS的控制邏輯,使用Promela建立了基于Spin的MDCS系統(tǒng)模型,將MDCS中的地鐵控制系統(tǒng)、地鐵門控制系統(tǒng)及屏蔽門控制系統(tǒng)抽象為三個(gè)進(jìn)程,并用線性時(shí)態(tài)邏輯公式描述待驗(yàn)證性質(zhì),運(yùn)行Spin后即可判斷MDCS是否存在安全隱患。實(shí)驗(yàn)結(jié)果表明,該檢測(cè)方法可有效驗(yàn)證MDCS的安全性。
熱門知識(shí)
地鐵門的原理-
-
話題： 工程造價(jià)liliang8150
-
話題： 地產(chǎn)家居noodles3
精華知識(shí)
地鐵門的原理最新知識(shí)
地鐵門的原理相關(guān)問答
地鐵門的原理地鐵門的原理相關(guān)專題
- 建筑工地鐵皮圍墻怎么稱呼
- 光明什么樓盤最近地鐵站
- 西安地鐵三號(hào)線施工單位是
- 高樓金第離地鐵有多遠(yuǎn)
- 施工場(chǎng)地鐵皮圍擋造價(jià)
- 深圳騰訊大樓在哪個(gè)地鐵站
- 地鐵關(guān)門鈴音效
- 地鐵施工中的豎井是什么
- 地鐵出入口蓋挖法施工方案
- 地鐵施工的方法是什么
- 基于壓電堆驅(qū)動(dòng)器的噴嘴擋板式氣體控制閥
- 磷銨技術(shù)改造五大磷肥工程的建議
- 以大豆油多元醇制備的硬質(zhì)聚氨酯泡沫塑料的性能
- 逆變TIG焊機(jī)接觸引弧電路的設(shè)計(jì)(引弧電路)
- 應(yīng)用模糊數(shù)學(xué)理論對(duì)公路工程建設(shè)項(xiàng)目方案的綜合評(píng)價(jià)
- 可替代現(xiàn)有隔熱保溫材料的新型材料
- 以貫穿項(xiàng)目為核心載體的建筑工程技術(shù)專業(yè)素材庫建設(shè)
- 多逆變器太陽能光伏并網(wǎng)發(fā)電系統(tǒng)的組群控制方法
- 影響萘高效減水劑與普通硅酸鹽水泥適應(yīng)性的關(guān)鍵因素
- 在全縣非煤礦山和?；髽I(yè)安全生產(chǎn)工作會(huì)議上的講話
- 中國(guó)工程造價(jià)咨詢業(yè)的發(fā)展趨勢(shì)
- 支持并行工程和智能CAPP的制造資源建模技術(shù)
- 中共重慶市委重慶市人民政府關(guān)于建設(shè)平安重慶的決定
- 智能建筑工程報(bào)警與電視監(jiān)控系統(tǒng)前端設(shè)備的安裝施工
- 在“建筑節(jié)能與居住舒適”專題技術(shù)交流會(huì)議上的講話
- 以MSP430FW427為核心的遠(yuǎn)程數(shù)字水表設(shè)計(jì)
- 防盜門裝進(jìn)門洞打六根膨脹螺絲固定
- 地鐵平谷線
- 地鐵屏蔽門的自救方法
- 地鐵區(qū)間隧道的減振措施
- 地鐵如何修建的
- 地鐵上的用電設(shè)備有哪些
- 地鐵施工的方法是什么
- 地鐵施工管片有什么用
- 地鐵施工監(jiān)測(cè)主要內(nèi)容
- 地鐵施工中的豎井是什么
- 地鐵施工中是怎樣出土的
- 地鐵是如何建造的
- 地鐵是屬于什么專業(yè)
- 地鐵是用電的
- 地鐵是怎么修的
- 地鐵是怎樣建造的
- 地鐵是怎樣施工的
- 地鐵水電項(xiàng)目
- 地鐵隧道頂如何加固
- 地鐵隧道施工工序
- 地鐵隧道是怎樣挖成的
- 地鐵隧道為什么會(huì)有豎井
- 地鐵通了房?jī)r(jià)一定漲嗎
- 地鐵通信專業(yè)實(shí)習(xí)總結(jié)
- 地鐵液壓緩沖器原理
- 地鐵一般有多長(zhǎng)
- 地鐵一公里要花多少錢
- 地鐵有哪些改變
- 地鐵與鐵路的待遇
- 地鐵災(zāi)害有哪些
- 地鐵怎么堵漏