首页> 中文会议>2006年全国理论计算机科学学术年会 >用进程演算建模生物化学反应过程

用进程演算建模生物化学反应过程

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文对用进程演算建模生物化学反应过程进行了研究。文章以两类典型的生物化学反应“聚合反应和酶促反应”为例，介绍了如何用进程演算来形式化描述和分析生物化学反应的方法。

著录项

来源
《2006年全国理论计算机科学学术年会》|2006年|53-55|共3页
会议地点长春
作者
董笑菊; 倪佳华; 傅育熙;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类生物数学方法;算法理论;
关键词
生物化学; 生化反应; 进程演算;

相似文献

中文文献
外文文献
专利

1. 基于进程演算的公钥密码体制安全性自动化证明系统 [J] . 光焱 ,顾纯祥 ,黄莉 . 信息工程大学学报 . 2012,第005期
2. 有界Petri网的进程演算表达 [J] . 董振华 ,董笑菊 . 上海交通大学学报 . 2011,第7期
3. 区间值进程演算的可加模型 [J] . 周洁 ,陈仪香 . 上海师范大学学报（自然科学版） . 2006,第001期
4. 基于进程演算和知识推理的安全协议形式化分析 [J] . 顾永跟 ,傅育熙 . 计算机研究与发展 . 2006,第005期
5. 一个移动进程演算的互模拟同余定义框架 [J] . 陈韬略 ,李斌 ,胡昊 . 计算机科学 . 2004,第001期
6. 有限状态自动机的移动进程演算模拟 [C] . 陈韬略 ,韩婷婷 ,颜锋 . 2005年全国理论计算机科学学术年会 . 2005
7. 基于Pi-演算的虚拟环境下进程通信建模与应用 [A] . 葛润润 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号