|
|||||
|
|
| Na+-K+-ATP酶的π-演算语义及验证 | |
| 引用本文： | 张红,刘磊,庞柱,柳一卿.Na+-K+-ATP酶的π-演算语义及验证[J].吉林大学学报(理学版),2006,44(6):119-122. |
| 作者姓名： | 张红 刘磊 庞柱 柳一卿 |
| 作者单位： | 1. 吉林大学 计算机科学与技术学院, 长春 130012; 2. 吉林大学 软件学院, 长春 130012 |
| 摘 要： | 给出了Na+-K+-ATP酶跨越细胞膜同时主动向胞内运转钾离子和向胞外运转钠离子这一生化过程的π-演算模型及该模型的Spin验证. 证明了用过程代数的方法表示以“相互通讯”和“可移动”为主要特征的生物系统并模拟其行为的可行性. |
| 关 键 词： | π-演算 过程代数 Na+-K+-ATP酶 Spin |
| 收稿时间： | 2006-06-05 |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 | |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 | |