数据集概述
本数据集是论文《多稳态参数出现案例研究》的配套材料，包含论文第2.1节主要符号计算的复现脚本、配置文件及计算结果文件，支持重现论文中的实验过程与结果。
文件详解
- 脚本文件（.sh格式）：
- compute-all.sh：批量计算脚本，需指定Reduce系统路径、问题目录及核心数
- compute-one.sh：单例计算脚本
- einsetzen.sh：执行参数赋值与计算的脚本
- gml-to-xml.sh：GML格式转换脚本
- Python脚本文件（.py格式）：
- generate-problems-onevar.py：生成单变量问题的脚本
- generate-problems-assignments.py：生成参数赋值问题的脚本
- gml-to-red.py：GML转Reduce格式的脚本
- Reduce配置文件（.red格式）：
- solbiomod26.red：设置参数k19的配置文件（当前k19=500）
- patch-aex-sgn.red：符号计算补丁文件
- 文档与计算文件：
- README.txt：数据集说明文档
- Section2.1.2Calculations.mw：Maple 2016计算工作表
- Section2.1.2Calculations.pdf：Maple工作表的PDF打印版
适用场景
- 符号计算复现：重现论文中多稳态参数分析的实验过程
- 代数系统验证：验证Reduce与QEPCAD B系统在符号计算中的应用
- 参数优化研究：基于脚本调整k19等参数，探索多稳态参数空间
- 计算生物学分析：支持生物模型中多稳态现象的参数敏感性研究
