123,123,123

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

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