| κ-演算建模λ噬菌体的生活周期 |
| |
| 引用本文： | 李丹,张敏,董笑菊.κ-演算建模λ噬菌体的生活周期[J].上海交通大学学报,2007,41(1):42-44,50. |
| |
| 作者姓名： | 李丹 张敏 董笑菊 |
| |
| 作者单位： | 上海交通大学,计算机科学与工程系,上海,200240 |
| |
| 基金项目： | 国家自然科学基金;高等学校博士学科点专项科研项目;上海市科委交叉领域创新团队专项基金 |
| |
| 摘 要： | κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特点,分析和研究κ-演算的表达能力和表达特点.
|
| 关 键 词： | κ-演算 λ噬菌体 生活周期 蛋白质 |
| 文章编号： | 1006-2467（2007）01-0042-03 |
| 修稿时间： | 2005-12-18 |
κ-Calculus Model for the Life-Cycle of Lambda Phage |
| |
| LI Dan,ZHANG Min,DONG Xiao-ju.κ-Calculus Model for the Life-Cycle of Lambda Phage[J].Journal of Shanghai Jiaotong University,2007,41(1):42-44,50. |
| |
| Authors: | LI Dan ZHANG Min DONG Xiao-ju |
| |
| Institution: | Dept. of Computer Science and Eng. ,Shanghai Jiaotong Univ. ,Shanghai 200240,China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
