[논문 리뷰] Continuous approximation of $M_t/M_t/1$ distributions with application to production

Dieter Armbruster, Simone Göttlich외 1명|arXiv (Cornell University)|2018. 07. 18.

Advanced Queuing Theory Analysis인용 수 4

한 줄 요약

이 논문은 半선상에서 Smoluchowski 방정식을 사용하여 시간에 따라 변화하는 $M_t/M_t/1$ 대기열 시스템의 대기열 길이 분포에 대한 연속적인 드리프트-확산 근사법을 제안한다. 이 방법은 이산적인 대기열 길이 확률을 연속적인 확률 밀도로 모델링함으로써 일시적 행동을 매우 정확하게 근사하며, $L^1$ 오차가 최대 95% 감소한 수치적 비교에서 기존의 근사법들을 능가한다.

ABSTRACT

A single queueing system with time-dependent exponentially distributed arrival processes and exponential machine processes (Kendall notation $M_t/M_t/1$) is analyzed. Modeling the time evolution for the discrete queue-length distribution by a continuous drift-diffusion process a Smoluchowski equation on the half space is derived approximating the forward Kolmogorov equations. The approximate model is analyzed and validated, showing excellent agreement for the probabilities of all queue lengths and for all queuing utilizations, including ones that are very small and some that are significantly larger than one. Having an excellent approximation for the probability of an empty queue generates an approximation of the expected outflow of the queueing system. Comparisons to several well-established approximation from the literature show significant improvements in several numerical examples.

연구 동기 및 목표

• 시간 비균일성에 의한 $M_t/M_t/1$ 대기열의 일시적 대기열 길이 분포에 대한 연속적 근사법을 개발함으로써, 기존의 ODE 시스템으로는 해결하기 어려운 문제를 해결하고자 한다.
• 시간에 따라 변화하는 도착률과 서비스률을 고려하면서도 다양한 이용률 수준에서 정확도를 유지하는 방식으로 기존의 확산 및 유체 근사법을 향상시키고자 한다.
• 이산 ODE 시스템을 PDE 모델로 대체함으로써 예상 출력량의 효율적 계산을 가능하게 하고 생산 계획의 최적 제어를 지원하고자 한다.
• 정확한 ODE 해와 잘 알려진 근사법과의 비교를 통해 모델의 정확성을 검증함으로써 극단적 및 주기적인 유입 조건에서의 강건성을 입증하고자 한다.

제안 방법

• $M_t/M_t/1$ 대기열의 전진 콜모고로프 방정식에서 연속적인 드리프트-확산 과정을 유도하여, 선형 포텐셜을 가진 $[0, \infty)$ 상에서 Smoluchowski 유형의 PDE를 도출한다.
• Fokker-Planck 형식을 사용하여 확률 밀도 $\rho(x,t)$ 의 시간 진화를 모델링함으로써, $k \in \mathbb{N}_0$ 에 대한 이산적 $p_k(t)$ 를 근사한다.
• 완전한 일시적 케이스를 해결하기 위해 PDE에 대한 수치적 이산화 방법을 구현하고, 1000개의 모드를 가진 잘라낸 ODE 시스템과 결과를 비교한다.
• 일정한 비율을 가진 일시적 케이스에 대해 Smoluchowski의 기존 결과를 활용하여 해석적 해를 도출함으로써 모델의 역학적 특성을 검증한다.
• 연속 모델을 강한 교통 한계와 연관지어, $\varrho < 1$ 일 때 기존의 근사법보다 더 높은 분산을 포착함을 보여주며, 이는 시스템의 진정한 행동을 더 잘 반영함을 의미한다.
• PDE 해로부터 예상 출력량을 계산하고, ODE 기반 진짜 출력량과 문헌 상의 근사법(GVA, GSA)과 직접 비교한다.

실험 결과

연구 질문

• RQ1 시간 비균일성에 의한 $M_t/M_t/1$ 대기열의 일시적 대기열 길이 분포를 연속적인 PDE 모델이 정확하게 근사할 수 있는가?
• RQ2 다양한 유입 패tern에서 제안된 Smoluchowski PDE 근사법이 GVA 및 GSA와 같은 기존 근사법들보다 정확도가 뛰어나게 되는가?
• RQ3 시간에 따라 변화하는 비율 조건 하에서도, 공백 확률 및 예상 출력량과 같은 주요 통계적 성질을 연속 모델이 유지하는가?
• RQ4 극단적인 이용률 영역 및 주기적인 유입 시나리오에서 PDE 근사법이 얼마나 정확도를 유지하는가?

주요 결과

• 연속적인 PDE 근사법은 ODE 해와 매우 뛰어난 일치를 보이며, 주기적인 유입 조건 하에서 예상 출력량의 $L^1$ 오차가 $0.2622$ 로 나타나, GVA의 $10.5651$ 과 GSA의 $4.8328$ 에 비해 극적으로 향상되었다.
• 모든 수치적 예제에서 제안된 방법은 GVA 및 GSA 근사법을 크게 능가하며, GSA가 가장 유사하지만 여전히 제안된 방법보다 정확도가 떨어졌다.
• 일정한 비율을 가진 경우, PDE의 해석적 해는 Smoluchowski의 기존 결과와 정확히 일치하여, 일시적 영역에서 모델의 정확성을 검증하였다.
• 기존 근사법이 실패하는 매우 낮거나 높은 이용률 조건에서도, 근사법은 대기열 길이 및 출력량의 정확한 동적 행동을 포착하였다.
• PDE 모델은 예상 출력량의 효율적 계산을 가능하게 하며, 변분 방법을 통한 향후 최적 제어 공식화를 지원한다.
• 모델은 $\varrho < 1$ 일 때 기존의 강한 교통 근사법보다 더 높은 분산을 보이며, 이는 진정한 시스템 행동을 더 잘 반영하고 정확도를 향상시킨다.