安排生产时，两条产线的成本和产能不同，订单又有数量要求，可以用CPLEX搜索费用较低的生产方案。但模型完成后，仍可能报错、提示不可行或迟迟没有结束。CPLEX怎么建立优化模型CPLEX优化模型求解失败怎么办，需要分清建模错误和求解状态。

　　一、CPLEX怎么建立优化模型

　　CPLEX Optimization Studio提供OPL建模环境。入门可以先建立两条产线的费用模型，确认结果后再扩展业务数据。

　　1、创建项目和模型文件

　　项目组织模型、数据与设置，实际执行的是运行配置。练习时可把参数直接写入模型。

　　①点击【文件】→【新建】→【OPL项目】，填写【项目名称】和项目位置。

　　②勾选【创建模型】、【创建设置】及【创建运行配置】，点击【完成】，打开项目中的【.mod】文件。

　　2、写入变量、目标和约束

　　假设订单需要至少100件产品，两条产线分别能生产60件和80件，单位费用为3元和5元，暂不加入切换、库存等条件。

　　①在【.mod】文件中输入int demand=100;，再输入int capA=60;和int capB=80;，定义需求及产能。

　　②在参数后输入dvar int+x;和dvar int+y;，建立两条产线的非负整数产量变量【x】、【y】。

　　③输入minimize 3*x+5*y;，将总费用设为优化目标。

　　④在后面输入subject to{ctDemand:x+y>=demand;ctA:x<=capA;ctB:y<=capB;}，保存文件。

　　3、执行配置并查看结果

　　①在项目导航器中展开【运行配置】，核对目标配置包含刚编辑的【.mod】文件。

　　②右键点击目标配置，选择【运行此项】，查看【问题】和【引擎日志】。

　　③求解完成后打开【解】，核对【x】为60、【y】为40，总费用为380元。

　　二、CPLEX优化模型求解失败怎么办

　　语法错误发生在求解之前，不可行表示约束无法同时满足。排查应结合输出状态，选择对应方法。

　　1、模型报错，求解没有启动

　　①打开【问题】，双击错误记录，跳转到【.mod】文件对应位置。

　　②核对分号、括号及变量名称，检查【demand】、【capA】和【capB】是否已经定义。

　　③使用【.dat】数据文件时，检查参数声明、数组索引和数据类型，并确认该文件已加入当前【运行配置】。

　　括号缺失可能引起后面多行报错，宜从靠前的错误开始修改。参数已在模型中初始化时，不应再由数据文件重复赋值。

　　2、引擎提示模型不可行

　　需求超过总产能时，延长求解时间也无法满足约束。整数要求与变量界限也可能存在矛盾。

　　①在【引擎日志】中确认不可行状态，打开【冲突】，查看涉及的约束和变量界限。

　　②对照【ctDemand】、【ctA】及【ctB】，核对需求和两条产线的产能，检查约束方向。

　　③未显示冲突时，在关联的【.ops】设置文件中启用【显示冲突】，重新运行配置。

　　④按业务条件修正错误数据或约束，重新求解，再查看冲突结果。

　　3、提示无界或不可行或无界

　　①打开【.mod】文件，核对目标使用【minimize】还是【maximize】，检查费用系数的正负号。

　　②检查【x】、【y】的非负限制及产能上界，补上遗漏的业务约束。

　　③状态无法区分时，在模型副本中将目标临时改为minimize 0;，再次运行，检查能否找到可行解。

　　无界表示目标存在持续改善的方向，但该状态本身不能证明模型可行。常数目标只用于诊断，结束后应恢复原目标。

　　4、运行很久，或达到时间限制

　　①查看【引擎日志】，确认是否已有可行解，记录当前目标值、界和求解间隙。

　　②检查时间参数。需要调整时，在【.mod】的目标函数前加入execute PARAMS{cplex.tilim=60;}，保存后重新运行，将每次优化的时间上限设为60秒。

　　③对复杂模型先减少数据规模，检查变量数量与约束生成范围，再逐步恢复规模。

　　达到时间限制不等于不可行。已有可行解时可评估其业务价值，尚无可行解时不能读取变量结果作为方案。

　　三、CPLEX优化模型如何验证和维护

　　求解成功后，还要检查业务规则是否写全。小规模测试便于核对需求、产能与费用。

　　1、用可解释的数据检查模型

　　①在测试副本中将【demand】设为140，运行后检查【x】为60、【y】为80，总费用580元。

　　②将【demand】改为150，再次求解，检查是否返回不可行。

　　③恢复需求后逐项核对【ctDemand】、【ctA】和【ctB】，检查产量非负及整数要求。

　　测试不能覆盖全部业务条件。若产品不能由两条产线混合供应，还要加入对应规则，原模型便不能直接使用。

　　2、分开保存不同业务情景

　　数据增多后，可复用模型并更换数据文件。运行配置应对应明确的业务情景。

　　①将【.mod】参数的固定值改为三个英文句点，例如int demand=...;，在【.dat】中输入demand=100;等取值。

　　②在【运行配置】文件夹中右键选择【新建】→【运行配置】，加入模型、数据及需要的【.ops】文件。

　　③为配置命名，分别运行并记录目标值和终止状态，保留对应输入数据。

　　总结

　　理解“CPLEX怎么建立优化模型CPLEX优化模型求解失败怎么办”，有助于把生产、分配等问题整理成可比较的方案。优化工具让业务条件与决策结果之间的关系更清楚，也方便讨论资源不足时有哪些选择。模型的价值与规则、数据是否可靠密切相关，数值结果仍需放回具体业务中判断。希望这些内容能帮助大家熟悉CPLEX，在学习中积累建模经验，让后续方案评估更有依据。如果有CPLEX产品选型、版本配置等方面的需求，欢迎联系我们咨询。