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

• 作者: 张敏 李丹 董笑菊
• 来源期刊: 上海交通大学学报
• 学科: 工学
• 关键词: κ-演算 λ噬菌体 生活周期 蛋白质
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 自动化技术、计算机技术
• 页码范围: 42-44,50
• 页数: 4页
• 分类号: TP301.2
• 字数: 3616字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-2467.2007.01.010

摘要

κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特点,分析和研究κ-演算的表达能力和表达特点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李丹	上海交通大学计算机科学与工程系	56	354	12.0	17.0
2	张敏	上海交通大学计算机科学与工程系	133	752	14.0	22.0
3	董笑菊	上海交通大学计算机科学与工程系	9	27	2.0	4.0