1. 复现之前,先搞清楚这套机制到底在算什么
事情得从我在能源系统优化调度这个方向摸爬滚打多年的感受说起。搞综合能源系统(Integrated Energy System, IES)优化调度的朋友应该都清楚,前几年大家研究的核心还是“电-气-热-冷多能互补怎么建模”“风光不确定性怎么处理”“设备启停怎么线性化”。但这些年在双碳目标持续推进的大背景之下,单纯追求运行成本最低已经不够了,系统里多出了两个绕不开的“新玩家”——绿色电力证书(绿证)和碳排放权。这两个东西一旦引入模型,就不再是简单的成本项加减,而是会反过来影响机组出力调整、影响交易策略甚至影响规划决策。
这个项目标题的核心是“计及动态绿证-碳排协同交易机制的含复综合能源系统鲁棒优化调度”,拆开来看其实就是三件事的组合体:
一是“动态绿证”交易机制。绿证价格不再是一个固定的外部参数,而是会随市场供需、可再生能源出力水平、配额考核要求等因素动态变化的变量。建模时如果不把绿证的动态定价机制内生化,结果就会偏离实际市场行为。
二是“碳排协同交易”。企业既要在碳排放权交易市场购买或出售配额,又要在绿证市场完成可再生能源消纳责任权重,这两个市场不是孤立的——购买绿证往往意味着降低了化石能源消耗对应的碳排放,这在碳市场里可以折算成减排量。也就是说,绿证和碳配额之间存在着“此消彼长”的耦合关系,协同建模的关键就是要抓住这个耦合点。
三是“鲁棒优化调度”。由于风光出力和负荷预测都存在不确定性,调度方案必须具有一定的“抗风险”能力,即在最恶劣的不确定性场景下也能保证系统安全运行和经济性尽量可接受。这里用的方法通常是两阶段鲁棒优化,配合列约束生成算法(C&CG)迭代求解。
如果你正准备复现这篇论文的Matlab代码,或者只是想知道这套机制下综合能源系统该怎么建模、怎么用鲁棒优化求解,那这篇文章应该能帮上忙。我会把题目背后每一层逻辑拆开讲透,并把复现过程中最容易被卡住的细节——不确定集怎么定义、非线性项怎么处理、迭代收敛判据怎么设——逐个说明。内容较长,建议先收藏再阅读。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 动态绿证与碳排协同机制:建模背后的市场逻辑
2.1 绿证从“固定参数”到“动态变量”的差别
入行早一点的人都知道,最早做可再生能源消纳责任权重模型时,绿证价格基本就是一个常数。比如某地区一张绿证的交易价格是50元/MWh,那计算收益时直接乘上绿证交易量就行,简单粗暴。但实际市场里绿证价格是会波动的,受配额考核周期、可再生能源实际出力、供需结构等因素影响很大。
“动态绿证”机制建模的核心就是将绿证价格从一个静态输入参数变为依赖于决策变量和市场状态的内部变量,通常的做法是用价格弹性函数来描述。我在复现时看到论文里常采用线性或分段线性的供给曲线,例如:
[
\lambda_{\text{G}} = \lambda_{\text{G}}^0 - \xi \cdot G_{\text{sell}}
]
其中 (\lambda_{\text{G}}^0) 是基础绿证价格,(\xi) 是价格弹性系数,(G_{\text{sell}}) 是绿证出售量。价格会随着出售量的增大而线性下降,符合“供大于求则价格下跌”的基本经济学逻辑。
注意这里有个建模陷阱:如果直接把 (\lambda_{\text{G}} \cdot G_{\text{sell}}) 写入目标函数,会出现两个决策变量的乘积项(双线性项),这会让模型变成非线性规划。如果要把模型保持为线性规划或混合整数线性规划(MILP),就必须对这个双线性项做线性化处理。
常见做法有两种:
第一种是强对偶转换,将动态绿证价格通过KKT条件或对偶变量嵌入到上层模型中,从而消去双线性项。但这对模型结构要求较高,而且要小心强对偶成立的条件。
第二种是用大M法引入辅助变量分段线性化。做法是把绿证价格函数分成若干段,每段引入一个0-1变量表示激活状态,将非线性函数转化为一组线性不等式。这个方法更简单可靠,我在代码里也推荐用这种方式。
2.2 绿证与碳排的协同点到底在哪里
说完绿证,再看碳排放权交易。传统碳交易模型一般只考虑三种对象:免费配额、实际排放量、碳市场买卖量。典型约束是:
[
E_{\text{actual}} = E_{\text{quota}} + E_{\text{buy}} - E_{\text{sell}}
]
也就是说,如果实际排放超过配额,就得从市场上购买额度;如果实际排放小于配额,可以把配额卖出去获利。
引入绿证之后,协同逻辑就出现了。政策规定,可再生能源发电对应的减排量可以通过绿证持有者在碳市场进行履约抵扣。这意味着系统每购买或持有一张绿证,相当于获得了对应的碳减排凭证,可以降低自身的碳履约成本。
用数学关系表达就是:
[
E_{\text{offset}} = \eta \cdot G_{\text{hold}}
]
其中 (\eta) 是绿证折算碳减排量的系数,(G_{\text{hold}}) 是持有的绿证数量。
这样一来,碳平衡约束要改写为:
[
E_{\text{actual}} - E_{\text{offset}} \leq E_{\text{quota}} + E_{\text{buy}} - E_{\text{sell}}
]
这个约束一加进去,整个调度的决策逻辑就变了。以前系统选择煤电还是气电,只看发电成本;现在还要看:多发可再生能源能产生多少绿证,这些绿证在碳市场能抵消多少碳配额,而省下来的碳配额又能卖多少钱。三者形成一个环环相扣的利益链条。
我个人的理解是:绿证-碳排协同机制的本质,是把可再生能源的环境价值从“隐性”变成“显性”,并且让两种环境权益产品在市场机制上实现互通。在模型里,这个互通就体现为碳平衡约束里多出的那一个偏移项。复现代码时,千万不要忽略这个偏移项的符号方向,我见过不少复现版本在这个地方符号搞反,结果结果完全不合理。
2.3 动态绿证交易对调度决策的传导路径
动态绿证机制对调度决策的影响不只在目标函数里多一项那么简单,它还会通过约束条件传导到机组的出力计划。举个例子:某时段可再生能源出力较高,绿证供给量大,动态价格随之下降。这时候系统需要决策的是:是尽量多发可再生电力以获得更多绿证并出售,还是减少可再生出力避免弃风弃光惩罚(如果模型里设了弃风弃光惩罚项)?
这两个目标可能互相冲突。如果绿证价格高,出售绿证的收益大于弃风惩罚,那系统会增加可再生能源出力;反过来,如果绿证价格低且出售收益无法覆盖额外的调峰成本,系统可能宁愿弃一部分风也不多发电。
在模型里这种权衡是通过目标函数中绿证收益项和可再生能源出力约束共同实现的。复现时要注意,绿证收益项写入目标函数后系数是正还是负——对系统运营者而言,出售绿证是收益,所以通常是负号(目标是总成本最小)。但绿证购买成本则是正号。不少刚上手的朋友分不清符号,导致优化结果里系统疯狂买绿证,亏损得一塌糊涂。
3. 含复综合能源系统的鲁棒优化调度建模框架
3.1 综合能源系统里“含复”指什么
标题里有个词叫“含复综合能源系统”,这个“含复”在日常讨论里出现的频率不高。实际上它指的是含可再生能源(renewable)的综合能源系统,简称“含可”或“含复”,在部分论文里也会用“含可再生能源的综合能源系统”来表述。
这类系统一般包含风力发电、光伏发电、燃气轮机、电锅炉、储能设备、蓄热罐等单元。有些模型还会扩展进气网、热网甚至氢能子系统。对于优化调度来说,系统规模越大,决策变量和约束条件的数量越多,求解难度也越大。复现时一定要先在结构上理清网络拓扑:电母线、气源节点、热负荷节点的连接关系,风机光伏接在哪个节点、储能装在哪个母线侧,这些都会影响约束条件的构建。
3.2 目标函数的构成拆解
综合能源系统优化调度模型的典型目标函数是最小化系统总运行成本,但引入绿证和碳交易后,目标函数可以拆成五块:
第一是购能成本,包括从外部电网购电、从气网购气的费用。这部分在常规IES模型中就有,但要注意气价可能采用阶梯价格,阶梯价格会引入0-1变量来判断处于哪一档。
第二是设备运行维护成本。燃气轮机的发电成本、电锅炉的采暖成本、储能的充放电损耗成本等,一般用出力或功率的线性函数表示。
第三是碳排放成本。实际排放超过配额的部分要购买碳配额,超额排放部分会有一个碳惩罚价格;如果实际排放低于配额,则出售多余配额获得收益。
第四是绿证交易收益。这里要区分系统是绿证的卖方还是买方。含高比例可再生能源的IES在多数场景下是绿证的卖方,即出售多余绿证获取收益;但也存在某些时段可再生能源出力不足、需要外购绿证满足配额要求的情况,所以建模时要同时允许买入和卖出的方向。
第五是弃风弃光惩罚成本。鲁棒优化中,如果可再生能源出力处于低值,系统可能面临供电不足;但如果发生在高值场景,就会出现弃风弃光。是否设置惩罚项以及惩罚价格取多少,直接影响调度结果中对可再生能源的消纳水平和绿证生产量。
用公式表示目标函数大致为:
[
\min ; \sum_{t} \left[ C_{\text{buy},t} + C_{\text{om},t} + C_{\text{carbon},t} - R_{\text{sell},t}^{\text{G}} + C_{\text{curtail},t} \right]
]
3.3 关键约束条件
约束条件通常包括以下几大类:
电功率平衡约束,即各时段电源总出力加上外购电量等于电负荷加上电储能充电功率,再加上电锅炉等用电设备的功率。
热功率平衡约束,燃气轮机余热回收、电锅炉供热量和蓄热罐充放热要满足热负荷需求。注意蓄热罐的充放热状态引入0-1变量后,模型就从线性规划变成了混合整数线性规划,求解时间会显著增加。复现时如果只关心核心机制验证,可以先把蓄热罐简化处理,等主体模型跑通后再加回去。
设备运行约束,包括燃气轮机的出力上下限、爬坡约束、最小启停时间;储能设备的容量约束、充放电功率约束、SOC递推方程。这里容易忽略的是储能同时充放电的情况,必须加上互补约束来防止纯优化求解器给出同时充放电的“作弊”解。
碳约束和绿证约束作为这个模型的特色内容,上一节已经详细说明。
4. 鲁棒优化调度中不确定集与两阶段求解逻辑
4.1 为什么不能再用确定性优化
很多第一次接触鲁棒优化的朋友会问:既然有预测数据,为什么不做确定性优化而非要折腾成两层问题?原因很简单——预测数据不完美。
风电出力预测误差在24小时尺度的调度中可能达到15%到25%,光伏受云层影响更大。如果调度方案只是按预测出力来安排,实际运行时一旦风光出力低于预测值,系统就可能出现功率缺口,严重时导致切负荷。鲁棒优化做的就是“以最坏情况为基准来制定方案”,保证即使不确定性发生在最恶劣场景下,系统仍然能够保持安全运行。
当然,最坏场景的选取是有讲究的。如果考虑所有时段同时达到最大值,构造出的场景过于保守,经济性很差;如果只考虑单时段误差,又可能低估风险。实际工程中常用盒式不确定集来约束误差范围。设风光出力的实际值在其预测值的某个区间内波动,这个区间由波动偏差预算参数来控制。
4.2 盒式不确定集与波动预算参数
以风电为例,不确定集可以表示为:
[
W = \left{ w_t \mid \hat{w}_t - \Delta w_t^- \leq w_t \leq \hat{w}_t + \Delta w_t^+, \sum_t \left| \frac{w_t - \hat{w}_t}{\Delta w_t} \right| \leq \Gamma \right}
]
其中 (\hat{w}_t) 是t时段预测出力,(\Delta w_t) 是最大偏差,(\Gamma) 是不确定预算,用来限制整体偏差的累积程度。
(\Gamma) 的取值很关键。(\Gamma=0) 退化为确定性优化;(\Gamma) 取最大值(等于所有时段数)时对应最保守的情况。实际使用中,(\Gamma) 通常取总时段数的一半到三分之二,折中安全性和经济性。我在复现时一般先取 (\Gamma = 0.5T) 跑一遍,收敛后再用控制变量法测不同(\Gamma)对总成本的影响趋势。
4.3 两阶段鲁棒优化的求解流程
两阶段鲁棒优化模型的表达形式通常写为 min-max-min 三层的结构。第一阶段是“这里-现在”决策,即在不确性发生之前,确定机组出力、储能充放电、绿证交易量等调度计划;第二阶段是“等待-看到”决策,即在不确性实现之后,根据实际场景对系统运行进行调整,通常是调用可调节资源来消除功率不平衡。
解决这个三层问题的经典方法是列约束生成算法,即C&CG算法。核心流程可以概括为四步:
第一步,初始化:给定一组最坏场景的初始值,设下界为负无穷,上界为正无穷,迭代次数置零。
第二步,求解主问题:主问题是一个包含第一阶段决策变量和已经生成的若干不确定性场景对应的第二阶段变量的混合整数规划,求解后得到目标函数值作为当前下界,同时获得第一阶段决策变量的最优解。
第三步,求解子问题:将第一阶段决策变量的值固定后,求解子问题来寻找使系统调整成本最大的不确定性场景,这个子问题是一个 max-min 问题。子问题求解完成后,把得到的场景作为新的最坏场景加入主问题。
第四步,收敛判断:检查上界和下界的相对间隙是否小于预设阈值,如果满足则停止迭代;否则继续循环。
C&CG算法的收敛速度通常优于Benders分解法,一般迭代10到20次就能达到 (10^{-4}) 的收敛精度。实际操作中如果迭代次数过多,首先检查是不是子问题里的连续变量和0-1变量耦合没处理干净。
5. Matlab代码复现的关键环节与踩坑实录
5.1 代码框架的整体设计思路
我复现代码时习惯用分模块结构,而不是把所有内容堆在一个脚本里。推荐这样组织:
- 数据输入模块:负荷预测数据、风电光伏预测数据、各类设备参数、碳配额数据、绿证参数等,统一放在一个Data.m文件里,方便换场景时改参数。
- 主问题模块:构建两阶段鲁棒优化的主问题MILP模型。
- 子问题模块:构建子问题并求解最恶劣场景。
- 主循环模块:C&CG迭代。
- 结果输出模块:绘制电功率平衡图、热功率平衡图、绿证交易量变化图、碳排放变化图等。
这几个模块用函数封装,接口清晰,后边想换数据或换参数可以不动主循环,只改数据文件就行。
5.2 用Yalmip还是直接用Cplex/Gurobi
Matlab下做优化调度,最顺手也最推荐的方式是通过Yalmip工具包调用求解器。Yalmip把模型构建统一成一套语法,求解器可以随时切换,比如Cplex或Gurobi之间来回换,对代码本身没有什么影响。我个人强烈建议用Yalmip,因为C&CG迭代时需要在循环中不断向已存在的约束集添加新约束,Yalmip的Constraints集合变量做这个操作非常方便。
但有一点要特别提醒:Yalmip和Cplex/Gurobi的版本匹配,这是个大坑。2021年之后的Yalmip版本和部分旧版Cplex会不兼容,求解时提示参数错误。如果遇到这种问题,优先换成Gurobi 10.0以上的版本。用Gurobi求解MILP,在大多数场景下比Cplex快不少,尤其调度问题这种变量数量和约束数量都很大的模型。
5.3 子问题中的双线性项处理
两阶段鲁棒优化里最容易被卡住的环节是子问题求解。子问题形式是 max-min 结构:内层是最小化调整成本,外层是寻找使总成本最大的不确定场景。连续型子问题可以直接用对偶变换把 min 问题转换为 max 问题,从而把内层和外层合并成一个单层 max 问题,再交给求解器求解。
但实际场景中,第二阶段往往包含储能SOC递推、机组爬坡等包含0-1变量的约束,导致子问题中的内层问题是混合整数规划,无法直接取对偶。业界标准做法是采用启发式方法:先假设二进制变量固定,将对偶问题求解得到连续变量的对偶值,再回到原始空间优化二进制变量,交替迭代直到收敛。
这个交替迭代在Yalmip里实现不难,核心是每次循环只更新固定某些变量的值,然后重新求解子问题。但是次数多了求解时间会明显增加,建议设置最大内迭代次数为10次,避免死循环。
5.4 我在复现中踩过的几个坑
第一个坑是坐标和索引不一致。做多时段调度模型时,时段索引从1还是从0开始,判断循环条件时边界问题很容易出错。我的处理办法是统一从1开始,所有涉及t-1的递推约束都要检查索引越界问题,在约束构造时对 t=1 时段单独处理。
第二个坑是储能SOC边界约束。储能SOC在调度周期末不一定非要回到初始值,但如果模型加了“周期始末SOC相等”的约束,就要求调度周期足够长或者允许弃风,否则模型无解。我建议第一版先不加这个约束,跑通之后再决定是否加。
第三个坑是动态绿证价格的符号处理。前面提到过价格-数量双线性项的问题,如果直接在Yalmip里写成 (\lambda \cdot G),Yalmip不一定能自动线性化,很可能直接报非线性模型错误。解决方式是用分段线性化函数,Matlab里可以自己写个函数,也可以用Yalmip内置的binvar配合大M约束手动线性化。我试过自己写辅助变量,效率其实很高,代码量也不大。
第四个坑也是最隐蔽的:鲁棒优化的最坏场景可能超过风光实际出力的物理边界。如果不确定集的上下界设置不合理,比如 (\Delta w_t) 大于装机容量,那么最坏场景求解出来的风电出力可能是负数或超过装机容量,模型会得到一个实际不存在的场景。所以构造不确定集时务必要加上物理边界约束:
[
0 \leq w_t \leq W_{\text{cap}}
]
6. 场景验证与关键参数敏感性分析
6.1 典型日场景的选取标准
复现这类论文,最终都要用几个典型日场景来验证模型是否有效。现在很多论文喜欢用某地区春夏秋冬四个典型日,每个典型日每个时段都有对应的电负荷、热负荷、风电预测、光伏预测数据。选取典型日的标准是要能代表该季节的整体特征,不能选极端天气日,也不能全选平稳日。最好的做法是对全年数据进行聚类分析,选聚类中心所在日期作为典型日。
实际跑代码时,数据规模可能很大。假设调度周期为24小时,时间尺度为1小时,那每个典型日有24个时段。如果设备数量有20台,再加上碳交易和绿证的附加变量,一个场景的变量总数很容易超过几千个。这种情况下MILP求解时间通常从几十秒到几分钟不等,如果跑太久,可以试试调低MIP gap。
6.2 鲁棒参数与绿证参数的影响规律
复现完之后,一定要做参数的敏感性分析。这既是为了验证模型正确性,也是论文复现中体现工作量的重要部分。
对鲁棒优化的 (\Gamma) 参数,我的经验是:随着 (\Gamma) 增加,系统总成本会单调上升,但上升速度会变缓。这说明系统对不确定性越来越保守,边际风险成本递减。如果你画出来的成本曲线不是单调上升的,那基本可以断定代码里某个约束的符号写反了。
对绿证价格弹性系数 (\xi),当 (\xi) 增大时,动态绿证价格对交易量的敏感度更高,系统更倾向于控制绿证交易量,可再生能源机组可能出现减出力的情况。如果 (\xi) 过大,甚至会出现绿证出售量下降但交易总额反而增加的反常现象,这时候要检查是不是价格函数下限约束没有设置好。
对碳配额总量,配额越紧,碳价越高,系统越倾向于多购买绿证来抵扣碳排放,同时燃气轮机的出力倾向会下降。这个趋势如果和文章里给出的曲线一致,说明协同机制建模成功。
6.3 结果可视化的推荐画法
复现论文时结果绘图很重要,但很多人画图过于粗糙,看不出模型效果。我通常至少画三张图:
第一张是调度结果总览图,用堆叠柱状图展示各时段电功率平衡情况。风电、光伏、气电、购电各自用不同颜色堆叠,负值表示储能充电或弃风,能直观看到不同时段电源结构的变化。
第二张是绿证和碳排协同效果图,用双纵轴折线图。左轴画绿证交易价格曲线,右轴画碳配额交易量,既能体现动态绿证价格变化,又能看到两个市场的联动关系。
第三张是成本饼图或者柱状图,展示购能成本、运维成本、碳成本、绿证收益和弃风惩罚各自占比。这张图最能直观说明引入绿证-碳排协同机制前后系统总成本结构和数值的变化。
画图时注意坐标轴字体和线宽设置,不要用Matlab默认配色,建议用parula和turbo色系交替,文字大小统一设为12号以上。这类图如果被放进论文里,外审专家第一眼就能看出是否有诚意。
7. 复现过程的核心经验分享
代码写完之后,我有几点体会想好好跟大家说一下。
第一,复现这类论文最忌讳的是一上来就照抄别人的代码。不同论文的uncertainty set定义方式、碳配额初始分配方法、绿证折算系数的取值都可能不同,你直接套用别人的代码,很可能模型结构与论文不一致,算出来的结果对不上,排查起来无比痛苦。正确做法是先手写一个小型算例,比如3个时段、2台机组、1台储能,把整个C&CG流程完整跑通,再扩展到24时段乃至96时段。
第二,C&CG迭代时建议加一个最大迭代次数限制,比如30次。有一次我调试代码时因为子问题的交替迭代出现了震荡,如果不加限制,代码会一直循环不收敛,排错时浪费了好几个小时。加了迭代上限和gap诊断输出之后,从日志就能一眼看出是主问题没收敛还是子问题没收敛。
第三,参数文件最好用结构体保存。Matlab的结构体字段可以命名为data.wind_forecast、data.gas_price、data.carbon_quota,比几十个散落的工作区变量清晰得多。尤其是你在做敏感性分析时,需要批量改变参数并记录结果,结构体加循环运行要比手动改脚本可靠得多。
第四,关于代码执行速度。如果求解器提示MILP模型无解或者求解时间过长,可以先试试放宽MIP gap。Gurobi默认的MIP gap是1e-4,对于综合能源系统调度这个规模的问题可以放宽到1e-2甚至1e-2。不影响工程结论的前提下,求解时间可以从几分钟降到几秒,做敏感性分析时优势非常明显。
最后,一个容易被忽略但非常重要的点:鲁棒优化的结果不是单一确定性曲线,而是一个“最坏场景”下的调度方案。画图展示时,建议同时画预测出力的置信区间带和实际采用的出力曲线,这样读者才能明白你在用什么不确定性假设下讨论问题。如果只是画一条光秃秃的调度曲线,审稿人或者同行容易误以为只要做确定性优化就够了,你这套鲁棒优化的价值就没能展示出来。
我自己跑完这个项目之后最大的感受是:动态绿证和碳排协同交易机制的引入,让原本单纯从电量平衡角度出发的综合能源系统调度问题上升到了“电能-环境权益-市场价值”多维耦合的层面。模型复杂度明显增加,但算出来的结果也确实更能反映未来能源市场环境下的真实运营逻辑。这些环境权益市场之间的耦合关系,未来大概率还会进一步加深,做调度优化的人如果不早一点把这部分纳入建模视野,后面可能会吃大亏。
