[논문 리뷰] Bike-Sharing Systems under Markovian Environment.

Quan‐Lin Li, Rui-Na Fan|arXiv (Cornell University)|2016. 10. 05.

Transportation Planning and Optimization참고 문헌 57인용 수 3

한 줄 요약

이 논문은 마코프 환경 하에서 대규모 자전거 공유 시스템을 모델링하기 위해 평균장 행렬 해석 방법을 제안한다. 이 방법은 평균장 이론을 시간에 따라 변하는 큐와 비선형 QBD 과정과 융합한다. 평균장 방정식의 체계를 수립하고, 점근적 독립성을 증명하며, 고정점들을 유도하여 정적 자전거 수와 문제적 역할을 하는 역할의 확률과 같은 성능 측도를 분석한다.

ABSTRACT

To reduce automobile exhaust pollution, traffic congestion and parking difficulties, bike-sharing systems are rapidly developed in many countries and more than 500 major cities in the world over the past decade. In this paper, we discuss a large-scale bike-sharing system under Markovian environment, and propose a mean-field matrix-analytic method in the study of bike-sharing systems through combining the mean-field theory with the time-inhomogeneous queues as well as the nonlinear QBD processes. Firstly, we establish an empirical measure process to express the states of this bike-sharing system. Secondly, we apply the mean-field theory to establishing a time-inhomogeneous MAP(t)/MAP(t)/1/K+2L+1 queue, and then to setting up a system of mean-field equations. Thirdly, we use the martingale limit theory to show the asymptotic independence of this bike-sharing system, and further analyze the limiting interchangeability as N goes to infinity and t goes to infinity. Based on this, we discuss and compute the fixed point in terms of a nonlinear QBD process. Finally, we analyze performance measures of this bike-sharing system, such as, the mean of stationary bike number at any station and the stationary probability of problematic stations. Furthermore, we use numerical examples to show how the performance measures depend on the key parameters of this bike-sharing system. We hope the methodology and results of this paper are applicable in the study of more general large-scale bike-sharing systems.

연구 동기 및 목표

• 시간에 따라 변하는 환경과 마코프 환경 조건 하에서 대규모 자전거 공유 시스템을 모델링하기 위해.
• 비정상적인 수요와 자전거의 공간적 재분배로 인해 발생하는 성능 분석의 과제를 다루기 위해.
• 역할 수가 증가함에 따라 시스템 전반의 거동를 포괄하는 평균장 프레임워크를 수립하기 위해.
• N → ∞ 및 t → ∞일 때의 점근적 독립성과 극한의 교환 가능성을 분석하기 위해.
• 비선형 QBD 과정을 사용하여 고정점을 계산하고 주요 성능 지표를 도출하기 위해.

제안 방법

• 역할 상태를 나타내는 경험적 측도 과정을 사용하여 자전거 공유 시스템을 수식화한다.
• 동적 수요와 공급을 모델링하기 위해 시간에 따라 변하는 MAP(t)/MAP(t)/1/K+2L+1 대기열을 구성한다.
• 평균장 이론을 적용하여 시스템 전반의 거동를 지배하는 평균장 방정식의 체계를 유도한다.
• 마팅게일 극한 이론을 사용하여 역할 간의 점근적 독립성을 극한에서 증명한다.
• 시간과 시스템 크기의 극한을 교환 가능하게 하는 체계를 수립하여 분석을 단순화한다.
• 비선형 QBD 과정을 분석하여 장기적 시스템 거동를 특성화한다.

실험 결과

연구 질문

• RQ1 평균장 이론은 시간에 따라 변하는, 대규모 자전거 공유 시스템을 마코프 역학적 환경에서 어떻게 적응시킬 수 있는가?
• RQ2 역할 수와 시간이 증가함에 따라 자전거 분포의 점근적 거동는 어떻게 되는가?
• RQ3 시스템은 시간과 시스템 크기의 극한 간에 어떻게 극한의 교환 가능성을 달성하는가?
• RQ4 비선형 QBD 과정의 고정점 해는 정적 거동를 어떻게 묘사하는가?
• RQ5 주요 성능 지표는 수요 강도와 역할 용량과 같은 시스템 매개변수에 어떻게 의존하는가?

주요 결과

• 역할 간에 점근적 독립성이 N → ∞일 때 시스템에 나타난다.
• 시스템의 극한 거동는 시간과 시스템 크기의 극한을 교환 가능하게 한다(t → ∞ 및 N → ∞).
• 시스템의 고정점은 비선형 QBD 과정으로 특성화되며, 정적 분포의 분석이 가능해진다.
• 역할당 평균 정적 자전거 수와 문제적 역할의 확률과 같은 성능 지표는 수치적으로 계산할 수 있다.
• 수치 예제는 성능 지표가 수요율과 역할 용량과 같은 핵심 시스템 매개변수에 민감하게 반응함을 보여준다.
• 제안된 평균장 행렬 해석 방법은 대규모 자전거 공유 시스템을 분석하기 위한 확장 가능한 프레임워크를 제공한다.