【定理８a】

ファブ内物流の論理を求めて

補足説明

以下は、「搬送時間ありＧ／Ｄ／１のサイクルタイム定理。ＣＥＴとＴＵとＴＬは一定　の場合」で述べた定理の証明の一部です。証明は、「【前提a】」から始まっています。

【定理８a】CET{\le}t_e(LP-1)であれば、S'_l=S_l+TL、E'_l=E_l+TLが成り立つ。

（証明）

  • 定理５aに次々と定理７aを適用していけば、全てのロットlについて、S'_l=S_l+TL、E'_l=E_l+TLが成り立つことが分かる。

（証明終わり）

議論の継続

この【定理８a】は【定理９a】で使用されます。

【定理９a】

ファブ内物流の論理を求めて

補足説明

以下は、「搬送時間ありＧ／Ｄ／１のサイクルタイム定理。ＣＥＴとＴＵとＴＬは一定　の場合」で述べた定理の証明の一部です。証明は、「【前提a】」から始まっています。

【定理９a】CET{\le}t_e(LP-1)であれば、W'_l=W_l+TL+TUである。

（証明）

（証明終わり）

証明の終わり

定理９aから「搬送時間ありＧ／Ｄ／１のサイクルタイム定理。ＣＥＴとＴＵとＴＬは一定　の場合」における

  • CET{\le}t_e(LP-1)　　ならば　　g(u)=f(u)+TU+TL

が証明されました。
ではCET>t_e(LP-1)の場合はどうなるか、と言えば、定理２aより

  • g(u){\ge}f(u)+TU+TL

が言えるのみです。