• Journal of the Korean Operations Research and Management Science Society
• /
• v.20 no.2
• /
• pp.1-10
• /
• 1995

In this study, a threshold policy is considered for the M/M/2 queueing system with server vacations. The probability generating function for the number of customers present in the system is derived using an embedded Markov chain approach. Then, assuming a linear cost structure, an efficient procedure to find an optimal threshold policy is presented. The Laplace-Stieltjes transofrm for th waiting time of an arbitrary customer under a "FIFO" discipline is also derived.o derived.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.6
• /
• pp.2450-2469
• /
• 2018

In this paper, we develop a spatiotemporal model to analysis of cellular user in underlay D2D communication by using stochastic geometry and queuing theory. Firstly, by exploring stochastic geometry to model the user locations, we derive the probability that the SINR of cellular user in a predefined interval, which constrains the corresponding transmission rate of cellular user. Secondly, in contrast to the previous studies with full traffic models, we employ queueing theory to evaluate the performance parameters of dynamic traffic model and formulate the cellular user transmission mechanism as a M/G/1 queuing model. In the derivation, Embedded Markov chain is introduced to depict the stationary distribution of cellular user queue status. Thirdly, the expressions of performance metrics in terms of mean queue length, mean throughput, mean delay and mean dropping probability are obtained, respectively. Simulation results show the validity and rationality of the theoretical analysis under different channel conditions.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.657-669
• /
• 2006

In this paper, we analyze a leaky bucket (LB) scheme with queue length dependent arrival rates. In other words, if the queue length exceeds an appropriate threshold value on buffer, the arrivals need to be controlled. In ATM networks, if the congestion occurs, the input traffics must be controlled (reduced) for congestion resolution. By the bursty and correlated properties of traffics, the arrivals are assumed to follow a Markov-modulated Poisson process (MMPP). We derive the loss probability and the waiting time distribution for arbitrary cell. The analysis is done by using the embedded Markov chain and supplementary variable method. We also present some numerical examples to show the effects of our proposed LB scheme.

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.523-533
• /
• 2006

We analyze two finite buffers queueing system with priority scheduling dependent upon queue length. Customers are classified into two types ( type-l and type-2 ) according to their characteristics. Here, the customers can be considered as traffics such as voice and data in telecommunication networks. In order to support customers with characteristics of burstiness and time-correlation between interarrival, the arrival of the type-2 customer is assumed to be an Markov- modulated Poisson process(MMPP). The service order of customers in each buffer is determined by the queue length of two buffers. Methods of embedded Markov chain and supplementary variable give us information for queue length of two buffers. Finally, performance measures such as loss and mean delay are derived.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.18 no.4
• /
• pp.295-304
• /
• 2014

We analyze theMMPP/G/1/K queue with a modified state-dependent service rate. The service time of customers upon service initiation is changed if the number of customers in the system reaches a threshold. Then, the changed service time is continued until the system becomes empty completely, and this process is repeated. We analyze this system using an embedded Markov chain and a supplementary variable method, and present the queue length distributions at a customer's departure epochs and then at an arbitrary time.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.17 no.2
• /
• pp.103-113
• /
• 2013

We analyze the queueing model for leaky bucket (LB) scheme with dynamic arrivals and token rates. In other words, in our LB scheme the arrivals and token rates are changed according to the buffer occupancy. In telecommunication networks, the LB scheme has been used as a policing function to prevent congestion. By considering bursty and correlated properties of input traffic, the arrivals are assumed to follow a Markov-modulated Poisson process (MMPP). We derive the distribution of system state, and obtain the loss probability and the mean waiting time. The analysis is done by using the embedded Markov chain and supplementary variable method. We also present some numerical examples to show the effect of our proposed model.

• Journal of KIISE:Information Networking
• /
• v.31 no.2
• /
• pp.188-195
• /
• 2004

We have analyzed the performance of TCP in the CDMA mobile communications systems with the adaptive modulation and coding(AMC). The wireless channel using AMC is characterized with not high error rate but highly varying bandwidth. Due to time-varying bandwidth, timeout events of TCP occurs more frequently, which leads to the throughput degradation. The analysis model is composed of the two parts. In the first part, we divide TCP packet stream into ‘packet groups’and derive the probability distribution of the wireless transmission time of each Packet group that reflects the time varying characteristics of AMC. In the second part, we formulate embedded Markov chain by making use of the results of the first part to model TCP timer mechanism and wireless transmission. Since our system model is characterized by the forward link high speed data transmission using AMC, the results reported in this paper can be used as a guideline for the design and operation of HSDPA, 1xEV-DO, and 1xEV-DV.

• Journal of KIISE:Software and Applications
• /
• v.36 no.8
• /
• pp.607-615
• /
• 2009

There has recently been a trend that IT industry is united with traditional industries such as military, aviation, automobile, and medical industry. Therefore, embedded software which controls hardware of the system should guarantee the high reliability, availability, and maintainability. To guarantee these properties, there are many attempts to develop the embedded software based on COTS (Commercial Off The Shelf) hardware components. However, it can cause additional faults due to software/hardware interactions beside general software faults in this methodology. We called the faults, Linkage Fault. These faults have high severity that makes overall system shutdown although their occurrence frequency is extremely low. In this paper, we propose a new software reliability model which considers those linkage faults in embedded software development with COTS hardware components. We use the Bayesian Analysis and Markov Chain Monte-Cairo method to validate the model. In addition, we analyze real linkage fault data to support the results of the theoretical model.

• Journal of Sensor Science and Technology
• /
• v.26 no.4
• /
• pp.286-291
• /
• 2017

With regards to heading estimation using gyroscope and magnetometer signals, magnetic disturbance added in the magnetometer signals is a main degradation factor in the estimation accuracy. Although there are a number of existing mechanisms that may properly compensate for the magnetic disturbances, they are designed to react only to the magnetic disturbances, but not to the time derivative of disturbances. Note that the sensors may experience abrupt changes in the magnetic disturbances, particularly for ambulatory applications. This paper proposes a magnetic disturbance model-embedded heading estimation filter for time-varying magnetic environments. The proposed magnetic disturbance model is based on a first-order Markov chain with a conditional switching technique depending on the time derivative of disturbances. Once a high amount of derivative is detected, the corrupted magnetometer signals are discarded to protect the filter from them. In our experimental results, the averaged heading error of tests was $1.46^{\circ}$, while that of the original approach without switching was $5.75^{\circ}$.

• Journal of applied mathematics & informatics
• /
• v.6 no.2
• /
• pp.553-568
• /
• 1999

This paper is of concern to queueing analysis of the dynamic rate leaky bucket(LB) scheme in which the token generation interval changes according to the buffer state at a token generation epoch. Cell arrivals are assumed to follow a Markovian arrival process (MAP) which is weakly dense in the class of the stationary point processes. By using the embedded Markov chain method we obtain the probability distribution of the system state at a token generation epoch and an arbitrary time. Some simple numerical examples also are provided to show the effects of the proposed LB scheme.