《隨機模型檢測理論與套用》是2014年科學出版社出版的圖書，作者是周從華。
基本介紹
- 中文名：隨機模型檢測理論與套用
- 作者：周從華
- 出版社：科學出版社
- 出版時間：2014年9月1日
- 頁數：203 頁
- 開本：5 開
- ISBN：9787030418920
- 語種：簡體中文
內容簡介,圖書目錄,
內容簡介
《隨機模型檢測理論與套用》是作者多年從事隨機模型檢測相關科研工作的結晶.《隨機模型檢測理論與套用》致力於緩解隨機模型檢測中的狀態空間爆炸問題,深入系統地論述克服狀態空間爆炸的兩種基本技術:限界模型檢測技術與抽象技術.首先,介紹離散時間馬爾可夫鏈、馬爾可夫決策過程、連續時間馬爾可夫鏈和機率實時解釋系統中的限界檢測技術.然後,討論模型檢測機率、實時認知時態邏輯中的二值與三值抽象技術.最後,探討隨機模型檢測技術在雲計算和物聯網領域的套用.
《隨機模型檢測理論與套用》可作為高等院校計算機專業高年級本科生和研究生的教材，也可供相關領域的科研人員參考。
本書致力於緩解隨機模型檢測中的狀態空間爆炸問題。首先介紹了離散時間馬爾可夫鏈、馬爾可夫決策過程、連續時間馬爾可夫鏈和機率實時解釋系統中的限界檢測技術。然後討論了模型檢測機率、實時認知時態邏輯中的二值與三值抽象技術。最後從套用出發，探討了隨機模型檢測技術在雲計算和物聯網領域的套用。
圖書目錄
- 封面
- 隨機模型檢測理論與套用
- 內容簡介
- 前言
- 第1章 隨機模型檢測概述
- 第2章 離散時間馬爾可夫鏈的限界模型檢測
- 第3章 馬爾可夫決策過程的限界模型檢測
- 第4章 連續時間馬爾可夫鏈的限界模型檢測
- 第5章 多智體系統的限界模型檢測
- 第6章 模型檢測多智體系統中的抽象技術
- 第7章 機率時態認知邏輯模型檢測中的抽象技術
- 第8章 實時時態認知邏輯模型檢測中的抽象技術
- 第9章 快速安全協定的性能分析
- 第10章 IEEE802.11P中MAC協定的性能分析
- 第11章 RFID中S-ALOHA協定的性能分析
- 後記
- 封底
