1. Introduction
The mathematical tools of queuing theory are widely used to calculate the performance of telecommunication systems. In most cases, the operation of such systems has been studied in a stationary mode [
1,
2,
3]. However, the stationary performance metrics of queuing systems can differ significantly from similar metrics in the transient mode [
4].
At the same time, transient modes are often observed in telecommunication systems. These modes occur during the installation or reboot of networks. Transient processes can occur as a result of random traffic jumps caused by an abrupt change in the information transmission route. This situation is typical, for example, of self-organizing wireless networks and of wired networks with dynamic routing in the case of network node failure or network reboot [
5]. Traffic jumps occur in software-defined networks as well, as a result of frequent changes in information transmission channels in network controllers [
5,
6]. An important practical problem is the consideration of periodic input flows. One reason for periodic traffic jumps is a network attack [
7]. In cases of periodic impact from undesired traffic, periodic changes in input flow are observed.
The pioneering works analyzing queuing systems with periodic changes in the input flow were published in the 1970s [
8,
9]. Those papers used an approximate analytical method to study the queuing system
with the intensity of the input flow, which varies according to a sinusoidal law. In [
10], the expressions of the stationary probabilities of the system
with sinusoidal arrival intensity are obtained. The works in [
11,
12] carry out a similar study for the systems
and
, while [
13,
14] analyze the stability of non-homogeneous Markov processes with continuous time, describing the operation of the main classes of queuing systems with the sinusoidal Poisson input flow.
In recent years, researchers have published works describing queuing systems with jumping parameters for the information flow. For example, Ref. [
15] considers a queuing system with one server, finite storage, and exponential service with the parameter
. The queuing system input receives a doubly stochastic Poisson flow, the intensity of which,
, is a jump process. A matrix and functional-analytical method for studying the stationary and non-stationary characteristics of the queuing system is proposed, and a proof of the existence and uniqueness of the stationary mode and a stabilization of the non-stationary mode of the queuing system are provided. In addition, the authors discuss the results of their numerical analysis. The work in [
16] studies the stationary and transient modes of the queuing system
, in which the process of incoming customers is a Cox process; the incoming intensity sharply increases at random times and then returns to lower values. Expressions are found for the number of customers in the queue in the stationary and transient modes. The work in [
17] studies the probabilities of states and the average number of customers in the queue of the system
, with a stepwise change in the intensity of receiving customers in the transitional and stationary modes. In [
18], the authors present an analytical method for the analysis of inhomogeneous continuous Markov processes with piecewise constant transition intensities, including the case with periodically changing transition intensities. These authors presented analytical expressions describing for the first time both the transient and stationary modes of a random process.
Despite the great attention recently paid to the transient mode of queuing systems, most works to date [
15,
16,
17,
18,
19,
20,
21] have studied queuing systems with a Poisson input flow, with only a small portion [
15,
18,
20] presenting an analytical analysis of such systems. There is only one work, by the authors of the present paper, studying the
system in transient mode [
4].
This paper, therefore, considers the
system, in which the input flow is a superposition of a Poisson flow with constant intensity
and a flow with jump intensity
. In
Section 2, a system of Kolmogorov equations is constructed for the case under consideration. This paper studies the probability translation matrix of a queuing system with an input
flow and constant arrival and service intensities (
Section 3). Here, the concept of transition mode time is introduced based on the study of the determinant of the translation matrix, in contrast to the transition mode time, which is based on the study of the eigenvalues of the matrix of coefficients of the Kolmogorov equations [
4]. The concept introduced here is more general (averaged) than the transient time introduced in [
4], as it takes into account the time dependence of all eigenvalues of the translation matrix. Such a study is of great importance for further descriptions of queuing systems with an abrupt change in the input flow. The theorem on solutions to the Kolmogorov system of equations is formulated in
Section 4. Thus, the solution to the Kolmogorov system of equations is presented in an exact analytical form. Moreover, this solution does not involve a complex operation requiring the Jordan forms of the coefficient matrices of the Kolmogorov system of equations to be found; this section further describes the main properties of these solutions. A queuing system with a main Poisson flow and an additional flow with a periodically varying intensity is studied in
Section 5. The eigenvalue theorem for a queuing system with a periodic input
flow is formulated and the nature of the dependence of state probabilities on time is described. Numerical calculations in accordance with the presented method are provided in
Section 6. The presented numerical results confirm the correctness and practical applicability of the developed analytical method. Note that this paper, as in [
4], considers the case of simple roots of the characteristic equation of the coefficient matrix of the Kolmogorov system of equations.
2. System of Kolmogorov Equations for Queuing Systems with an Additional Piecewise Constant Flow of Customers
Let us consider a queuing system with a finite buffer and time-dependent intensities of the input customer flow.
The customer flow into the system is a Markov arrival flow. This flow is controlled by the irreducible non-periodic Markov chain , with continuous time and the finite state space .
The arrival of customers within the flow is described as follows: the Markov chain , is in a state during a time with an exponential distribution described by the parameter , ; after this time, the process , with probability passes into a state generating a customer, and the process passes into the state with probability without generating a customer. It is assumed that transition from a state to the same state without generating a customer is impossible, i.e., .
The probabilities
,
satisfy the normalization condition
Usually, the
flow is described by the
-matrices
and
:
The average arrival rate (intensity) of customers within the
flow is determined by the equality
where
is the row-vector of the stationary distribution of the control process
,
and
is a column-vector consisting of units only.
The vector
can be found as the single solution to the system of linear algebraic equations
In contrast to the simplest flow, the
flow is non-stationary and correlated; in the general case, adjacent time intervals between the instants of customer arrival are dependent. The
flow correlation coefficient is calculated using formula:
where
v is the dispersion of the lengths of the intervals between the moments of receiving customers:
More detailed information about the
flow and its properties as well as the proof of Formula (
4) are presented in papers by Neuts, M. [
22] and Lucantoni, D. et al. [
23], as well as in monograph [
1].
The service time of a customer within the system is exponentially distributed by the parameter
. The system buffer is limited by
N, and customers arriving in a system in which all waiting places are occupied will be lost. For this system, it can be assumed that it receives an additional flow independent of the
flow, that is, the simplest flow of customers with a piecewise-constant parameter
, which depends on time (
Figure 1).
where
,
G is the number of jumps.
This additional flow may be anomalous traffic resulting from a network attack or it may be an additional information flow that can be interpreted depending on the application of this model. The customers of this flow do not have priority and are indistinguishable from customers from the main flow in the service process.
It is known [
1] that the Poisson input flow is a particular case of a
. In this case, the matrices describing the
have a dimension of
and are defined as
It is known [
1] that the superposition (overlay) of two
s is itself a
, thus, the total flow of customers into the system is a time-dependent
with matrices
where
is the identity matrix of size
M.
Following [
1], the system of Kolmogorov equations for
states of the considered
system in matrix form can be written as
where
is an infinitesimal generator of a Markov chain with continuous time describing the state of the system at time
t,
=
,
T is the transposition operator,
, and
is the macrostate probability column-vector
(the
M states of
of the serving and buffer, determined by the dimension of the matrices (
2) and (
3) [
1,
4]).
3. Probability Translation Matrix of a Queueing System with Constant MAP Flows
The Kolmogorov Equation (
11) for the state probabilities of a queuing system with
flows are the linear homogeneous system of differential equations with piecewise-constant coefficients, thus, the probability translation matrix
on each interval with constant coefficients can be constructed using the theory presented in [
4]. This matrix relates state probabilities at time
to these probabilities at
:
Note that for a system with constant parameters, such a matrix has been found in an analytical form in [
4]. In this case, the matrix
in (
12) is independent of the time due to the lack of the additional flow with the rate
. The problem in the present work is first of all to carry out the additional study of its main characteristics, such as its determinant and eigenvalues. This study is necessary for further description of the behavior of a queuing system with piecewise constant parameters. It will be shown that the eigenvalues and eigenvectors of the translation matrices of both systems with constant parameters and systems with piecewise-constant parameters completely describe the nature of the change in the probabilities of the system states in the transition mode, and the value of the determinant of the probability translation matrix determines the time of the transition mode. Note that the translation matrix of system state probabilities relates these probabilities at time
t to the probabilities at time
.
Lemma 1. All modules of the eigenvalues , of the probability translation matrix defined by (13) for the interval of a queuing system with an input flow, constant arrival intensities λ, , and service intensity μ are within the interval and satisfy the condition Proof. In accordance with definition [
4], the probability translation matrix of a queuing system with
flows and constant arrival intensities
,
and service intensity
is an exponential of the coefficient matrix
of the original system of Kolmogorov differential Equation (
11):
Here, is the Jordan form of matrix and is the matrix composed of the eigenvectors of matrix . As and are similar matrices, the eigenvalues of are exponents of the eigenvalues of matrix . In this case, one of the eigenvalues of matrix is equal to zero, and the remaining eigenvalues of matrix have a negative real part. Therefore, for the eigenvalues of the translation matrix , we have , . □
From a practical point of view, this means that in a queuing system with a constant incoming flow, an exponential service time, and a buffer of limited capacity, there is always a stationary mode. Indeed, if is an eigenvector corresponding to the eigenvalue then , as , and , as for all . Thus, the probabilities of the process states in the transient mode are damped and tend to certain limit values at .
Lemma 2. The probability translation matrix of a queuing system on an interval with an input flow and constant arrival and service intensities is stochastic.
Proof. In accordance with the definition of the probability translation matrix of a queuing system with
flows and constants
and
[
4],
where
are the elements of the probability translation matrix
on the interval
and
are the probabilities of the states. Then, if
and
,
; then,
for any values of
. This implies that
for any values of
, as
.
Similarly, it can be shown that for all
,
and the relation
holds for any
. In this case, for any
, the equality holds:
Substituting (
16) into (
17), we can obtain
As equality (
18) must hold for any
, the necessary and sufficient condition is
Thus, the matrix is stochastic. □
Let us study the problem of the transient mode time by analyzing the determinant of the probability translation matrix
for time
. The determinant of the probability translation matrix of a queuing system with a time-dependent input
flow, described by (
12) and (
13) in accordance with the Ostrogradsky–Liouville theorem [
24], is equal to
where
is the trace of the coefficient matrix (
13) of the Kolmogorov equation system of (
12). Therefore, expression (
20) is obtained by substituting the diagonal elements of the matrix in (
13) for the expression of the Ostrogradsky–Liouville theorem. Now, denoting
we can write
instead of (
20). It can be seen from (
2) that
; therefore,
always decreases as
t increases.
Now let us consider a particular (yet very important) case of a system with constant input and service intensities. For a queuing system where
and
, it follows from (
21) and (
22) that
where
It follows from (
23) and (
24) that
for
t=0 and
for
, otherwise
. This means that no single eigenvalue of the translation matrix of a system with constant parameters is equal to zero for any finite
t, as this determinant is equal to the product of the eigenvalues of the probability translation matrix.
In [
4], the transition mode time has been defined as the reciprocal of the smallest eigenvalue of matrix
with a certain coefficient. Here, we determine this time based on the analysis of the determinant of the probability translation matrix (
23). Indeed, this determinant is the product of the eigenvalues of its matrix [
21]:
Then, the value
is the average characteristic of a queuing system with constant intensities of arrival and service flows in the transient mode. Indeed, the determinant of the probability translation matrix is equal to the product of its eigenvalues, each of which, in combination with an eigenvector, describes an independent process of probability translation in the transient mode. Thus, the root of the product of these numbers characterizes the average decay rate of the transient process. Moreover, the damping is the geometric mean of the damping of all eigenvalues.
Definition 1. The value , defined by expression (26), is called the decay rate of a transient process in a queuing system, and characterizes the decay rate of this process. Definition 2. The time constant of the transient mode is the time during which the value , characterizing the transient mode, will decrease by e times, i.e., : Strictly speaking, the transient mode is infinite in time. Indeed,
0 only as
. In practice, one can assume that the transitional mode has ended if
does not exceed a certain small value. Then, based on the analysis of the probability translation matrix, one can determine the time of the transition mode by analogy with [
4].
Definition 3. The transition time is the time from the beginning of the transition mode to the moment , when the condition (where ε is an infinite small value) will be satisfied.
In accordance with Definition 3, the transition time is
where
. Further numerical calculations show that it is reasonable to choose
.
From the authors’ point of view, this definition is more general than that in [
4], as it averages the behavior of all eigenvectors
,
corresponding to the eigenvalues
,
, the linear combination of which completely describes the behavior of the system.
4. Queuing System MAP/M/1/N with a Jump in the Arrival and Service Intensities
In this section, the analytical solution to the Kolmogorov system of equations is found for a piecewise constant change in the arrival intensity , and the behavior features of the considered queuing system based on this solution are described. The solution is based on finding the probability translation matrix. First, we formulate the theorem concerning the probability translation matrix of the Kolmogorov system of equations with piecewise constant coefficients.
Theorem 1 (On the solution to the Kolmogorov system of equations with piecewise constant coefficients).
The probability translation matrix of a queuing system with correlated flows and piecewise constant parameters at time t is found as a product of interval translation matrices with constant parameters:where G is the number of intervals with constant parameters. Proof. It has been shown in [
4] that the probability translation matrix allows the probabilities of the system states with constant parameters at any time to be found as
Then, at time
(the moment of the first jump), the probabilities of the states are
where
. Taking into account the fact that the state probabilities cannot change abruptly, for the second interval we can obtain
At time
(the moment of the second jump), the state probabilities are defined as
where
. For the third interval, we can obtain
Similarly, for the
G-th interval, we can obtain
where
. Thus, for the
G-th interval the translation matrix of the state probabilities of a system with correlated flows is determined by expression (
27). □
Note that the following main properties in the behavior of a queuing system with correlated flows in the transient mode follow from Theorem 1.
Property 1. Let and be the moments of time at which two jumps in the intensity of arrival or service occur sequentially, with . Let and be the duration of the transition modes after the first and second jumps, respectively. If the arrival or service intensity jump occurs during the transition after the previous jump , then the total transition time is . If the second jump occurs during the stationary mode , then both transient processes are independent of each other.
Property 2. If the duration of the arrival or service intensity jump is less than the time constant in the transient mode, then the intensity jump does not affect the system behavior. If the duration of the jump is more than three time constants in the transition mode, then the jump in intensity leads to a jump in the probabilities of states.
Indeed, for a time equal to the time constant, the values of the state probabilities decrease by a factor of
e [
4]. During this time, the system does not have time to go into stationary mode. If the jump time is more than
, then, in [
4], it is shown that the system has time to switch to a stationary mode and it should be taken into account in the analysis. Indeed, in [
4] it is theoretically and numerically shown that the transient mode lasts on the order of
.
Property 3. Let the system have a finite number of jumps at time . The stationary state of the queuing system after all jumps in arrival and service intensities is determined by its parameters, , , after the last jump . However, the nature of the transition mode is determined by its previous states.
Indeed, based on (
27), this can be written as
where
Thus, the probability of state
is the initial condition for the last jump. However, the probabilities of the system states in the stationary mode are determined only by the parameters of this system, and the initial conditions in the solution to the Kolmogorov system of equations do not affect the probabilities in the stationary mode (at
) [
1].
Now, let us consider the queuing system with an additional piecewise constant input flow based on the results obtained above.
5. Queuing System MAP/M/1/N with a Periodic Jump in the Arrival and Service Intensities
Let us consider a periodic abrupt change in the arrival intensity of the Poisson flow:
Here, T is the period of change of parameters, and is the set of natural numbers.
Obviously, the translation matrix for the period completely describes the state of the system, as it allows us to obtain the values of the state probabilities at any moment of the period. The behavior of the periodic system, in accordance with the theory of differential equations with periodic Lyapunov coefficients [
24], is described based on the analysis of the eigenvalues and eigenvectors of this matrix.
Theorem 2 (On the eigenvalues of the probability translation matrix of a periodic system). The modules of eigenvalues of the probability translation matrix over period T of a queuing system with correlated periodic arrival and service intensities lie in interval , and one of these eigenvalues is always equal to one:
Proof. It follows from (
13) that the determinant of the coefficient matrix is equal to zero for any
and
. This means that one of the eigenvalues of this matrix is zero even if
is a piecewise constant function of the form (
38). Taking into account (
14), it can be argued that one of the eigenvalues of the translation matrix is equal to one. Based on Lemma 2, translation matrices on intervals with constant parameters are stochastic. Therefore, the product (
27) of these matrices is stochastic. However, the eigenvalues of the stochastic matrix always lie within the interval
[
25]. □
The further description of the behavior of a queuing system with periodic
is based on studying the eigenvalues of the probability translation matrix over the period. In accordance with Lyapunov’s stability theory, solutions to a differential equation with periodic coefficients [
24] are stable (not increasing in time) if all characteristic numbers of the translation matrix (multipliers) are less than or equal to one in absolute value. If at least one eigenvalue of this matrix is greater than unity in absolute value, then the solution is unstable (increasing in time). In addition, if the eigenvalues are real then the transient process is exponential, while if they are complex, the transient process is undulating [
24]. It should be noted here that the period translation matrix found by the authors is not a monodromy matrix [
24], as its order is one higher than its rank.
Corollary 1 (On the nature of the probabilities of states of an MAP system with periodic intensities). The state probabilities of a queuing system with flows and periodic and are periodic functions with a period equal to the period of change in the arrival and service intensities.
Proof. As on the basis of Theorem 2 we have
;
,
, then in accordance with Lyapunov’s theorem on the stability of periodic systems, the solutions to system (
13) are Lyapunov stable. In this case, the system cannot be asymptotically stable in of Lyapunov sense, as one of the eigenvalues of the probability translation matrix is always equal to one. Thus, the corollary is proven. □
Obviously, for periodically changing state probabilities, one can find the average value of the probability of the
i-th state as
Such averaging makes sense if the period of change of probabilities is less than ; otherwise, each of the transient modes should be considered as an independent one.
6. Numerical Example
In this section, the numerical study of a queuing system with a main constant flow and an additional jumpy Poisson flow for the case , is carried out. Let describe the three types of traffics with intensities packets/s, packets/s, and packets/s. The Poisson flow characterises anomalous traffic with intensities packets/s (before the jump) for the first interval and packets/s (after the jump) for the second interval. The service intensity on both intervals is packets/s.
These parameters characterise real data flows in wireless broadband networks used in unmanned aerial vehicles [
26]. The probability matrices
and
for both intervals are
The dependencies of state probabilities on time are shown in
Figure 2. Here, the jump in arrival intensities occurs at time
s. For the first and second intervals,
,
, and
are chosen (
is the average arrival intensity of
). At the time of the jump, the transition mode that occurs in the system as a result, for example, of its installation and reboot, has not yet ended and the total time of the transition mode, according to Property 1 is
s, where
is the time transition mode in the second interval. It can be seen from the calculation results (
Figure 2) that the sum of the probabilities of all states is equal to one for any
t (thin blue line), which confirms the correctness of the calculations. The red curve corresponds to the probability of a free state of the buffer
, the blue curve corresponds to the loss probability
, and the green curve corresponds to one order in the buffer
. After the end of all transient processes, the probabilities of the system states in the stationary mode take the following values:
;
;
, which fully correspond to the results based on [
1].
Figure 3 shows similar calculations for another value of the intensity of the additional flow:
packets/s before the jump and
packets/s after the jump. Thus, after the jump,
. For a given ratio of the arrival and service intensities, the probabilities of states in the stationary mode are approximately equal to
, which corresponds to the theoretical results based on the results in [
1]. In this case, the transition mode time in the second interval decreased, amounting to
s and
s.
Figure 4 shows the calculations of state probabilities for
packets/s and
packets/s, i.e., for
. For this ratio,
;
;
. The total time of the transition mode was
s. Thus, with an increase in the intensity of the additional flow in the second interval, the jumps in the probabilities of the system states increase and the time of the transition mode decreases.
Next, let us consider a periodic change in the arrival intensity of the Poisson flow. Each period includes two intervals with constant intensities of
and Poisson flows. The dependencies of the modules of the eigenvalues of the probability translation matrix on the duration of the second interval of the period are shown in
Figure 5 and
Figure 6. Here, the duration of the first interval is
s. The calculation results show that eight of the nine eigenvalues are less than one in absolute value and tend to zero with the duration of the second interval
, and one is equal to one for any values of
and
. This means that the process is periodic in the system. Those solutions to the Kolmogorov system of equations are Lyapunov stable.
Figure 7,
Figure 8 and
Figure 9 show the dependencies of the probabilities of states with a periodic abrupt change in the arrival intensity. In the first case (
Figure 7), the arrival intensity at the first interval of period
packets/s, the intensity at the second interval of period
packets/s, the time from the beginning of the arrival of the
flow to the arrival of an additional Poisson flow
s, the duration of the first interval of period
s, and the duration of the second interval of period
s. It can be seen from the results of the calculation that during time
the system manages to switch to the stationary mode, with an abrupt decrease in intensity, and does not have time to switch to the stationary mode during time
, with an increase in input intensity. In this case, the averaging of the state probabilities is impossible, and these probabilities must be considered separately for each interval. In the second case (
Figure 8), the period of change in the arrival intensity is much less than the time of the transition mode
s,
s, and the values of the Poisson flows are
packets/s and
packets/s. In this case, it is possible to average the probabilities of the system states according to (40). Thus, the average value of the probability that the buffer is free is 0.84. In the third case (
Figure 9), the times of the first and second intervals of the period are equal to
s,
s, respectively, and the arrival intensity
packets/s and
packets/s, respectively. In this case, the averaging of the probabilities of states is impossible despite the small period of change in the intensity of the input flow.
Numerical calculations show that in all three cases of periodic change in the intensity of the input Poisson flow, the change in the state probabilities has a periodic undamped character, which fully corresponds to the theoretical results of this paper.