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

定　價：￥48.00

作　者：	何儀周，董慶超，齊玉東，王義冬
出版社：	國防工業(yè)出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787118118421	出版時間：	2019-10-01	包裝：
開本：		頁數(shù)：		字數(shù)：

內(nèi)容簡介

　　本書基于本體論中的基本哲學(xué)概念，運用形式化的表達方法，構(gòu)建面向業(yè)務(wù)建模的上層本體框架，主要內(nèi)容包括：依據(jù)該框架對裝備保障領(lǐng)域核心概念進行分析，針對保障系統(tǒng)的組成要素中的實體類概念和契機類概念分別構(gòu)建本體語義框架，針對動態(tài)建模擴展連續(xù)物范疇本體語義框架，對部分-整體關(guān)系進行擴展重構(gòu)，并基于這些語義和關(guān)系構(gòu)建裝備本體建?？蚣?；基于所構(gòu)建的裝備保障本體建模框架對UML元模型進行擴展，得到適合裝備保障的領(lǐng)域特定建模語言，運用語言可以構(gòu)建基于本體的裝備保障特定領(lǐng)域或特定業(yè)務(wù)的信息模型；給出用于形式化規(guī)約的描述邏輯的體系結(jié)構(gòu)和一階謂詞邏輯到描述邏輯的轉(zhuǎn)換方法及正確性證明，并給出基于描述邏輯的一致性檢測方法。

作者簡介

　　何儀周：海軍裝備技術(shù)研究所工程師。長期從事裝備綜合保障及保障信息化研究，獲得軍隊科技進步一等獎2項、二等獎1項、三等獎9項，出版專著1本，發(fā)表論文二十多篇。王

圖書目錄

第1章緒論
1．1 引言
1．2 國內(nèi)外研究現(xiàn)狀
1．3 主要研究內(nèi)容
第2章本體論概述及上層本體
2．1 本體概念內(nèi)涵
2．2 本體建?；?br />2．3 本體形式化定義
2．4 本體類別
2．5 本體構(gòu)建
2．5．1 本體構(gòu)建原則
2．5．2 本體建模方法
2．5．3 本體建模工具
2．6 本體描述語言
2．7 上層本體
2．7．1 本體層級及上層本體
2．7．2 DOLCE本體
2．7．3 GOL本體
第3章信息模型的本體基礎(chǔ)
3．1 連續(xù)物與持續(xù)物
3．2 部分一整體關(guān)系
3．2．1 形式化部分一整體理論
3．2．2 部分一整體理論用于概念建模的問題
3．2．3 有機整體
3．2．4 部分一整體關(guān)系中的次要特性
3．3 本體論基本范疇
3．3．1 集合與本元
3．3．2 契機
3．3．3 實體
3．3．4 共相
3．4 面向動態(tài)建模的語義擴展
第4章裝備保障本體建模框架
4．1 裝備保障系統(tǒng)組成要素分析
4．1．1 功能要素
4．1．2 資源要素
4．1．3 組織要素
4．2 實體類概念本體建?？蚣?br />4．2．1 本體元特性
4．2．2 實體概念基礎(chǔ)類別體系
4．2．3 裝備保障領(lǐng)域?qū)嶓w概念本體建模
4．3 契機類概念本體建模框架
4．3．1 特征、特征值、特征維和特征域
4．3．2 RMS參數(shù)的本體建模
4．3．3 關(guān)系與關(guān)系子
4．3．4 保障功能本體建模
4．4 連續(xù)物概念本體建?？蚣?br />4．5 部分一整體關(guān)系擴展分類結(jié)構(gòu)
……
第5章基于裝備保障領(lǐng)域本體的領(lǐng)域特定建模語言
第6章裝備保障領(lǐng)域本體形式化規(guī)約及檢驗方法
第7章案例分析與設(shè)計
參考文獻