徐景
- 作品数:2 被引量:5H指数:1
- 供职机构:中国人民解放军更多>>
- 发文基金:国家高技术研究发展计划国防科技技术预先研究基金更多>>
- 相关领域:军事自动化与计算机技术更多>>
- C^4ISR系统能力需求行为建模及验证被引量:4
- 2012年
- 针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。
- 何红悦王智学董庆超徐景张兆巍
- 基于SysML的C^4ISR系统效能分析及建模方法被引量:1
- 2012年
- 针对C4ISR分析与设计中建模手段的不足,提出了基于系统建模语言(SysM L)的C4ISR分析与设计建模方法。通过分析SysM L机制,研究了SysM L新增需求图、扩展块图和参数图等模型对C4ISR建模的支持作用,探讨了SysM L对C4ISR建模的精确描述和定量分析优势。以某区域防空系统为例,研究了基于SysM L的系统效能分析建模过程。结果表明该方法对C4ISR的效能分析建模合理可行。
- 王庆龙王智学张炜钟徐景
- 关键词:系统建模语言C4ISR系统系统效能分析