幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

複雜信息系統自適應軟體建模與可靠性驗證方法

  • 作者：韓德帥//馬光蓮|責編:胡莉巾
  • 出版社：西北工大
  • ISBN：9787561282335
  • 出版日期：2022/08/01
  • 裝幀：平裝
  • 頁數：158
人民幣：RMB 58 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書從複雜信息系統自適應邏輯建模與驗證、自適應過程時間特性建模與分析、自適應行為不確定性建模與決策三個方面著手。系統、全面地介紹了面向複雜信息系統的自適應軟體建模與可靠性驗證分析相關的技術、理論和方法。本書共6章，其中，第1章重點介紹了自適應軟體建模與驗證相關的基礎知識，包括自適應軟體基本概念、基本術語；第2章重點介紹了複雜信息系統自適應邏輯建模與驗證技術，包括可視化建模、模型轉換、形式化建模與驗證等；第3章重點介紹了複雜信息系統自適應過程時間特性建模與分析，包括時間特性定義、建模與形式化驗證分析等；第4章重點介紹了複雜信息系統自適應行為不確定性建模與決策，包括不確定性建模、基於不確定性的自適應決策等；第5章重點介紹了自適應軟體建模與驗證支撐工具開發方法；第6章介紹了自適應軟體建模與驗證方法的案例應用。
    本書可供高等院校軟體工程專業教師、研究生和高年級本科生閱讀，也可供從事複雜信息系統需求分析、建模設計和開發的工程技術人員參考。
作者介紹
韓德帥//馬光蓮|責編:胡莉巾
目錄
第1章  概述
  1.1  自適應軟體簡介
  1.2  自適應軟體建模技術研究現狀
第2章  複雜信息系統自適應邏輯建模與驗證
  2.1  問題分析與理論基礎
  2.2  複雜自適應邏輯建模與驗證總體思路
  2.3  基於擴展UML的自適應軟體可視化建模
  2.4  自適應軟體擴展UML模型到Event-B的轉換
  2.5  Event-B精化模式定義及自適應性質驗證
  2.6  實驗驗證
  2.7  相關工作對比分析
  2.8  本章小結
第3章  複雜信息系統自適應過程時間特性建模與分析
  3.1  問題分析與理論基礎
  3.2  自適應過程時間特性建模與分析方法總體思路
  3.3  自適應過程時間特性定義及形式化模板構建
  3.4  Event-B模型到時間自動機網路的轉換
  3.5  模型檢驗與定理證明相結合的自適應性質驗證
  3.6  案例分析
  3.7  相關工作對比分析
  3.8  本章小結
第4章  複雜信息系統自適應行為不確定性建模與決策
  4.1  問題分析與理論基礎
  4.2  自適應行為不確定性建模方法總體思路
  4.3  面向自適應行為不確定性的Event-B擴展
  4.4  自適應軟體Event-B模型到MDP模型的映射
  4.5  基於MDP概率模型檢驗的自適應推理和決策方法
  4.6  案例分析
  4.7  相關工作對比分析
  4.8  本章小結
第5章  自適應軟體形式化建模與驗證支撐工具
  5.1  開發平台及工具
  5.2  支撐工具研製總體思路
  5.3  支撐工具研製與開發
  5.4  討論
  5.5  本章小結
第6章  自適應軟體形式化建模與驗證方法領域應用
  6.1  地下工程火災應急撲救系統自適應邏輯建模與驗證
  6.2  智能建築運維軟體自適應過程時間特性建模與分析
  6.3  島礁運輸補給自適應系統行為不確定性建模與分析
  6.4  本章小結
參考文獻
附錄1  Event-B精化模式推導及證明
附錄2  MDP模型代碼

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032