首页> 中文会议>2011复杂系统理论与方法及其工程实践学术会议 >基于描述逻辑的C4ISR系统体系结构一致性验证方法

基于描述逻辑的C4ISR系统体系结构一致性验证方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

体系结构是组成系统各部件的结构、它们之间的关系以及制约它们设计和随时间演进的原则和指南。由于目前业界主要采用多视图技术描述复杂系统的体系结构信息，不同视图之间的信息存在交迭，因此容易引发视图之间的信息不一致性问题。为此，本文采用描述逻辑推理技术，首先对视图中的关键元素进行形式化处理，进而借助描述逻辑推理系统，推理判断体系结构产品中存在冲突或矛盾的信息。该方法自动化程度较高，可以有效提高体系结构分析产品的质量。

著录项

来源
《2011复杂系统理论与方法及其工程实践学术会议》|2011年|590-594|共5页
会议地点北京
作者
王智学; 董庆超; 姜志平;
展开▼
作者单位

中国系统工程学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类其他学科在军事上的应用;
关键词
军事活动; 作战指挥; C4ISR系统; 体系结构;

相似文献

中文文献
外文文献
专利

1. 基于描述逻辑的C4ISR系统体系结构一致性验证方法 [J] . 王智学 ,董庆超 ,姜志平 . 系统工程与电子技术 . 2012,第009期
2. 中间产品C4ISR体系结构动态行为语义一致性验证方法 [J] . 丁泽柳 ,罗雪山 ,罗爱民 . 火力与指挥控制 . 2009,第006期
3. 基于模糊描述逻辑的 C4ISR 系统上下文环境分析方法 [J] . 董庆超 ,陈青华 ,齐玉东 . 系统工程与电子技术 . 2016,第011期
4. 基于构件的C4ISR系统体系结构设计环境 [J] . 张耀鸿 ,罗爱民 ,罗雪山 . 火力与指挥控制 . 2007,第010期
5. 一种基于描述逻辑的UML模型验证方法 [J] . 郝斐 ,董庆超 ,曾广军 . 计算机与数字工程 . 2011,第011期
6. 基于C4ISR的军事遥感信息系统体系结构研究 [C] . 张智彬 . 2006军事电子信息学术会议 . 2006
7. 基于描述逻辑的数据仓库系统元数据一致性问题的研究 [A] . 赵晓非 . 2007

基于描述逻辑的C4ISR系统体系结构一致性验证方法

摘要

著录项

相似文献

相关主题

期刊订阅