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

定　價(jià)：￥58.00

作　者：	韓德帥，馬光蓮
出版社：	西北工業(yè)大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買(mǎi)這本書(shū)可以去

京東 (￥53.40)

ISBN：	9787561282335	出版時(shí)間：	2023-01-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎ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)用。

作者簡(jiǎn)介

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