中速磁懸浮車(chē)載運(yùn)行控制系統(tǒng)形式化建模與驗(yàn)證分析.pdf

1、學(xué)校代碼：1 6 0 0 4L L I lU l I I I l l I t l L l l l l l I I IY 3 4 0 5 8 5 1密級(jí)：公開(kāi)B E I J I N G J I A O T O N G U N I V E R S I T Y碩士學(xué)位論文中速磁懸浮車(chē)載運(yùn)行控制系統(tǒng)形式化建模與驗(yàn)證分析作者姓名學(xué)科專(zhuān)業(yè)指導(dǎo)教師培養(yǎng)院系焦怡博信號(hào)與信息處理劉湘黔 副教授計(jì)算機(jī)與信息技術(shù)學(xué)院二零一八年三月學(xué)位論文版權(quán)使用授權(quán)書(shū)本學(xué)位

2、論文作者完全了解北京交通大學(xué)有關(guān)保留、使用學(xué)位論文的規(guī)定。特授權(quán)北京交通大學(xué)可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫(kù)進(jìn)行檢索，提供閱覽服務(wù)，并采用影印、縮印或掃描等復(fù)制手段保存、匯編以供查閱和借閱。同意學(xué)校向國(guó)家有關(guān)部門(mén)或機(jī)構(gòu)送交論文的復(fù)印件和磁盤(pán)。學(xué)?？梢詾榇嬖陴^際合作關(guān)系的兄弟高校用戶(hù)提供文獻(xiàn)傳遞服務(wù)和交換服務(wù)。( 保密的學(xué)位論文在解密后適用本授權(quán)說(shuō)明)?一虢德硝新躲加叫簽字日期：w f 8 年。午月“日 簽字日期：沙四年睜月膨