Modeling RED with Idealized TCP Sources
|
|
- Jasmine Farmer
- 5 years ago
- Views:
Transcription
1 Moeling RED with Iealize TCP Sources P. Kuusela, P. Lassila, J. Virtamo an P. Key Networking Laboratory Helsinki University of Technology (HUT) P.O.Box 3000, FIN HUT, Finlan {Pirkko.Kuusela, Pasi.Lassila, Microsoft Research Cambrige, Unite Kingom Abstract We analyze the ynamic behavior of a single RED controlle queue interacting with a large population of iealize TCP sources, i.e., sources obeying the rules of linear increase an multiplicative ecrease. The aggregate traffic from this population is moele in terms of the epenent expecte value of the packet arrival rate which reacts to the packet loss taking place in the queue. The queue is escribe in terms of the epenent expecte values of the instantaneous queue length an of the exponentially average queue length, for which we also erive a pair of ifferential equations. This provies us with a complete moel for the ynamics of the system which we use to explore transient an equilibrium behavior. The accuracy of the moel is verifie by comparison with simulate results. Keywors: congestion control, Ranom Early Detection, TCP 1 Introuction Active queue management (AQM) algorithms have been recommene by IETF as effective mechanisms to control congestion in network routers. We consier one AQM metho, namely the RED algorithm [1], an moel the interaction between a RED controlle queue an an iealize TCP source population. A full escription of the problem consists of a close system with two interacting parts (see Figure 1.): a) a queue receiving an aggregate flow of packets an reacting ynamically to the changes in the total flow rate uner the control of the RED algorithm, an b) a population of TCP sources, each of which reacts to the packet losses at the queue as etermine by the TCP flow control mechanism. Part a) of the problem was consiere by Lassila an Virtamo [2]. Here we aim at closing the control loop back to the TCP sources escribing the interaction of parts a) an b). However, we are not moeling the entire TCP behavior, but rather the so calle congestion avoiance part of it, i.e., the part where a source increases its congestion winow linearly an ecreases it multiplicatively. λ(t) TCP source population RED controlle queue packet loss Figure 1.: Interaction between the TCP population an the RED controlle queue. xx/1
2 This paper escribes a system of couple ifferential equations for the population of TCP streams an the RED controlle queue. Such a moel can be use to explore, for example, parameter settings or stability surfaces (which are ifficult to stuy via simulation). Moreover, the moel can be extene to hanle multiple classes an ifferent roun trip s. The emphasis of this paper is to erive the moel an verify its accuracy. A follow-up paper [3] utilizes this moel in analyzing the stability of the TCP-RED interaction an showing how it epens on the system parameters. See also [3] for references on the stability of the TCP behavior. We use a moel similar to Kelly s [4] for TCP congestion avoiance behavior escribing the average arrival rate λ(t) of packets from a large collection of TCP sources. To rigorously erive the analytical moel we then assume that the arrival process to the RED controlle queue can be approximate by an inhomogeneous Poisson process with a stochastically varying arrival rate λ(t). Such an approximation is reasonable as we are moeling the aggregate traffic from a large collection of TCP sources. We emphasize on eriving equations carefully an inicating the stochastic approximations that have been mae. The accuracy of the moel is verifie by simulations. In the simulation, none of the stochastic approximations are use, an the very goo agreement with the moel shows that the stochastic assumptions are not important. Recent inepenent moeling work by Misra et al. [5] is similar to our approach in which ifferential equations are use to escribe the system variables. The work in [5] is complementary to ours; we evelop a more etaile moel for the queue ynamics, while [5] focuses more on the source ynamics. In aition, our term escribing the increase in the TCP winow size is more accurate. In the RED buffer moel, [5] assumes an infinite an non-emptying buffer an the moel erivation results in an aitional moeling parameter to be tune. On the contrary, our queue moel takes overflows an empty queues into account, an oes not have aitional parameters. Overall, we fin that the most accurate system moel is obtaine by using our RED moel an iviing the TCP population into homogeneous subpopulations with ientical link elays, each escribe by the Kelly s aggregate TCP moel, an then making the straightforwar moel extensions to hanle queue epenent roun trip s, outs an the network case, as is one in [5]. In a recent paper Laalaoua et al. [6] moel RED with aaptive traffic sources. The approach is to iterate the packet loss probability an the traffic intensity in tanem with solving a iffusion equation for the instantaneous queue length, thus giving the transient behavior of the queue between the iteration steps. Altman et al. [7] consier a TCP behavior together with losses that are presente by an exogenous stationary point process (an hence inepenent of the TCP winow sizes) an erive the first two moments of the TCP winow size. Also, Brown [8] provies a moel for the winow evolution of the TCP connections with ifferent roun trip s in a tail-rop queue. This paper is organize as follows: We begin by escribing the RED algorithm in Section 2. Moels for the TCP population an the RED controlle queue are erive separately in Sections 3 an 4, an then combine in Section 5. In that section we also inclue the link elays resulting in a retare functional ifferential equation (RFDE) moel, an iscuss various extensions of the moel, e.g., the possibility to hanle ifferentiate service classes with simple moifications an ealing with inhomogeneous roun trip s. The accuracy of stochastic assumptions an approximations are verifie in Section 6 where we compare the moel to a simulate system. Conclusions are given in Section 7. 2 The RED algorithm For the purpose of this paper we will use a simplifie version of the original RED algorithm, which is typical in RED analyzes an also one, e.g., in [5]. To be specific, the following simplifications are mae. We o not cover the case where the exponentially weighte average (EWA) queue xx/2
3 length is compute ifferently when the arrival occurs into an empty queue. However, as we are primarily intereste in heavily loae queues, the effect of this special hanling is of less importance. Aitionally, we o not moel the counter which measures the (in terms of packet arrivals) since the previous packet rop. (Note that the system with the counter can be approximate by a counterless system simply by using a counterless system with twice the value for the RED parameter p max, see, e.g., [1], or [2].) Our simplifie RED algorithm works as follows: Consier a queue with a finite buffer which can hol up to K packets at a. Let q n be the queue length an s n be the EWA queue length (to be efine below) at the n th arrival. For each arriving packet we compute the EWA queue length s n with s n =(1 β)s n 1 + βq n, where 0 <β<1 is an appropriate constant, typically of the orer 3. If the buffer is full, the packet is lost. If s n <T min, the arriving packet is accepte; if s n >T max the packet is iscare. In the intermeiate range T min s n T max, the packet is iscare with probability p(s n )= p max(s n T min ) T max T min, an accepte otherwise. Typical recommenations for setting the parameters are: T min =5, T max = K/2 anp max =0.1, see [9] 3 The TCP moel We aim at moeling the behavior of a TCP connection in its congestion avoiance phase. Our moel is essentially the same as in [4], however, we have altere its erivation to get a clearer iea of the approximations involve. Consier m ientical TCP sources with constant roun trip R (ranom queuing elays are not inclue). To simplify the notation, we temporarily neglect the elays in the arguments an erive the equations as if the changes to the winow sizes occurre instantaneously at packet transmission epochs. The elays are introuce later in Section 5. Denote by w i (t) the winow of TCP source i at t. Corresponingly, the aggregate has a winow W (t) = i w i(t). The throughput (arrival rate), λ i (t), of source i is λ i (t) =w i (t)/r. Consier a small interval (t, t + t), or t for brevity. Let A i ( t) enote the event that there is exactly 1 arrival from source i uring t. Aitionally, given that there is a packet arrival in t from source i, letl i (t) enote the event that this packet is lost an L c i (t) its complement. Our basic assumption on the traffic generate by a TCP source is that it is perioic with epenent perios, but for each TCP source the packet transmission phase is ranom. This implies that given the current winow size w i (t) ofsourcei, the probability of an arrival in t is P{A i ( t) w i (t)} = λ i (t) t = w i (t) t/r an the probability of having more than 1 arrival in t equals zero. In TCP congestion avoiance, for each successfully transmitte packet source i increases its transmission winow by 1/w i (t) (corresponing to an increase by 1 for w i (t) packets), an for each lost packet the winow is halve. We can compute the expectation of the change in the aggregate arrival rate λ(t) = i λ i(t), E[ λ(t)], by conitioning on the set of xx/3
4 winow sizes {w i (t)} an A i ( t) as follows [ ]] E[ λ(t)] = 1 R E[E[ W (t) {w i(t)}]] = [E 1 R E w i (t) {w i (t)} = 1 R E [ i [ = 1 R E i [ = t R 2 E i E[ w i (t) {w i (t)},a i ( t)] P{A i ( t) {w i (t)}} ( P{L c i (t) {w i(t)}} 1 i w i (t) P{L i(t) {w i (t)}} w ) ] i(t) wi (t) 2 R t ) ]. ( P{L c i(t) {w i (t)}} P{L i (t) {w i (t)}} w2 i (t) 2 If we further assume that the w i (t) processes are inepenent of each other an that the number of TCP sources is large, each iniviual source experiences a packet loss as etermine by the queue receiving the aggregate traffic. The conitional probability P{L i (t) {w i (t)}} correspons then to the loss probability in the queue at t, which is enote here by P L (t). Proceeing with the erivation, we obtain E[ λ(t)] = m t R 2 ( (1 P L (t)) P L (t) E[w2 i (t)] 2 We can next make a comment on the effect of the istribution of w i (t) on the coefficients above. Here we temporarily suppress the epenence from the notation. We assume that the istribution of w i is such that it scales with E[w i ], i.e. we assume that E[wi 2]=k E[w i] 2, where k is some constant. If w i is a fixe constant then we have trivially that E[wi 2]=E[w i] 2 = E[W ] 2 /m 2, i.e., k = 1. On the other han, if each TCP source in the population is assume to vary its winow between 2 3 W/m an 4 3W/m an the phases in the population are ranom, then each w i is uniformly istribute in [ 2 3 W/m, 4 3W/m]. Now large winows contribute more to the winow ecrease ue to the packet loss. Then we obtain E[wi 2 3m ]= 2W 4W 3m 2W 3m w 2 i 3m 2W w i = 28 ( ) W 2, 27 m i.e. we have k =28/27 1. Thus, this extension practically results in the same moel as above. In aition, numerical experiments with more realistic winow size istributions yiel only minor changes in the coefficient k. Hence, in this paper we use the simple assumption that k =1anE[wi 2]=E[w i] 2. Then, using the approximation E[wi 2(t)] = E[w i(t)] 2 =E[W (t)] 2 /m 2,weget E[ λ(t)] = ((1 P L (t)) mr ) 2 P L(t) E[λ(t)]2 t 2m By the linearity of the operator, E[ λ(t)] = E[λ(t)], enoting with E[λ(t)] = λ(t), an letting t 0, we arrive at t λ(t) =(1 P L (t)) m R 2 P L(t) λ 2 (t) 2m. (1) ). 4 Moel for the RED Controlle Queue The aim is to evelop a continuous moel for the transient behavior of the expectations of the two queue length processes, the exponentially average queue length s(t) an the instantaneous queue length q(t). These expectations are enote here by s(t) an q(t), respectively. ] xx/4
5 With the earlier assumptions on a large TCP population an ranom phases, the aggregate stream can be approximate by a varying inhomogeneous Poisson process with rate λ(t). Strictly speaking, λ(t) is itself a stochastic process but we may assume that the fluctuations are small an approximate λ(t) E[λ(t)]. With this, the queue part of our moel consists of a RED controlle queue receiving an inhomogeneous Poisson arrival stream with a eterministic varying rate E[λ(t)] = λ(t) governe by Eq. (1). This system has been previously stuie in [2], where by using a similar technique as in the previous section, the expecte change in q(t) an s(t) uring t has been obtaine by conitioning on certain ranom variables. As a result the following approximation has been obtaine for escribing the epenent behavior of s(t) an q(t): t s(t) = λ(t)β( q(t) s(t)), ( )( ) q(t) = λ(t) 1 π K (t) 1 p( s(t)) t ( ) µ 1 π 0 (t), where π 0 an π K enote the steay state probabilities for the queue to be empty an full, respectively. Note that, in the equation for q(t) above, the first term is the expecte rate at which packets are amitte to the queue an the secon term is the expecte rate at which packets leave the queue. To evaluate the terms π 0 (t) anπ K (t) we use a quasi-stationarity approximation. The iea is to replace π 0 (t) anπ K (t) with ones that relate π 0 an π K irectly to the system variable q(t) by using known steay state relations for π 0, π K an q, i.e., in our case those of the M/D/1/K system (in [2] an M/M/1/K queue was consiere). To this en let πk (ρ) enote the steay state probability of state k in the infinite capacity M/D/1 system with loa ρ. These state probabilities can be obtaine by using, e.g., the algorithm by Virtamo []. Then the steay state probability of state k, π k (ρ), in the finite system can be obtaine from the following relations (see [11, p. 230]) πj π j (ρ) = (ρ) π0 j =0,...,K 1, (ρ)+ρg(k), G(K) π K (ρ) = 1 π0 (ρ)+ρg(k), G(K) = K 1 j=0 π j (ρ). Aitionally, we have trivially that q(ρ) = K j=0 jπ j(ρ). The steay state functions π 0 ( q) anπ K ( q) are compute by eliminating ρ from the above relations. This approximation technique is also similar to the one use in [12]. In practice, e.g., the function π 0 ( q) is best erive by computing pairs of values ( q(ρ),π 0 (ρ)) for a suitably ense iscretization of ρ proviing a iscretize version of π 0 ( q). Then one can use interpolation between the iscretization points to compute π 0 ( q) for any value of q. In this paper we use the M/D/1/K system as an example, but the above proceure applies more generally to any packet size istribution. The queue length istribution of the M/G/1 system is given by the well known Pollaczek-Khintchine formula [11, p. 230] an the istribution can be compute algorithmically as presente in, e.g., [13, p. 266]. Finally, the istribution of the M/G/1/K system is obtaine from the infinite buffer system in the same way as was one above. The applicability of the M/G/1/K approximation epens on how fast λ(t) can change. If λ(t) is slowly varying, the queue can be consiere to be in a quasi-stationary state. In our case the changes in λ(t) are riven by packet losses, which are primarily ue to the RED packet iscaring (buffer overflows shoul be rare in a RED controlle queue). The RED packet xx/5 (2)
6 iscaring probability epens on the average queue length s(t), whose scale of changes is etermine by β. Inpracticeβ is small (of the orer 3 ), an thus the process s(t) moves slowly an, also, the changes in λ(t) occur relatively slowly. Moreover, our simulations in Section 6 verify the applicability of this approximation. 5 The Moel for the Interacting System In combining the moels for the TCP population an the RED controlle queue we inclue the link elays in the system (but queuing elays are not moele an hence the elays are not epenent). In the following moel λ(t) enotes the expecte TCP throughput at the source. The acknowlegments arrive at the source with the elay R causing the upate action to the current sening rate, an the amount of upate epens on the current rate. Also, the TCP population will ajust its current sening rate base on packet losses having taken place in R/2 prior to the current. Similarly, the packets sent by the TCP population arrive at the queue after the link elay of R/2 an hence the queue will observe the R/2 elaye throughput. This gives rise to a elay ifferential equation (or RFDE): t s(t) = λ(t R/2)β( q(t) s(t)), t q(t) = λ(t R/2)(1 π K ( q(t)))(1 p( s(t))) µ(1 π 0 ( q(t))), (3) t λ(t) = P L(t R/2) λ(t) λ(t R)+(1 P L (t R/2)) m λ(t R) 2m R 2, λ(t) P L (t) =p( s(t)) + π K ( q(t)) p( s(t))π K ( q(t)). Here we have taken a symmetric elay structure, but any other elay structure can be hanle with obvious moifications. Also, note that in the TCP moel in Section 3, P L enote the probability of the packet loss observe by the TCP population. In the above system, packets may be roppe ue to the RED amission control or the buffer overflow. Hence we approximate the packet loss by P L = p( s) +π K ( q) p( s)π K ( q) (see [2] for iscussion on inepenence assumptions). Aitionally, observe that in the last ifferential equation in (3), λ(t) appears with two arguments: λ(t R) represents the upate rate at t, whereas λ(t) arises from the amount of change to the current rate. After the TCP population activates at t 0, the queue ynamics activate at t 0 +R/2 whereas the TCP congestion ynamics activate at t 0 + R. Functions q, s :[t 0,R/2] R an λ :[t 0,R] R are given as initial ata. Also, note that when there are no packet losses, the slope of the linear increase in the throughput is slightly less than m/r 2 ue to the term λ(t R)/ λ(t), a fact also seen in the simulations. 5.1 Two traffic classes We illustrate how the above moel can be extene to ifferent traffic classes following the treatment in [14]. Assume that we have a population of m TCP sources, each with a constant R, an the throughput of the aggregate in enote by λ 1. In aition there is some UDP traffic with intensity λ 2. For simplicity both traffic sources are assume to sen packets of equal size an as a local approximation the packet arrival intensity from each source is assume to be Poissonian. Also the weight parameter β in the RED algorithm is assume to be the same in each class. We refer to the TCP traffic as class 1 traffic an the UDP traffic is enote by class 2. As in Section 4 we can write ifferential equations escribing the evolution of EWA queue lengths s i in each class: s i /t = λ i β ( q i s i ). As the packet size is the same in each class, we may consier the queue with the aggregate arrivals from both classes an enote the expecte queue length xx/6
7 by q. In the queue we may label inepenently each packet in class i, i =1, 2, with probability λ i (1 p i ( s i ))/( λ 1 (1 p 1 ( s 1 )) + λ 2 (1 p 2 ( s 2 ))), where we have taken into account that the RED rops p 1 an p 2 will thin the arrival processes. Hence the expecte queue length in class i satisfies q i = λ i (1 p i ( s i )) λ 1 (1 p 1 ( s 1 )) + λ 2 (1 p 2 ( s 2 )) q. The evolution of the total queue is given by t q =(1 π K( q)) ( λ1 (1 p 1 ( s 1 )) + λ 2 (1 p 2 ( s 2 )) ) µ (1 π 0 ( q)). Finally, the TCP population is escribe by t λ 1 = P L,1 2m λ 2 +(1 P L,1 ) m R 2, where P L,1 = p 1 ( s 1 )+π K ( q) p 1 ( s 1 )π K ( q). (Note that there is no ODE for UDP traffic.) This moel views classes 1 an 2 uncouple in the sense that the ranom packet rop in a class is base on the EWA queue length of that class only. The RIO algorithm [15], in which class 1 has priority an class 2 is amitte into the queue base on the exponentially average total queue length, is obtaine easily by replacing p 2 ( s 2 )withp 2 ( s 1 + s 2 )inabove. 5.2 Approximating variable roun trip s In our moel the simplest way to approximate a TCP population with variable roun trip s is to partition the total TCP population into n sets so that in each set i, m i TCPs have the same roun trip R i. Each subpopulation i can be moele an treate as TCP class i in the previous generalization. No priority structure between the classes is introuce if the classes are uncouple an the RED parameters are the same in each class. This moeling paraigm is scalable; even a large number of ifferential equations can be solve in a reasonable. 6 Moel valiation Here we illustrate the accuracy of our ifferential equations by comparing against simulate results an we use the moel to explore equilibrium surfaces as functions of the system parameters. Simulation is use to valiate the accuracy of the moel, i.e., that the stochastic assumptions are not critical. In the simulation none of the stochastic approximations have been use. Also, each TCP source is a perioic source with a varying sening rate reacting inepenently to successful packet transmissions or ranom packet rops accoring to the congestion avoiance rate control rules. The only assumptions that have been retaine in our simulations are the omission of the counter, that the RTT is a fixe constant, an that TCP congestion control works in the congestion avoiance phase. 6.1 Simulation implementation To be specific, our simulation has been implemente in the following manner. The sources moel the behavior of a greey FTP source population transmitting constant length packets. Hence, each TCP source i has its own congestion winow w i (as oppose to our moel), an R is a common constant for all sources. The iea is to escribe the source as a flui process with instantaneous rate w i /R, an sen a packet at those instants of where the cumulative flui attains an integer value. Thus each source has the following behavior i) it tries to sen w i packets uring R an ii) it tries to space them in a smooth manner, i.e., the packets are xx/7
8 E@qD E@sD Figure 2.: Evolution of λ(t), q(t) an s(t) (unit of is 00 on the x-axis). not sent in one burst, as may happen with the real TCP. Each sent packet arrives into the queue after a elay of R/2. Upon arrival at the queue, an acknowlegement is sent back to the source whether the packet was accepte or iscare (either by RED control or buffer overflow). The acknowlegement reaches the source after a elay of R/2. The source either increases its congestion winow by 1/w i, i.e., sets w i w i +1/w i, if the packet was accepte or halves the congestion winow, i.e., sets w i w i /2. Aitionally, to avoi the sources from being synchronize right from the start of the simulation, each source is initialize with a winow size of 1 but the sources are turne on, i.e., transmit their first packets, at a which is uniformly istribute in the range [0,R]. Thus, the aggregate traffic into the queue consists of a superposition of perioic sources with a varying sening rate. In the numerical examples the following system parameters will remain constant. The buffer size K =75,theservice1/µ = 1, R=00 an β =0.002 (as is suggeste in the literature). Also, the unit of is taken to be 1/µ. ChoosingR to be 00 s the average packet transmission correspons to a real life system where, assuming the packet size to be 500 bytes an the link spee to be 155 Mbit/s, R is ( bit)/155 Mbit/s 26 ms. Aitionally, in the analytical moel we start the system with initial ata q(t) = s(t) =0for0 t R/2 an λ(t) =m/r for 0 t R which correspons to setting q 0 = s 0 =0anw i = 1 for each source in the simulation. The simulate results have been obtaine by averaging over 0 inepenent simulation runs. 6.2 TCP examples Here we illustrate the accuracy of our moel with two examples. The examples have been chosen to emonstrate a case where the queue reaches equilibrium in a nice manner an a case where severe oscillations are encountere. In both examples we fix the number of TCP sources m = 0 an T max = K/2 =37.5. (Note that a larger TCP population is expecte to improve the accuracy of the analytical moel.) First we look at an example where we set the other RED parameters to T min =0anp max =. The results are shown in Figure 2. for the evolution of λ(t) (left figure), for q(t) (mile figure) an for s(t) (right figure). In all the figures in this section, the soli lines show the results obtaine from the RFDE system (3) an the ashe lines correspon to simulate results. From the figures we can see that the results from the RFDE system match well with the simulate results an the equilibrium values are quite close. This also verifies, among other stochastic approximations, that our assumption in the moel on the locally Poisson nature of the aggregate traffic is applicable an gives accurate results, even when the actual traffic consists of a superposition of non-poisson sources. Changing T min = 5 an increasing p max =0.5 results in strong oscillations (see Figure 3.). Even in this case, we can observe rather goo agreement between the analytical an the simulate results. The only iscrepancy is that apparently the simulate system contains elements (phase mixing) that ampen the oscillations an prolong the oscillation perios, which oes not take place in the solutions of the RFDE system. As a continuation of the work reporte here, we have erive an submitte for publication xx/8
9 E@qD E@sD Figure 3.: Evolution of λ(t), q(t) an s(t) (unit of is 00 on the x-axis). E@λD E@qD E@sD Figure 4.: Evolution of λ(t), q(t) an s(t) (unit of is 00 on the x-axis). (see Kuusela et al. [3]) the stability analysis of the system giving, not only sufficient, but also necessary conitions for the asymptotic stability. Note that the stability analysis one in Hollot et al. [16] as a continuation of [5], uses a ifferent technique, an provies only sufficient conitions for their system. For the examples shown here our stability analysis verifies the visual observation of the first example being stable an the secon one unstable. 6.3 Uncontrolle UDP traffic an the TCP steay state Next we explore the effect of uncontrolle UDP traffic on the steay state of the system. In this case, the UDP traffic is here moele as a pure Poisson source with arrival rate λ =. The rest of the system parameters are: m = 0 (same as earlier), p max =, T min =0an T max = 40. The system was starte from an empty state, an at the UDP source was turne on an shut off at The results are shown in Figure 4. for λ(t) (left figure), for q(t) (mile figure), an for s(t) (right figure). Here λ(t) is the aggregate arrival rate from the TCP population an the UDP traffic. Again we can observe a goo corresponence an the results show how the system first reaches an equilibrium, how it is affecte by the UDP pulse an how the equilibrium is reache after the pulse isappears. 6.4 Equilibrium surfaces Here we plot some equilibrium surfaces of the system (3) as functions of the system parameters. We consier a buffer of size 40 with RED parameters T min =ant max = 30. The RED rop parameter p max is taken as a free parameter that varies in [0.01, 0.35]. The equilibrium epens on the TCP population parameters only through TCPpar = m/r, which is allowe to vary in [0.05, 0.7]. Figure 5. (left figure) illustrates the queue size at the equilibrium as a function of p max an TCPpar. We point out that if the RED rop probability is small but the TCP population is aggressive (either m is large or R is small) the system (3) oes not have an equilibrium as the queue tens to fill up to T max an then oscillates at values slightly below T max. In aition, even if an equilibrium exists it is not necessarily a stable one (see [3]). The surface of the expecte gooput of the TCP population is illustrate in Figure 5. (right figure). Note that the surfaces clearly illustrate the problematic TCP feature (from the system esigners point of view) that the system performance epens on the number of TCP connections, which xx/9
10 p max TCPpar p max TCPpar Figure 5.: The queue size at equilibrium (left figure) an the gooput of the TCP population at equilibrium (right figure). is also iscusse in [17]. If one wishes to set a fixe target queue length q t [T min,t max ] (which also coincies with the exponentially average queue length) to be achieve at the equilibrium, the relationship ( m R = PL 1 π0 ( q t ) ) 2(1 PL )(1 π K ( q t )) (1 p( q t )), where P L = p( q t )+π K ( q t ) p( q t )π K ( q t ), can be use to explore, e.g., how p max has to be ajuste to compensate the changes in m/r. The above relationship has been erive from (3) at the equilibrium state. 7 Conclusions We have evelope a ynamical moel to escribe the evolution of the TCP aggregate an the RED controlle queue. The TCP sources were iealize to operate only in the congestion avoiance phase. It is worth mentioning that this approach can be easily applie to other aitive-increase-multiplicative-ecrease schemes by changing the ifferential equation for the throughput λ accoringly. In aition, the moel of source an queue interaction can be use to explore, for example, various parameter settings or stability surfaces. Moreover, this approach can be easily extene to stuy the interaction of other traffic behaviors with RED, such as TCP variants, equation-base controls, rate aaptive traffic etc. Because the mathematical moel is in terms of expecte values of the source an queue variables, an equivalent simulation stuy woul require averaging over a large number of replications, making it easily an infeasible approach. In eriving the ifferential equation moel several stochastic assumptions an approximations were necessary, in particular, the aggregate packet arrivals were approximate by an inhomogeneous Poisson process. We point out that our main interest is the congestion control aspect of the complete system, an partial justification to such approximation is the observation by Veres an Boa [18]: several statistical tests inicate that the aggregate TCP traffic entering through a bottleneck buffer is short-range epenent. Moreover, our careful simulation verification, in which neither TCP winow nor stochastic assumptions were use, showe that the approximations were well justifie. xx/
11 The aim of this paper was to carefully erive an then valiate the moel. Aitionally, in [3] we have successfully performe the stability analysis of the system presente here, eriving not only sufficient, but also necessary conitions for the system to be asymptotically stable. This follow-up paper contains several illustrative figures that show how the system parameters affect the system performance. References [1] S. Floy an V. Jacobson, Ranom Early Detection gateways in congestion avoiance, IEEE/ACM Transactions on Networking, vol. 1, no. 3, pp , [2] P. Lassila an J. Virtamo, Moeling the ynamics of the RED algorithm, in Proceeings of QofIS 00, September 2000, pp [3] P. Kuusela, P. Lassila, an J. Virtamo, Stability of TCP-RED congestion control, submitte for publication, available at [4] F. Kelly, Mathematical moelling of the Internet, available at uk./~frank/ (also an extene version in Mathematics Unlimite 2001 an Beyon, Springer Verlag, 2000), [5] V. Misra, W. Gong, an D. Towsley, A flui-base analysis of a network of AQM routers supporting TCP flows with an application to RED, in Proceeings of ACM SIGCOMM, August 2000, pp [6] R. Laalaoua, S. Jȩruś, T. Atmaca, an T. Czachórski, Diffusion moel of RED control mechanism, in in Proceeings of International Conference on Networking, July , Colmar, France. [7] E. Altman, K. Avrachenkov, an C. Barakat, A stochastic moel of TCP/IP with stationary ranom losses, in Proceeings of ACM SIGCOMM, 2000, pp [8] Brown P., Resource sharing of TCP connections with ifferent roun trip s, in Proceeings of IEEE INFOCOM, 2000, pp [9] S. Floy et al., Discussions on setting parameters, REDparameters.txt, November [] J. Virtamo, Numerical evaluation of the istribution of unfinishe work in an M/D/1 system, Electronics Letters, vol. 31, no. 7, pp , [11] D. Gross an C. Harris, Funamentals of queueing theory, Wiley, 3r eition, [12] Wang W., D. Tipper, an Banerjee S., A simple approximation for moeling nonstationary queues, in Proceeings of IEEE INFOCOM, March 1996, pp [13] H. C. Tijms, Stochastic Moels: An Algorithmic Approach, Wiley, [14] P. Kuusela an J. T. Virtamo, Moeling RED with two traffic classes, in Proceeings of NTS-15, August 2000, pp , available at com2/. [15] D. Clark an W. Fang, Explicit allocation of best-effort packet elivery service, IEEE/ACM Transactions of Networking, vol. 6, no. 4, pp , August [16] C. Hollot, V. Misra, D. Towsley, an W-B. Gong, A control theoretic analysis of RED, to appear in Proceeings of IEEE INFOCOM 2001, xx/11
12 [17] T. J. Ott, T. V. Lakshman, an L. H. Wong, SRED: Stabilize RED, in Proceeings of IEEE INFOCOM, March [18] A. Veres an M. Boa, The chaotic nature of TCP congestion control, in Proceeings of IEEE INFOCOM, March 2000, pp xx/12
TCP throughput and timeout steady state and time-varying dynamics
TCP throughput an timeout steay state an time-varying ynamics Stephan Bohacek an Khushboo Shah Dept. of Electrical an Computer Engineering Dept. of Electrical Engineering University of Delaware University
More informationclass class ff ff (t) packet loss packet loss (t) - - RED controlled queue Figure : Illustration of a Differentiad Services framework. RED has been an
Modeling RED with Two Traffic Classes P. Kuusela and J. T. Virtamo Laboratory of Telecommunications Technology Helsinki University of Technology P. O. Box 3000, FIN-005 HUT, Finland Email: fpirkko.kuusela,
More informationTCP throughput and timeout steady state and time-varying dynamics
TCP throughput an timeout steay state an time-varying ynamics Stephan Bohacek an Khushboo Shah Dept. of Electrical an Computer Engineering Dept. of Electrical Engineering University of Delaare University
More informationTHE VAN KAMPEN EXPANSION FOR LINKED DUFFING LINEAR OSCILLATORS EXCITED BY COLORED NOISE
Journal of Soun an Vibration (1996) 191(3), 397 414 THE VAN KAMPEN EXPANSION FOR LINKED DUFFING LINEAR OSCILLATORS EXCITED BY COLORED NOISE E. M. WEINSTEIN Galaxy Scientific Corporation, 2500 English Creek
More informationSliding mode approach to congestion control in connection-oriented communication networks
JOURNAL OF APPLIED COMPUTER SCIENCE Vol. xx. No xx (200x), pp. xx-xx Sliing moe approach to congestion control in connection-oriente communication networks Anrzej Bartoszewicz, Justyna Żuk Technical University
More informationClosed and Open Loop Optimal Control of Buffer and Energy of a Wireless Device
Close an Open Loop Optimal Control of Buffer an Energy of a Wireless Device V. S. Borkar School of Technology an Computer Science TIFR, umbai, Inia. borkar@tifr.res.in A. A. Kherani B. J. Prabhu INRIA
More informationSYNCHRONOUS SEQUENTIAL CIRCUITS
CHAPTER SYNCHRONOUS SEUENTIAL CIRCUITS Registers an counters, two very common synchronous sequential circuits, are introuce in this chapter. Register is a igital circuit for storing information. Contents
More informationAn M/G/1 Retrial Queue with Priority, Balking and Feedback Customers
Journal of Convergence Information Technology Volume 5 Number April 1 An M/G/1 Retrial Queue with Priority Balking an Feeback Customers Peishu Chen * 1 Yiuan Zhu 1 * 1 Faculty of Science Jiangsu University
More information'HVLJQ &RQVLGHUDWLRQ LQ 0DWHULDO 6HOHFWLRQ 'HVLJQ 6HQVLWLYLW\,1752'8&7,21
Large amping in a structural material may be either esirable or unesirable, epening on the engineering application at han. For example, amping is a esirable property to the esigner concerne with limiting
More informationOn Characterizing the Delay-Performance of Wireless Scheduling Algorithms
On Characterizing the Delay-Performance of Wireless Scheuling Algorithms Xiaojun Lin Center for Wireless Systems an Applications School of Electrical an Computer Engineering, Purue University West Lafayette,
More informationIERCU. Institute of Economic Research, Chuo University 50th Anniversary Special Issues. Discussion Paper No.210
IERCU Institute of Economic Research, Chuo University 50th Anniversary Special Issues Discussion Paper No.210 Discrete an Continuous Dynamics in Nonlinear Monopolies Akio Matsumoto Chuo University Ferenc
More informationImproved Rate-Based Pull and Push Strategies in Large Distributed Networks
Improve Rate-Base Pull an Push Strategies in Large Distribute Networks Wouter Minnebo an Benny Van Hout Department of Mathematics an Computer Science University of Antwerp - imins Mielheimlaan, B-00 Antwerp,
More informationRole of parameters in the stochastic dynamics of a stick-slip oscillator
Proceeing Series of the Brazilian Society of Applie an Computational Mathematics, v. 6, n. 1, 218. Trabalho apresentao no XXXVII CNMAC, S.J. os Campos - SP, 217. Proceeing Series of the Brazilian Society
More informationFluid model for a data network with α-fair bandwidth sharing and general document size distributions: two examples of stability
IMS Lecture Notes Monograph Series??? Vol. 0 (0000) 1 c Institute of Mathematical Statistics, 0000 Flui moel for a ata network with α-fair banwith sharing an general ocument size istributions: two examples
More information05 The Continuum Limit and the Wave Equation
Utah State University DigitalCommons@USU Founations of Wave Phenomena Physics, Department of 1-1-2004 05 The Continuum Limit an the Wave Equation Charles G. Torre Department of Physics, Utah State University,
More informationECE 422 Power System Operations & Planning 7 Transient Stability
ECE 4 Power System Operations & Planning 7 Transient Stability Spring 5 Instructor: Kai Sun References Saaat s Chapter.5 ~. EPRI Tutorial s Chapter 7 Kunur s Chapter 3 Transient Stability The ability of
More informationNumerical Key Results for Studying the Performance of TCP Traffic under Class-Based Weighted Fair Queuing System
Journal of ommunication an omputer 13 (2016) 195-201 oi:10.17265/1548-7709/2016.04.007 D DAVID PUBLISHING Numerical Key Results for Stuying the Performance of TP Traffic uner lass-base Weighte Fair Queuing
More informationSurvey Sampling. 1 Design-based Inference. Kosuke Imai Department of Politics, Princeton University. February 19, 2013
Survey Sampling Kosuke Imai Department of Politics, Princeton University February 19, 2013 Survey sampling is one of the most commonly use ata collection methos for social scientists. We begin by escribing
More informationThe Principle of Least Action
Chapter 7. The Principle of Least Action 7.1 Force Methos vs. Energy Methos We have so far stuie two istinct ways of analyzing physics problems: force methos, basically consisting of the application of
More informationTime-of-Arrival Estimation in Non-Line-Of-Sight Environments
2 Conference on Information Sciences an Systems, The Johns Hopkins University, March 2, 2 Time-of-Arrival Estimation in Non-Line-Of-Sight Environments Sinan Gezici, Hisashi Kobayashi an H. Vincent Poor
More informationinflow outflow Part I. Regular tasks for MAE598/494 Task 1
MAE 494/598, Fall 2016 Project #1 (Regular tasks = 20 points) Har copy of report is ue at the start of class on the ue ate. The rules on collaboration will be release separately. Please always follow the
More informationPerturbation Analysis and Optimization of Stochastic Flow Networks
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. XX, NO. Y, MMM 2004 1 Perturbation Analysis an Optimization of Stochastic Flow Networks Gang Sun, Christos G. Cassanras, Yorai Wari, Christos G. Panayiotou,
More informationSeparation of Variables
Physics 342 Lecture 1 Separation of Variables Lecture 1 Physics 342 Quantum Mechanics I Monay, January 25th, 2010 There are three basic mathematical tools we nee, an then we can begin working on the physical
More informationIPA Derivatives for Make-to-Stock Production-Inventory Systems With Backorders Under the (R,r) Policy
IPA Derivatives for Make-to-Stock Prouction-Inventory Systems With Backorers Uner the (Rr) Policy Yihong Fan a Benamin Melame b Yao Zhao c Yorai Wari Abstract This paper aresses Infinitesimal Perturbation
More informationLinear First-Order Equations
5 Linear First-Orer Equations Linear first-orer ifferential equations make up another important class of ifferential equations that commonly arise in applications an are relatively easy to solve (in theory)
More informationTransmission Line Matrix (TLM) network analogues of reversible trapping processes Part B: scaling and consistency
Transmission Line Matrix (TLM network analogues of reversible trapping processes Part B: scaling an consistency Donar e Cogan * ANC Eucation, 308-310.A. De Mel Mawatha, Colombo 3, Sri Lanka * onarecogan@gmail.com
More informationA Better Model for Job Redundancy: Decoupling Server Slowdown and Job Size
A Better Moel for Job Reunancy: Decoupling Server Slowown an Job Size Kristen Garner 1 Mor Harchol-Balter 1 Alan Scheller-Wolf Benny Van Hout 3 October 1 CMU-CS-1-131 School of Computer Science Carnegie
More informationLyapunov Functions. V. J. Venkataramanan and Xiaojun Lin. Center for Wireless Systems and Applications. School of Electrical and Computer Engineering,
On the Queue-Overflow Probability of Wireless Systems : A New Approach Combining Large Deviations with Lyapunov Functions V. J. Venkataramanan an Xiaojun Lin Center for Wireless Systems an Applications
More informationA simple model for the small-strain behaviour of soils
A simple moel for the small-strain behaviour of soils José Jorge Naer Department of Structural an Geotechnical ngineering, Polytechnic School, University of São Paulo 05508-900, São Paulo, Brazil, e-mail:
More informationThe total derivative. Chapter Lagrangian and Eulerian approaches
Chapter 5 The total erivative 51 Lagrangian an Eulerian approaches The representation of a flui through scalar or vector fiels means that each physical quantity uner consieration is escribe as a function
More informationTMA 4195 Matematisk modellering Exam Tuesday December 16, :00 13:00 Problems and solution with additional comments
Problem F U L W D g m 3 2 s 2 0 0 0 0 2 kg 0 0 0 0 0 0 Table : Dimension matrix TMA 495 Matematisk moellering Exam Tuesay December 6, 2008 09:00 3:00 Problems an solution with aitional comments The necessary
More information2 Mathematical moelling of the Internet ing that, with an appropriate formulation of an overall optimization problem, the network's implicit objective
1 Mathematical moelling of the Internet Frank Kelly Statistical Laboratory, University of Cambrige, 16 Mill Lane, Cambrige CB2 1SB, UK Abstract Moern communication networks are able to respon to ranomly
More informationComputing Exact Confidence Coefficients of Simultaneous Confidence Intervals for Multinomial Proportions and their Functions
Working Paper 2013:5 Department of Statistics Computing Exact Confience Coefficients of Simultaneous Confience Intervals for Multinomial Proportions an their Functions Shaobo Jin Working Paper 2013:5
More informationIntroduction to the Vlasov-Poisson system
Introuction to the Vlasov-Poisson system Simone Calogero 1 The Vlasov equation Consier a particle with mass m > 0. Let x(t) R 3 enote the position of the particle at time t R an v(t) = ẋ(t) = x(t)/t its
More informationEquilibrium in Queues Under Unknown Service Times and Service Value
University of Pennsylvania ScholarlyCommons Finance Papers Wharton Faculty Research 1-2014 Equilibrium in Queues Uner Unknown Service Times an Service Value Laurens Debo Senthil K. Veeraraghavan University
More informationVIRTUAL STRUCTURE BASED SPACECRAFT FORMATION CONTROL WITH FORMATION FEEDBACK
AIAA Guiance, Navigation, an Control Conference an Exhibit 5-8 August, Monterey, California AIAA -9 VIRTUAL STRUCTURE BASED SPACECRAT ORMATION CONTROL WITH ORMATION EEDBACK Wei Ren Ranal W. Bear Department
More informationThroughput Optimal Control of Cooperative Relay Networks
hroughput Optimal Control of Cooperative Relay Networks Emun Yeh Dept. of Electrical Engineering Yale University New Haven, C 06520, USA E-mail: emun.yeh@yale.eu Ranall Berry Dept. of Electrical an Computer
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial Differential Equations «Viktor Grigoryan 6 Wave equation: solution In this lecture we will solve the wave equation on the entire real line x R. This correspons to a string of infinite
More informationThe effect of dissipation on solutions of the complex KdV equation
Mathematics an Computers in Simulation 69 (25) 589 599 The effect of issipation on solutions of the complex KV equation Jiahong Wu a,, Juan-Ming Yuan a,b a Department of Mathematics, Oklahoma State University,
More informationLectures - Week 10 Introduction to Ordinary Differential Equations (ODES) First Order Linear ODEs
Lectures - Week 10 Introuction to Orinary Differential Equations (ODES) First Orer Linear ODEs When stuying ODEs we are consiering functions of one inepenent variable, e.g., f(x), where x is the inepenent
More informationA SIMPLE ENGINEERING MODEL FOR SPRINKLER SPRAY INTERACTION WITH FIRE PRODUCTS
International Journal on Engineering Performance-Base Fire Coes, Volume 4, Number 3, p.95-3, A SIMPLE ENGINEERING MOEL FOR SPRINKLER SPRAY INTERACTION WITH FIRE PROCTS V. Novozhilov School of Mechanical
More informationHarmonic Modelling of Thyristor Bridges using a Simplified Time Domain Method
1 Harmonic Moelling of Thyristor Briges using a Simplifie Time Domain Metho P. W. Lehn, Senior Member IEEE, an G. Ebner Abstract The paper presents time omain methos for harmonic analysis of a 6-pulse
More informationChapter 9 Method of Weighted Residuals
Chapter 9 Metho of Weighte Resiuals 9- Introuction Metho of Weighte Resiuals (MWR) is an approimate technique for solving bounary value problems. It utilizes a trial functions satisfying the prescribe
More informationTwo Dimensional Numerical Simulator for Modeling NDC Region in SNDC Devices
Journal of Physics: Conference Series PAPER OPEN ACCESS Two Dimensional Numerical Simulator for Moeling NDC Region in SNDC Devices To cite this article: Dheeraj Kumar Sinha et al 2016 J. Phys.: Conf. Ser.
More informationCONSERVATION PROPERTIES OF SMOOTHED PARTICLE HYDRODYNAMICS APPLIED TO THE SHALLOW WATER EQUATIONS
BIT 0006-3835/00/4004-0001 $15.00 200?, Vol.??, No.??, pp.?????? c Swets & Zeitlinger CONSERVATION PROPERTIES OF SMOOTHE PARTICLE HYROYNAMICS APPLIE TO THE SHALLOW WATER EQUATIONS JASON FRANK 1 an SEBASTIAN
More informationRETROGRADE WAVES IN THE COCHLEA
August 7, 28 18:2 WSPC - Proceeings Trim Size: 9.75in x 6.5in retro wave 1 RETROGRADE WAVES IN THE COCHLEA S. T. NEELY Boys Town National Research Hospital, Omaha, Nebraska 68131, USA E-mail: neely@boystown.org
More informationPoint queue models: a unified approach
Point queue moels: a unifie approach arxiv:1405.7663v1 [math.ds] 29 May 2014 Wen-Long Jin October 7, 2018 Abstract In transportation an other types of facilities, various queues arise when the emans of
More informationELEC3114 Control Systems 1
ELEC34 Control Systems Linear Systems - Moelling - Some Issues Session 2, 2007 Introuction Linear systems may be represente in a number of ifferent ways. Figure shows the relationship between various representations.
More informationSchrödinger s equation.
Physics 342 Lecture 5 Schröinger s Equation Lecture 5 Physics 342 Quantum Mechanics I Wenesay, February 3r, 2010 Toay we iscuss Schröinger s equation an show that it supports the basic interpretation of
More informationTable of Common Derivatives By David Abraham
Prouct an Quotient Rules: Table of Common Derivatives By Davi Abraham [ f ( g( ] = [ f ( ] g( + f ( [ g( ] f ( = g( [ f ( ] g( g( f ( [ g( ] Trigonometric Functions: sin( = cos( cos( = sin( tan( = sec
More informationA Novel Decoupled Iterative Method for Deep-Submicron MOSFET RF Circuit Simulation
A Novel ecouple Iterative Metho for eep-submicron MOSFET RF Circuit Simulation CHUAN-SHENG WANG an YIMING LI epartment of Mathematics, National Tsing Hua University, National Nano evice Laboratories, an
More informationOn the Connectivity Analysis over Large-Scale Hybrid Wireless Networks
This full text paper was peer reviewe at the irection of IEEE Communications Society subject matter experts for publication in the IEEE INFOCOM proceeings This paper was presente as part of the main Technical
More information1 dx. where is a large constant, i.e., 1, (7.6) and Px is of the order of unity. Indeed, if px is given by (7.5), the inequality (7.
Lectures Nine an Ten The WKB Approximation The WKB metho is a powerful tool to obtain solutions for many physical problems It is generally applicable to problems of wave propagation in which the frequency
More informationTEMPORAL AND TIME-FREQUENCY CORRELATION-BASED BLIND SOURCE SEPARATION METHODS. Yannick DEVILLE
TEMPORAL AND TIME-FREQUENCY CORRELATION-BASED BLIND SOURCE SEPARATION METHODS Yannick DEVILLE Université Paul Sabatier Laboratoire Acoustique, Métrologie, Instrumentation Bât. 3RB2, 8 Route e Narbonne,
More informationApplication of the homotopy perturbation method to a magneto-elastico-viscous fluid along a semi-infinite plate
Freun Publishing House Lt., International Journal of Nonlinear Sciences & Numerical Simulation, (9), -, 9 Application of the homotopy perturbation metho to a magneto-elastico-viscous flui along a semi-infinite
More informationarxiv:hep-th/ v1 3 Feb 1993
NBI-HE-9-89 PAR LPTHE 9-49 FTUAM 9-44 November 99 Matrix moel calculations beyon the spherical limit arxiv:hep-th/93004v 3 Feb 993 J. Ambjørn The Niels Bohr Institute Blegamsvej 7, DK-00 Copenhagen Ø,
More informationMarkov Chains in Continuous Time
Chapter 23 Markov Chains in Continuous Time Previously we looke at Markov chains, where the transitions betweenstatesoccurreatspecifietime- steps. That it, we mae time (a continuous variable) avance in
More information6. Friction and viscosity in gasses
IR2 6. Friction an viscosity in gasses 6.1 Introuction Similar to fluis, also for laminar flowing gases Newtons s friction law hols true (see experiment IR1). Using Newton s law the viscosity of air uner
More informationChapter 6: Energy-Momentum Tensors
49 Chapter 6: Energy-Momentum Tensors This chapter outlines the general theory of energy an momentum conservation in terms of energy-momentum tensors, then applies these ieas to the case of Bohm's moel.
More informationAnalytical Results on the Stochastic Behaviour of an Averaged Queue Length
Analytical Results on the Stochastic Behaviour of an Averaged Queue Length E. Kuumola 1,J.Resing 2 and J. Virtamo 1 1 Networking Laboratory Helsinki University of Technology P.O. Box 3, FIN-215-HUT, Finland
More informationBEYOND THE CONSTRUCTION OF OPTIMAL SWITCHING SURFACES FOR AUTONOMOUS HYBRID SYSTEMS. Mauro Boccadoro Magnus Egerstedt Paolo Valigi Yorai Wardi
BEYOND THE CONSTRUCTION OF OPTIMAL SWITCHING SURFACES FOR AUTONOMOUS HYBRID SYSTEMS Mauro Boccaoro Magnus Egerstet Paolo Valigi Yorai Wari {boccaoro,valigi}@iei.unipg.it Dipartimento i Ingegneria Elettronica
More informationA Tandem Queueing model for an appointment-based service system
Queueing Syst (2015) 79:53 85 DOI 10.1007/s11134-014-9427-5 A Tanem Queueing moel for an appointment-base service system Jianzhe Luo Viyahar G. Kulkarni Serhan Ziya Receive: 3 April 2013 / Revise: 9 October
More informationModeling the effects of polydispersity on the viscosity of noncolloidal hard sphere suspensions. Paul M. Mwasame, Norman J. Wagner, Antony N.
Submitte to the Journal of Rheology Moeling the effects of polyispersity on the viscosity of noncolloial har sphere suspensions Paul M. Mwasame, Norman J. Wagner, Antony N. Beris a) epartment of Chemical
More information6 General properties of an autonomous system of two first order ODE
6 General properties of an autonomous system of two first orer ODE Here we embark on stuying the autonomous system of two first orer ifferential equations of the form ẋ 1 = f 1 (, x 2 ), ẋ 2 = f 2 (, x
More informationNonlinear Dielectric Response of Periodic Composite Materials
onlinear Dielectric Response of Perioic Composite aterials A.G. KOLPAKOV 3, Bl.95, 9 th ovember str., ovosibirsk, 639 Russia the corresponing author e-mail: agk@neic.nsk.su, algk@ngs.ru A. K.TAGATSEV Ceramics
More informationDelay Limited Capacity of Ad hoc Networks: Asymptotically Optimal Transmission and Relaying Strategy
Delay Limite Capacity of A hoc Networks: Asymptotically Optimal Transmission an Relaying Strategy Eugene Perevalov Lehigh University Bethlehem, PA 85 Email: eup2@lehigh.eu Rick Blum Lehigh University Bethlehem,
More informationDiagonalization of Matrices Dr. E. Jacobs
Diagonalization of Matrices Dr. E. Jacobs One of the very interesting lessons in this course is how certain algebraic techniques can be use to solve ifferential equations. The purpose of these notes is
More informationFluid Models with Jumps
Flui Moels with Jumps Elena I. Tzenova, Ivo J.B.F. Aan, Viyahar G. Kulkarni August 2, 2004 Abstract In this paper we stuy a general stochastic flui moel with a single infinite capacity buffer, where the
More informationON THE OPTIMALITY SYSTEM FOR A 1 D EULER FLOW PROBLEM
ON THE OPTIMALITY SYSTEM FOR A D EULER FLOW PROBLEM Eugene M. Cliff Matthias Heinkenschloss y Ajit R. Shenoy z Interisciplinary Center for Applie Mathematics Virginia Tech Blacksburg, Virginia 46 Abstract
More informationA Better Model for Job Redundancy: Decoupling Server Slowdown and Job Size
A Better Moel for Job Reunancy: Decoupling Server Slowown an Job Size Kristen Garner, Mor Harchol-Balter, Alan Scheller-Wolf, an Benny Van Hout 1 Abstract Recent computer systems research has propose using
More informationSparse Reconstruction of Systems of Ordinary Differential Equations
Sparse Reconstruction of Systems of Orinary Differential Equations Manuel Mai a, Mark D. Shattuck b,c, Corey S. O Hern c,a,,e, a Department of Physics, Yale University, New Haven, Connecticut 06520, USA
More information12.11 Laplace s Equation in Cylindrical and
SEC. 2. Laplace s Equation in Cylinrical an Spherical Coorinates. Potential 593 2. Laplace s Equation in Cylinrical an Spherical Coorinates. Potential One of the most important PDEs in physics an engineering
More informationTIME-DELAY ESTIMATION USING FARROW-BASED FRACTIONAL-DELAY FIR FILTERS: FILTER APPROXIMATION VS. ESTIMATION ERRORS
TIME-DEAY ESTIMATION USING FARROW-BASED FRACTIONA-DEAY FIR FITERS: FITER APPROXIMATION VS. ESTIMATION ERRORS Mattias Olsson, Håkan Johansson, an Per öwenborg Div. of Electronic Systems, Dept. of Electrical
More informationLATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION
The Annals of Statistics 1997, Vol. 25, No. 6, 2313 2327 LATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION By Eva Riccomagno, 1 Rainer Schwabe 2 an Henry P. Wynn 1 University of Warwick, Technische
More informationAPPROXIMATE SOLUTION FOR TRANSIENT HEAT TRANSFER IN STATIC TURBULENT HE II. B. Baudouy. CEA/Saclay, DSM/DAPNIA/STCM Gif-sur-Yvette Cedex, France
APPROXIMAE SOLUION FOR RANSIEN HEA RANSFER IN SAIC URBULEN HE II B. Bauouy CEA/Saclay, DSM/DAPNIA/SCM 91191 Gif-sur-Yvette Ceex, France ABSRAC Analytical solution in one imension of the heat iffusion equation
More informationCalculus of Variations
16.323 Lecture 5 Calculus of Variations Calculus of Variations Most books cover this material well, but Kirk Chapter 4 oes a particularly nice job. x(t) x* x*+ αδx (1) x*- αδx (1) αδx (1) αδx (1) t f t
More informationSwitching Time Optimization in Discretized Hybrid Dynamical Systems
Switching Time Optimization in Discretize Hybri Dynamical Systems Kathrin Flaßkamp, To Murphey, an Sina Ober-Blöbaum Abstract Switching time optimization (STO) arises in systems that have a finite set
More informationConstruction of the Electronic Radial Wave Functions and Probability Distributions of Hydrogen-like Systems
Construction of the Electronic Raial Wave Functions an Probability Distributions of Hyrogen-like Systems Thomas S. Kuntzleman, Department of Chemistry Spring Arbor University, Spring Arbor MI 498 tkuntzle@arbor.eu
More informationPlanar sheath and presheath
5/11/1 Flui-Poisson System Planar sheath an presheath 1 Planar sheath an presheath A plasma between plane parallel walls evelops a positive potential which equalizes the rate of loss of electrons an ions.
More informationensembles When working with density operators, we can use this connection to define a generalized Bloch vector: v x Tr x, v y Tr y
Ph195a lecture notes, 1/3/01 Density operators for spin- 1 ensembles So far in our iscussion of spin- 1 systems, we have restricte our attention to the case of pure states an Hamiltonian evolution. Toay
More informationExponential Tracking Control of Nonlinear Systems with Actuator Nonlinearity
Preprints of the 9th Worl Congress The International Feeration of Automatic Control Cape Town, South Africa. August -9, Exponential Tracking Control of Nonlinear Systems with Actuator Nonlinearity Zhengqiang
More informationOptimized Schwarz Methods with the Yin-Yang Grid for Shallow Water Equations
Optimize Schwarz Methos with the Yin-Yang Gri for Shallow Water Equations Abessama Qaouri Recherche en prévision numérique, Atmospheric Science an Technology Directorate, Environment Canaa, Dorval, Québec,
More informationLecture 10: Logistic growth models #2
Lecture 1: Logistic growth moels #2 Fugo Takasu Dept. Information an Computer Sciences Nara Women s University takasu@ics.nara-wu.ac.jp 6 July 29 1 Analysis of the stochastic process of logistic growth
More informationPlacement and tuning of resonance dampers on footbridges
Downloae from orbit.tu.k on: Jan 17, 19 Placement an tuning of resonance ampers on footbriges Krenk, Steen; Brønen, Aners; Kristensen, Aners Publishe in: Footbrige 5 Publication ate: 5 Document Version
More informationarxiv: v2 [cond-mat.stat-mech] 11 Nov 2016
Noname manuscript No. (will be inserte by the eitor) Scaling properties of the number of ranom sequential asorption iterations neee to generate saturate ranom packing arxiv:607.06668v2 [con-mat.stat-mech]
More informationAn Adaptive Parameter Deflection Routing to Resolve Contentions in OBS Networks
An Aaptive Parameter Deflection Routing to Resolve Contentions in OS etwors Keping Long, Xiaolong Yang, 2 *, Sheng Huang 2, Qianbin Chen 2, Ruyan Wang 2 Research Centre for Optical Internet an Mobile Information
More informationarxiv:physics/ v2 [physics.ed-ph] 23 Sep 2003
Mass reistribution in variable mass systems Célia A. e Sousa an Vítor H. Rorigues Departamento e Física a Universiae e Coimbra, P-3004-516 Coimbra, Portugal arxiv:physics/0211075v2 [physics.e-ph] 23 Sep
More informationA Fair Comparison of Pull and Push Strategies in Large Distributed Networks
1 A Fair Comparison of Pull an Push Strategies in Large Distribute Networks Wouter Minnebo an Benny Van Hout, Member, IEEE Abstract In this paper we compare the performance of the pull an push strategy
More informationA Review of Multiple Try MCMC algorithms for Signal Processing
A Review of Multiple Try MCMC algorithms for Signal Processing Luca Martino Image Processing Lab., Universitat e València (Spain) Universia Carlos III e Mari, Leganes (Spain) Abstract Many applications
More informationThe canonical controllers and regular interconnection
Systems & Control Letters ( www.elsevier.com/locate/sysconle The canonical controllers an regular interconnection A.A. Julius a,, J.C. Willems b, M.N. Belur c, H.L. Trentelman a Department of Applie Mathematics,
More informationEstimation of the Maximum Domination Value in Multi-Dimensional Data Sets
Proceeings of the 4th East-European Conference on Avances in Databases an Information Systems ADBIS) 200 Estimation of the Maximum Domination Value in Multi-Dimensional Data Sets Eleftherios Tiakas, Apostolos.
More informationOn the Enumeration of Double-Base Chains with Applications to Elliptic Curve Cryptography
On the Enumeration of Double-Base Chains with Applications to Elliptic Curve Cryptography Christophe Doche Department of Computing Macquarie University, Australia christophe.oche@mq.eu.au. Abstract. The
More informationHow to Minimize Maximum Regret in Repeated Decision-Making
How to Minimize Maximum Regret in Repeate Decision-Making Karl H. Schlag July 3 2003 Economics Department, European University Institute, Via ella Piazzuola 43, 033 Florence, Italy, Tel: 0039-0-4689, email:
More informationApplications of First Order Equations
Applications of First Orer Equations Viscous Friction Consier a small mass that has been roppe into a thin vertical tube of viscous flui lie oil. The mass falls, ue to the force of gravity, but falls more
More informationHomework 7 Due 18 November at 6:00 pm
Homework 7 Due 18 November at 6:00 pm 1. Maxwell s Equations Quasi-statics o a An air core, N turn, cylinrical solenoi of length an raius a, carries a current I Io cos t. a. Using Ampere s Law, etermine
More informationPower Generation and Distribution via Distributed Coordination Control
Power Generation an Distribution via Distribute Coorination Control Byeong-Yeon Kim, Kwang-Kyo Oh, an Hyo-Sung Ahn arxiv:407.4870v [math.oc] 8 Jul 204 Abstract This paper presents power coorination, power
More informationLower Bounds for the Smoothed Number of Pareto optimal Solutions
Lower Bouns for the Smoothe Number of Pareto optimal Solutions Tobias Brunsch an Heiko Röglin Department of Computer Science, University of Bonn, Germany brunsch@cs.uni-bonn.e, heiko@roeglin.org Abstract.
More informationPredictive Control of a Laboratory Time Delay Process Experiment
Print ISSN:3 6; Online ISSN: 367-5357 DOI:0478/itc-03-0005 Preictive Control of a aboratory ime Delay Process Experiment S Enev Key Wors: Moel preictive control; time elay process; experimental results
More informationCalculus Class Notes for the Combined Calculus and Physics Course Semester I
Calculus Class Notes for the Combine Calculus an Physics Course Semester I Kelly Black December 14, 2001 Support provie by the National Science Founation - NSF-DUE-9752485 1 Section 0 2 Contents 1 Average
More informationFluid Model for a Data Network with α-fair Bandwidth Sharing and General Document Size Distributions: Two Examples of Stability
IMS Collections Markov Processes an Relate Topics: A Festschrift for Thomas G. Kurtz Vol. 4 (2008) 253 265 c Institute of Mathematical Statistics, 2008 DOI: 10.1214/074921708000000417 Flui Moel for a Data
More information