[论文解读] Sparse Tableau Formulation for Optimal Power Flow Applications

Byungkwon Park, Jayanth Netha+2 more|arXiv (Cornell University)|Jun 5, 2017

Optimal Power Flow Distribution参考文献 7被引用 4

一句话总结

本文提出了一种用于最优潮流（OPF）的稀疏表列公式（STF），通过显式表示支路电流和电压，增强了建模灵活性与物理保真度，能够准确表示断路器和理想变压器等非标准元件。STF在计算效率上与传统的基于$Y_{bus}$的OPF公式相当，同时通过直接引入电流变量，更优地处理了线路热极限。

ABSTRACT

Typical formulations of the optimal power flow (OPF) problem rely on what is termed the "bus-branch" model, with network electrical behavior summarized in the Ybus admittance matrix. From a circuit perspective, this admittance representation restricts network elements to be voltage controlled and limitations of the Ybus have long been recognized. A fixed Ybus is unable to represent an ideal circuit breaker, and more subtle limitations appear in transformer modeling. In power systems parlance, more detailed approaches to overcome these limitations are termed "node-breaker" representations, but these are often cumbersome, and are not widely utilized in OPF. This paper develops a general network representation adapted to the needs of OPF, based on the Sparse Tableau Formulation (STF) with following advantages for OPF: (i) conceptual clarity in formulating constraints, allowing a comprehensive set of network electrical variables; (ii) improved fidelity in capturing physical behavior and engineering limits; (iii) added flexibility in optimization solution, in that elimination of intermediate variables is left to the optimization algorithm. The STF is then applied to OPF numerical case studies which demonstrate that the STF shows little or no penalty in computational speed compared to classic OPF representations, and sometimes provides considerable advantage in computational speed.

研究动机与目标

• 为解决传统基于$Y_{bus}$的最优潮流（OPF）公式所存在的局限性，即无法建模理想断路器或某些变压器接线方式。
• 开发一种适用于OPF的一般性网络表示方法，支持对电气变量和工程约束的全面建模。
• 证明STF在保持与标准OPF公式相当的计算效率的同时，能够实现更高的物理保真度和建模灵活性。
• 通过显式引入电流变量，实现对热极限的直接建模，从而提升安全约束最优潮流应用中的准确性。

提出的方法

• 基于基尔霍夫电流定律（KCL）、基尔霍夫电压定律（KVL）以及复相量形式的元件本构方程，构建基于稀疏表列公式（STF）的网络约束。
• 采用二端口网络模型表示电力系统元件，包含支路电流$i$、支路电压$v$和节点电压$V$。
• 以表列方程为核心约束：$Ai = 0$（KCL），$v - A^T V = 0$（KVL），以及$F_v v + F_i i = u_s$（元件方程）。
• 集成非线性功率注入方程$S_j = V_j imes I_j^*$，以建模发电机和负荷的功率注入。
• 在优化问题中保留中间变量（如支路电流$i$），以实现对热极限的直接强制执行。
• 在通用优化框架（GAMS与KNITRO）中实现STF，并与极坐标和矩形坐标$Y_{bus}$公式进行性能对比。

实验结果

研究问题

• RQ1 STF公式能否对$Y_{bus}$无法建模的理想断路器及其他非标准元件进行建模？
• RQ2 STF公式是否能保持与标准$Y_{bus}$-基OPF公式相当的计算效率？
• RQ3 STF中直接引入电流变量是否能提升热极限强制执行的准确性？
• RQ4 在不同测试系统中，STF与$Y_{bus}$-基公式在解的质量和收敛速度方面有何比较？
• RQ5 与简化后的$Y_{bus}$公式相比，STF中保留额外变量所带来的计算开销如何？

主要发现

• STF公式能够准确建模非标准元件，如理想断路器、理想变压器和三绕组变压器，这些元件在$Y_{bus}$-基模型中难以准确表示。
• STF允许通过支路电流变量直接强制执行热极限，避免了间接的基于功率的表达式，从而提升了物理准确性。
• 在IEEE 118节点系统中，STF公式耗时0.3秒，与极坐标和矩形坐标$Y_{bus}$公式的性能相当。
• 在大规模3375wp系统中，STF公式耗时11.4秒，显著快于矩形坐标$Y_{bus}$公式（11.7秒），同时获得了更低的目标函数值。
• 在所有测试案例中，包括3012wp和3120sp等大型系统，STF公式的计算性能与$Y_{bus}$-基公式相当或更优。
• STF公式在所有测试系统中均表现出一致的计算效率，其求解时间与性能最佳的$Y_{bus}$公式相差不超过1秒。