[論文レビュー] Natural Gas Flow Solutions with Guarantees: A Monotone Operator Theory Approach

Krishnamurthy Dvijotham, Marc Vuffray+2 more|arXiv (Cornell University)|Jun 19, 2015

Gas Dynamics and Kinetic Theory被引用数 13

ひとこと要約

本稿では、自然ガスの流量方程式を解くための単調作用素理論的手法を提案し、解の存在・一意性・計算の保証を備えたものである。線形行列不等式（LMIs）を用いて単調性領域を同定することで、各領域において高々1つの解が保証され、多項式時間での計算が可能となり、効率的な領域選択のための流量比の簡略化された境界が得られる。

ABSTRACT

We consider balanced flows in a natural gas transmission network and discuss computationally hard problems such as establishing if solution of the underlying nonlinear gas flow equations exists, if it is unique, and finding the solution. Particular topologies, e.g. trees, are known to be easy to solve based on a variational description of the gas flow equations, but these approaches do not generalize. In this paper, we show that the gas flow problem can be solved efficiently using the tools of monotone operator theory, provided that we look for solution within certain monotonicity domains. We characterize a family of monotonicity domains, described in terms of Linear Matrix Inequalities (LMI) in the state variables, each containing at most one solution. We also develop an efficient algorithm to choose a particular monotonicity domain, for which the LMI based condition simplifies to a bound on the flows. Performance of the technique is illustrated on exemplary gas networks.

研究の動機と目的

• 大規模な送配電ネットワークにおける非線形ガス流量方程式を解く計算上の課題に対処すること。
• ガス流量方程式の解の存在および一意性を保証する明示的条件を確立すること。
• 保証された単調性領域内で解を計算する効率的なアルゴリズムを開発すること。
• 既存の取り扱いやすいケース（例：木構造ネットワーク、ループのないネットワークにおける損失最小化）を、任意のネットワークトポロジーに一般化すること。
• 作用素理論を用いて、解の一意性と多項式時間での計算可能性を保証するフレームワークを提供すること。

提案手法

• 流量とポテンシャル変数における多変数二次方程式系としてガス流量方程式を定式化する。
• 単調作用素理論を用いて問題を変分不等式に再定式化し、解が単調作用素のゼロ点に対応するようにする。
• 状態変数（圧力と流量）における線形行列不等式（LMIs）を用いて単調性領域を定義し、各領域において高々1つの解が保証されるようにする。
• 行列値パラメータを用いたパラメータ化された単調性領域の族を導入し、体系的な領域選択を可能にする。
• 特定のパラメータの選択に対して、LMIsの条件をネットワーク内の最大流量と最小流量の比の境界に簡略化する。
• 準凸最適化を用いて、簡略化された流量比条件を満たす単調性領域のパラメータを効率的に計算する。

実験結果

リサーチクエスチョン

• RQ1 ガス流量方程式は、存在および一意性に関する保証を伴って、効率的に解くことができるか？
• RQ2 ガス流量作用素が単調であることを保証する条件は何か？これにより多項式時間での解法が可能になる。
• RQ3 単調性領域はどのように特徴づけられ、計算可能か？各領域において高々1つの解が保証されるようにする。
• RQ4 LMIsに基づく単調性条件は、実世界のネットワークに対して実用的で計算可能な境界に簡略化できるか？
• RQ5 適切な単調性領域を特定するための計算複雑度は何か？効率的な解法計算に向けたものである。

主な発見

• ガス流量作用素は、特定のLMIsで定義された領域内で単調であり、各領域において高々1つの解が保証される。
• 各単調性領域内で、ガス流量方程式の解は多項式時間で計算可能である。
• 特定のパラメータの選択に対して、LMIsの条件はネットワーク内の最大流量と最小流量の比の境界に簡略化される。
• 単調性領域のパラメータは、準凸最適化問題を解くことで効率的に計算可能である。
• 本手法は、既知の取り扱いやすいケース（例：木構造ネットワーク、ループのないネットワークにおける損失最小化）を、任意のトポロジーに一般化する。
• テストネットワークを用いた数値評価により、本手法の効率性と実用性が確認された。