|
|||||
|
|
| κ-演算建模λ噬菌体的生活周期 | |
| 作者姓名： | 李丹 张敏 董笑菊 |
| 作者单位： | 上海交通大学,计算机科学与工程系,上海,200240;上海交通大学,计算机科学与工程系,上海,200240;上海交通大学,计算机科学与工程系,上海,200240 |
| 基金项目： | 国家自然科学基金;高等学校博士学科点专项科研项目;上海市科委交叉领域创新团队专项基金 |
| 摘 要： | κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特点,分析和研究κ-演算的表达能力和表达特点. |
| 关 键 词： | κ-演算 λ噬菌体 生活周期 蛋白质 |
| 文章编号： | 1006-2467（2007）01-0042-03 |
| 修稿时间： | 2005-12-18 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |