• Journal of Korean Institute of Industrial Engineers
• /
• v.42 no.1
• /
• pp.30-37
• /
• 2016

A multi-server queueing system with an infinite buffer and impatient customers is analyzed. The system operates in the finite state Markovian random environment. The number of available servers, the parameters of the batch Markovian arrival process, the rate of customers' service, and the impatience intensity depend on the current state of the random environment and immediately change their values at the moments of jumps of the random environment. Dynamics of the system is described by the multi-dimensional asymptotically quasi-Toeplitz Markov chain. The ergodicity condition is derived. The main performance measures of the system are calculated. Numerical results are presented.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.421-438
• /
• 2015

In this paper, we study the existence of classical and generalized solutions for nonlinear differential inclusions $x^{\prime}(t){\in}F(t,x(t))$ in Hilbert spaces in which the multifunction F on the right-hand side is hemicontinuous and satisfies the semimonotone condition or is condensing. Our existence results are obtained via the selection and fixed point methods by reducing the problem to an ordinary differential equation. We first prove the existence theorem in finite dimensional spaces and then we generalize the results to the infinite dimensional separable Hilbert spaces. Then we apply the results to prove the existence of the mild solution for semilinear evolution inclusions. At last, we give an example to illustrate the results obtained in the paper.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.29 no.4
• /
• pp.1-10
• /
• 2004

In this paper we study bounds for characteristics of stationary waiting times in (max, +)-linear systems with a Poisson arrival process. which are prevalent in manufacturing systems, kanban systems, cyclic and acyclic fork-and-join type systems, finite or infinite capacity tandem queues with various kinds of blocking, transportation systems, and telecommunication networks, and so on. Recently, some results on series expansion for characteristics, such as higher moments, Laplace transform, and tail probability, of transient and stationary waiting times in a class of (max, +)-linear systems via Taylor series expansions have been studied. In order to overcome the computational complexity in those results, we consider bounds for characteristics of stationary waiting times using valuable stochastic ordering results. Some numerical examples are also provided.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.121.2-121
• /
• 2001

Many of today´s robot are required to perform tasks which demand a high level of accuracy in end-effector positioning. Those rigid robots are very inefficient and slow because its have large and heavy links, In an attempt to solve these problems, a robots using flexible beam were created. But the single-link flexible beam is infinite-dimensional system. Many researchers have proposed controlling such a beam an approximated model consisting of a finite a number of models. In this paper, we start by deriving the analytic model for the dynamics of general single-link beam, and a controller is designed for flexible beam with integral type servo system bases of the linear matrix inequality (LM) technique. To the end, simulation results show that a designed controller guarantees affective vibration control the single-link flexible beam.

• Journal of Ship and Ocean Technology
• /
• v.7 no.2
• /
• pp.1-19
• /
• 2003

This paper introduces a unified theory for the radiation problem of adjacent multiple floating bodies. The particular case of interest is the multiple slender bodies that their centerlines are parallel. The infinite-and finite-depth unified theories for the single-body problem are extended to solve each sub-problem of multiple bodies. The present method is valid for deep water and moderate water depth, and applicable for individually floating bodies as well as multimaran-type vehicles. For the validation of the present method, the heave and pitch hydrodynamic coefficients for two adjacent ships are compared with the results of a three-dimensional method, and an excellent agreement is shown. The application includes the hydrodynamic coefficients and motion RAOs of four trimarans which have different longitudinal and transverse arrangements for sidehulls.

• Journal of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.941-947
• /
• 2007

Let M be a complete Riemannian manifold and let N be a Riemannian manifold of nonpositive scalar curvature. Let ${\mu}0$ be the least eigenvalue of the Laplacian acting on $L^2-functions$ on M. We show that if $Ric^M{\ge}-{\mu}0$ at all $x{\in}M$ and either $Ric^M>-{\mu}0$ at some point x0 or Vol(M) is infinite, then every harmonic morphism ${\phi}:M{\to}N$ of finite energy is constant.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.20 no.5
• /
• pp.521-532
• /
• 2007

Elastic wave propagations in the semi-infinite transversely isotropic cylinder under various kinds of longitudinal impact loads are analyzed using the axisymmetric finite element method and Houbolt time-integration scheme. For which the finite element program is newly constructed and verified through the comparison of present numerical results with those by other researchers. E-type glass-epoxy composite cylinders with different fiber volume fractions are adopted and studied in detail with dynamic responses of the isotropic cylinder. Three dimensional wave motions are given in graphic form to show the realistic view of the wave propagation. Nondimensionalized dynamic characteristic variables which relate the size of finite element mesh, the time step, and the wave speed are presented for obtaining accurate and stable numerical results.

• Journal of the Korea Society for Simulation
• /
• v.19 no.3
• /
• pp.109-117
• /
• 2010

In this study, we consider stationary waiting times in a simple fork-and-join type queue which consists of three single-server machines, Machine 1, Machine 2, and Assembly Machine. We assume that the queue has a renewal arrival process and that independent service times at each node are either deterministic or non-overlapping. We also assume that the Machines 1 and 2 have an infinite buffer capacity whereas the Assembly Machine has two finite buffers, one for each machine. Services at each machine are given by FIFO service discipline and a communication blocking policy. We derive the explicit expressions for stationary waiting times at all nodes as a function of finite buffer capacities by using (max,+)-algebra. Various characteristics of stationary waiting times such as mean, higher moments, and tail probability can be computed from these expressions.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.32 no.5
• /
• pp.469-483
• /
• 2012

The propagation characteristics of a mechanical wave in human soft tissue depend on its elastic properties. Investigation of these propagation characteristics is of paramount importance because it may enable us to diagnose cancer or tumor from the vibration response of the tissue. This paper investigates and compares displacement patterns generated in soft tissue due to several forms of low-frequency vibration sources placed on a surface. Among vibration sources considered are a normal load, tangential load, and antiplane shear load. We derive analytical expressions for displacements in viscoelastic single layers, and calculate displacement patterns in half space and infinite plate type tissue. Also, we simulate the vibration response of a finite-sized tissue using finite element method. The effects of the type of stress, the size and frequency of vibration sources, and medium boundaries on displacement patterns are discussed.

• Korean Journal of Optics and Photonics
• /
• v.20 no.3
• /
• pp.156-165
• /
• 2009

We theoretically derive the set of general paraxial zoom locus equations for all zoom lens systems with finite object distance, including the infinite object distance case, by using the Gaussian bracket method and matrix representation of paraxial ray tracing. We make the zoom locus program by means of a numerical calculation method according to these equations in Visual Basic Language. Consequently, the solutions of this method can be consistently and flexibly used in all types of zoom lens in the step of initial design about zoom loci. Finally, in order to verify the justification and usefulness of this method, we show that two examples, such as $M_{4a}$ and $M_{4h}$ types of 4 groups, and one example, $M_{5n}$ type of 5 groups, which are very complicated zoom lens systems, can be rapidly and diversely traced through various interpolations by using this program.