适用读者：生产计划与排产管理人员、供应链网络规划团队、物流与仓储优化工程师、运筹优化算法研发人员。
一、资料背景与核心观点
资料来源
- Gurobi 官方文档（混合整数规划求解器）（https://www.gurobi.com/）
- Gurobi 优化器技术文档（https://www.gurobi.com/documentation/）
核心观点
- 混合整数规划在分支定界树上反复求解线性松弛，节点数随整数变量与约束紧度指数变化，是典型的不确定耗时负载。
- 分支树需要保存节点信息与割平面，内存占用随树规模增长，内存不足会直接导致求解中断而非变慢。
- 多线程能加速线性松弛求解与节点并行，但分支决策存在串行性，线程数超过一定数量后收益递减。
- 排产与供应链模型常含时间索引变量，变量数随时段数线性增长，建模粒度直接决定求解规模。
二、核心算法与功能模块
核心算法
- 分支定界与节点选择策略。
- 线性松弛与单纯形/内点求解。
- 割平面生成与预处理。
- 启发式原始解构造与局部搜索。
功能模块
- 数据接入与模型构建（建模语言或 API）。
- 参数与容差设置。
- 求解与日志监控。
- 方案对比、甘特图与指标评估。
三、计算特点与性能瓶颈
计算负载特征
- 计算类型：稀疏线性代数与树搜索混合，内存带宽敏感。
- 并行方式：多线程节点并行；多实例并发（不同情景）并行度更高。
- 内存与显存：内存由模型矩阵与分支树决定；显卡不参与求解。
- I/O 特点：求解日志与中间解写入频繁，需低延迟盘位；大规模实例数据读取量中等。
关键硬件约束
求解时间不可预测，不能用平均耗时评估配置；内存不足会直接失败；线程数并非越多越好，需按实例规模实测；商业求解器按核或并发授权，扩容前须确认许可。
四、典型应用场景
- 轻量：单工厂周排产、中小规模配送路径优化。
- 中等：多工厂多时段排产、供应链网络选址与库存优化。
- 大规模：全网络多情景优化、大规模整数模型与滚动重优化。
五、UltraLAB 硬件配置分级方案
表1 UltraLAB 硬件配置分档建议
| 档位 | CPU选型思路 | 内存配置 | GPU选型（核心） | 存储配置 | 散热与扩展性 | 适用场景 |
|---|---|---|---|---|---|---|
| 轻量档 | 参考 A350 平台，Ultra9 285K 24核 5.5GHz，单实例低延迟 | 64 至 96GB DDR5 | 集成或入门专业卡，仅用于方案甘特图显示 | 2TB NVMe 系统盘 + 4TB 项目盘 | 塔式风冷 | 单厂周排产、中小配送优化 |
| 主流档 | 参考 GR450P 平台，霄龙 7975WX 32核 5.0GHz 或 7980X 64核 | 192 至 256GB DDR5，支撑中等分支树 | 专业卡用于多屏方案对比 | 4TB NVMe + 8TB 项目盘 | 双冷排水冷，长时间求解稳定 | 多厂多时段排产、网络优化 |
| 大规模档 | 参考 EA660/AlphaPro660 平台，128 至 192核高频，支持多实例并发 | 512GB 以上 DDR5，支撑大规模分支树 | 专业卡用于大屏指标展示 | Gen4 NVMe 阵列 + 万兆网络 | 机架式水冷，接入调度平台 | 全网络多情景、滚动重优化 |
选型原则：按模型规模定内存，按实例规模定线程，按情景数定并发；硬件与建模优化需同步推进。
六、配套软件清单
表2 配套软件清单
| 软件类别 | 软件名称 | 版本/要求 | 必需/可选 |
|---|---|---|---|
| 优化求解器 | Gurobi、CPLEX、HiGHS | 按许可/开源版 | 必需 |
| 建模语言 | Python（gurobipy）、AMPL、GAMS | 稳定版/按许可 | 必需 |
| 数据处理 | pandas、SQL 数据库客户端 | 稳定版 | 必需 |
| 排产可视化 | 甘特图工具、BI 看板 | 稳定版 | 可选 |
| 调度与批量 | Slurm、Airflow 类工具 | 稳定版 | 可选 |
| 运行环境 | Ubuntu 22.04 LTS 或 Windows Server | LTS | 必需 |
七、常见选型问题与硬件分析
Q：求解器该配多少核？
A：取决于实例规模与分支并行效率。中小实例 16 至 32 核即可接近收益上限；大规模实例才值得上 64 核以上，且需实测验证。
Q：为什么加了内存还是慢？
A：内存只解决分支树是否能容纳，求解速度取决于松弛求解效率与割平面策略。模型重构与参数调优通常比加硬件更有效。
Q：多个情景能同时跑吗？
A：可以，多实例并发的总吞吐通常优于单实例多线程。按并发实例数×单实例内存规划容量，注意求解器许可的并发限制。
Q：需要专业显卡吗？
A：不需要。求解是纯 CPU 负载，显卡仅用于甘特图与看板显示。预算应全部投入内存与单核性能。
八、总结与选型建议
- 内存决定能否求解，单核与线程效率决定求解快慢，GPU 无关。
- 轻量档做单厂排产；主流档做多厂网络优化；大规模档做多情景并发与滚动优化。
- 扩容前先确认求解器授权模式；模型重构往往比堆硬件更有效。
补充说明：混合整数规划的求解时间存在长尾分布，个别实例可能远超平均值，方案评估应保留时间余量并准备可行解兜底。
参考来源
- Gurobi 官方文档（混合整数规划求解器）：https://www.gurobi.com/
- Gurobi 优化器技术文档：https://www.gurobi.com/documentation/
