κ-演算建模λ噬菌体的生活周期  

κ-Calculus Model for the Life-Cycle of Lambda Phage

作　　者：李丹[1] 张敏[1] 董笑菊[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200240

出　　处：《上海交通大学学报》2007年第1期42-44,50,共4页Journal of Shanghai Jiaotong University

基　　金：国家杰出自然科学基金项目(60225012);教育部博士点基金项目(20010248033);上海市科委交叉领域创新团队专项课题(03DZ14025)

摘　　要：κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特点,分析和研究κ-演算的表达能力和表达特点.to-calculus is a formal language to describe the reactions between proteins molecules. This paper introduced the syntax and the semantics of κ-calculus, the biological process of κ-phage eroding the Escherichia Coli （E. Coli）, and proposed a method of modeling the biological processes. Based on the study of biological model, a series of rules were given and used to model the process. According to the characteristics of the model, the paper also analyzed and studied the abilities and properties of the calculus.

关 键 词：κ-演算 Λ噬菌体 生活周期 蛋白质 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]