格式:pdf
大小:91KB
頁(yè)數(shù):
乘客陸先生在地鐵列車蜂鳴器鳴叫后,仍試圖進(jìn)入車廂,結(jié)果電腦被車門夾在了門外,導(dǎo)致電腦完全被損毀。為此陸先生將地鐵運(yùn)營(yíng)公司告上法院。12月20日上海市徐匯區(qū)人民法院認(rèn)定陸先生和地鐵公司均存在過(guò)錯(cuò),判決地鐵公司賠償陸先生6000元。
格式: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的安全性。
工地鐵門平方造價(jià)知識(shí)來(lái)自于造價(jià)通云知平臺(tái)上百萬(wàn)用戶的經(jīng)驗(yàn)與心得交流。 注冊(cè)登錄 造價(jià)通即可以了解到相關(guān)工地鐵門平方造價(jià)最新的精華知識(shí)、熱門知識(shí)、相關(guān)問(wèn)答、行業(yè)資訊及精品資料下載。同時(shí),造價(jià)通還為您提供材價(jià)查詢、測(cè)算、詢價(jià)、云造價(jià)等建設(shè)行業(yè)領(lǐng)域優(yōu)質(zhì)服務(wù)。手機(jī)版訪問(wèn):工地鐵門平方造價(jià)