[논문 리뷰] Using max-algebra linear models in the representation of queueing systems

Nikolai Krivulin|arXiv (Cornell University)|2012. 10. 22.

Simulation Techniques and Applications참고 문헌 4인용 수 10

한 줄 요약

이 논문은 선형 대수 방정식을 사용하여 대기열 시스템을 모델링하기 위한 최대대수 프레임워크를 제안하며, 대수적 연산을 통해 G/G/1 및 터널 대기열의 체계적 분석을 가능하게 한다. 이를 통해 대기열 시스템 내 도착 및 출고 시간이 최대대수 스칼라 및 행렬 방정식으로 표현될 수 있으며, 표준 대수 기법을 통해 닫힌 형태의 해가 유도됨을 보여준다.

ABSTRACT

The application of the max-algebra to describe queueing systems by both linear scalar and vector equations is discussed. It is shown that these equations may be handled using ordinary algebraic manipulations. Examples of solving the equations representing the $G/G/1$ queue and queues in tandem are also presented.

연구 동기 및 목표

• 대기열 시스템의 표현을 위해 최대대수 선형 모델을 G/G/1 및 터널 대기열에까지 확장하는 것.
• 대기열 역학이 표준 대수적 연산을 통해 최대대수 스칼라 및 벡터 방정식으로 표현될 수 있음을 보여주는 것.
• 최대대수 표현을 사용하여 G/G/1 및 터널 대기열 시스템에서 도착 및 출고 시간에 대한 명시적 해를 제공하는 것.
• 순환 고객이 있는 폐쇄 시스템으로 접근를 일반화하여, 지연에 의존하는 전이 행렬을 도입하는 것.
• 이산 사건 시스템의 성능 평가를 위한 최대대수 선형 모델 기반 기초를 마련하는 것.

제안 방법

• 최대대수 연산을 사용하여 대기열 역학을 표현: $ x \bigoplus y = \max(x,y) $, $ x \otimes y = x + y $, $ \varepsilon = -\infty $, $ e = 0 $.
• 기존의 재귀적 대기열 방정식(예: $ D(k) = \max(A(k), D(k-1)) + \tau_k $)을 최대대수 형태로 재구성: $ D(k) = \tau_k \otimes (A(k) \oplus D(k-1)) $.
• 출고 시간을 위한 벡터 표현 $ \mathbf{D}(k) $를 구성하고, 개방형 및 폐쇄형 시스템을 위한 전이 행렬 $ T_k $, $ \tilde{T}_k $, $ R_k, S_k $를 유도한다.
• 최대대수 연산의 분배법칙과 결합법칙을 적용하여 방정식을 반복적으로 해결하고 닫힌 형태의 해를 도출한다.
• 최대대수에서의 행렬 곱을 사용하여 터널 및 폐쇄형 대기열 네트워크의 상태 전이를 모델링한다.
• 반복된 최대대수 행렬 곱을 통해 해를 도출: $ D(k) = \bigoplus_{i=1}^k \left( \bigotimes_{j=1}^i \alpha_j \otimes \tau_i \otimes \bigotimes_{j=i+1}^k \tau_j \right) $.

실험 결과

연구 질문

• RQ1 최대대수 선형 모델을 사용하여 G/G/1 대기열 시스템의 역학을 스칼라 및 벡터 방정식으로 표현할 수 있는가?
• RQ2 표준 대수적 연산은 어떻게 최대대수 방정식을 해석하고 해를 구하는 데 적용될 수 있는가?
• RQ3 최대대수를 사용한 터널 대기열에서 전이 행렬의 구조는 어떠한가?
• RQ4 순환 고객이 있는 폐쇄형 대기열 시스템은 최대대수 벡터 방정식으로 어떻게 모델링할 수 있는가?
• RQ5 최대대수 표현을 사용하여 터널 및 폐쇄형 대기열 시스템에서 출고 시간의 닫힌 형태 해는 무엇인가?

주요 결과

• G/G/1 대기열 역학은 최대대수 방정식을 통해 성공적으로 모델링됨: $ A(k) = \alpha_k \otimes A(k-1) $, $ D(k) = \tau_k \otimes (A(k) \oplus D(k-1)) $.
• 도착 시간은 $ A(k) = \alpha_1 \otimes \cdots \otimes \alpha_k $로 주어지며, 누적 도착 간격을 나타낸다.
• G/G/1 대기열의 출고 시간은 $ D(k) = \bigoplus_{i=1}^k \left( \bigotimes_{j=1}^i \alpha_j \otimes \tau_i \otimes \bigotimes_{j=i+1}^k \tau_j \right) $로 표현되며, 이는 사건 네트워크 내 최장 경로를 반영한다.
• n개의 서버를 가진 터널 대기열의 경우, 전이 행렬 $ \tilde{T}_k $는 $ \mathbf{D}(k) = \tilde{T}_k \otimes \mathbf{D}(k-1) $가 되도록 구성되며, 요소들이 경로 지연을 인코딩한다.
• c명의 고객이 순환하는 폐쇄형 터널 시스템에서는 벡터 방정식 $ \mathbf{D}(k) = R_k \otimes \mathbf{D}(k-1) \oplus S_k \otimes \mathbf{D}(k-c) $가 피드백과 순환을 모델링한다.
• n=2, c=2인 폐쇄 시스템의 경우, 해는 $ D_1(k) = \tau_{11} \otimes \left( \bigotimes_{i=1}^{k-2} (\tau_{1,i+1} \oplus \tau_{2,i}) \right) \otimes \tau_{1k} $ 및 $ D_2(k) = \tau_{11} \otimes \left( \bigotimes_{i=1}^{k-1} (\tau_{1,i+1} \oplus \tau_{2,i}) \right) \otimes \tau_{2k} $로 주어지며, 경로 기반 지연 누적 구조를 보여준다.