中文字幕中文无码中午有码 ,9色色网视频在线观看,亚洲少妇激情电影

內(nèi)容簡介

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

作者簡介

　　何儀周：海軍裝備技術研究所工程師。長期從事裝備綜合保障及保障信息化研究，獲得軍隊科技進步一等獎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 本體構建
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 連續(xù)物與持續(xù)物
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 面向動態(tài)建模的語義擴展
第4章裝備保障本體建?？蚣?br />4．1 裝備保障系統(tǒng)組成要素分析
4．1．1 功能要素
4．1．2 資源要素
4．1．3 組織要素
4．2 實體類概念本體建?？蚣?br />4．2．1 本體元特性
4．2．2 實體概念基礎類別體系
4．2．3 裝備保障領域實體概念本體建模
4．3 契機類概念本體建?？蚣?br />4．3．1 特征、特征值、特征維和特征域
4．3．2 RMS參數(shù)的本體建模
4．3．3 關系與關系子
4．3．4 保障功能本體建模
4．4 連續(xù)物概念本體建模框架
4．5 部分一整體關系擴展分類結構
……
第5章基于裝備保障領域本體的領域特定建模語言
第6章裝備保障領域本體形式化規(guī)約及檢驗方法
第7章案例分析與設計
參考文獻