-
题名基于本体的体系使命建模及分析方法
被引量：4
- 1
-
-
作者
何红悦
王智学
梁豪默
王庆龙
-
机构
中国人民解放军陆军工程大学指挥控制工程学院
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2018年第9期1973-1978,共6页
-
基金
国家自然科学基金(61273210)资助课题
-
文摘
针对体系需求建模中使命模型在分解时无法引入属性参考,不便于检查分解的合理性,影响模型分析效果等问题,提出了基于本体的体系使命建模及分析方法。根据使命在体系需求建模中的关键作用,定义了使命的若干属性参数,并构建了体系的使命概念模型。为了使使命分解更加科学严谨,设计了使命分解算法,在分解过程中引入了使命的相关属性值。采用网站网站本体语言描述逻辑(web ontology language description logic,OWL DL)本体推理及查询技术,借助本体推理引擎Pellet对构建的使命模型进行形式化分析验证,检查使命分解过程中是否遵守了定义的分解原则,从而检查使命分解的合理性。
-
关键词
体系
使命建模
模型形式化
网站网站本体语言描述逻辑
模型分析
-
Keywords
system of systems
mission model
model formalization
web ontology language descriptionlogic （OWL DL）
model analysis
-
分类号
E917
[军事]
TP391.9
[自动化与计算机技术—计算机应用技术]
-
