Population-induced phase transitions and the verification of chemical reaction networks
Population-induced phase transitions and the verification of chemical reaction networks
复制标题
群体诱导的相变和化学反应网络的验证
DOI：
10.1007/s11047-021-09877-9
复制
发表时间：
2021
影响因子：
2.1
通讯作者：
Riley, Matthew R.
中科院分区：
文献类型：
--
作者：
Lathrop, James I.;Lutz, Jack H.;Lutz, Robyn R.;Potter, Hugh D.;Riley, Matthew R.
我们展示了非常简单的分子系统，以化学反应网络为模型，可以在特定的种群阈值下表现出戏剧性的相变。此外，这些阈值的大小可以阻止使用模拟，模型检查或微分方程近似来正式验证这些系统在现实人群中的行为的尝试。我们展示了形式定理证明者如何在其他验证方法失败的种群中成功地验证一些这样的系统。
We show that very simple molecular systems, modeled as chemical reaction networks, can have behaviors that exhibit dramatic phase transitions at certain population thresholds. Moreover, the magnitudes of these thresholds can thwart attempts to use simulation, model checking, or approximation by differential equations to formally verify the behaviors of such systems at realistic populations. We show how formal theorem provers can successfully verify some such systems at populations where other verification methods fail.