Na+-K+-ATP酶的π-演算语义及验证

Na⁺-K⁺-ATP酶的π-演算语义及验证

张红¹, 刘磊¹, 庞柱², 柳一卿²

1. 吉林大学计算机科学与技术学院, 长春 130012; 2. 吉林大学软件学院, 长春 130012

收稿日期:2006-06-05 修回日期:1900-01-01 出版日期:2006-08-26 发布日期:2006-11-26
通讯作者: 刘磊

π-Calculus Semantics and Verification of Na⁺-K⁺-ATPase

ZHANG Hong¹, LIU Lei¹, PANG Zhu², LIU Yi qing²

1. College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2. College of Software, Jilin University, Changchun 130012, China

Received:2006-06-05 Revised:1900-01-01 Online:2006-08-26 Published:2006-11-26
Contact: LIU Lei

摘要/Abstract

摘要： 给出了Na⁺-K⁺-ATP酶跨越细胞膜同时主动向胞内运转钾离子和向胞外运转钠离子这一生化过程的π-演算模型及该模型的Spin验证. 证明了用过程代数的方法表示以“相互通讯”和“可移动”为主要特征的生物系统并模拟其行为的可行性. 

关键词: π-演算, 过程代数, Na⁺-K⁺-ATP酶, Spin

Abstract: π-Calculus was used to encode the semantics for the active transport of Na⁺-K⁺-ATPase. It has been proved that process calculi are a valuable tool for modeling and simulating various biological and biochemical networks where the interaction and mobility are important features. 

Key words: π-calculus, process calculi, Na⁺-K⁺-ATPase, Spin

中图分类号:

TP311

张红, 刘磊, 庞柱, 柳一卿. Na⁺-K⁺-ATP酶的π-演算语义及验证[J]. J4, 2006, 44(06): 119-122.

ZHANG Hong, LIU Lei, PANG Zhu, LIU Yi qing. π-Calculus Semantics and Verification of Na⁺-K⁺-ATPase[J]. J4, 2006, 44(06): 119-122.

[1]	杨光, 贾焱鑫, 陈翔, 许舒源. 基于深度学习的Stack Overflow问题帖分类方法[J]. 吉林大学学报(理学版), 2021, 59(4): 922-928.
[2]	李芳, 曲豫宾, 陈翔, 李龙, 杨帆. 一种基于类不平衡学习的情感分析方法[J]. 吉林大学学报(理学版), 2021, 59(4): 929-935.
[3]	曲豫宾, 陈翔, 李龙. 可缓解类重叠问题的跨版本软件缺陷预测方法[J]. 吉林大学学报(理学版), 2021, 59(2): 372-378.
[4]	何锴琦, 马宇骁, 张炎, 刘华虓. 一种基于数据的GitHub项目个性化混合推荐方法[J]. 吉林大学学报(理学版), 2020, 58(6): 1399-1406.
[5]	胡黄水, 赵思远, 刘清雪, 王出航, 王婷婷. 基于动量因子优化学习率的BP神经网络PID参数整定算法[J]. 吉林大学学报(理学版), 2020, 58(6): 1415-1420.
[6]	穆翔宇, 范钰, 李苏吉, 张鹏, 刘磊. 一种基于梯度下降算法的蜕变关系生成方法[J]. 吉林大学学报(理学版), 2020, 58(6): 1429-1435.
[7]	王壹铭, 初剑峰, 王永军, 陈彦东. 基于有向无环图的高效区块链共识算法[J]. 吉林大学学报(理学版), 2020, 58(5): 1167-1172.
[8]	骆焦煌. 基于卷积神经网络的粗粒度数据分布式算法[J]. 吉林大学学报(理学版), 2020, 58(4): 906-912.
[9]	吴春琼. 面向大规模数据的特征趋势推理算法[J]. 吉林大学学报(理学版), 2020, 58(2): 364-370.
[10]	楚玺, 周志祥, 邓国军, 邵帅. 模糊图像的不连续边缘智能检测改进算法[J]. 吉林大学学报(理学版), 2019, 57(04): 875-881.
[11]	刘良凤, 刘三阳. 基于权重差异度的动态模糊聚类算法[J]. 吉林大学学报(理学版), 2019, 57(3): 574-582.
[12]	魏晓辉, 许国威, 王兴旺, 徐海啸. 基于节点相似性和链接次数组合时间序列的链接预测[J]. 吉林大学学报(理学版), 2019, 57(3): 583-590.
[13]	刘久彪. 空间数据库反向最近邻聚类方法[J]. 吉林大学学报(理学版), 2019, 57(2): 387-392.
[14]	张世铮. 基于位移Hermite分裂的图像恢复算法[J]. 吉林大学学报(理学版), 2019, 57(1): 97-104.
[15]	王晓天, 边思宇. 基于遗传算法和神经网络的PID参数自整定[J]. 吉林大学学报(理学版), 2018, 56(4): 953-958.