ABC转运器的π-演算模型及其验证

• 作者: 刘磊 张红
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 进程代数 π-演算 系统生物学 ABC转运器
• 年，卷（期）: 2008,（z1）
• 所属期刊栏目: 数据、程序及其理论
• 页码范围: 118-123
• 页数: 6页
• 分类号: TP311
• 字数: 3657字
• 语种: 中文

摘要

将描述并行、分布式和可移动系统的进程代数应用于系统生物学的形式化描述和行为模拟,给出了SBP依赖式ABC转运器的π-演算模型,分析了其基于状态迁移规则的动态行为演变和构象变化过程,并用自动验证π-演算、通信系统演算CCS的移动工作台MWB对该模型进行了状态跟踪和性能验证. π-演算能够在统一的框架之下捕获分子生物系统的两个关键属性:模块化组织和动态行为,对其既能进行质的又能进行量的推理,证明了π-演算用于分子生物过程抽象描述的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	张红	吉林大学计算机科学与技术学院	65	370	9.0	18.0