有界模拟复杂度

摘要

本文提出了一种有界模拟复杂度理论，通过有界替代编译框架将无界多项式常微分方程系统转化为有界系统，同时保持计算极限和时间精度保证。该理论解决了化学反应网络等实验室规模模拟计算机中状态变量无界的物理不现实问题。