关于M／M~［r］／1系统的一个注记

摘要

徐光辉［１，第六章§１］讨论了成批服务系统Ｍ／Ｍ［ｒ］／１，并在ｌｉｍＰｊ（ｔ）＝Ｐｊ＞０假设下，求出马氏过程Ｎ（ｔ）的平稳分布｛Ｐｉ｝，李文琦等在［２，Ｐ１６８８］指出［１．Ｐ２１８—２１９］给出的关于ｌｉｍＰｊ（ｔ）＝Ｐｊ＞０的证明是不准确的，并利用Ｆｏｓｔｅｒ判别法给出Ｎ（ｔ）的遍历性的严格证明。本文指出Ｎ（ｔ）的遍历性可由Ｐｉｊ（△ｔ）的表达式及Ｔａｋａｃｓ［４，Ｐ９４定理２］推出。