[论文解读] Bike-Sharing Systems under Markovian Environment.

Quan‐Lin Li, Rui-Na Fan|arXiv (Cornell University)|Oct 5, 2016

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队列，以模拟动态需求与供给。
• 应用平均场理论，推导出描述系统整体行为的平均场方程组。
• 利用鞅极限理论，证明在极限情况下各站点之间具有渐近独立性。
• 建立时间与系统规模极限（N → ∞，t → ∞）之间的极限可交换性，以简化分析。
• 通过非线性QBD过程分析固定点，以表征系统的长期行为。

实验结果

研究问题

• RQ1 如何将平均场理论适配于在马氏动力学下对时变非时齐的大规模共享单车系统进行建模？
• RQ2 当车站数量和时间趋于无穷大时，自行车在各站点之间的分布具有怎样的渐近行为？
• RQ3 系统如何实现在时间极限与系统规模极限之间的极限可交换性？
• RQ4 描述平稳行为的非线性QBD过程的固定点解是什么？
• RQ5 关键性能指标如何依赖于需求强度和站点容量等系统参数？

主要发现

• 当车站数量 N → ∞ 时，系统中各站点之间表现出渐近独立性。
• 系统的极限行为允许时间极限（t → ∞）与系统规模极限（N → ∞）之间的可交换性。
• 系统的固定点由非线性QBD过程表征，从而可对平稳分布进行分析。
• 诸如每站点的平均平稳自行车数量和问题站点概率等性能指标可进行数值计算。
• 数值示例表明，性能指标对需求率和站点容量等关键系统参数高度敏感。
• 所提出的平均场矩阵分析方法为分析大规模共享单车系统提供了一个可扩展的框架。