定制化求解机组组合混合整数线性规划模型的固定——推断法  

A customized fix and implicate method for mixed integer linear programming models of unit commitment problems

作　　者：李佩杰[1] 万海涛 赵晓慧 韦化[1] 杨明[3] LI Peijie;WAN Haitao;ZHAO Xiaohui;WEI Hua;YANG Ming(Guangxi Key Laboratory of Power System Optimization and Energy Technology(Guangxi University),Nanning 530004,China;College of Electronic Information,Guangxi University for Nationalities,Nanning 530006,China;Key Laboratory of Power System Intelligent Dispatch and Control(Shandong University),Jinan 250061,China)

机构地区：[1]广西电力系统最优化与节能技术重点实验室(广西大学),广西南宁530004 [2]广西民族大学电子信息学院,广西南宁530006 [3]电网智能化调度与控制教育部重点实验室(山东大学),山东济南250061

出　　处：《电力系统保护与控制》2023年第2期11-21,共11页Power System Protection and Control

基　　金：国家自然科学基金项目资助(51967002,52267006)。

摘　　要：为了突破机组组合算法的自主可控问题,基于开源混合整数线性规划求解器CBC,提出一种快速获取机组组合问题可行解的固定—推断法。首先将机组组合模型转换为推断标准模型,然后按重要性对所有整数变量进行排序。并利用约束违反函数依次确定整数变量的值,实现整数变量的固定,利用约束关系推断出与其相关的整数变量值。最后经过多轮的固定—推断可以实现所有整数变量的取值,从而求解一个线性规划问题即可得到各机组的出力。仿真结果表明,所述算法能有效求解大规模机组组合问题,可在更短时间内获取质量较好的可行解。与CBC求解器结合,能显著提升CBC求解器对于机组组合问题的求解效率。此外,所述算法还具备在其他求解器上进行定制的潜力。To obtain an independent and controllable method for unit commitment(UC), based on the open source mixed integer linear programming(MILP) solver CBC, this paper proposes a fix and implicate(F&I) method to fast obtain the feasible solution of UC problem. First, the implicate standard model is obtained by transforming UC model, and all integer variables are sorted by their importance. Then, the integer variables are sequentially fixed to values determined by the constraint violation function. The values of other related integer variables are implicated by constraint relation in each round of fixing. Through some rounds of fixing and implicating, all integer variables are fixed quickly. Finally, the power output of each unit can be obtained by solving a linear programming problem. The simulation shows that the proposed method can effectively solve large-scale UC problems and obtain better feasible solution in a short time. Combined with the proposed method, CBC solver can solve UC problems more effectively. In addition, the F&I method also has the potential for customization on other solvers.

关 键 词：机组组合 混合整数线性规划 CBC求解器 固定—推断法 

分 类 号：O221.1[理学—运筹学与控制论] TM73[理学—数学]