κ-演算建模λ噬菌体的生活周期
κ-Calculus Model for the Life-Cycle of Lambda Phage作者机构：上海交通大学计算机科学与工程系上海200240
出 版 物：《上海交通大学学报》 (Journal of Shanghai Jiaotong University)
年 卷 期：2007年第41卷第1期
页 面：42-44,50页
核心收录：
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家杰出自然科学基金项目(60225012) 教育部博士点基金项目(20010248033) 上海市科委交叉领域创新团队专项课题(03DZ14025)
摘 要：κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特点,分析和研究κ-演算的表达能力和表达特点.
维普期刊数据库
同方期刊数据库