做电力系统优化调度方向尤其是涉及低碳经济和新能源接入的课题很多人卡在建模和求解这一步。模型写出来了yalmip报错看不懂Cplex结果不收敛或者场景生成慢得要命这些都是常态。我去年做的一个低碳调度项目就是MATLAByalmip这套组合拳把源荷不确定性、碳交易机制和风电并网揉到一起踩了不少坑也攒了不少可以直接抄作业的经验。这篇文章就把这套代码的思路、建模细节、求解配置和排错过程完整拆开讲给正在做或者准备做类似方向的朋友一个参考。1. 整体设计思路拆解为什么是低碳调度为什么用yalmip1.1 低碳调度到底在优化什么传统经济调度盯的是煤耗成本最小低碳调度则在目标函数里额外引入了碳排放相关的成本项让系统在满足负荷平衡和机组约束的前提下主动选择更清洁的发电组合。这里面最关键的机制是碳交易它给碳排放定了个价格排放超标要掏钱买配额排放有富余可以卖配额换收益。这样一来高碳机组的发电成本被抬高风电这类零碳电源的价值自然就凸显出来了。风电的加入让问题变得复杂因为风电出力是随机波动的。如果调度模型里不处理这种不确定性把风电当成确定值来优化实际运行时就可能出现出力偏差导致的弃风、切负荷甚至系统崩溃。我这个项目的核心目标就是把风电和负荷双侧的不确定性建模进调度模型在保证系统安全的前提下让总成本含碳交易成本最低。1.2 为什么选MATLAByalmip而不是其他方案做电力系统调度的建模工具无非几个选择GAMS、Python的Pyomo/Pulp、MATLAByalmip。我选后者不是因为它最高级而是因为它最适合这个场景。yalmip是一个MATLAB环境下的建模层它不求解问题只负责把优化问题“翻译”成求解器能识别的标准格式。你只需要用sdpvar定义决策变量写出目标函数和约束再调用Cplex或者Gurobi去解。对于电力系统里大量存在的混合整数线性规划问题这种建模方式比手写矩阵高效得多改动模型时也只需要改约束行不用动求解接口。对比维度MATLAByalmipPythonPyomoGAMS学习曲线平缓MATLAB基础即可中等需熟悉Python语法陡峭DSL语言调试体验工作区可视化变量实时查看调试一般逻辑比较绕与电力系统既有代码兼容性高大量现成算例是MATLAB写的中等低求解器接口一键切换Cplex/Gurobi/开源求解器需要配置环境商业授权贵1.3 源荷不确定性的处理思路源侧不确定性指风电出力的随机性荷侧指负荷预测误差。处理办法大致有三条路场景法、鲁棒优化、分布鲁棒优化。场景法把不确定性的概率分布离散成一个一个的可能场景每个场景对应一个确定性优化问题整体求期望最优鲁棒优化不关心概率只关心最坏情况下的可行性分布鲁棒则介于两者之间假设分布在一个模糊集内寻找最坏期望。我最终选的是场景法。原因很直接低碳调度模型本身已经包含二进制变量机组启停、碳交易阶梯价差这类整数结构再叠加鲁棒优化的对偶变换会让模型复杂度陡增。场景法配合同步回代削减能在精度和求解速度之间取得平衡而且程序实现上更容易控制出问题时排查起来也更顺手。2. 模型核心要素解析碳交易、风电场景与目标函数2.1 碳交易机制怎么建模碳交易机制有几种常见形态固定碳价、阶梯碳价、基准线法配额。固定碳价最简单每吨碳一个价格乘上碳排放量即可适合入门理解。阶梯碳价更贴近实际排放量超过配额越多超出部分的边际碳价越高这会导致目标函数出现分段函数需要引入辅助决策变量来线性化。我这套代码用的是基准线法免费分配配额加上阶梯碳价。机组免费配额按照历史碳排放强度的基准线折算实际排放量低于配额差额可以按碳价出售获利高于配额的部分分档计价。目标函数里碳交易成本项的表达式是这样的% 碳交易成本分段线性化 % x为总碳排放量E0为免费配额Pc为碳价 % 超过配额的第一个区间Pc1第二个区间Pc2Pc2 Pc1 CarbonCost Pc1 * max(0, x - E0) (Pc2 - Pc1) * max(0, x - E0 - R1);实际建模时不能直接写max要引入辅助变量转化为线性约束z1 sdpvar(1,1); % 第一档超出量 z2 sdpvar(1,1); % 第二档超出量 F [z1 0, z1 x - E0, z1 R1]; % 第一档上限 F [F, z2 0, z2 x - E0 - R1]; % 第二档这里有个细节容易出错第二档的z2不需要强制设上限但如果模型里允许无限超排Cplex给出的结果可能偏离实际决策逻辑。通常我会加一个总排放上限约束比如不超过配额的一定倍数这样碳交易冲击更接近真实碳市场的约束力度。2.2 风电场景生成与削减风电出力的随机性通常用预测值加误差来描述。预测误差服从某种分布常见的有正态分布、贝塔分布也有的用非参数核密度估计。我做了两个版本初始版本用的是正态误差加入负截断保证不会出现负的风电出力后来改成贝塔分布因为风电出力偏斜特性更明显形状参数通过历史数据拟合。场景生成的过程是给定预测出力曲线按误差分布抽样N次得到N条可能的出力曲线然后用同步回代削减算法把N条削减成K条代表性场景同时保留每条场景的概率。% 场景削减核心思路伪代码层面展示关键逻辑 for iter 1:N-K % 计算所有场景两两之间的距离通常是欧氏距离乘以概率权重 % 找距离最小的一对删掉概率小的那个 % 把被删场景的概率累加到保留场景上 end削减后每个场景有对应的概率pi目标函数中对每个场景的目标值乘上概率再求和就变成了期望成本。这就是场景法处理不确定性的核心逻辑把随机优化转化为多个确定性场景的加权和。2.3 目标函数到底包含哪些项这套代码的目标函数我做了完整的成本拆分不是只有煤耗和碳交易。完整目标函数包括燃煤机组煤耗成本用二次函数拟合分段线性化处理机组启停成本开机成本和停机成本区分计算碳交易成本按2.1的阶梯模型计算弃风惩罚成本表示风电场被强制降出力造成的损失切负荷惩罚成本负荷无法满足时的高额罚金弃风惩罚项很重要很多初学的人会忽略它。如果没有这个惩罚项模型为了省钱会尽可能让火电多发、风电少发结果是“低碳调度”变成“高碳调度”完全背离初衷。切负荷惩罚是保证系统可靠性的兜底数值要设得足够高比如切负荷单位成本设为煤耗成本的10倍以上否则模型可能牺牲负荷来省钱。3. 实操过程与核心环节实现从建模到求解的完整链路3.1 数据准备与参数初始化无论模型写得多漂亮数据不对一切白搭。这套代码用到的核心数据包括火电机组参数出力上下限、爬坡速率、最小启停时间、煤耗系数、碳排放强度风电数据预测出力曲线、误差分布参数负荷数据24小时负荷预测曲线碳交易参数配额基准、碳价、阶梯阈值系统参数旋转备用需求、网络拓扑如果考虑潮流约束我建议所有参数集中放在一个结构体里不要散落成几十个独立变量。我自己吃过亏一次改动碳价全局搜代码找出现在七八个地方引用漏改一个结果算出来碳交易收入高得离谱排查了一个小时才发现是初始化的老数据没覆盖。% 参数集结构体示例 mpc struct(); mpc.gen [ ... ]; % 机组参数矩阵 mpc.load [ ... ]; % 负荷曲线 mpc.wind [ ... ]; % 风电预测出力 mpc.carbon struct(price, 80, quota, 1200, ladder, 0.2);3.2 yalmip建模核心代码基于yalmip建模关键是三类变量定义要分清连续变量用sdpvar二进制变量用binvar整数变量用intvar。机组启停状态用binvar机组出力、风电出力、碳交易辅助变量用sdpvar。% 决策变量定义 P sdpvar(Ngen, T, full); % 火电机组出力 On binvar(Ngen, T, full); % 机组启停状态1表示运行 Pw sdpvar(Nwind, T, full); % 实际并网风电出力 % Pw_forecast是场景削减后的风电出力场景 % 如果跑多场景Pw变成(Nwind, T, K)三维变量配合循环构建约束 % 目标函数以单场景确定性模型为例多场景加权平均同理 Objective sum(sum(CoalCost(P))) sum(sum(StartCost)) sum(sum(OffCost)) ... CarbonCostTerm sum(sum(PenaltyWind * (Pw_forecast - Pw))) ... sum(sum(PenaltyLoad * LoadShed));约束条件的构建要特别注意维度对齐。我习惯把所有约束统一写成F [F, 约束1, 约束2, ...]的形式最后一次性optimize(F, Objective, ops)。yalmip这种约束拼接方式非常方便但也带来了一个隐患某个约束写错维度yalmip不会报错它会默默地把高维变量给你broadcast了结果模型莫名其妙变得不可行或者结果完全不对。3.3 约束条件的完整拼装电力系统调度约束看着多归归类就清晰了。首先是功率平衡约束每个时段所有机组出力加风电出力减去切负荷等于该时段负荷。这是硬约束必须严格满足。F [F, sum(P, 1) sum(Pw, 1) LoadShed Load] ;第二个是机组出力上下限约束。注意热备用约束在线运行的机组预留向上调节空间用来应对风电和负荷的不确定性。sum(Pmax .* On, 1) Load ReserveReq。然后是爬坡约束。火电机组出力不能瞬变上调、下调都有速率限制。这个约束需要关联相邻时段的出力差第一个时段的初始出力也要给定。爬坡约束是模型里最容易导致无解的一类约束如果机组参数和负荷曲线不匹配强制加严爬坡速率常常直接不可行。第三个是碳捕集约束。如果模型里加入碳捕集设备我这套代码的分支版本里加了还需要考虑捕集能耗对机组净出力的影响这会让机组出力上限变成一个随捕集率变化的变量。核心思路是净出力 毛出力 - 捕集能耗捕集能耗 捕集系数 * 捕集量。3.4 求解器配置与优化选项用Cplex求解MILP问题求解器参数设置直接影响是否能快速收敛。我实测下来以下几个设置对这类调度模型最有效ops sdpsettings(solver, cplex); ops.cplex.mip.tolerances.mipgap 1e-4; % MIP间隙容忍度 ops.cplex.mip.tolerances.integrality 1e-6; % 整数变量容差 ops.cplex.mip.strategy.startalgorithm 3; % 使用动态搜索法 ops.verbose 2; % 打印求解过程MIP间隙容忍度非常关键。默认值是1e-4对24时段的调度模型200个整数变量规模不大通常几分钟内能算到1e-4以内。但如果你把场景数扩充到50个以上整数变量数量猛增这时候该把mipgap放宽到1e-2否则Cplex可能跑几个小时都不肯停而上界和下界其实早就很接近了。启动算法选择3动态搜索在我的多个算例里表现最稳。不同算例规模下自动搜索可能不如动态搜索稳定尤其是模型里有大量对称结构的时候对称机组特别多分支定界容易走冤枉路。4. 常见问题与排查技巧实录4.1 模型一直不可行怎么快速定位这是出现频率最高的问题。模型写完了optimize返回Inf日志里全是infeasible对着几十行约束不知道哪里出了问题。我的排查思路很直接分三步走。第一步先去掉整数约束把所有binvar改成sdpvar并限制在0到1之间看连续松弛问题是否可行。如果连续松弛都不可行说明是连续变量约束冲突重点检查功率平衡和潮流约束如果松弛可行说明问题出在整数逻辑上重点检查启停状态关联约束。第二步用yalmip的check命令逐条查看约束残差。check(F(3))会告诉你第3条约束的残差是多少不可行模型的某些约束残差会是负数。这个方法笨但有效尤其适合约束数量在几十条以内的中小模型。第三步对于涉及配电网潮流的模型检查支路潮流约束和节点电压约束的参考方向。我做配电网版本时Vmin和Vmax写成全局标量导致部分节点可行域被压缩为空集折腾了两天才发现是节点电压基值不一致的问题。4.2 求解时间过长怎么办场景数目太大是主因。比如原始场景2000个如果削减到50个模型规模还是大如果削减到10个结果是粗糙但趋势可靠。我建议先削减到20个跑通流程确定模型逻辑没问题后再把场景数加到50个做精细调优。另一个办法是分段线性化粒度调整。火电煤耗成本曲线我一开始用了10段线性逼近精度高但二进制辅助变量跟着多了几十个。后来改成6段目标函数值变化不到0.5%求解时间却缩短了一半。精度和速度的取舍要明确学术论文图表需要的精度和工程场景需要的精度完全是两回事。4.3 Cplex许可证和接口报错用Cplex之前先确认yalmip能不能调用到求解器yalmiptest是最快的方式。另外Cplex安装后默认找不到license文件很常见。Windows环境变量加一个ILOG_LICENSE_FILE指向cplex.lic文件所在目录基本能解决。还有一个不起眼但拖垮无数人的坑MATLAB路径里同时存在多个版本的Cplex动态链接库或者旧版本的cplexlink文件残留导致yalmip调用时版本冲突报错。排查方法很简单which cplex看看当前解析到的是哪个路径。遇到这种问题清理非当前版本的接口文件只保留一个版本即可。4.4 结果不符合实际先检查这些细节模型能求解、目标值也正常但给出的调度结果看着别扭。比如某个时段火电全开风电全弃怎么看都像模型有问题。这时候优先检查惩罚系数弃风惩罚设置的量级是否低于煤耗成本切负荷惩罚是否被碳交易收益对冲掉。我自己就犯过这样的错误碳价设为300元/吨数额高到卖碳配额的收益能覆盖煤耗增加的成本结果模型疯狂增加出力换取碳配额盈余输出结果让人哭笑不得。第二要检查风电场景的概率加起来是否等于1。场景削减算法如果一个小数点错误场景概率和变成0.98那目标函数会系统性偏低调度结果也跟着失真。5. 扩展方向从确定性模型到分布鲁棒代码跑通后我尝试了两条扩展路线。第一条是改用分布鲁棒优化假设风电预测误差的真实分布位于以经验分布为中心的Wasserstein球内调度模型的目标函数变成最坏分布下的期望成本最小化。这个方向的难点在于对偶转化后会把原本线性的目标函数变成带有范数项的非线性结构需要引入辅助变量重构。算例结果显示分布鲁棒模型相对场景法的优势在于对场景数不敏感当历史数据少、场景削减误差大时抗扰动能力明显更强。第二条是加入碳捕集与封存设备的协同调度。碳捕集设备本身耗电会增加机组厂用电率但对碳交易成本的降低效果显著。这个版本的目标函数比基础版多了一个捕集成本项约束里多了一个净出力与捕集能耗的关联公式。整体求解难度上升不多但模型表达更贴近当前低碳调度研究的主流方向。6. 一些实操体会这套代码断断续续调整了三个月最大的感受是建模能力不是看你写了多少行代码而是看你能否把实际问题精确转化成数学语言。碳交易的分段函数、风电出力的随机变量、机组的启停逻辑每一个都是工程直觉和数学表达之间的对话。最后分享一个调试技巧调试不确定性模型时先把所有不确定参数设成期望值让模型退化为确定性模型。确定性模型跑出来的结果是否合理、目标函数是否在预估范围内这些都是校验代码逻辑的基准。等确定性模型完全可信了再逐步打开场景削减、鲁棒变换这些模块。一步到位调试随机模型出问题了根本分不清是建模错误还是数据问题还是场景生成算法问题。这个分层调试的习惯能帮你省下一大半的排查时间。 
长河君 · 2026/10/10 18:20:58 · 阅读 1.2k MATLAB+yalmip低碳电力调度建模与求解实战：碳交易与风电不确定性处理
做电力系统优化调度方向尤其是涉及低碳经济和新能源接入的课题很多人卡在建模和求解这一步。模型写出来了yalmip报错看不懂Cplex结果不收敛或者场景生成慢得要命这些都是常态。我去年做的一个低碳调度项目就是MATLAByalmip这套组合拳把源荷不确定性、碳交易机制和风电并网揉到一起踩了不少坑也攒了不少可以直接抄作业的经验。这篇文章就把这套代码的思路、建模细节、求解配置和排错过程完整拆开讲给正在做或者准备做类似方向的朋友一个参考。1. 整体设计思路拆解为什么是低碳调度为什么用yalmip1.1 低碳调度到底在优化什么传统经济调度盯的是煤耗成本最小低碳调度则在目标函数里额外引入了碳排放相关的成本项让系统在满足负荷平衡和机组约束的前提下主动选择更清洁的发电组合。这里面最关键的机制是碳交易它给碳排放定了个价格排放超标要掏钱买配额排放有富余可以卖配额换收益。这样一来高碳机组的发电成本被抬高风电这类零碳电源的价值自然就凸显出来了。风电的加入让问题变得复杂因为风电出力是随机波动的。如果调度模型里不处理这种不确定性把风电当成确定值来优化实际运行时就可能出现出力偏差导致的弃风、切负荷甚至系统崩溃。我这个项目的核心目标就是把风电和负荷双侧的不确定性建模进调度模型在保证系统安全的前提下让总成本含碳交易成本最低。1.2 为什么选MATLAByalmip而不是其他方案做电力系统调度的建模工具无非几个选择GAMS、Python的Pyomo/Pulp、MATLAByalmip。我选后者不是因为它最高级而是因为它最适合这个场景。yalmip是一个MATLAB环境下的建模层它不求解问题只负责把优化问题“翻译”成求解器能识别的标准格式。你只需要用sdpvar定义决策变量写出目标函数和约束再调用Cplex或者Gurobi去解。对于电力系统里大量存在的混合整数线性规划问题这种建模方式比手写矩阵高效得多改动模型时也只需要改约束行不用动求解接口。对比维度MATLAByalmipPythonPyomoGAMS学习曲线平缓MATLAB基础即可中等需熟悉Python语法陡峭DSL语言调试体验工作区可视化变量实时查看调试一般逻辑比较绕与电力系统既有代码兼容性高大量现成算例是MATLAB写的中等低求解器接口一键切换Cplex/Gurobi/开源求解器需要配置环境商业授权贵1.3 源荷不确定性的处理思路源侧不确定性指风电出力的随机性荷侧指负荷预测误差。处理办法大致有三条路场景法、鲁棒优化、分布鲁棒优化。场景法把不确定性的概率分布离散成一个一个的可能场景每个场景对应一个确定性优化问题整体求期望最优鲁棒优化不关心概率只关心最坏情况下的可行性分布鲁棒则介于两者之间假设分布在一个模糊集内寻找最坏期望。我最终选的是场景法。原因很直接低碳调度模型本身已经包含二进制变量机组启停、碳交易阶梯价差这类整数结构再叠加鲁棒优化的对偶变换会让模型复杂度陡增。场景法配合同步回代削减能在精度和求解速度之间取得平衡而且程序实现上更容易控制出问题时排查起来也更顺手。2. 模型核心要素解析碳交易、风电场景与目标函数2.1 碳交易机制怎么建模碳交易机制有几种常见形态固定碳价、阶梯碳价、基准线法配额。固定碳价最简单每吨碳一个价格乘上碳排放量即可适合入门理解。阶梯碳价更贴近实际排放量超过配额越多超出部分的边际碳价越高这会导致目标函数出现分段函数需要引入辅助决策变量来线性化。我这套代码用的是基准线法免费分配配额加上阶梯碳价。机组免费配额按照历史碳排放强度的基准线折算实际排放量低于配额差额可以按碳价出售获利高于配额的部分分档计价。目标函数里碳交易成本项的表达式是这样的% 碳交易成本分段线性化 % x为总碳排放量E0为免费配额Pc为碳价 % 超过配额的第一个区间Pc1第二个区间Pc2Pc2 Pc1 CarbonCost Pc1 * max(0, x - E0) (Pc2 - Pc1) * max(0, x - E0 - R1);实际建模时不能直接写max要引入辅助变量转化为线性约束z1 sdpvar(1,1); % 第一档超出量 z2 sdpvar(1,1); % 第二档超出量 F [z1 0, z1 x - E0, z1 R1]; % 第一档上限 F [F, z2 0, z2 x - E0 - R1]; % 第二档这里有个细节容易出错第二档的z2不需要强制设上限但如果模型里允许无限超排Cplex给出的结果可能偏离实际决策逻辑。通常我会加一个总排放上限约束比如不超过配额的一定倍数这样碳交易冲击更接近真实碳市场的约束力度。2.2 风电场景生成与削减风电出力的随机性通常用预测值加误差来描述。预测误差服从某种分布常见的有正态分布、贝塔分布也有的用非参数核密度估计。我做了两个版本初始版本用的是正态误差加入负截断保证不会出现负的风电出力后来改成贝塔分布因为风电出力偏斜特性更明显形状参数通过历史数据拟合。场景生成的过程是给定预测出力曲线按误差分布抽样N次得到N条可能的出力曲线然后用同步回代削减算法把N条削减成K条代表性场景同时保留每条场景的概率。% 场景削减核心思路伪代码层面展示关键逻辑 for iter 1:N-K % 计算所有场景两两之间的距离通常是欧氏距离乘以概率权重 % 找距离最小的一对删掉概率小的那个 % 把被删场景的概率累加到保留场景上 end削减后每个场景有对应的概率pi目标函数中对每个场景的目标值乘上概率再求和就变成了期望成本。这就是场景法处理不确定性的核心逻辑把随机优化转化为多个确定性场景的加权和。2.3 目标函数到底包含哪些项这套代码的目标函数我做了完整的成本拆分不是只有煤耗和碳交易。完整目标函数包括燃煤机组煤耗成本用二次函数拟合分段线性化处理机组启停成本开机成本和停机成本区分计算碳交易成本按2.1的阶梯模型计算弃风惩罚成本表示风电场被强制降出力造成的损失切负荷惩罚成本负荷无法满足时的高额罚金弃风惩罚项很重要很多初学的人会忽略它。如果没有这个惩罚项模型为了省钱会尽可能让火电多发、风电少发结果是“低碳调度”变成“高碳调度”完全背离初衷。切负荷惩罚是保证系统可靠性的兜底数值要设得足够高比如切负荷单位成本设为煤耗成本的10倍以上否则模型可能牺牲负荷来省钱。3. 实操过程与核心环节实现从建模到求解的完整链路3.1 数据准备与参数初始化无论模型写得多漂亮数据不对一切白搭。这套代码用到的核心数据包括火电机组参数出力上下限、爬坡速率、最小启停时间、煤耗系数、碳排放强度风电数据预测出力曲线、误差分布参数负荷数据24小时负荷预测曲线碳交易参数配额基准、碳价、阶梯阈值系统参数旋转备用需求、网络拓扑如果考虑潮流约束我建议所有参数集中放在一个结构体里不要散落成几十个独立变量。我自己吃过亏一次改动碳价全局搜代码找出现在七八个地方引用漏改一个结果算出来碳交易收入高得离谱排查了一个小时才发现是初始化的老数据没覆盖。% 参数集结构体示例 mpc struct(); mpc.gen [ ... ]; % 机组参数矩阵 mpc.load [ ... ]; % 负荷曲线 mpc.wind [ ... ]; % 风电预测出力 mpc.carbon struct(price, 80, quota, 1200, ladder, 0.2);3.2 yalmip建模核心代码基于yalmip建模关键是三类变量定义要分清连续变量用sdpvar二进制变量用binvar整数变量用intvar。机组启停状态用binvar机组出力、风电出力、碳交易辅助变量用sdpvar。% 决策变量定义 P sdpvar(Ngen, T, full); % 火电机组出力 On binvar(Ngen, T, full); % 机组启停状态1表示运行 Pw sdpvar(Nwind, T, full); % 实际并网风电出力 % Pw_forecast是场景削减后的风电出力场景 % 如果跑多场景Pw变成(Nwind, T, K)三维变量配合循环构建约束 % 目标函数以单场景确定性模型为例多场景加权平均同理 Objective sum(sum(CoalCost(P))) sum(sum(StartCost)) sum(sum(OffCost)) ... CarbonCostTerm sum(sum(PenaltyWind * (Pw_forecast - Pw))) ... sum(sum(PenaltyLoad * LoadShed));约束条件的构建要特别注意维度对齐。我习惯把所有约束统一写成F [F, 约束1, 约束2, ...]的形式最后一次性optimize(F, Objective, ops)。yalmip这种约束拼接方式非常方便但也带来了一个隐患某个约束写错维度yalmip不会报错它会默默地把高维变量给你broadcast了结果模型莫名其妙变得不可行或者结果完全不对。3.3 约束条件的完整拼装电力系统调度约束看着多归归类就清晰了。首先是功率平衡约束每个时段所有机组出力加风电出力减去切负荷等于该时段负荷。这是硬约束必须严格满足。F [F, sum(P, 1) sum(Pw, 1) LoadShed Load] ;第二个是机组出力上下限约束。注意热备用约束在线运行的机组预留向上调节空间用来应对风电和负荷的不确定性。sum(Pmax .* On, 1) Load ReserveReq。然后是爬坡约束。火电机组出力不能瞬变上调、下调都有速率限制。这个约束需要关联相邻时段的出力差第一个时段的初始出力也要给定。爬坡约束是模型里最容易导致无解的一类约束如果机组参数和负荷曲线不匹配强制加严爬坡速率常常直接不可行。第三个是碳捕集约束。如果模型里加入碳捕集设备我这套代码的分支版本里加了还需要考虑捕集能耗对机组净出力的影响这会让机组出力上限变成一个随捕集率变化的变量。核心思路是净出力 毛出力 - 捕集能耗捕集能耗 捕集系数 * 捕集量。3.4 求解器配置与优化选项用Cplex求解MILP问题求解器参数设置直接影响是否能快速收敛。我实测下来以下几个设置对这类调度模型最有效ops sdpsettings(solver, cplex); ops.cplex.mip.tolerances.mipgap 1e-4; % MIP间隙容忍度 ops.cplex.mip.tolerances.integrality 1e-6; % 整数变量容差 ops.cplex.mip.strategy.startalgorithm 3; % 使用动态搜索法 ops.verbose 2; % 打印求解过程MIP间隙容忍度非常关键。默认值是1e-4对24时段的调度模型200个整数变量规模不大通常几分钟内能算到1e-4以内。但如果你把场景数扩充到50个以上整数变量数量猛增这时候该把mipgap放宽到1e-2否则Cplex可能跑几个小时都不肯停而上界和下界其实早就很接近了。启动算法选择3动态搜索在我的多个算例里表现最稳。不同算例规模下自动搜索可能不如动态搜索稳定尤其是模型里有大量对称结构的时候对称机组特别多分支定界容易走冤枉路。4. 常见问题与排查技巧实录4.1 模型一直不可行怎么快速定位这是出现频率最高的问题。模型写完了optimize返回Inf日志里全是infeasible对着几十行约束不知道哪里出了问题。我的排查思路很直接分三步走。第一步先去掉整数约束把所有binvar改成sdpvar并限制在0到1之间看连续松弛问题是否可行。如果连续松弛都不可行说明是连续变量约束冲突重点检查功率平衡和潮流约束如果松弛可行说明问题出在整数逻辑上重点检查启停状态关联约束。第二步用yalmip的check命令逐条查看约束残差。check(F(3))会告诉你第3条约束的残差是多少不可行模型的某些约束残差会是负数。这个方法笨但有效尤其适合约束数量在几十条以内的中小模型。第三步对于涉及配电网潮流的模型检查支路潮流约束和节点电压约束的参考方向。我做配电网版本时Vmin和Vmax写成全局标量导致部分节点可行域被压缩为空集折腾了两天才发现是节点电压基值不一致的问题。4.2 求解时间过长怎么办场景数目太大是主因。比如原始场景2000个如果削减到50个模型规模还是大如果削减到10个结果是粗糙但趋势可靠。我建议先削减到20个跑通流程确定模型逻辑没问题后再把场景数加到50个做精细调优。另一个办法是分段线性化粒度调整。火电煤耗成本曲线我一开始用了10段线性逼近精度高但二进制辅助变量跟着多了几十个。后来改成6段目标函数值变化不到0.5%求解时间却缩短了一半。精度和速度的取舍要明确学术论文图表需要的精度和工程场景需要的精度完全是两回事。4.3 Cplex许可证和接口报错用Cplex之前先确认yalmip能不能调用到求解器yalmiptest是最快的方式。另外Cplex安装后默认找不到license文件很常见。Windows环境变量加一个ILOG_LICENSE_FILE指向cplex.lic文件所在目录基本能解决。还有一个不起眼但拖垮无数人的坑MATLAB路径里同时存在多个版本的Cplex动态链接库或者旧版本的cplexlink文件残留导致yalmip调用时版本冲突报错。排查方法很简单which cplex看看当前解析到的是哪个路径。遇到这种问题清理非当前版本的接口文件只保留一个版本即可。4.4 结果不符合实际先检查这些细节模型能求解、目标值也正常但给出的调度结果看着别扭。比如某个时段火电全开风电全弃怎么看都像模型有问题。这时候优先检查惩罚系数弃风惩罚设置的量级是否低于煤耗成本切负荷惩罚是否被碳交易收益对冲掉。我自己就犯过这样的错误碳价设为300元/吨数额高到卖碳配额的收益能覆盖煤耗增加的成本结果模型疯狂增加出力换取碳配额盈余输出结果让人哭笑不得。第二要检查风电场景的概率加起来是否等于1。场景削减算法如果一个小数点错误场景概率和变成0.98那目标函数会系统性偏低调度结果也跟着失真。5. 扩展方向从确定性模型到分布鲁棒代码跑通后我尝试了两条扩展路线。第一条是改用分布鲁棒优化假设风电预测误差的真实分布位于以经验分布为中心的Wasserstein球内调度模型的目标函数变成最坏分布下的期望成本最小化。这个方向的难点在于对偶转化后会把原本线性的目标函数变成带有范数项的非线性结构需要引入辅助变量重构。算例结果显示分布鲁棒模型相对场景法的优势在于对场景数不敏感当历史数据少、场景削减误差大时抗扰动能力明显更强。第二条是加入碳捕集与封存设备的协同调度。碳捕集设备本身耗电会增加机组厂用电率但对碳交易成本的降低效果显著。这个版本的目标函数比基础版多了一个捕集成本项约束里多了一个净出力与捕集能耗的关联公式。整体求解难度上升不多但模型表达更贴近当前低碳调度研究的主流方向。6. 一些实操体会这套代码断断续续调整了三个月最大的感受是建模能力不是看你写了多少行代码而是看你能否把实际问题精确转化成数学语言。碳交易的分段函数、风电出力的随机变量、机组的启停逻辑每一个都是工程直觉和数学表达之间的对话。最后分享一个调试技巧调试不确定性模型时先把所有不确定参数设成期望值让模型退化为确定性模型。确定性模型跑出来的结果是否合理、目标函数是否在预估范围内这些都是校验代码逻辑的基准。等确定性模型完全可信了再逐步打开场景削减、鲁棒变换这些模块。一步到位调试随机模型出问题了根本分不清是建模错误还是数据问题还是场景生成算法问题。这个分层调试的习惯能帮你省下一大半的排查时间。