多重稳态参数发生的案例研究
摘要：在生物网络模型中，我们考虑确定正实数的多个稳态的问题。为了研究在有丝分裂活化蛋白激酶（MAPK）网络模型中的潜在多稳态，需要特殊的对应模型结构的洞察力。在这里，我们应用了符号计算方法的组合，包括虚拟替换、懒洗真三角化和圆柱代数分解，来处理混合等式/不等式系统。当对所有变量除了一个可能的参数已知其数值时，我们确定了一个11维MAPK网络的多稳定性。更具体地说，我们考虑的模型有11个方程和11个变量以及19个参数，其中3个参数进行了符号处理，并且还有对所有变量和参数的正条件。
作者：Russell Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm and Andreas Weber
论文ID：1704.08997
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2017-08-08