next up previous
Next: Decomposed Method Up: New Delay Analysis in Previous: References

Appendix: Proof of Theorem 2.1

Proof:

We only need to consider two cases.

  1. Case 1: t belongs to a time interval in which busy periods of Server 1 and Server 2 do not overlap each other. (see Figure 7).

     

    Figure 7: Case 1.

     

    If tex2html_wrap_inline2244 , because Server 2 is not busy, the time of the tex2html_wrap_inline2137 -th bit leaving Server 2 can be evaluated as

    eqnarray781

    On the other hand, the time of the tex2html_wrap_inline2145 -th bit arriving at Server 1 can be evaluated as

    eqnarray786

    By using tex2html_wrap_inline2250 , we have

    eqnarray797

    If tex2html_wrap_inline2252 , because Server 1 is not at busy state, the delay suffered by the traffic of Connection 2 or Connection 3 is bounded by

    eqnarray828

    If tex2html_wrap_inline2254 , the queuing delay suffered by Connection 2 or Connection 3 at this subsystem is zero.

  2. Case 2: t belongs to a time interval in which busy periods of Server 1 and Server 2 overlap each other. (see Figure 8).

     

    Figure 8: Case 2.

     

    First, we consider the situation tex2html_wrap_inline2258 . If tex2html_wrap_inline2252 , the time of tex2html_wrap_inline2262 bit leaving Server 2 can be evaluated as

    eqnarray862

    On the other hand, the time of the tex2html_wrap_inline2264 bit arriving at Server 1 can be evaluated as

    eqnarray882

    So, we have

    eqnarray892

    where tex2html_wrap_inline2266 is the length of maximum busy period of Server 1. If tex2html_wrap_inline2268 , this situation has been discussed in Case 1.

    Finally, we consider the situation tex2html_wrap_inline2270 . Similarly, if tex2html_wrap_inline2244 , we have

    eqnarray937

    and

    eqnarray951

    So,

    eqnarray961

    If tex2html_wrap_inline2274 , this situation has been discussed in Case 1.

Q.E.D



Riccardo Bettati
Wed Jul 14 18:25:49 CDT 1999