[논문 리뷰] Natural Gas Flow Solutions with Guarantees: A Monotone Operator Theory Approach

Krishnamurthy Dvijotham, Marc Vuffray외 2명|arXiv (Cornell University)|2015. 06. 19.

Gas Dynamics and Kinetic Theory인용 수 13

한 줄 요약

이 논문은 존재성, 유일성 및 계산의 증명 가능한 보장을 갖는 자연가스 유량 방정식을 해결하기 위해 단조 연산자 이론 접근법을 제안한다. 선형 행렬 부등식(LMIs)을 통해 단조성 영역을 식별함으로써, 각 영역당 최대 하나의 해를 보장하고 다항식 시간 내에 계산이 가능하게 하며, 효율적인 영역 선택을 위한 흐름 비율에 대한 단순화된 경계를 제공한다.

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)을 사용해 단조성 영역을 정의하여, 각 영역당 최대 하나의 해를 보장한다.
• 행렬 값 매개변수를 통한 매개변수화된 단조성 영역 가족을 도입하여 체계적인 영역 선택을 가능하게 한다.
• 특정 매개변수 조합을 선택할 경우, LMI 조건을 네트워크 내 최대 유량과 최소 유량의 비율에 대한 경계로 단순화할 수 있다.
• 준볼록 최적화를 활용해 단순화된 흐름 비율 조건을 만족하는 단조성 영역의 매개변수를 효율적으로 계산한다.

실험 결과

연구 질문

• RQ1 가스 유량 방정식은 존재성과 유일성에 대한 증명 가능한 보장을 갖는 효율적인 방법으로 해결될 수 있는가?
• RQ2 가스 유량 연산자가 단조성이 보장되도록 하기 위해 필요한 조건은 무엇인가?
• RQ3 단조성 영역는 어떻게 특성화하고 계산할 수 있으며, 각 영역당 최대 하나의 해를 보장하기 위해선 어떻게 해야 하는가?
• RQ4 LMIs 기반의 단조성 조건은 실세계 네트워크에 실용적이고 계산 가능한 경계로 단순화될 수 있는가?
• RQ5 효율적인 해 계산을 위해 적합한 단조성 영역을 식별하는 데의 계산 복잡도는 얼마인가?

주요 결과

• 특정 LMI로 정의된 영역 내에서 가스 유량 연산자는 단조적이며, 각 영역당 최대 하나의 해를 보장한다.
• 각 단조성 영역 내에서 가스 유량 방정식의 해는 다항식 시간 내에 계산 가능하다.
• 특정 매개변수 조합을 선택할 경우, LMI 조건은 네트워크 내 최대 유량과 최소 유량의 비율에 대한 경계로 단순화된다.
• 단조성 영역의 매개변수는 준볼록 최적화 문제를 풀어 효율적으로 계산할 수 있다.
• 이 방법은 기존에 알려진 해법이 가능한 경우들(예: 트리 네트워크, 순환 없는 네트워크에서의 손실 최소화)을 임의의 네트워크 구조로 일반화한다.
• 시험 네트워크에서의 수치적 평가를 통해 이 방법의 효율성과 실용성을 확인하였다.