基於本體的裝備保障信息模型建模方法(簡體書)
商品資訊
相關商品
商品簡介
商品簡介
本書基於本體論中的基本哲學概念,運用形式化的表達方法,構建面向業務建模的上層本體框架,主要內容包括:依據該框架對裝備保障領域核心概念進行分析,針對保障系統的組成要素中的實體類概念和契機類概念分別構建本體語義框架,針對動態建模擴展連續物範疇本體語義框架,對部分-整體關係進行擴展重構,並基於這些語義和關係構建裝備本體建模框架;基於所構建的裝備保障本體建模框架對UML元模型進行擴展,得到適合裝備保障的領域特定建模語言,運用語言可以構建基於本體的裝備保障特定領域或特定業務的信息模型;給出用於形式化規約的描述邏輯的體系結構和一階謂詞邏輯到描述邏輯的轉換方法及正確性證明,並給出基於描述邏輯的一致性檢測方法。
主題書展
更多書展本週66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。
特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。
無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。