Given Lemma 17, we can make the fol

Given Lemma 17, we can make the following derivation starting from this equation.
WLD i = {(37)} lim B↑BD i
B+∑ j≤iL i(B) Tj Cj
= BD i +∑ j≤i lim B↑BD iL i(B) Tj Cj = {Lemma 17}BD i +∑ j≤ilim B↑BD i L i(B) Tj Cj = {(38)}BD i +∑ j≤iWLD i Tj Cj
Hence, the worst-case length WLD i is the smallest x∈R+ satisfying (36), which proves the lemma.
Because BD i is a supremum (and not a maximum) for all but the lowest priority task, we draw the following conclusion from the previous lemma.

Kết quả (Việt) 1:

Do bổ đề 17, chúng tôi có thể làm cho các derivation sau bắt đầu từ phương trình này.WLD tôi = {(37)} lim B↑BD tôiB + ∑ j≤i L i(B) Tj Cj= BD i + ∑ j≤i lim B↑BD i L i(B) Tj Cj = {bổ đề 17} BD i + ∑ j≤i lim B↑BD i L i(B) Tj Cj = {(38)} BD i + ∑ j≤i WLD tôi Tj CjDo đó, trường hợp xấu nhất chiều dài WLD tôi là người nhỏ nhất x∈R + đáp ứng (36), mà chứng minh bổ đề. Bởi vì tôi là BD một cận trên đúng (và không phải là tối đa) cho tất cả, nhưng nhiệm vụ ưu tiên thấp nhất, chúng ta rút ra kết luận sau đây từ bổ đề trước đó.

Kết quả (Việt) 2:

Với Bổ đề 17, chúng ta có thể làm cho các nguồn gốc sau đây bắt đầu từ phương trình này.
WLD i = {(37)} lim B ↑ BD i
B + Σ j≤i? L? i (B) Tj? Cj
= BD i + Σ j≤i lim B ↑ BD i? L? i (B) Tj? Cj = {lemma} 17 BD i + Σ j≤i? lim B ↑ BD i L? i (B) Tj? Cj = {(38)} BD i + Σ j≤i? WLD i Tj? Cj
Do đó, chiều dài trường hợp xấu nhất WLD tôi là nhỏ nhất x∈R + thỏa mãn (36), trong đó chứng minh bổ đề . ? Bởi vì BD tôi là một supremum (và không phải là một tối đa) cho tất cả, nhưng nhiệm vụ ưu tiên thấp nhất, chúng tôi rút ra kết luận sau đây từ Bổ đề trước đó.