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

同類熱銷排行榜

最近瀏覽的商品

基於本體的裝備保障信息模型建模方法

  • 作者：何儀周//董慶超//齊玉東//王義冬
  • 出版社：國防工業
  • ISBN：9787118118421
  • 出版日期：2019/09/01
  • 裝幀：平裝
  • 頁數：124
人民幣：RMB 48 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書以裝備保障信息模型為研究對象，引入信息科學中的「本體論」，研究了本元、個體、共相、實體、契機等概念的定義和形式化表達，構建了面向業務建模的上層本體框架，依據該框架，提出了一種基於上層本體建立裝備保障信息模型的建模框架，給出了運用擴展后的領域特定建模語言進行保障業務建模的方法，並研究了其形式化規約的一致性檢測方法。
    本書可供裝備保障業務建模及信息化建設人員閱讀，也可作為其他領域業務建模方法論的借鑒參考用書。
作者介紹
何儀周//董慶超//齊玉東//王義冬
目錄
第1章  緒論
  1.1  引言
  1.2  國內外研究現狀
  1.3  主要研究內容
第2章  本體論概述及上層本體
  2.1  本體概念內涵
  2.2  本體建模基元
  2.3  本體形式化定義
  2.4  本體類別
  2.5  本體構建
    2.5.1  本體構建原則
    2.5.2  本體建模方法
    2.5.3  本體建模工具
  2.6  本體描述語言
  2.7  上層本體
    2.7.1  本體層級及上層本體
    2.7.2  DOLCE本體
    2.7.3  GOL本體
第3章  信息模型的本體基礎
  3.1  連續物與持續物
  3.2  部分-整體關係
    3.2.1  形式化部分-整體理論
    3.2.2  部分-整體理論用於概念建模的問題
    3.2.3  有機整體
    3.2.4  部分-整體關係中的次要特性
  3.3  本體論基本範疇
    3.3.1  集合與本元
    3.3.2  契機
    3.3.3  實體
    3.3.4  共相
  3.4  面向動態建模的語義擴展
第4章  裝備保障本體建模框架
  4.1  裝備保障系統組成要素分析
    4.1.1  功能要素
    4.1.2  資源要素
    4.1.3  組織要素
  4.2  實體類概念本體建模框架
    4.2.1  本體元特性
    4.2.2  實體概念基礎類別體系
    4.2.3  裝備保障領域實體概念本體建模
  4.3  契機類概念本體建模框架
    4.3.1  特徵、特徵值、特徵維和特徵域
    4.3.2  RMS參數的本體建模
    4.3.3  關係與關係子
    4.3.4  保障功能本體建模
  4.4  連續物概念本體建模框架
  4.5  部分-整體關係擴展分類結構
第5章  基於裝備保障領域本體的領域特定建模語言
  5.1  UML元模型與擴展機制
  5.2  建模語言評價標準

  5.3  基於形式化本體的UM重構
    5.3.1  類與泛化的重構
    5.3.2  類元與特性的重構
    5.3.3  部分-整體關係的重構
  5.4  基於本體的Erikson—Penker擴展模型
第6章  裝備保障領域本體形式化規約及檢驗方法
  6.1  形式化規約語言
    6.1.1  描述邏輯的體系結構
    6.1.2  描述邏輯的推理
  6.2  描述邏輯及其SHOIN(D)子系統
    6.2.1  描述邏輯SHOIN(D)系統語法語義
    6.2.2  描述邏輯SHOIN(D)知識庫
    6.2.3  描述邏輯SHOIN(D)的推理
    6.2.4  SHOIN(D)知識庫與OWL DL本體的轉換規則
  6.3  裝備保障領域本體描述邏輯轉換演算法
    6.3.1  類的轉換方法
    6.3.2  一般關聯關係的轉換方法
    6.3.3  弱聚合關係的轉換方法
    6.3.4  強聚合關係的轉換方法
    6.3.5  繼承關係的轉換方法
  6，3.6  約束條件的轉換方法
  6.4  本體轉換演算法正確性證明
  6.5  形式化檢驗方法
第7章  案例分析與設計
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ 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