您的位置： 专家智库 > >

广西省自然科学基金(0342001)

作品数：1 被引量：3H指数：1
相关作者：杨夏妮蓝乾艺覃海生更多>>
相关机构：广西大学更多>>
发文基金：广西省自然科学基金广西教育厅科研项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇PETRI网

机构

  • 1篇广西大学

作者

  • 1篇覃海生
  • 1篇蓝乾艺
  • 1篇杨夏妮

传媒

  • 1篇广西大学学报...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于约束程序的变迁约束可达问题判定研究被引量：3
2007年
在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U.
覃海生蓝乾艺杨夏妮
关键词：PETRI网
全选 清除 导出
共1页<1>
聚类工具0