We present a new algorithm for solving large-scale security-constrained optimal power flow in polar form (AC-SCOPF). The method builds on Nonlinearly Constrained augmented Lagrangian (NCL), an augmented Lagrangian method in which the subproblems are solved using an interior-point method. NCL has two key advantages for large-scale SC-OPF. First, NCL handles difficult problems such as infeasible ones or models with complementarity constraints. Second, the augmented Lagrangian term naturally regularizes the Newton linear systems within the interior-point method, enabling to solve the Newton systems with a pivoting-free factorization that can be efficiently parallelized on GPUs. We assess the performance of our implementation, called MadNCL, on large-scale corrective AC-SCOPFs, with complementarity constraints modeling the corrective actions. Numerical results show that MadNCL can solve AC-SCOPF with 500 buses and 256 contingencies fully on the GPU in less than 3 minutes, whereas Knitro takes more than 3 hours to find an equivalent solution.
- 論文ID: 2510.13333
- タイトル: An Augmented Lagrangian Method on GPU for Security-Constrained AC Optimal Power Flow
- 著者: François Pacaud, Armin Nurkanović, Anton Pozharskiy, Alexis Montoison, Sungho Shin
- 分類: math.OC(最適化と制御)
- 発表日: 2025年10月15日
- 論文リンク: https://arxiv.org/abs/2510.13333
本論文は、大規模セキュリティ制約付きAC最適潮流(AC-SCOPF)を求解するための新しいアルゴリズムを提案している。本手法は非線形制約ラグランジュ(NCL)法に基づいており、内点法を用いて部分問題を求解する。NCLは大規模SC-OPFに対して2つの重要な利点を有する。第1に、NCLは実行不可能問題や相補制約を含むモデルなどの困難な問題を処理できる。第2に、拡張ラグランジュ項は内点法におけるニュートン線形システムを自然に正則化し、ピボットなし分解によるニュートンシステムの求解を可能にし、これはGPU上で効率的に並列化できる。数値結果は、MadNCLが500ノード256故障のAC-SCOPFをGPU上で3分以内に完全に求解でき、一方Knitroは同等の解を見つけるのに3時間以上を要することを示している。
送電網における最適スケジューリングは通常、セキュリティ制約付き最適潮流(SCOPF)を求解することで計算される。このスケジューリングは、物理的制約(潮流、線路流量制限)および発電機容量を考慮しながら、与えられた基準(コストまたはネットワーク損失)を最小化する。さらに、スケジューリングは線路または発電機故障に対応する一連の緊急事態下で実行可能性を維持する必要がある(N-1安全基準)。
SCOPFは通常、DC-SCOPFと呼ばれる大規模線形計画問題として定式化され、その規模は故障数に応じて線形に増加する。しかし、これは非線形物理制約の線形化の代償として、解の精度に影響を与える。しかし、元の非線形定式化を用いたAC-SCOPFの求解は依然として未解決の課題である。
非線形定式化には2つの問題がある:
- AC-SCOPFは巨大規模の非線形計画問題であり、その規模はIpoptやKnitroなどの最先端の非線形最適化ソルバーの能力を超えている
- AC-SCOPFモデルの相補制約は数値的に扱いが難しく、特殊なアルゴリズムを採用する必要がある
大規模AC-SCOPFの特性は相補制約の数が故障数に応じて線形に増加するため、アルゴリズムを限界に追いやる。この課題に対処するため、著者らは拡張ラグランジュ法に基づくNCLを用いてAC-SCOPFを求解することを提案している。
- 拡張ラグランジュ法の初適用:相補制約を含む是正的SCOPFの求解に拡張ラグランジュベースのアルゴリズムを初めて適用
- GPU加速実装:NVIDIA cuDSSを用いた線形求解を活用するGPU加速対応のNCL実装であるMadNCLを開発
- 相補制約の処理:MadNCLがAC-SCOPF内の相補制約を適切に処理でき、実行不可能問題を効果的に検出することを実証
- 顕著な性能向上:大規模インスタンスで従来手法と比較して顕著な高速化を実現、GPU版はCPU版より6倍以上高速
セキュリティ制約付きAC最適潮流(AC-SCOPF)問題は以下のように定義される:
minx,uf(x0,u0)
制約条件:
- 基準ケース:g0(x0,u0)=0, h0(x0,u0)≤0
- 各故障k∈{1,⋯,K}に対して:
- gk(u0,xk,uk)=0
- hk(xk,uk)≤0
- 0≤G(xk,uk)⊥H(xk,uk)≥0
ここで相補制約は以下から生じる:
- 自動発電制御(AGC):周波数調整のための有効電力調整
- PV/PQスイッチング:電圧制御と無効電力制限
AC-SCOPFを数学的計画法と相補制約(MPCC)に再構成する:
minw∈Rnϕ(w)s.t.{c(w)=0,w0≥00≤w1⊥w2≥0
NCLは2つのレベルで動作する:
- 外層反復:ペナルティパラメータρ(n)と乗数推定(λ(n),ν0(n))を更新
- 内層反復:制約付き非線形部分問題を求解:
minw,r,tLρ(w,r,t,λ(n),ν0(n))
制約条件:
c(w)−r=0,W1W2e≤t,(w0,w1,w2)≥0
部分問題のニュートンシステムは以下の構造を有する:
[ABB⊤−C][ΔwΔy]=[r1r2]
ここで拡張ラグランジュ項により提供される正則化により、ピボットなし分解の使用が可能になる。
- 自然な正則化:拡張ラグランジュ項はニュートン線形システムを自然に正則化し、厳密な相補性が成立しない場合でもシステムの非特異性を保持
- ピボットなし分解:正則化により符号付きCholesky分解などのピボットなし手法の使用が可能になり、これらはGPU上で効率的に並列化できる
- 実行不可能性検出:問題が実行不可能な場合、NCLは自動的に実行可能性問題にフォールバックし、ペナルティパラメータρ(n)を無限大に増加させる
MESPOWERライブラリのインスタンスを使用:
- 118ieee, ACTIVSg200, 300ieee, ACTIVSg500
- 1354pegase, ACTIVSg2000, 2869pegase
- 故障数は2から256まで変動
- 求解時間:総求解時間と反復ごとの時間
- 反復回数:内点法の反復回数
- 目的値:最適解の目的関数値
- 実行可能性:実行不可能な故障を検出する能力
- Knitro:MPCCをサポートする最先端の最適化ソルバー、ℓ1正確ペナルティ法を使用
- MadNCL-CPU:HSL MA57を使用するCPU版
- MadNCL-GPU:NVIDIA cuDSSを使用するGPU版
- プログラミング言語:Julia 1.11
- 収束許容度:1e-6
- 最小バリアパラメータ:μmin=10−7
- ハードウェア:AMD EPYC 7430プロセッサ、NVIDIA A30 GPU(24GB VRAM)
故障スクリーニングタスクにおいて、MadNCLはKnitroを大幅に上回る:
| インスタンス | Knitro (s) | MadNCL-CPU (s) |
|---|
| 118ieee | 0.5 | 0.01 |
| ACTIVSg500 | 5.4 | 0.3 |
| 2869pegase | 238.4 | 14.1 |
MadNCLは300ノード以上のインスタンスで少なくとも10倍高速である。
ACTIVSg500インスタンスについて、故障数の増加に伴う結果:
| K | 変数数 | Knitro時間(s) | MadNCL-GPU時間(s) | 高速化比 |
|---|
| 64 | 241,900 | 2159.59 | 27.96 | 77.2× |
| 128 | 480,300 | 4852.33 | 46.40 | 104.6× |
| 256 | 957,100 | 11136.08 | 170.75 | 65.2× |
MadNCL-GPUとMadNCL-CPUの性能向上:
- K≥64の場合、GPU版はCPU版より約6倍高速
- K≥64の場合、GPU版はKnitroより約20倍以上高速
故障数の増加に伴い、MadNCL-GPUの反復ごとの時間増加が最も緩やかであり、優れたスケーラビリティを示している。
- スケーラビリティ:MadNCLは優れたスケーラビリティを示し、近百万変数の問題を処理可能
- 堅牢性:NCLは実行不可能問題を自動的に検出・処理可能
- 並列効率:GPU実装は並列計算の利点を十分に活用
- 数値安定性:拡張ラグランジュの正則化は数値安定性を向上
- MPCC求解法:直接法、正則化法、ペナルティ法を含む
- 電力系統最適化:DC-SCOPFおよびAC-SCOPFの各種求解戦略
- GPU加速最適化:最適化アルゴリズムのGPUプラットフォームへの移植
既存研究と比較して、本論文は相補制約を含むAC-SCOPFに拡張ラグランジュ法を初めて適用し、効率的なGPU加速を実現している。
- MadNCLは大規模AC-SCOPF問題を効果的に求解でき、近百万変数を処理可能
- GPU加速版は従来のCPUソルバーと比較して数十倍の性能向上を実現
- 拡張ラグランジュ法は相補制約処理のための堅牢なソリューションを提供
- 条件数問題:問題規模の増加に伴い線形システムの条件数が悪化
- 収束性:いくつかの大規模インスタンスでは収束性が十分でない
- メモリ制限:GPU メモリ制限により処理可能な最大問題規模が制限される
- 内点法ニュートンシステムの病的条件数問題の解決
- より大規模なインスタンス(万ノード、百故障)への拡張
- 数値安定性向上のための前処理技術の改善
- 手法の革新性:NCLをAC-SCOPFに初めて適用、技術的アプローチが新規
- 実装品質:高品質なGPU実装、並列計算の利点を十分に活用
- 実験の充実:スケーラビリティと堅牢性テストを含む包括的な実験評価
- 実用価値:顕著な性能向上により大規模リアルタイム応用が可能に
- 理論分析:SCOPF問題上のNCLの収束性理論分析が不足
- 数値安定性:最大規模インスタンスでは依然として数値安定性問題が存在
- 汎用性:手法の適用性は主に電力系統最適化分野に限定
- 学術的貢献:大規模非凸最適化の新しい求解思想を提供
- 実用価値:電力系統運用および計画に重要な実用価値を有する
- 技術推進:GPU加速最適化アルゴリズムの成功事例
- 電力系統スケジューリング:リアルタイムおよび日前市場の安全制約最適化
- 大規模非凸最適化:相補制約を含む他の工学最適化問題
- GPU高性能計算:高速求解が必要な最適化応用
論文は31篇の関連文献を引用しており、SCOPF建模、MPCC求解法、拡張ラグランジュ理論、およびGPU最適化など複数の側面における重要な研究をカバーしており、研究に堅実な理論的基礎を提供している。