基于本体的装备保障信息模型建模方法

定　价：¥48.00

作　者：	何仪周，董庆超，齐玉东，王义冬
出版社：	国防工业出版社
丛编项：
标　签：	暂缺

购买这本书可以去

ISBN：	9787118118421	出版时间：	2019-10-01	包装：
开本：		页数：		字数：

内容简介

　　本书基于本体论中的基本哲学概念，运用形式化的表达方法，构建面向业务建模的上层本体框架，主要内容包括：依据该框架对装备保障领域核心概念进行分析，针对保障系统的组成要素中的实体类概念和契机类概念分别构建本体语义框架，针对动态建模扩展连续物范畴本体语义框架，对部分-整体关系进行扩展重构，并基于这些语义和关系构建装备本体建模框架；基于所构建的装备保障本体建模框架对UML元模型进行扩展，得到适合装备保障的领域特定建模语言，运用语言可以构建基于本体的装备保障特定领域或特定业务的信息模型；给出用于形式化规约的描述逻辑的体系结构和一阶谓词逻辑到描述逻辑的转换方法及正确性证明，并给出基于描述逻辑的一致性检测方法。

作者简介

　　何仪周：海军装备技术研究所工程师。长期从事装备综合保障及保障信息化研究，获得军队科技进步一等奖2项、二等奖1项、三等奖9项，出版专著1本，发表论文二十多篇。王

图书目录

第1章绪论
1．1 引言
1．2 国内外研究现状
1．3 主要研究内容
第2章本体论概述及上层本体
2．1 本体概念内涵
2．2 本体建模基元
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 连续物与持续物
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 面向动态建模的语义扩展
第4章装备保障本体建模框架
4．1 装备保障系统组成要素分析
4．1．1 功能要素
4．1．2 资源要素
4．1．3 组织要素
4．2 实体类概念本体建模框架
4．2．1 本体元特性
4．2．2 实体概念基础类别体系
4．2．3 装备保障领域实体概念本体建模
4．3 契机类概念本体建模框架
4．3．1 特征、特征值、特征维和特征域
4．3．2 RMS参数的本体建模
4．3．3 关系与关系子
4．3．4 保障功能本体建模
4．4 连续物概念本体建模框架
4．5 部分一整体关系扩展分类结构
……
第5章基于装备保障领域本体的领域特定建模语言
第6章装备保障领域本体形式化规约及检验方法
第7章案例分析与设计
参考文献