VIP20
本课程属于：010-智能寻源算法 供应链数字化与智能采购系统 · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

约束求解在智能寻源算法中的接口调用与参数配置

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
课程导论
约束求解在智能寻源中的价值 · 课程目标与学习路径 · 前置知识要求
课程导论约束求解
02
智能寻源业务场景
寻源流程概述 · 供应商匹配问题 · 典型约束类型（价格
智能寻源业务场景寻源流程概述
03
约束求解基础概念
变量 · 域 · 约束
约束求解基础概念变量
04
常见约束求解算法概览
回溯搜索 · 前向检查 · 弧一致性
常见约束求解算法…回溯搜索
05
智能寻源中的数学模型
线性规划（LP） · 整数规划（IP） · 混合整数规划（MIP）建模
智能寻源数学模型
06
约束求解器选型
开源求解器（OR-Tools · Z3 · Choco）与商业求解器（Gurob…
约束求解器选型OR-Tools
07
OR-Tools入门
安装与基本架构 · 求解器对象创建 · 变量与约束定义
OR-Tools安装
08
OR-Tools核心API
IntVar · BoolVar · NewIntVar
OR-ToolsAPI
09
Z3求解器入门
安装与SMT-LIB基础 · Context与Solver对象 · assert与check
Z3求解器入门
10
Z3核心API
Int · Real · Bool类型
Z3API
11
Gurobi求解器入门
安装与许可证配置 · Model对象 · addVar
Gurobi求解器入门
12
Gurobi核心API
GRB.LINEAR · GRB.INTEGER · GRB.BINARY
GurobiAPI
13
CPLEX求解器入门
安装与环境配置 · IloModel · IloNumVar
CPLEX求解器入门
14
CPLEX核心API
IloIntVar · IloLinearNumExpr · addGe/addLe
CPLEXAPI
15
接口调用模式
同步调用 vs 异步调用 · 超时设置 · 回调函数（Callback）机制
接口调用模式vs
16
参数配置基础
求解时间限制（TimeLimit） · 线程数（Threads） · MIP焦点（MIPFocus）
参数配置基础TimeLimit
17
高级参数调优
启发式策略（Heuristics） · 切割平面（Cuts） · 预求解（Presolve）
高级参数调优Heuristics
18
寻源约束建模实战（一）
价格约束——最低价 · 最高价 · 阶梯价格
寻源约束建模实战价格约束
19
寻源约束建模实战（二）
交期约束——最早交货 · 最晚交货 · 分批交货
寻源约束建模实战交期约束
20
寻源约束建模实战（三）
质量约束——合格率 · 缺陷率上限 · 质量等级要求
寻源约束建模实战质量约束
21
寻源约束建模实战（四）
产能约束——供应商最大产能 · 最小订单量 · 多工厂分配
寻源约束建模实战产能约束
22
多目标优化
加权求和法 · ε-约束法 · 帕累托前沿
多目标优化加权求
23
约束求解结果解析
解的状态（OPTIMAL/FEASI… · 变量值提取
约束求解结果解析OPTIMAL/FEAS…
24
不可行性分析
冲突集（Conflict Set） · 松弛变量 · 不可行性解释（IIS）API
不可行性分析Conflict
25
性能优化技巧
变量对称性消除 · 约束聚合 · 热启动（Warm Start）
性能优化技巧变量对称性消除
26
分布式与并行求解
多线程并行 · 分布式求解器集群 · 云求解服务（如Gurobi Clou…
分布式并行求解
27
RESTful API封装
将求解器封装为微服务 · 请求/响应格式设计 · Swagger文档
RESTfulAPI
28
错误处理与日志
常见异常（LicenseError · ModelTooLarge） · 日志级别配置
错误处理日志
29
案例实战
多供应商多物料寻源——完整建模 · 求解 · 结果分析流程
案例实战多供应商多物料寻…
30
课程总结与进阶方向
约束求解前沿（机器学习辅助求解） · 推荐学习资源 · 项目实践建议
课程总结进阶方向