造價(jià)通
更新時(shí)間:2025.04.20
電腦被夾在地鐵門外損毀 地鐵公司賠償一半

格式:pdf

大小:91KB

頁(yè)數(shù):

乘客陸先生在地鐵列車蜂鳴器鳴叫后,仍試圖進(jìn)入車廂,結(jié)果電腦被車門夾在了門外,導(dǎo)致電腦完全被損毀。為此陸先生將地鐵運(yùn)營(yíng)公司告上法院。12月20日上海市徐匯區(qū)人民法院認(rèn)定陸先生和地鐵公司均存在過(guò)錯(cuò),判決地鐵公司賠償陸先生6000元。

基于Spin的地鐵門控制系統(tǒng)建模與驗(yàn)證

格式:pdf

大?。?span class="single-tag-height">199KB

頁(yè)數(shù):

針對(duì)地鐵門控制系統(tǒng)(MDCS)安全問(wèn)題,提出一種MDCS檢測(cè)方法。通過(guò)分析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à)

最新知識(shí)

工地鐵門平方造價(jià)
點(diǎn)擊加載更多>>

相關(guān)問(wèn)答

工地鐵門平方造價(jià)
點(diǎn)擊加載更多>>
專題概述
工地鐵門平方造價(jià)相關(guān)專題

分類檢索: