[논문 리뷰] Approximations for the Moments of Nonstationary and State Dependent Birth-Death Queues

Stefan Engblom, Jamol Pender|arXiv (Cornell University)|2014. 06. 24.

Advanced Queuing Theory Analysis참고 문헌 21인용 수 17

한 줄 요약

이 논문은 비정상적이고 상태에 의존하는 생애-죽음 과정의 모멘트를 추정하기 위해 포아송-샤리에 다항식을 사용하는 새로운 스펙트럼 근사 방법을 제안하며, 큐잉 이론에서 모멘트 폐쇄 근사에 대해 처음으로 증명 가능한 오차 한계를 제공한다. 이 방법은 모멘트 방정식이 개방되어 있을 경우에도 평균, 분산 및 기타 모멘트를 매우 적은 수의 전개 항으로 정확하고 수렴 가능한 추정이 가능하게 한다.

ABSTRACT

In this paper we propose a new method for approximating the nonstationary moment dynamics of one dimensional Markovian birth-death processes. By expanding the transition probabilities of the Markov process in terms of Poisson-Charlier polynomials, we are able to estimate any moment of the Markov process even though the system of moment equations may not be closed. Using new weighted discrete Sobolev spaces, we derive explicit error bounds of the transition probabilities and new weak a priori estimates for approximating the moments of the Markov processs using a truncated form of the expansion. Using our error bounds and estimates, we are able to show that our approximations converge to the true stochastic process as we add more terms to the expansion and give explicit bounds on the truncation error. As a result, we are the first paper in the queueing literature to provide error bounds and estimates on the performance of a moment closure approximation. Lastly, we perform several numerical experiments for some important models in the queueing theory literature and show that our expansion techniques are accurate at estimating the moment dynamics of these Markov process with only a few terms of the expansion.

연구 동기 및 목표

• 비정상적이고 상태에 의존하는 생애-죽음 과정에서의 모멘트에 대한 닫힌 형태의 해와 신뢰할 수 있는 근사가 부족한 문제를 해결하기 위해.
• 낮은 차수의 모멘트가 높은 차수의 모멘트에 의존하는 개방된 모멘트 방정식 문제에 대처하기 위해.
• 모멘트 근사에 대해 증명 가능한 오차 한계를 가진 방법을 개발하여 큐잉 이론에서 중요한 격차를 메우기 위해.
• 큐잉 과정의 비음수 및 정수 값을 갖는 성질을 존중하는 이산적이고 직교 다항식 기반의 근사 방법을 제공하기 위해.

제안 방법

• 생애-죽음 과정의 전이 확률과 상태 확률을 포아송-샤리에 다항식의 전개로 표현하며, 이는 포아송 분포에 대해 직교하는 다항식이다.
• 가중치가 부여된 이산 소볼레프 공간을 사용하여 전이 확률의 절단 전개에 대한 명시적 오차 한계를 유도한다.
• 체인-스타인 항등식을 적용하여 계승 모멘트를 연결하고, 지표 함수 및 절단된 랜덤 변수를 포함한 기대값 계산을 단순화한다.
• 전개 계수와 직교 다항식의 구조를 이용하여 모멘트 역학에서의 약한 사전 추정치를 유도한다.
• 무한 급수 전개를 유한한 항 수로 잘라내어 실용적인 계산을 가능하게 하면서도 수렴성과 오차 제어를 유지한다.
• 표준 큐잉 모델에 대한 수치 실험을 통해 방법의 타당성을 검증하였으며, 저차수 전개로도 높은 정확도를 보였다.

실험 결과

연구 질문

• RQ1 비정상적이고 상태에 의존하는 생애-죽음 과정에 대해 증명 가능한 오차 한계를 가진 모멘트 폐쇄 근사를 구성할 수 있는가?
• RQ2 큐잉 과정의 이산적이고 비음수적인 구조를 유지하면서 전이 확률을 어떻게 전개할 수 있는가?
• RQ3 포아송-샤리에 전개에 더 많은 항을 추가할수록 모멘트 근사의 수렴 속도는 어떻게 되는가?
• RQ4 전이 확률에 대한 오차 한계는 과정의 모멘트에 대한 한계로 어떻게 변환되는가?
• RQ5 중간 수준의 시스템 속도 조건에서도 전개에 몇 개의 항만으로도 높은 정확도를 달성할 수 있는가?

주요 결과

• 제안된 방법은 비정상적이고 상태에 의존하는 생애-죽음 과정의 맥락에서 모멘트 폐쇄 근사에 대해 처음으로 증명 가능한 오차 한계를 제공한다.
• 포아송-샤리에 전개에 더 많은 항을 추가할수록 근사가 진짜 과정으로 수렴하며, 명시적인 절단 오차 한계가 도출되었다.
• 수치 실험 결과, 전개의 두 세 개의 항만으로도 평균, 분산 및 기타 성능 지표에 대해 매우 정확한 추정치를 얻을 수 있었다.
• 큐잉 과정의 이산적이고 비음수적인 성질을 존중하기 때문에 기존의 에르미트 및 라게르 다항식 전개보다 더 뛰어난 성능을 보였다.
• 가중치가 부여된 이산 소볼레프 공간의 사용은 이전 큐잉 시스템에 대한 스펙트럼 방법에서 확보되지 않은 엄밀한 오차 한계 유도를 가능하게 하였다.
• 다중 서버 큐에서 시간에 따라 변하는 비율과 고객 이탈을 포함한 복잡한 큐잉 모델을 성공적으로 처리하여 광범위한 적용 가능성을 입증하였다.