復雜信息系統(tǒng)自適應軟件建模與可靠性驗證方法

　　本書從復雜信息系統(tǒng)自適應邏輯建模與驗證、自適應時間特性建模與分析、自適應行為不確定性建模與決策三個方面著手，系統(tǒng)全面地介紹了面向復雜信息系統(tǒng)的自適應軟件建模與可靠性驗證分析相關的技術、理論和方法。全書共6章，其中，第1章重點介紹了自適應軟件建模與驗證相關的基礎知識，包括自適應軟件基本概念、基本術語；第2章重點介紹了復雜信息系統(tǒng)自適應邏輯建模與驗證技術，包括可視化建模、模型轉(zhuǎn)換、形式化建模與驗證等；第3章重點介紹了復雜信息系統(tǒng)自適應時間特性建模與分析，包括時間特性定義、建模與形式化驗證分析等；第4章重點介紹了復雜信息系統(tǒng)自適應行為不確定性建模與決策，包括不確定性建模、基于不確定性的自適應決策等；第5章重點介紹自適應軟件建模與驗證支撐工具開發(fā)方法；第6章介紹了自適應軟件建模與驗證方法的案例應用。

　　韓德帥，火箭軍工程大學講師，長期從事國防工程智能化理論與技術、復雜信息系統(tǒng)建模、軟件自適應等方向的研究工作，以第一作者發(fā)表SCI、EI檢索論文10余篇，現(xiàn)主持陜西省自然科學基金1項。