您的位置： 专家智库 > >

杨剑勇

作品数：1 被引量：0H指数：0
供职机构：成都军区联勤部更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

机构

  • 1篇清华大学
  • 1篇成都军区联勤...

作者

  • 1篇宋亮
  • 1篇王建民
  • 1篇刘廷龙
  • 1篇闻立杰
  • 1篇刘国平
  • 1篇杨剑勇

传媒

  • 1篇清华大学学报...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于完全有限前缀的过程实例表示图的分解
2014年
由于语义交织现象的广泛存在,导致过程模型的行为状态空间面临状态爆炸问题。完全有限前缀能够有效压缩过程模型的状态空间,但是会丢失部分任务间时序关系特征。该文提出时序保存的完全有限前缀(temporal-order protecting complete finite prefix,TPCFP)技术,既能在不丢失任何可达状态信息的前提下高效压缩状态空间,又能确保不丢失任何任务间的时序关系。通过从TPCFP叶子结点中不同的并发集合出发,逆向遍历直到初始状态,可以分解出代表过程模型所有过程实例的结构,称为过程实例表示图(execution instance representation graph,EIRG)。在实际过程模型集合上所做的实验表明该技术是高效和准确的。
宋亮闻立杰王建民刘国平刘廷龙杨剑勇
全选 清除 导出
共1页<1>
聚类工具0