版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、隨著硬件產品性能和數據處理能力的不斷提升,網絡通信技術的飛速發(fā)展,計算機系統(tǒng)的信息化與智能化程度的提高,對于各種工程系統(tǒng)和計算設備的需求已不僅僅局限于系統(tǒng)功能的擴充,而是更關注系統(tǒng)資源的合理有效分配和系統(tǒng)性能效能的優(yōu)化,以及控制和服務個性化的提升。在這種需求的引導下,信息物理融合系統(tǒng)(Cyber-physical Systems,CPS)作為一種新型智能系統(tǒng)應運而生。CPS在功能上是集計算、通信與控制3C技術于一體的智能技術。CPS的發(fā)
2、展已成為學術界、科技界爭相研究的重要方向,獲得了國內外計算機、通信、控制,以及生物、交通、軍事、基礎設施建設等多個領域研究單位與學者的關注和重視。
模型檢測技術作為一種形式化的自動驗證技術,在計算機軟硬件系統(tǒng)、通信協(xié)議、控制系統(tǒng)和安全認證協(xié)議等領域已得到廣泛應用。在較復雜的并發(fā)系統(tǒng)驗證過程中不可避免地會出現(xiàn)一些不確定、不一致的信息,經典的模型檢測不能處理實際系統(tǒng)中的這些不確定的驗證問題。基于概率測度模型檢測的原理和方法,已廣泛
3、應用于隨機系統(tǒng)的分析和驗證,但在實際生活中不滿足概率測度下的可加性問題仍存在,無法用概率模型檢測技術進行驗證。為此,李永明教授將可能性測度模糊數學與模型檢測技術相結合,提出的基于可能性測度模型檢測的方法,為復雜系統(tǒng)的不確定性驗證提供了較好的理論基礎。由于不確定性計算模型和理論可以比較真實地反映真實的系統(tǒng),因此,在實際應用方面具有重要意義。
本文致力于不確定性CPS建模與屬性驗證的研究??紤]環(huán)境的不確定性對CPS軟件運行動態(tài)驗證
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 論確定性與不確定性.pdf
- 不確定性系統(tǒng)定性建模與控制研究.pdf
- 油藏建模中的不確定性研究.pdf
- 不確定性結構的建模與拓撲優(yōu)化.pdf
- 2019不確定性中的確定性
- 2019不確定性中的確定性
- 土壤屬性三維建模方法及不確定性分析.pdf
- 不確定性會計研究.pdf
- 不確定性與個人儲蓄.pdf
- 論哈姆雷特的不確定性
- 考慮載荷不確定性和剛度不確定性的魯棒優(yōu)化問題.pdf
- 需求不確定性、任務不確定性、人員沖突與項目績效關系的實證研究.pdf
- 基于不確定性的確定性決策分析
- 論教育的不確定性.pdf
- 論不確定性審計.pdf
- 負荷不確定性建模與靜態(tài)電壓穩(wěn)定風險評估.pdf
- 銀行業(yè)不確定性中尋找確定性
- 教育與就業(yè)關系的不確定性.pdf
- 指稱信息的不確定性.pdf
- 網格信任的不確定性建模及其管理研究.pdf
評論
0/150
提交評論