您的位置： 专家智库 > >

郭胜基

作品数：2 被引量：0H指数：0
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇银行家算法
  • 2篇有色
  • 2篇元对象
  • 2篇元对象协议
  • 2篇PETRI网

机构

  • 2篇清华大学

作者

  • 2篇王生原
  • 2篇林明
  • 2篇齐大伟
  • 2篇董渊
  • 2篇郭胜基

传媒

  • 1篇系统仿真学报
  • 1篇第十二届全国...

年份

  • 1篇2009
  • 1篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种基于Renew的有色网元对象协议的设计与实现
2008年
在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用元对象协议控制基极网的运行,以避免银行家算法中的核心问题:死锁,从而验证了元对象协议的强大功能。
郭胜基齐大伟林明王生原董渊
关键词：PETRI网元对象协议银行家算法
一种基于Renew的有色网元对象协议的设计与实现
在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为...
郭胜基齐大伟林明王生原董渊
关键词：PETRI网元对象协议银行家算法
文献传递
全选 清除 导出
共1页<1>
聚类工具0