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

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

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