[论文解读] Multi-step Uniformization with Steady-State Detection in Nonstationary M/M/s Queuing Systems

Maciej Rafał Burak|arXiv (Cornell University)|Oct 3, 2014

Advanced Queuing Theory Analysis参考文献 22被引用 4

一句话总结

本文提出一种针对非平稳 M/M/s 排队系统的多步统一化方法，结合自适应稳态检测，通过动态分配误差界限并利用收敛性特性实现早期稳态检测，显著提升计算效率。该方法在严格控制误差界限的同时大幅减少计算时间，尤其适用于需求随时间变化的实时呼叫中心调度。

ABSTRACT

A new approach to the steady state detection in the uniformization method of solving continuous time Markov chains is introduced. The method is particularly useful in solving inhomogenous CTMC's in multiple steps, where the desired error bound of the whole solution can be distributed not proportionally to the lengths of the respective intervals, but rather in a way, that maximizes the chances of detecting a steady state. Additionally, the convergence properties of the underlying DTMC are used to further enhance the computational savings due to the steady state detection. The method is applied to the problem of modeling a Call Center using inhomogenous CTMC model of a M(t)/M(t)/s(t) queuing system.

研究动机与目标

• 解决平稳排队模型在建模随时间变化的呼叫中心工作负载时的局限性。
• 为非平稳 M/M/s 系统中的非齐次连续时间马尔可夫链（CTMC）开发一种计算高效的求解方法。
• 实现在过载或突发需求激增情况下的呼叫中心实时决策。
• 通过基于收敛可能性而非区间长度来分配误差界限，改进多步统一化中的误差控制。
• 利用嵌入式离散时间马尔可夫链（DTMC）的收敛特性实现早期稳态检测，减少不必要的计算。

提出的方法

• 通过为每个时间区间计算时变生成矩阵 Q(t)，将统一化方法适配至非齐次 CTMC。
• 引入多步方法，使误差界限的分配不再与区间长度成比例，而是基于稳态收敛的可能性。
• 利用嵌入式离散时间马尔可夫链（DTMC）监控收敛性，并在检测到稳态时触发早期终止。
• 通过自定义类（B14）实现泊松概率的自适应截断，以在最小化计算开销的同时保持高精度。
• 采用嵌入式 Runge-Kutta 方法进行误差估计与自适应步长控制，确保数值稳定性和准确性。
• 通过运行时动态生成系数实现并行化，支持多核 CPU 上的高效多线程执行。

实验结果

研究问题

• RQ1 在非平稳 M/M/s 系统中，统一化方法中的稳态检测是否能在不牺牲准确性的前提下降低计算成本？
• RQ2 如何在时间区间间最优分配多步统一化中的误差界限，以最大化稳态的早期检测？
• RQ3 利用嵌入式 DTMC 的收敛行为，在瞬态 CTMC 求解中能多大程度上提升计算效率？
• RQ4 所提出的方法是否能够支持在突发需求或系统过载情况下的呼叫中心实时调度调整？
• RQ5 泊松概率的自适应截断对大规模排队仿真中的准确性和性能有何影响？

主要发现

• 所提方法通过比传统方法更早检测到稳态，显著降低了计算成本，尤其在收敛缓慢的长区间中效果显著。
• 通过动态分配精度以实现最有效位置，而非仅基于区间长度，严格保持了整个解的误差界限。
• 利用嵌入式 DTMC 的收敛行为可实现可靠的早期终止，减少了稳定阶段的冗余计算。
• 由于同步需求低且内存带宽利用高效，算法的扩展性接近线性，可在多核系统上实现快速执行。
• 自定义泊松概率类（B14）在极小内存占用下实现高精度计算，支持高效的加权和运算。
• 与标准统一化方法相比，该方法在保持严格误差界限的同时显著提升了计算效率，适用于呼叫中心的实时应用。