[論文レビュー] Hybrid Symbolic-Numeric Framework for Power System Modeling and Analysis

Hantao Cui, Fangxing Li+1 more|arXiv (Cornell University)|Feb 21, 2020

Real-time simulation and control systems参考文献 21被引用数 5

ひとこと要約

本論文は、オープンソースの ANDES ライブラリに実装されたハイブリッド記号的・数値的フレームワークを提案する。このフレームワークにより、記述的方程式文字列と自動コード生成を用いて、迅速かつモジュラーな電力系統モデリングが可能になる。数値的性能は商業ツールと同等であり、複数のテストシステムにおける潮流計算、時領域シミュレーション、固有値解析の結果は検証済みである。

ABSTRACT

With the recent proliferation of open-source packages for computing, power system differential-algebraic equation (DAE) modeling and simulation are being revisited to reduce the programming efforts. Existing open-source tools require manual efforts to develop code for numerical equations, sparse Jacobians, and discontinuous components. This paper proposes a hybrid symbolic-numeric framework, exemplified by an open-source Python-based library ANDES, which consists of a symbolic layer for descriptive modeling and a numeric layer for vector-based numerical computation. This method enables the implementation of DAE models by mixing and matching modeling components, through which models are described. In the framework, a rich set of discontinuous components and standard transfer function blocks are provided besides essential modeling elements for rapid modeling. ANDES can automatically generate robust and fast numerical simulation code, as well as and high-quality documentation. Case studies present a) two implementations of turbine governor model TGOV1, b) power flow computation time break down for MATPOWER systems, c) validation of time-domain simulation with commercial software using three test systems with a variety of models, and d) the full eigenvalue analysis for Kundur's system. Validation shows that ANDES closely matches the commercial tool DSATools for power flow, time-domain simulation, and eigenvalue analysis.

研究の動機と目的

• オープンソースの電力系統ツールにおいて、微分代数方程式（DAE）モデルを手動で実装する必要がある高いプログラミング作業を軽減すること。
• 数値方程式、スパースヤコビ行列、および不連続なコンponents の手動コーディングを削減すること。
• 記号的記述とブロックベースのコンponents を用いて、迅速かつモジュラーなモデリングを可能にするとともに、高い数値的性能を維持すること。
• 自動コード生成とドキュメント作成を提供することで、モデル開発の簡素化と再現可能性の向上を図ること。
• 複数の標準的なテストシステムおよびシミュレーションタスクにおいて、商業ソフトウェアと照合してフレームワークの正確性と性能を検証すること。

提案手法

• 記号的層（記述的モデリング用）と数値的層（ベクトル化された数値計算用）の二層構造を採用する。
• 高レベルの式文字列とモジュラーなコンponents から、効率的で頑健な数値コードを記号的計算によって生成する。
• 不連続コンponents（例：伝達関数、PI制御器）および標準的なモデリングブロックを直接記号的層に統合する。
• 生成コードにおけるベクトル化を活用し、同じモデルタイプのすべてのデバイスを同時に更新することで、シミュレーション速度を向上させる。
• 必要に応じて従来の数値的実装とシームレスに統合可能な数値インターフェースを保持する。
• コード生成と並行してドキュメント生成を自動化し、モデルの透明性と再現可能性を向上させる。

実験結果

リサーチクエスチョン

• RQ1 ハイブリッド記号的・数値的フレームワークは、オープンソースの電力系統ツールにおける DAE モデルの実装に要する作業を顕著に削減できるか？
• RQ2 このようなフレームワークは、多様な電力系統モデルおよびテストケースにおいて、商業シミュレーションソフトウェアの結果をどの程度正確に再現できるか？
• RQ3 高レベルのモジュラーなモデリングを可能にしつつ、数値的性能をどの程度維持できるか？
• RQ4 TGOV1 や EXDC2、PSS などの動的モデルを含む複雑な実世界のシステムを、最小限の手動コーディングで処理できるか？
• RQ5 自動コード生成およびドキュメント作成パイプラインは、再現可能な研究およびモデル共有をどの程度効果的に支援できるか？

主な発見

• ANDES は、記号的記述を用いて TGOV1 タービン governor モデルの2種類の異なる実装を成功裏に実現し、モデルの柔軟性を示した。
• MATPOWER システムにおける潮流計算の時間分解では、記号的処理時間はシステムサイズではなくモデルの複雑さに比例することが確認され、スケーラビリティが裏付けられた。
• Kundur の系統、IEEE 14 バス、NPCC 140 バス系における時領域シミュレーションでは、DSATools TSAT の結果と数値的許容範囲内に一致し、それぞれ 1.2 秒、4.1 秒、2.5 秒のシミュレーション時間であった。
• Kundur の系統における固有値解析結果では、ANDES と DSATools SSAT の間で減衰比および固有値がほぼ同一であり、最初の3モードにおける減衰比の差は 0.02% 未満であった。
• フレームワークは、高品質で生産用に適した数値コードおよびドキュメントを自動的に生成し、手動実装の誤りと保守の負荷を低減した。
• 記号的層のシステムトポロジーに依存しない設計により、異なるテストシステム間で方程式を再エンコードすることなく、効率的なモデル再利用が可能になった。