您的位置: 专家智库 > >

郑一源

作品数:2 被引量:2H指数:1
供职机构:上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 1篇导出子图
  • 1篇图论
  • 1篇子图
  • 1篇并发系统

机构

  • 2篇上海交通大学

作者

  • 2篇郑一源
  • 1篇蔡烜

传媒

  • 1篇上海交通大学...

年份

  • 1篇2009
  • 1篇2008
2 条 记 录,以下是 1-2
排序方式:
K边导出子图问题研究
解决问题的方法也叫做算法,并不是计算机科学的专有名词,早在几千年前就有该方面的研究,当时把其认为是数学的一个分支。计算机的出现使得人们能够利用计算机模拟并解决实际问题,而且由于上世纪计算机CPU处理能力的局限性,内存,磁...
郑一源
关键词:导出子图图论
文献传递
一种计算有限标号转移系统模拟关系的算法被引量:2
2009年
基于一般的有限标号转移系统,研究了进程演算中的模拟关系,提出了一个计算进程演算中模拟关系的算法,其时间复杂度为O(mn).
蔡烜郑一源
关键词:并发系统
共1页<1>
聚类工具0