您的位置： 专家智库 > >

董驻鹏

作品数：2 被引量：1H指数：1
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
发文基金：国家杰出青年科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇形式化
  • 2篇生物模型
  • 1篇形式化方法
  • 1篇形式化研究
  • 1篇进程代数
  • 1篇计算机
  • 1篇Π-演算
  • 1篇DNA计算
  • 1篇DNA计算机

机构

  • 2篇上海交通大学

作者

  • 2篇董驻鹏
  • 1篇倪佳华
  • 1篇董笑菊

传媒

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

年份

  • 1篇2005
  • 1篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于进程代数的系统生物模型形式化研究
本课题基于SBML 和BioSPI 的基础，分两步来完成： 1．首先研究SBML 和BioSPI 对系统生物建模的不同点和相同点，SBML 从知识表示和共享的角度处理生物系统现象，适合于数据存储和交换，但却仅被设计用来...
董驻鹏
关键词：进程代数Π-演算
系统生物模型转换研究——从SBML到Stochastic Pi Calculus被引量：1
2005年
分析了系统生物标记语言(SBML)模型和用随机Pi演算对生物建模(BioSPI)的不同特点,给出了两种模型之间转换的一系列处理规则;在规则的指导下将具体的SBML模型转换为BioSPI表示的程序语言,并借助分析工具来模拟该SBML模型运动变化过程.提出了自动实现转换的方法以及将转换扩展到其他进程演算形式的构想.
董驻鹏董笑菊倪佳华
关键词：形式化方法DNA计算机
全选 清除 导出
共1页<1>
聚类工具0