您的位置： 专家智库 > >

博士科研启动基金(ZZB2011008)

作品数：1 被引量：2H指数：1
相关作者：毋国庆金保华吴怀广甘勇更多>>
相关机构：郑州轻工业学院武汉大学更多>>
发文基金：博士科研启动基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇一致性

机构

  • 1篇武汉大学
  • 1篇郑州轻工业学...

作者

  • 1篇甘勇
  • 1篇吴怀广
  • 1篇金保华
  • 1篇毋国庆

传媒

  • 1篇计算机科学

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于嵌套赋类的Bigraph反应系统模型被引量：2
2012年
针对Bigraph反应系统中位置图控制间的嵌套关系问题,提出了一个赋类的Bigraph扩展模型。在利用标签范畴Scat(K)给出嵌套赋类位置图定义的基础上,讨论了嵌套赋类位置图的相关性质,给出了嵌套赋类位置图中RPO的构建、证明,以及同前推出IPO的一致性条件的定义、证明。
吴怀广金保华甘勇毋国庆
关键词：一致性
全选 清除 导出
共1页<1>
聚类工具0