• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.1133-1136
• /
• 2005

Markovian Service Process(MSP)는 기존의 Markovian Arrival Process(MAP)에서 사용하던 위상 개념을 고객의 서비스 과정에 대응시킨 모형이다. 이는 서버의 상태에 따라 달라질 수 있는 서비스 상태를 위상 변화에 대응시키는 모형이다. 본 논문에서는 대기행렬 모형의 중요한 성능 척도인 고객 수 분포에 관하여 임의시점, 고객 도착 직전 시점, 고객 이탈 직후 시점에서의 관계식을 유도한다.

• Communications for Statistical Applications and Methods
• /
• v.18 no.4
• /
• pp.433-443
• /
• 2011

We consider a compound Poisson risk model in which the premiums may depend on the state of the surplus process. By using the overflow probability of the workload process in the corresponding M/G/1 queueing model, we obtain the probability that the ruin occurs before the surplus reaches a given large value in the risk model. We also examplify the ruin probability in case of exponential claims.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2017.05a
• /
• pp.660-661
• /
• 2017

We consider a discrete-time queue with batch geometric arrivals, geometric services, and retention of reneging customers, in which retention probability depends on the number of customers in the system. The steady state distribution of the number of customers in the system is derived.

• Journal of the Korea Society for Simulation
• /
• v.25 no.3
• /
• pp.117-123
• /
• 2016

This paper presents inference methods for inner operations of a multi-server queue when historical data are limited or system observation is restricted. In a queueing system analysis, autocorrelated arrival and service processes increase the complexity of modeling. Accordingly, numerous analysis methods have been developed. In this paper, we introduce an inference method for specific situations when external observations exhibit autocorrelated structure and and observations of internal operations are difficult. We release an assumption of the previous method and provide lemma and theorem to guarantee the correctness of our proposed inference method. Using only external observations, our proposed method deduces the internal operation of a multi-server queue via non-parametric approach even when the service times are autocorrelated. The main internal inference measures are waiting times and service times of respective customers. We provide some numerical results to verify that our method performs as intended.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.15 no.3
• /
• pp.45-51
• /
• 2016

Existing real-time signal control system was brought up typical problems which are supersaturated condition, point detection system and loop detection system. For that reason, the next generation signal control system of advanced form is required. Following thesis aimed at calculating queue length for the next generation signal control system to utilize basic parameter of signal control in crossing queue instead of the volume of real-time through traffic. Overflow saturated condition which was appeared as limit of existing system was focused to set-up range. Real-time location information of individual vehicle which is collected by GPS data. It converted into the coordinate to apply shock wave model with an linear equation that is extracted by regression model applied by a least square. Through the calculated queue length and link length by contrast, If queue length exceed the link, queue of downstream intersection is included as queue length that upstream queue vehicle is judeged as affecting downstream intersection. In result of operating correlation analysis among link travel time to judge confidence of extracted queue length, Both of links were shown over 0.9 values. It is appeared that both of links are highly correlated. Following research is significant using real-time data to calculate queue length and contributing to signal control system.

• Journal of the Korea Society for Simulation
• /
• v.17 no.2
• /
• pp.75-82
• /
• 2008

The times of service commencement and service completion had been used for inferring the queueing systems. However, the service commencement times are difficult to measure because of unobservable nature in queueing systems. In this paper, for inferring queueing systems, the service commencement times are replaced for arrival times which can be easily observed. Determining the service commencement time is very important in our methods. The methods for first come first served(FCFS), last come first served(LCFS) queueing discipline are already developed in our previous work. In this paper, we extend to random selection for service(RSS) queueing discipline. The performance measures we used are mean queueing time and mean service time, the variances of two. The simulation results verify our proposed methods to infer queueing systems under RSS discipline.

• Journal of Korean Society of Transportation
• /
• v.21 no.2
• /
• pp.63-70
• /
• 2003

Real-time information on vehicle queue at intersections is essential for optimal traffic signal control, which is substantial part of Intelligent Transport Systems (ITS). Computer vision is also potentially an important element in the foundation of integrated traffic surveillance and control systems. The objective of this research is to propose a method for detecting an exact queue lengths at signalized intersections using image processing techniques and a neural network model Fuzzy ARTMAP, which is a supervised and self-organizing system and claimed to be more powerful than many expert systems, genetic algorithms. and other neural network models like Backpropagation, is used for recognizing different patterns that come from complicated real scenes of a car park. The experiments have been done with the traffic scene images at intersections and the results show that the method proposed in the paper could be efficient for the noise, shadow, partial occlusion and perspective problems which are inevitable in the real world images.

• Journal of Korean Society of Transportation
• /
• v.23 no.8 s.86
• /
• pp.181-191
• /
• 2005

This study developed an algorithm for real-time signal control based on the detection system that can collect sectional travel time. The signal control variable is maximum queue length per cycle and this variable has a sectional meaning. When a individual vehicle pass through the detector, we can gather the vehicle ID and the detected time. Therefor we can compute the travel time of an individual vehicle between consecutive detectors. This travel time informations were bisected including the delay and not. We can compute queue withdrawing time using this bisection and the max queue length is computed using the deterministic delay model. The objective function of the real-time signal control aims equalization of queue length for all direction. The distribution of the cycle is made by queue length ratios.

• Journal of Korean Society of Transportation
• /
• v.20 no.5
• /
• pp.145-152
• /
• 2002

Real-time queueing information and/or predictive queue built-up information can be a good criterion in selecting travel options, such as routes, both for users, and for operators in operating transportation system. Provided properly, it will be a key information for reducing traffic congestion. Also, it helps drivers be able to select optimal roues and operators be able to manage the system effectively as a whole. To produce the predictive queue information, this paper proposes a predictive model for estimating and predicting queue lengths, mainly based on Kalman Filter. It has a structure of having state space model for predicting queue length which is set as observational variable. It has been applied for the Namsan first tunnel and the application results indicate that the model is quite reasonable in its efficacy and can be applicable for various ATIS system architecture. Some limitations and future research agenda have also been discussed.

• Journal of Korea Society of Industrial Information Systems
• /
• v.23 no.5
• /
• pp.19-32
• /
• 2018

This study focuses on an M/M/1 queue with an attached continuous-type inventory. The customers arrive into the system according to the Poisson process, and are served in their arrival order; i.e., first-come-first-served. The service times are assumed to be independent and identically distributed exponential random variable. At a service completion epoch, the customer consumes a random amount of inventory. The inventory is controlled by the traditional (s, S)-inventory policy with a generally distributed lead time. A customer that arrives during a stock-out period assumed to be lost. For the number of customers and the inventory size, we derive a product-form stationary joint probability distribution and provide some numerical examples. Besides, an operational strategy for the inventory that minimizes the long-term cost will also be discussed.