| 一種為程序的安全性驗證所設計的面向對象的自動轉換方法 | |
| 所屬分類：技術論文 | |
| 上傳者：aet | |
| 文檔大小：1650 K | |
| 標簽： 開發工具 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：容錯和控制系統的安全性驗證是自發機撲系統成功的關鍵，一種叫做任務數據系統MDS(Mission Data Symstem)的控制框架的軟件理論被提了出來，而它的產生則推動了一種基于對象的控制方法的產生。本文將討論一種設計方法，該方法的設計目的是將對象網絡控制程序轉化為線性混合系統。該線性混合系統在使用信號模擬檢測器進行檢測時，在出現錯誤時是可以證明其安全性的。本文將結合例子介紹這種方法。 | |
| 現在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統工程研究所版權所有 京ICP備10017138號-2