現実的なワーストケースの式への疑問（４）

「時間平均と到着時平均」「ＰＡＳＴＡ（１）」〜「ＰＡＳＴＡ（５）」によって「現実的なワーストケースの式への疑問（３）」で提出した疑問

• ジョブがラインに到着した時のＷＩＰを多数のジョブについて記録するとする。
• その際、到着したジョブはＷＩＰに数えないとする。
• その記録された多数のＷＩＰの平均値を求める。
• 記録するジョブの数を無限に近づけていった時、こうして求めたＷＩＰの平均値はに収束するか、それともに収束するか？
• ただしはＷＩＰの時間平均であるとする。

の答が明らかになりました。到着するジョブはＷＩＰに含めてはいけないので、に収束する、が正しいことになります。
この点でFactory Physicsの著者は、ＰＡＳＴＡの内容を誤解しているのだと、私は考えています。