[论文解读] Analysis of structured Markov processes

Ivo Adan, Johan S. H. van Leeuwaarden+1 more|arXiv (Cornell University)|Sep 26, 2017

Advanced Queuing Theory Analysis参考文献 11被引用 3

一句话总结

本文提出了一套全面的框架，用于基于结构特性对结构化马尔可夫过程进行建模与分析。它引入了基础分析方法——如矩阵几何法、矩阵分析法和谱展开技术——以高效求解复杂的排队和随机系统，主要贡献包括稳定性分析、变换反演以及适用于工程与金融领域的数值算法。

ABSTRACT

Markov processes are popular mathematical models, studied by theoreticians for their intriguing properties, and applied by practitioners for their flexible structure. With this book we teach how to model and analyze Markov processes. We classify Markov processes based on their structural properties, which in turn determine which analytic methods are required for solving them. In doing so, we start in each chapter with specific examples that naturally lead up to general theory and general methods. In this way the reader learns about Markov processes on the job. By studying this book, the reader becomes acquainted with the basic analytic methods that come into play when systems are modeled as structured Markov processes. These basic methods will likely prove useful, in real-time when studying the examples at hand, but more importantly for future encounters with Markov processes not covered in this book. Methods are more important than examples. The methods have a large scope of application, even outside the scope of Markov processes, in areas like probability theory, industrial engineering, mechanical engineering, physics and financial mathematics.

研究动机与目标

• 基于马尔可夫过程内在结构特性，发展统一的分析方法。
• 弥合理论马尔可夫过程分析与排队、制造及服务系统等实际应用之间的鸿沟。
• 为研究人员和实践者提供可迁移的分析工具，适用于马尔可夫过程之外的领域，包括概率论、物理学和金融数学。
• 提供一门适合研究生水平的教材，整合理论、实例与数值方法，用于求解复杂随机模型。
• 建立稳健的计算技术——如矩阵几何法与谱展开法——以实现平稳态与瞬态分析。

提出的方法

• 根据结构特征（如生灭过程、半生灭过程、无跳过程）对马尔可夫过程进行分类，以确定合适的分析技术。
• 应用变换（拉普拉斯变换、生成函数）推导平稳态与瞬态分布，并通过数值反演实现实际评估。
• 采用矩阵几何法，通过利用转移矩阵中的块结构，求解QBD和准无跳过程。
• 利用矩阵分析法，通过矩阵根与迭代算法计算平稳分布。
• 引入谱展开法，将解分解为本征模态，适用于无限状态空间系统。
• 对优先级与门控服务系统应用补偿法与差分方程方法，实现精确解的推导。

实验结果

研究问题

• RQ1 如何根据结构特性对马尔可夫过程进行系统分类，以指导方法选择？
• RQ2 对于QBD和准无跳过程等结构化马尔可夫过程，哪些分析技术最为有效？
• RQ3 如何利用变换及其数值反演高效计算平稳态与瞬态分布？
• RQ4 半生灭过程与准无跳过程的稳定性条件是什么，它们如何影响系统行为？
• RQ5 在求解复杂排队系统时，矩阵分析法与谱展开法相较于传统方法有何优势？

主要发现

• 矩阵几何法通过利用转移矩阵中的块托普利茨结构，实现了对半生灭过程平稳分布的高效计算。
• 通过速率矩阵的谱分析，推导出QBD与准无跳过程的稳定性条件，确保正 recurrence。
• 变换的数值反演可实现对复杂系统中瞬态与平稳分布的精确且高效的评估。
• 谱展开法为无限状态系统提供了收敛的解表示，在某些情况下具有明确的误差界。
• 补偿法通过在状态块之间迭代平衡流方程，成功求解了门控与优先级排队系统。
• 矩阵分析法可推广至广泛的一类结构化过程，为不同应用中的平稳态分析提供统一框架。