搜索结果: 1-3 共查到“电子科学与技术 C4ISR系统”相关记录3条 . 查询时间(0.031 秒)
基于描述逻辑的C4ISR系统体系结构一致性验证方法
体系结构 描述逻辑系统 一致性验证
2013/5/27
综合电子信息系统的体系结构开发涉及多视图产品集成，容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统，对视图中的关键元素进行形式化处理，将体系结构模型转化为描述逻辑知识库，进而借助描述逻辑推理系统，推理判断体系结构产品中存在冲突或矛盾的信息。实验证明，该方法不仅具有完备的形式化理论基础，而且自动化程度高。
C4ISR系统能力需求行为建模及验证
能力需求元模型 行为建模 模型形式化 模型验证
2013/5/23
针对C4ISR系统需求分析行为建模中，统一建模语言（unified modeling language, UML)的行为模型验证困难问题，提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手，通过扩展UML行为元模型得到能力行为元模型，然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和...