• The Bulletin of The Korean Astronomical Society
• /
• v.39 no.2
• /
• pp.40-40
• /
• 2014

Through KASI, Korean astronomers will have access to the Gemini Observatory starting in 2015. Gemini operates two optical/infrared 8m-class telescopes: one on the northern hemisphere in Hawaii, one on the southern hemisphere in Chile. Both are equipped with state of the art instruments and adaptive optics systems that will be presented. Gemini also offers the opportunity for instrument development and welcomes visiting instruments. In terms of operations, Gemini offers to its partners three ways of applying for time: through semester-basis calls for standard programs, through yearly calls for Large and Long Programs, and through monthly calls for fast turnaround programs. Gemini operates in queue mode (observing for the principal investigators and allowing flexibility in the time domain), as well as in the classical visitor mode (where principal investigators come to the telescope). I will explain the requirements and advantages of all these modes as well as a full update on the Gemini Observatory.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.8
• /
• pp.816-822
• /
• 2010

In this paper, we propose an algorithm to improve TCP performance over wireless links. TCP is known to have poor performance over wireless links because TCP has no mechanism to differentiate congestion loss from wireless loss, and treats all losses as congestive. We present a simple method to determine the cause of packet loss using the successive ECN. In addition, we present an algorithm to control the congestion window size based on the estimated queue state in order to guarantee the fairness and high link utilization.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.27 no.3
• /
• pp.26-30
• /
• 2004

We consider an AS/RS(Automated Storage/ Retrieval System) which performs both of single and dual commands. The service times of single and dual commands are assumed to be differently distributed. Steady-state probabilities at the service completion epochs are calculated. Then, we transform the arrival rates of storage and retrieval commands into those of single and dual commands. Using this, we propose a non-preemptive queueing model with priority for the performance analysis of an AS/RS, and obtain approximated means of queue lengths and waiting times.

• The Korean Journal of Applied Statistics
• /
• v.17 no.2
• /
• pp.311-326
• /
• 2004

We propose a Markov model of two bottleneck ECN/RED gateways experiencing a large number of TCP users. We show that, as the number of users becomes large, the queue sizes per user of the both gateways converge at steady-state to individual fixed points. Also, we derive a computational algorithm to exactly obtain the fixed points and present simulation example showing the limiting behavior of the gateway traffic.

• Korean Management Science Review
• /
• v.25 no.3
• /
• pp.87-99
• /
• 2008

Besieged by needs for upgrading the current Internet, social pressures, and regulatory concerns, a network operator may be left with few options to Improve his services. Yet he can still consider a transition prioritizing network services. In this paper, we describe a transition from a non-priority system to a prioritized one, using non-preemptive M/G/1 model. After reviewing the constraints and theoretical results from past research, we describe steps making the transition Pareto-improving, which boils down to a multi-goal search for a Pareto-improving state. We use a genetic algorithm that captures actual transition costs along with incentive-compatible and Pareto-Improving constraints. Simulation results demonstrate that the initial post-transition solutions are typically Pareto-improving. for non Pareto-improving solutions, the heuristic quickly generates Pareto-improving and incentive-compatible solutions.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.5
• /
• pp.1587-1605
• /
• 2015

Mobile cloud computing (MCC) combines mobile Internet and cloud computing to improve the performance of applications. In MCC, the data processing and storage for mobile devices (MDs) is provided on the remote cloud. However, MCC faces the problem of energy efficiency caused by randomly varying channels. In this paper, by introducing the Lyapunov optimization method, we propose a combined service subscription and delivery (CSSD) algorithm that can guide the users to subscribe to services reasonably. This algorithm can also determine whether to deliver the data and to whom data is sent in the current time unit based on the queue backlog and the channel state. Numerical results validate the correctness and effectiveness of our proposed CSSD algorithm.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.841-844
• /
• 2002

Recently there has been an increasing interest in queueing models with disasters. Upon arrival of a disaster, all the customers present are noshed out. Queueing models with disasters have been applied to the problems of failure recovery in many computer networks systems, database systems and telecommunication networks in this paper, we suffest the steady state and sojourn time distributions of the M/G/l model with disaster and mass alway when the system is empty.

• Journal of the Korea Society for Simulation
• /
• v.13 no.4
• /
• pp.43-53
• /
• 2004

The distributed OCSP (Online Certificate Status Protocol), composed of multiple responders, is a model that enhances the utilization of each responder and reduces the response time. In a multi-user distributed environment, load balancing mechanism must be developed for the improvement of the performance of the whole system. Conservative load balancing algorithms often ignore the communication cost of gathering the information of responders. As the number of request is increased, however, fail to consider the communication cost may cause serious problems since the communication time is too large to disregard. We propose an adaptive load balancing algorithm and evaluate the effectiveness by performing modeling and simulation. The principal advantage of new algorithm is in their simplicity: there is no need to maintain and process system state information. We evaluated the quality of load balancing achieved by the new algorithm by comparing the queue size of responders and analyzing the utilization of these responders. The simulation results show how efficiently load balancing is done with the new algorithm.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.2
• /
• pp.214-222
• /
• 2008

Bode principle is applied to carry out traffic control for rate based ATM network, which guarantees the higher buffer utilization, buffer overflow-free, and well utilization of bandwidth. The principle confirms the relationship between the threshold of buffer queue and the network bandwidth, as well as the relationship between the threshold of buffer and source input rate. Theoretic warrant of the buffer threshold is proposed. The reference range of source input rate is provided in theory, which makes the source end respond to the change of network state rapidly and dynamically, and then the effect of time delay to the traffic control is avoided. Simulation results show that the better steady and dynamic performances of networks are obtained by Bode principle.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.33B no.7
• /
• pp.11-20
• /
• 1996

In this paper, the performance of the IeEE 802.4 token-passing is analyzed under the assumption that all nodes have finite buffers and finite THT (token tolding time). The loads generated at nodes are assumed to be asymmetric. The priority mechanism is not considered. This paper derives an approximate matrix equation of the queue length distributin in terms of the number of nodes, frame arrival rate and mean service time of a frame in steady state. Based on the matrix equation, the mean token rotation time, the mean waiting time and the blocking probability are derived analytically. the analytic results are compared with simulation results in order to show that the deviations are small.