【前提】
「搬送時間ありＧ／Ｄ／１のサイクルタイム定理。ＣＥＴ＝ＴＵ＋ＴＬ、ＴＵとＴＬは一定 の場合」で述べた定理の証明をこれらか数日に渡って記していきます。まずは、前提を述べます。
- ロットのモデルへの到着時刻の系列を与える。
番目のロットのモデルへの到着時刻を
とする。ロットのモデルへの到着時間の系列を与える、とは、系列{
- ２つのモデルを考える。１つは搬送時間が０であるモデル、すなわち
のモデルであり、これをＭ１と名づける。Ｍ１は通常の待ち行列のモデルである。
- もう１つは搬送時間のあるモデルであり、これをＭ２と名づける。
- Ｍ１とＭ２に同じ到着系列{
- モデルＭ１に到着系列{
、処理終了時間を
、とする。すると
である。
- モデルＭ２に到着系列{
、処理終了時間を
、とする。すると
である。
- 前のロットの処理終了に連続してすぐに次のロットの処理が開始する一連のロットの連なりをかたまり（下図参照）と呼ぶことにする。
