teが変動する場合のキャパシティの近似式

ロードポートネックによるキャパシティ悪化の近似式」では、「装置の処理時間t_eは一定」と仮定しました。これをt_eが変動する場合に拡張する方法について考えます。

この時、CET{\ge}t_eの場合は、もう1つのロードポートのロットが処理されている間にキャリア交換が完了するので、装置が空く事はないのは以前と同様です。また、CETがいくら短くても別のキャリア交換がCET>t_eであったことの埋め合わせをすることは出来ないのも同様です。よって、装置のキャパシティの悪化に寄与するのはCET>t_eの場合だけであることが分かるので、B=CET-t_eというあらたな確率変数を導入し、B=tの時の確率密度をq(t)で表わして、「ロードポートネックによるキャパシティ悪化の近似式」と同様に考えればよさそうです。
ロードポートネックによるキャパシティ悪化の近似式」で提示した近似式

  • Capa=\frac{t_e}{t_e+\Bigint_0^{\infty}tp(t+t_e)dt\left{\frac{1}{1+\Bigint_0^{\infty}p(t+t_e)dt}\right}}・・・・・・(1)

におけるp(t)では、tCETの値を表わしていることと、Bの確率変数がB=CET-t_eで定義されることを考慮すれば、p(t+t_e)q(t)に対応することが分かります。よって式(1)における

  • \Bigint_0^{\infty}tp(t+t_e)dt
    • \Bigint_0^{\infty}tq(t)dt

に対応し、

  • \Bigint_0^{\infty}p(t+t_e)dt
    • \Bigint_0^{\infty}q(t)dt

に対応することになります。一方、式(1)におけるt_eは定数でしたが、今回の条件では確率変数ですので、式(2)のt_eは、その平均値E(t_e)で置き換えればよさそうです。
よって、上記、式(1)を、t_eが変動する場合に拡張した式は、B=CET-t_eというあらたな確率変数を導入し、その分布の確率密度関数q(t)を用いて

  • Capa=\frac{E(t_e)}{E(t_e)+\Bigint_0^{\infty}tq(t)dt\left{\frac{1}{1+\Bigint_0^{\infty}q(t)dt}\right}}・・・・・・(2)

と書かれます。