• Journal of Korean Society of Transportation
• /
• v.22 no.7 s.78
• /
• pp.131-137
• /
• 2004

Conventional traffic signal optimization models assume that green intervals for pedestrian crossings are given as exogenous inputs such as minimum green intervals for straight-ahead movements. As the result, in reality, the green intervals of traffic movements may not distribute adequately by the volume/saturation-flow of them. In this paper, we proposed signal optimization models formulated in BMILP to integrate pedestrian crossings into traffic movements under under-saturated traffic flow. The model simultaneously optimizes traffic and pedestrian movements to minimize weighted queues of primary queues during red interval and secondary queues during queue clearance time. A set of linear objective function and constraints set up to ensure the conditions with respect to pedestrian and traffic maneuvers. Numerical examples are given by pedestrian green intervals and the number of pedestrian crossings located at an arm. Optimization results illustrated that pedestrian green intervals using proposed models are greater than those using TRANSYT-7F, but opposite in the ratios of pedestrian green intervals to the cycle lengths. The simulation results show that proposed models are superior to TRANSYT-7F in reducing delay, where the longer the pedestrian green interval the greater the effect.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.765-767
• /
• 1998

Many application in human computer interaction(HCI) require tacking a human face and facial features. In this paper we propose efficient parallel processing system for face tracking under heterogeneous networked. To track a face in the video image we use the skin color information and connected components. In terms of parallelism we choose the master-slave model which has thread for each processes, master and slaves, The threads are responsible for real computation in each process. By placing queues between the threads we give flexibility of data flowing

• Journal of applied mathematics & informatics
• /
• v.30 no.3_4
• /
• pp.531-540
• /
• 2012

An approximation for the number of customers at service facility in $M/G/c/K$ retrial queue is provided with the help of the approximations of ordinary $M/G/c/K$ loss system and ordinary $M/G/c$ queue. The interpolation between two ordinary systems is used for the approximation.

• Proceedings of the IEEK Conference
• /
• 2000.11a
• /
• pp.445-448
• /
• 2000

This paper considers a scheduling algorithm for high-speed routers, where the router has an N x N port input-queued switch and the input queues are composed of N VOQ(Virtual Output Queue)s at each input port. The major concern of the paper is on the scheduling mechanism for the router. The paper discusses the preferred levels of the performance measures and then develope a non-linear mixed integer programming. Additionally, the paper suggests a heuristic scheduling algorithm for efficient and effective switching.

• Proceedings of the IEEK Conference
• /
• 2000.11a
• /
• pp.303-306
• /
• 2000

In this paper, we propose VC merge capable hardware architecture for scalability based on ATM switching fabric. We implemented a scheduler for configuring crossbars in input-queued switches which support virtual output queues at the input ports. Also, we implemented VC merge capable scheduler at the output ports. We verified the proposed model by using C language, and designed with VHDL language. Then, we simulated and synthesized it with software of the SYNOPSYS corporation.

• Journal of Korea Society of Industrial Information Systems
• /
• v.12 no.2
• /
• pp.16-23
• /
• 2007

Tandem queueing systems well suit for modeling many telecommunication systems. Recently, very general $BMAP/G/1/N/1{\to}{\bullet}/PH/1/M-1$ type tandem queues were constructively studied. In this paper we illustrate application of the obtained results for optimization of a buffer pool design.

• Journal of the Korean Statistical Society
• /
• v.36 no.2
• /
• pp.285-297
• /
• 2007

We consider the $P_{\lambda}^M-service$ policy for an M/G/1 queueing system in which the workload is monitored randomly at discrete points in time. If the level of the workload exceeds a threshold ${\lambda}$ when it is monitored, then the service rate is increased from 1 to M instantaneously and is kept as M until the workload reaches zero. By using level-crossing arguments, we obtain explicit expressions for the stationary distribution of the workload in the system.

• Journal of applied mathematics & informatics
• /
• v.26 no.1_2
• /
• pp.389-393
• /
• 2008

This paper describes a single-server queue where the server is unavailable during some intervals of time, which is referred to as vacations. The major contribution of this work is to derive general formulas for the additional delay in the vacation models of the single vacations, head of line priority queues with non-preemptive service, and multiple vacations and idle time.

• Journal of the Korean Statistical Society
• /
• v.28 no.4
• /
• pp.523-533
• /
• 1999

We consider the M/G/1 queueing model with D-policy. The server is turned off at the end of each busy period and is activated again only when the sum of the service times of all waiting customers exceeds a fixed value D. We obtain the distribution of unfinished work and show that the unfinished work decomposes into two random variables, one of which is the unfinished work of ordinary M/G/1 queue. We also derive the distribution of queue waiting time.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.19 no.3
• /
• pp.203-217
• /
• 1994

In this paper we develop an exponentialization procedure for the modelling of open FMS networks with general processing time at each station and limited buffer size. By imposing a reasonable assumption on the solution set, the nonlinear equation system for the exponentialization procedure is formulated as a variational inequality problem and the solution existence is examined. The efficient algorithm for the nonlinear equation system is developed using linearized Jacobi approximation method.