霍金健

作品数：3被引量：4H指数：2
导出分析报告
供职机构：北京大学信息科学技术学院更多>>
发文主题：PETRI网库所有色因果PNML更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《南京大学学报（自然科学版）》《北京大学学报（自然科学版）》《系统仿真学报》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
最小生成树问题在RMESH上的常数时间算法
《北京大学学报（自然科学版）》2006年第1期83-88,共6页陈鹏 霍金健 张立昂 
提出了在n2×mn2的RMESH模型上常数时间的最小生成树算法,并根据PRAM模拟RMESH的结论,得到了在PRAM上O(logn)时间的最小生成树算法。这2个并行算法的时间复杂度都是当前最好的。
关键词：RMESH 并行算法 最小生成树 
工作流分层模型的PNML表示被引量：2
《南京大学学报（自然科学版）》2005年第5期538-543,共6页霍金健 黄雨 屈婉玲 袁崇义 
国家自然科学基金(60173002);973项目基金(2002CB312004)
PNML是一种基于XML的Petri网交换格式,在工作流引擎内部使用PNML表示业务流程的模型,可以使得引擎和其他支持PNML表示的工具之间具有很强的互操作性.为此需要先定义新的标签,然后给出新的Petri网类型定义,最后通过例子阐明了如何用扩展...
关键词：工作流分层模型 PETRI网 PNML 扩展性 
库所组合有色网-一种新型的有色网被引量：2
《系统仿真学报》2005年第z1期30-37,43,共9页霍金健 袁崇义 屈婉玲 
国家自然科学基金 (60173002);973项目 (2002CB312004)
为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧:约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组合效果的...
关键词：PETRI网 约束弧 柔性弧 组合弧 因果弧 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部