您的位置： 专家智库 > >

刘正

作品数：3 被引量：5H指数：1
供职机构：解放军理工大学更多>>
相关领域：自动化与计算机技术军事更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇军事

主题

  • 1篇可执行模型
  • 1篇CPN
  • 1篇DODAF

机构

  • 1篇解放军理工大...

作者

  • 1篇刘正

传媒

  • 1篇指挥与控制学...

年份

  • 1篇2016
共 3 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于DoDAF的可执行模型改进方法被引量：5
2016年
体系结构产品向可执行模型转换已成为评估系统动态逻辑、行为以及性能的重要方法,参与构建可执行模型的体系结构产品越丰富,可执行模型的验证能力就越强.为了进一步扩展可执行模型—着色Petri网(Coloured Petri Nets,CPN)对系统动态行为的验证范围,提出了DoDAF1.0下构建体系结构可执行模型的改进方法,将OV2纳入了构建可执行模型的体系结构产品序列,建立了OV2与OV5融合模型,最终结合案例分析说明了该方法的可行性.
刘正张新强王鸿飞乔可春
关键词：DODAFCPN
全选 清除 导出
共1页<1>
聚类工具0