一種為程序的安全性驗(yàn)證所設(shè)計(jì)的面向?qū)ο蟮淖詣?dòng)轉(zhuǎn)換方法
所屬分類(lèi)：技術(shù)論文
上傳者：aet
文檔大?。?span>1650 K
標(biāo)簽： 開(kāi)發(fā)工具
所需積分：0分積分不夠怎么辦？
文檔介紹：容錯(cuò)和控制系統(tǒng)的安全性驗(yàn)證是自發(fā)機(jī)撲系統(tǒng)成功的關(guān)鍵，一種叫做任務(wù)數(shù)據(jù)系統(tǒng)MDS(Mission Data Symstem)的控制框架的軟件理論被提了出來(lái)，而它的產(chǎn)生則推動(dòng)了一種基于對(duì)象的控制方法的產(chǎn)生。本文將討論一種設(shè)計(jì)方法，該方法的設(shè)計(jì)目的是將對(duì)象網(wǎng)絡(luò)控制程序轉(zhuǎn)化為線(xiàn)性混合系統(tǒng)。該線(xiàn)性混合系統(tǒng)在使用信號(hào)模擬檢測(cè)器進(jìn)行檢測(cè)時(shí)，在出現(xiàn)錯(cuò)誤時(shí)是可以證明其安全性的。本文將結(jié)合例子介紹這種方法。
現(xiàn)在下載
VIP會(huì)員，AET專(zhuān)家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。