SAT_Based_不确定条件下生化反应模型校准数据

本数据集围绕不确定条件下生化反应的SAT-Based模型校准展开，包含处理生化浓度不精确性的模型构建形式化方法相关数据。通过从粗模型生成细模型实现校准，在RKIP抑制的ERK通路原型上验证了计算可行性，支持多尺度生化反应建模研究。