全部商品分类

您现在的位置: 全部商品分类 > 军 事 > 军 事 > 军事理论

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

  • 定价: ¥48
  • ISBN:9787118118421
  • 开 本:16开 平装
  •  
  • 折扣:
  • 出版社:国防工业
  • 页数:124页
  • 作者:何仪周//董庆超//...
  • 立即节省:
  • 2019-09-01 第1版
  • 2019-09-01 第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章  基于装备保障领域本体的领域特定建模语言
  5.1  UML元模型与扩展机制
  5.2  建模语言评价标准
  5.3  基于形式化本体的UM重构
    5.3.1  类与泛化的重构
    5.3.2  类元与特性的重构
    5.3.3  部分-整体关系的重构
  5.4  基于本体的Erikson—Penker扩展模型
第6章  装备保障领域本体形式化规约及检验方法
  6.1  形式化规约语言
    6.1.1  描述逻辑的体系结构
    6.1.2  描述逻辑的推理
  6.2  描述逻辑及其SHOIN(D)子系统
    6.2.1  描述逻辑SHOIN(D)系统语法语义
    6.2.2  描述逻辑SHOIN(D)知识库
    6.2.3  描述逻辑SHOIN(D)的推理
    6.2.4  SHOIN(D)知识库与OWL DL本体的转换规则
  6.3  装备保障领域本体描述逻辑转换算法
    6.3.1  类的转换方法
    6.3.2  一般关联关系的转换方法
    6.3.3  弱聚合关系的转换方法
    6.3.4  强聚合关系的转换方法
    6.3.5  继承关系的转换方法
  6,3.6  约束条件的转换方法
  6.4  本体转换算法正确性证明
  6.5  形式化检验方法
第7章  案例分析与设计
参考文献