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