化学反应网络下的鲁棒实时计算
摘要：在化学反应网络（CRNs）中实时计算实数的概念性研究为模拟实数计算引入了新的想法。Huang、Klinge、Lathrop、Li和Lutz定义了一种使用CRNs实时计算实数的方法，引入了$ \mathbb {R} _ext {LCRN} $（所有Lyapunov CRN可计算实数的类）和$ \mathbb {R} _ ext {RTCRN} $（所有实时CRN可计算实数的类）。在他们的论文中，他们展示了包含实代数数$ ALG \subseteq \mathbb {R} _ext {LCRN} \subseteq \mathbb {R} _ext {RTCRN} $并且$ ALG \subseteq \mathbb {R} _ext {RTCRN} $但留下了包含是适当的部分未解决的问题。在本文中，我们解决了这个未解决的问题，并展示了$ ALG = \mathbb {R} _ext {LCRN} \subseteq \mathbb {R} _ext {RTCRN} $。然而，他们关于实时计算的定义在初始条件的干扰下是脆弱的。为了解决这个缺陷，我们进一步要求CRN能够抵御这些干扰。通过这样做，我们得到了一个离散的记忆模型。这种方法有几个优点。首先，有界CRN可以在有限时间内近似计算值。其次，CRN可以容忍其物种浓度的小干扰。第三，对CRN状态的测量只需要与这些近似精确度成比例的精度。最后，如果一个CRN只需要有限的内存，那么在实时模拟下，这个模型和图灵机是等价的。
作者：Willem Fletcher, Titus H. Klinge, James I. Lathrop, Dawn A. Nye, Matthew Rayman
论文ID：2109.02896
分类：Emerging Technologies
分类简称：cs.ET
提交时间：2021-09-08