掃一掃
關(guān)注中圖網(wǎng)
官方微博
>
>>
復(fù)雜信息系統(tǒng)自適應(yīng)軟件建模與可靠性驗(yàn)證方法
復(fù)雜信息系統(tǒng)自適應(yīng)軟件建模與可靠性驗(yàn)證方法
作者：韓德帥，馬光蓮著
開(kāi)本：
24cm
頁(yè)數(shù)：
158頁(yè)
本類(lèi)榜單：社會(huì)科學(xué)銷(xiāo)量榜
本類(lèi)五星書(shū)更多>
-
>
心靈元?dú)馍?/p>
-
>
縣中的孩子 中國(guó)縣域教育生態(tài)
-
>
(精)人類(lèi)的明天(八品)
-
>
厭女（增訂本）
-
>
這樣學(xué)習(xí)才高效/楊慧琴
-
>
心理學(xué)經(jīng)典文叢:女性心理學(xué)
-
>
中國(guó)文化5000年
中圖價(jià):¥45.8
暫時(shí)缺貨
復(fù)雜信息系統(tǒng)自適應(yīng)軟件建模與可靠性驗(yàn)證方法 版權(quán)信息
- ISBN：9787561282335
- 條形碼：9787561282335 ; 978-7-5612-8233-5
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類(lèi)：>>
復(fù)雜信息系統(tǒng)自適應(yīng)軟件建模與可靠性驗(yàn)證方法 內(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ù)、理論和方法。
復(fù)雜信息系統(tǒng)自適應(yīng)軟件建模與可靠性驗(yàn)證方法 目錄
第1章 概述
1．1 自適應(yīng)軟件簡(jiǎn)介
1．2 自適應(yīng)軟件建模技術(shù)研究現(xiàn)狀
第2章 復(fù)雜信息系統(tǒng)自適應(yīng)邏輯建模與驗(yàn)證
2．1 問(wèn)題分析與理論基礎(chǔ)
2．2 復(fù)雜自適應(yīng)邏輯建模與驗(yàn)證總體思路
2．3 基于擴(kuò)展UML的自適應(yīng)軟件可視化建模
2．4 自適應(yīng)軟件擴(kuò)展UMI。模型到Event-B的轉(zhuǎn)換
2．5 Event-B精化模式定義及自適應(yīng)性質(zhì)驗(yàn)證
2．6 實(shí)驗(yàn)驗(yàn)證
2．7 相關(guān)工作對(duì)比分析
2．8 本章小結(jié)
第3章 復(fù)雜信息系統(tǒng)自適應(yīng)過(guò)程時(shí)間特性建模與分析
3．1 問(wèn)題分析與理論基礎(chǔ)
3．2 自適應(yīng)過(guò)程時(shí)間特性建模與分析方法總體思路
3．3 自適應(yīng)過(guò)程時(shí)間特性定義及形式化模板構(gòu)建
3．4 Event-B模型到時(shí)間自動(dòng)機(jī)網(wǎng)絡(luò)的轉(zhuǎn)換
3．5 模型檢驗(yàn)與定理證明相結(jié)合的自適應(yīng)性質(zhì)驗(yàn)證
3．6 案例分析
3．7 相關(guān)工作對(duì)比分析
3．8 本章小結(jié)
第4章 復(fù)雜信息系統(tǒng)自適應(yīng)行為不確定性建模與決策
4．1 問(wèn)題分析與理論基礎(chǔ)
4．2 自適應(yīng)行為不確定性建模方法總體思路
4．3 面向自適應(yīng)行為不確定性的Event-B擴(kuò)展
4．4 自適應(yīng)軟件Event-B模型到MDP模型的映射
4．5 基于MDP概率模型檢驗(yàn)的自適應(yīng)推理和決策方法
4．6 案例分析
4．7 相關(guān)工作對(duì)比分析
4．8 本章小結(jié)
第5章 自適應(yīng)軟件形式化建模與驗(yàn)證支撐工具
5．1 開(kāi)發(fā)平臺(tái)及工具
5．2 支撐工具研制總體思路
5．3 支撐工具研制與開(kāi)發(fā)
5．4 討論
5．5 本章小結(jié)
第6章 自適應(yīng)軟件形式化建模與驗(yàn)證方法領(lǐng)域應(yīng)用
6．1 地下工程火災(zāi)應(yīng)急撲救系統(tǒng)自適應(yīng)邏輯建模與驗(yàn)證
6．2 智能建筑運(yùn)維軟件自適應(yīng)過(guò)程時(shí)間特性建模與分析
6．3 島礁運(yùn)輸補(bǔ)給自適應(yīng)系統(tǒng)行為不確定性建模與分析
6．4 本章小結(jié)
參考文獻(xiàn)
附錄1 Event-B精化模式推導(dǎo)及證明
附錄2 MDP模型代碼
1．1 自適應(yīng)軟件簡(jiǎn)介
1．2 自適應(yīng)軟件建模技術(shù)研究現(xiàn)狀
第2章 復(fù)雜信息系統(tǒng)自適應(yīng)邏輯建模與驗(yàn)證
2．1 問(wèn)題分析與理論基礎(chǔ)
2．2 復(fù)雜自適應(yīng)邏輯建模與驗(yàn)證總體思路
2．3 基于擴(kuò)展UML的自適應(yīng)軟件可視化建模
2．4 自適應(yīng)軟件擴(kuò)展UMI。模型到Event-B的轉(zhuǎn)換
2．5 Event-B精化模式定義及自適應(yīng)性質(zhì)驗(yàn)證
2．6 實(shí)驗(yàn)驗(yàn)證
2．7 相關(guān)工作對(duì)比分析
2．8 本章小結(jié)
第3章 復(fù)雜信息系統(tǒng)自適應(yīng)過(guò)程時(shí)間特性建模與分析
3．1 問(wèn)題分析與理論基礎(chǔ)
3．2 自適應(yīng)過(guò)程時(shí)間特性建模與分析方法總體思路
3．3 自適應(yīng)過(guò)程時(shí)間特性定義及形式化模板構(gòu)建
3．4 Event-B模型到時(shí)間自動(dòng)機(jī)網(wǎng)絡(luò)的轉(zhuǎn)換
3．5 模型檢驗(yàn)與定理證明相結(jié)合的自適應(yīng)性質(zhì)驗(yàn)證
3．6 案例分析
3．7 相關(guān)工作對(duì)比分析
3．8 本章小結(jié)
第4章 復(fù)雜信息系統(tǒng)自適應(yīng)行為不確定性建模與決策
4．1 問(wèn)題分析與理論基礎(chǔ)
4．2 自適應(yīng)行為不確定性建模方法總體思路
4．3 面向自適應(yīng)行為不確定性的Event-B擴(kuò)展
4．4 自適應(yīng)軟件Event-B模型到MDP模型的映射
4．5 基于MDP概率模型檢驗(yàn)的自適應(yīng)推理和決策方法
4．6 案例分析
4．7 相關(guān)工作對(duì)比分析
4．8 本章小結(jié)
第5章 自適應(yīng)軟件形式化建模與驗(yàn)證支撐工具
5．1 開(kāi)發(fā)平臺(tái)及工具
5．2 支撐工具研制總體思路
5．3 支撐工具研制與開(kāi)發(fā)
5．4 討論
5．5 本章小結(jié)
第6章 自適應(yīng)軟件形式化建模與驗(yàn)證方法領(lǐng)域應(yīng)用
6．1 地下工程火災(zāi)應(yīng)急撲救系統(tǒng)自適應(yīng)邏輯建模與驗(yàn)證
6．2 智能建筑運(yùn)維軟件自適應(yīng)過(guò)程時(shí)間特性建模與分析
6．3 島礁運(yùn)輸補(bǔ)給自適應(yīng)系統(tǒng)行為不確定性建模與分析
6．4 本章小結(jié)
參考文獻(xiàn)
附錄1 Event-B精化模式推導(dǎo)及證明
附錄2 MDP模型代碼
展開(kāi)全部
復(fù)雜信息系統(tǒng)自適應(yīng)軟件建模與可靠性驗(yàn)證方法 作者簡(jiǎn)介
韓德帥，火箭軍工程大學(xué)講師，長(zhǎng)期從事國(guó)防工程智能化理論與技術(shù)、復(fù)雜信息系統(tǒng)建模、軟件自適應(yīng)等方向的研究工作，以第一作者發(fā)表SCI、EI檢索論文10余篇，現(xiàn)主持陜西省自然科學(xué)基金1項(xiàng)。
書(shū)友推薦
- >
龍榆生：詞曲概論/大家小書(shū)
- >
大紅狗在馬戲團(tuán)-大紅狗克里弗-助人
- >
伯納黛特,你要去哪(2021新版)
- >
二體千字文
- >
羅曼·羅蘭讀書(shū)隨筆-精裝
- >
企鵝口袋書(shū)系列·偉大的思想20:論自然選擇(英漢雙語(yǔ))
- >
伊索寓言-世界文學(xué)名著典藏-全譯本
- >
朝聞道
本類(lèi)暢銷(xiāo)
