您的位置: 专家智库 > >

张兆巍

作品数:1 被引量:4H指数:1
供职机构:解放军理工大学指挥自动化学院更多>>
发文基金:国家高技术研究发展计划国防科技技术预先研究基金更多>>
相关领域:军事更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇军事

主题

  • 1篇元模型
  • 1篇C^4ISR...

机构

  • 1篇解放军理工大...
  • 1篇中国人民解放...

作者

  • 1篇王智学
  • 1篇何红悦
  • 1篇董庆超
  • 1篇张兆巍
  • 1篇徐景

传媒

  • 1篇系统工程与电...

年份

  • 1篇2012
1 条 记 录,以下是 1-1
排序方式:
C^4ISR系统能力需求行为建模及验证被引量:4
2012年
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。
何红悦王智学董庆超徐景张兆巍
共1页<1>
聚类工具0