基于凸优化的节能列车控制模型的精确性证明

本文给出基于凸优化的节能列车控制（EETC）模型的精确性证明。精确性证明表明，凸优化模型与施加凸松弛的初始模型共享相同优化结果。我们首先展示初始非凸模型上的松弛如何实施，并分析说明这些松弛为凸约束，从而松弛模型为凸模型。随后证明松弛凸模型总能在初始等式约束上达到最优解，且凸优化所得最优解与初始非凸模型所得一致，所施加松弛是精确的。基于典型含陡坡的城市轨道交通系统进行了数值验证。本文结果可为凸优化在节能列车控制及低碳交通系统运营控制相关领域的进一步应用提供启示。