補足:指数分布について
これは「搬送時間ありM/G/1のサイクルタイム定理」の補足です。到着発生確率密度が時間の経過に対して一定である場合、その到着の間隔が指数分布になる理由を以下に説明します。
時刻0の時に到着が発生したとします。次の到着がとの間に発生する確率をとすると、それは、今まで到着が発生しなかった確率
と、との間に発生する確率
をかけたものになります。すなわち、
すなわち
両辺を微分して
よって
- (ただしは積分定数)
となってロット到着間隔の確率分布は指数分布になります。
- 指数分布でない到着系列の場合は、そもそもこのような到着発生の確率密度を「あらかじめ」考えることが出来ません。それは前後の到着時刻の間に相関があるために、ある時刻で到着が発生した場合としない場合でその後の到着の発生確率密度の分布が変わってくるからです。しかし指数分布の場合は、ある時刻で到着が発生した場合としない場合でその後の到着の発生確率密度の分布が変わりませんので、このような確率密度を「あらかじめ」考えることが出来るのです。)