一种用于从快反应中抽象的半定量等价关系
计算工程、金融与科学
2011-09-08 v1 定量方法
摘要
语义等价在进程代数中被用来刻画相似行为的概念，本文为一种为生物建模开发的随机进程代数提出了一种半定量等价关系。我们考虑按照准稳态假设的建议，从快反应中抽象出来。我们基于这一思想定义了一种快-慢互模拟关系。我们还证明了在 Bio-PEPA 的合作算子满足适当条件下的同余性。该条件要求不存在对快动作的同步，这一点将快-慢互模拟与弱互模拟区分开来。我们还证明了为一个物种扩展可用反应的操作符的同余性。我们刻画了那些仅需考虑慢转换匹配的模型，并在两个竞争性抑制模型上说明了该等价关系。
引用
@article{arxiv.1109.1365,
title = {A semi-quantitative equivalence for abstracting from fast reactions},
author = {Vashti Galpin and Jane Hillston and Federica Ciocchetta},
journal= {arXiv preprint arXiv:1109.1365},
year = {2011}
}
备注
In Proceedings CompMod 2011, arXiv:1109.1044