[논문 리뷰] The max-plus algebra approach in modelling of queueing networks

Nikolai Krivulin|arXiv (Cornell University)|2012. 12. 04.

Advanced Queuing Theory Analysis참고 문헌 4인용 수 5

한 줄 요약

이 논문은 단일 서버 분기-결합 노드와 무한 버퍼를 갖는 대기열 네트워크를 모델링하기 위해 최대-합 대수 프레임워크를 제안한다. 이는 도착 시각의 선형 동적 상태 방정식을 통합적으로 제공한다. 주요 기여는 서비스 시간으로부터 유도된 상태 전이 행렬을 사용한 행렬 기반 표현 방식으로, 이는 터널 시스템과 라운드로빈 라우팅 네트워크를 등가의 분기-결합 모델을 통해 적용 가능하게 한다.

ABSTRACT

A class of queueing networks which consist of single-server fork-join nodes with infinite buffers is examined to derive a representation of the network dynamics in terms of max-plus algebra. For the networks, we present a common dynamic state equation which relates the departure epochs of customers from the network nodes in an explicit vector form determined by a state transition matrix. We show how the matrix may be calculated from the service time of customers in the general case, and give examples of matrices inherent in particular networks.

연구 동기 및 목표

• 분기-결합 연산과 무한 버퍼를 갖는 복잡한 대기열 네트워크를 모델링하기 위한 통합 대수적 프레임워크를 개발한다.
• 최대-합 대수를 사용하여 이러한 네트워크의 동역학을 선형 형태로 표현함으로써 분석 및 시뮬레이션 기반 분석을 가능하게 한다.
• 최대-합 접근법을 개방형 및 폐쇄형 네트워크, 특히 정규 라운드로빈 라우팅을 갖는 네트워크로 확장한다.
• 터널 시스템과 라운드로빈 네트워크가 동일한 대수적 구조 내에서 분기-결합 네트워크의 특수한 경우로 모델링될 수 있음을 보여준다.
• 최대-합 대수에서 서비스 시간 데이터로부터 상태 전이 행렬의 명시적 표현을 유도한다.

제안 방법

• 최대(⊕)와 덧셈(⊗) 연산을 사용하여 최대-합 대수를 정의하며, ε = -∞를 영원소로, 0을 항등원으로 설정한다.
• 도착 시각의 상태 벡터를 정의하고, 네트워크 동역학을 선형 방정식 d(k) = T(k) ⊗ d(k-1)로 표현한다. 여기서 T(k)는 상태 전이 행렬이다.
• 서비스 시간 τ_ik와 라우팅 규칙을 사용하여 최대-합 대수의 행렬 연산을 통해 상태 전이 행렬 T(k)를 구성한다.
• 순환적 고객 분배를 모델링하기 위해 보조 노드를 도입하여 라운드로빈 라우팅을 갖는 시스템을 등가의 분기-결합 네트워크로 변환한다.
• 최대-합 대수의 행렬 거듭제곱과 경로 길이에 관한 정리를 적용하여 T(k)의 폐쇄형 표현을 도출한다. 특히 (E ⊕ X)^q = E ⊕ X ⊕ ... ⊕ X^q를 활용한다.
• 그래프 이론적 해석을 통해 행렬의 간접성과 경로 길이를 분석하여, 행렬 거듭제곱 전개의 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 최대-합 대수는 분기-결합 연산을 갖는 대기열 네트워크의 동역학을 통합적이고 압축적으로 표현할 수 있는가?
• RQ2 최대-합 대수에서 서비스 시간과 라우팅 규칙으로부터 상태 전이 행렬을 체계적으로 유도할 수 있는가?
• RQ3 정규 라운드로빈 라우팅을 갖는 시스템은 분기-결합 네트워크와 동일한 프레임워크 내에서 모델링될 수 있는가?
• RQ4 무한 버퍼 단일 서버 노드와 분기-결합 의미론을 갖는 네트워크의 동적 상태 방정식의 형태는 무엇인가?
• RQ5 최대-합 대수의 행렬 거듭제곱과 아이디포텐시는 상태 전이 행렬 유도에 어떻게 기여하는가?

주요 결과

• 단일 서버 분기-결합 노드와 무한 버퍼를 갖는 대기열 네트워크의 동역학은 d(k) = T(k) ⊗ d(k-1) 형태의 선형 최대-합 방정식으로 표현될 수 있다. 여기서 d(k)는 도착 시각의 벡터이다.
• 상태 전이 행렬 T(k)는 서비스 시간 τ_ik과 라우팅 구조로부터 구성되며, 터널 시스템과 라운드로빈 네트워크에 대해 명시적 형태로 도출되었다.
• 라운드로빈 라우팅을 갖는 시스템의 경우, 등가의 분기-결합 모델을 통해 T(k)를 (E ⊕ T_k ⊗ G_0^T)^l ⊗ T_k ⊗ (E ⊕ G_1^T) 형태로 유도할 수 있으며, 이는 행렬의 아이디포텐시를 활용한다.
• l=3인 경우 라운드로빈 라우팅를 갖는 시스템에서 상태 전이 행렬 T(k)가 명시적으로 계산되었으며, 이는 순환 경로를 통해 지연이 누적되는 방식을 보여준다.
• 초기 상태와 관련된 행렬 G_0는 간접적이며 최장 경로 길이 p=l을 갖는다. 이는 정리 2를 적용하여 T(k)의 최종 형태를 도출하는 데 유용하다.
• 이 프레임워크는 터널 시스템(단순한 분기-결합 네트워크로 간주됨)과 라운드로빈 시스템을 동일한 대수적 구조를 통해 통합적으로 모델링하는 데 성공했다.