此外,得到的解与边际定价公式一致。最后,用混合整数线性规划公式证明了所得解的最优性。正在进行的工作旨在在拟议d框架中引入链接块订单、分段线性订单和复杂订单(作为伊比利亚最低收入条件)。预计收入状况可以用类似于大宗订单盈余的方式建模。相比之下,由于目标函数中存在二次项,分段线性阶会带来额外的问题。致谢作者感谢匿名评论者提出的宝贵和建设性意见。附录A.最终MILP模型最终MILP模型的目标函数在(28)中定义,而问题的约束条件是:Xk∈KπtygπtkDmaxtk+Xk∈KπtPdtkddtk=Xi∈ZπXk∈KπtiygζtkiDmaxtk-Xk公司∈KπtywИtkDmaxtk+10-cXi公司∈ZπJXj=0ybζtijj+κtt型∈ T(A.1)Xt∈TXk公司∈KζtPdtkdζtk+Xt∈TXk公司∈KπtPdtkdwtk-Xk公司∈KtXp型∈PTPSTPSP-Xp系统∈PBXt公司∈TpPBprpSB,maxtp=Xt∈TXk公司∈KπtywИtkDmaxtk+Xt∈TXk公司∈KζtИζtkDmaxtk+Xt∈TXp∈PtДstpSmaxtp+Xt∈TXi公司∈ZXj公司∈ZδmaxtijFmaxtij-Xt公司∈TXi公司∈ZπXk∈KπtiygζtkiDmaxtk- 10-cXt公司∈TXi公司∈ZπJXj=0ybζtijj+Xp∈PByBД,最大值-Xp系统∈PByBД,minpRminp(A.2)(7)-(8)(A.3)uetkPdtk- yeπtk=0t型∈ Tk∈ Kπt(A.4)(10)-(17)(A.5)(19)-(27)(A.6)(30)-(34)(A.7)(44),(A.8),其中辅助变量定义如下:- Mπugtk≤ ygπtk≤ Mπugtk(A.9)- Mπ(1- ugtk)≤ π - ygπtk≤ Mπ(1- ugtk)(A.10)- Mπuetk≤ yeπtk≤ Mπuetk(A.11)- Mπ(1- uetk)≤ π - yeπtk≤ Mπ(1- uetk)(A.12)0≤ ywхtk≤ Mπuwtk(A.13)0≤ ^1wtk- ywхtk≤ Mπ(1- uwtk),(A.14)带t∈ T,k∈ Kπt;- Mπugtk≤ ygζtki≤ Mπugtk(A.15)- Mπ(1- ugtk)≤ ζti- ygζtki≤ Mπ(1- ugtk),(A.16)带t∈ T,i∈ Zπ,k∈ Kπti;- Mπbtji≤ ybζtij≤ Mπbtji(A.17)- Mπ(1- btji)≤ ζti- ybζtij≤ Mπ(1- btji),(A.18)带t∈ T,i∈ Zπ,j∈ {0, . . .