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

• 作者: 姜志平 王庆龙 王智学 董庆超
• 来源期刊: 系统工程与电子技术
• 学科: 军事
• 关键词: 体系结构 描述逻辑系统 一致性验证
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 系统工程
• 页码范围: 1841-1845
• 分类号: TP302.1|E96
• 字数: 3916字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-506X.2012.09.16

摘要

综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题.引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息.实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王智学	解放军理工大学指挥自动化学院	76	534	12.0	19.0
2	董庆超	解放军理工大学指挥自动化学院	20	120	7.0	10.0
3	姜志平	解放军理工大学指挥自动化学院	15	102	7.0	9.0
4	王庆龙	解放军理工大学指挥自动化学院	9	30	3.0	5.0