全免费a级毛片免费看无码,中文字幕无码一区二区三区中文字幕

內(nèi)容簡介

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

作者簡介

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

圖書目錄

第1章緒論
1．1 引言
1．2 國內(nèi)外研究現(xiàn)狀
1．3 主要研究內(nèi)容
第2章本體論概述及上層本體
2．1 本體概念內(nèi)涵
2．2 本體建模基元
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 本體層級(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 部分一整體理論用于概念建模的問題
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)建模的語義擴(kuò)展
第4章裝備保障本體建?？蚣?br />4．1 裝備保障系統(tǒng)組成要素分析
4．1．1 功能要素
4．1．2 資源要素
4．1．3 組織要素
4．2 實(shí)體類概念本體建?？蚣?br />4．2．1 本體元特性
4．2．2 實(shí)體概念基礎(chǔ)類別體系
4．2．3 裝備保障領(lǐng)域?qū)嶓w概念本體建模
4．3 契機(jī)類概念本體建?？蚣?br />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)系擴(kuò)展分類結(jié)構(gòu)
……
第5章基于裝備保障領(lǐng)域本體的領(lǐng)域特定建模語言
第6章裝備保障領(lǐng)域本體形式化規(guī)約及檢驗(yàn)方法
第7章案例分析與設(shè)計(jì)
參考文獻(xiàn)