• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.4 no.1
• /
• pp.49-65
• /
• 2000

A method for inverting the Laplace transform is presented, using a finite series of the classical Legendre polynomials. The method recovers a real-valued function f(t) in a finite interval of the positive real axis when f(t) belongs to a certain class ${\mathcal{W}}_{\beta}$ and requires the knowledge of its Laplace transform F(s) only at a finite number of discrete points on the real axis s > 0. The choice of these points will be carefully considered so as to improve the approximation error as well as to minimize the number of steps needed in the evaluations. The method is tested on few examples, with particular emphasis on the estimation of the error bounds involved.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2006.05a
• /
• pp.67-70
• /
• 2006

In this paper. we study the controllability for the semilinear fuzzy integrodifferential control system with nonlocal condition in $E_N$ by using the concept of fuzzy number whose values are normal, convex, upper semicontinuous and compactly supported interval in $E_N$.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.31A no.4
• /
• pp.39-46
• /
• 1994

In this paper, the idea of using a multiple symbol obervation interval to improve error probability performance is applied to differential detection of MTCM(multiple trellis code modulation) with ${\Pi}$/4 shift QPSK, 8DPSK and 16DPSK. We propose two types of sliding multiple symbol differential detection algorithm, type 1 and type 2. The two types of sliding detection scheme are examined and compared with conventional(symbol-by-symbol) detection and bolck detection with these modulation formats in an additive white Gaussian noise(AWGN) using the Monte Carlo simulation. We show that the amount of improvement over conventional and block detection depends on the number of phases and the number of additional symbol intervals added to the observation. Computer simulagtion results are presented for 2,4,8 states in AWGN channel.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.251-274
• /
• 2020

We study a dynamical system that was originally defined by Romik in 2008 using an old theorem of Berggren concerning Pythagorean triples. Romik's system is closely related to the Farey map on the unit interval which generates an additive continued fraction algorithm. We explore some number theoretical properties of the Romik system. In particular, we prove an analogue of Lagrange's theorem in the case of the Romik system on the unit quarter circle, which states that a point possesses an eventually periodic digit expansion if and only if the point is defined over a real quadratic extension field of rationals.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.25 no.4
• /
• pp.546-553
• /
• 2001

A Parametric study is numerically carried out for flow fields in a two-dimensional plane channel with thin obstacles(“baffles and blocks”) mounted symmetrically in the vertical direction and periodically in the streamwise direction. The aim of this investigation is to understand how various geometric conditions influence the critical characteristics and pressure drop. A range of BR(the ratio of baffle interval to channel height) between 1 and 5 is considered. Especially when BR is equal to 3, for which the critical Reynolds number turned out to be minimal, we add blocks in the center region in order to study their destabilizing effects on the flows. It is revealed that the critical Reynolds number is further decreased by the presence of the block.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.7 no.1
• /
• pp.34-40
• /
• 2007

Balasubramaniam and Muralisankar (2004) proved the existence and uniqueness of fuzzy solutions for the semilinear fuzzy integrodifferential equations with nonlocal initial condition. Park et al. (2006) found the sufficient condition of this system. Recently, Kwun et al. (2006) proved the existence and uniqueness of solutions for the semilinear fuzzy integrodifferential equations with nonlocal initial conditions and forcing term with memory in $E_N$. In this paper, we study the controllability for this system by using the concept of fuzzy number whose values are normal, convex, upper semicontinuous and compactly supported interval in $E_N$.

• Korean Management Science Review
• /
• v.11 no.1
• /
• pp.23-37
• /
• 1994

This paper discusses the methodology for the operational performance of unit-load automated guided vehicles(AGVs) in a flow-shop-type flexible machining and assembly systems (FM/AS). Throughout the paper, AGVs are working as a carrier and mobile workstation. For a double-loop FM/AS, in which one loop is dedicated to machining and the other to assembly, three AGV operating strategies are proposed. Considering the entering interval and travel time of AGVs between workcenters, the strategies are developed to determine the best job sequence which minimizes the makespan and vehicle idle time. Entering times of AGVs and the required minimum number of AGVs are obtained on the basis of the best job sequence. When the number of AGVs are limited, entering times of AGVs are adjusted to maximize the utilization of AGVs.

• Korean Journal of Mathematics
• /
• v.22 no.4
• /
• pp.633-644
• /
• 2014

We get one theorem that there exists a unique solution for the fourth order semilinear elliptic Dirichlet boundary value problem when the number 0 and the coefficient of the semilinear part belong to the same open interval made by two successive eigenvalues of the fourth order elliptic eigenvalue problem. We prove this result by the contraction mapping principle. We also get another theorem that there exist at least two solutions when there exist n eigenvalues of the fourth order elliptic eigenvalue problem between the coefficient of the semilinear part and the number 0. We prove this result by the critical point theory and the variation of linking method.

• Proceedings of the KSRS Conference
• /
• 2007.10a
• /
• pp.3-5
• /
• 2007

Many continuous queries are important to be process efficiently in a data stream environment. It is applied a query index technique that takes linear performance irrespective of the number and width of intervals for processing many continuous queries. Previous researches are not able to support the dynamic insertion and deletion to arrange intervals for constructing an index previously. It shows that the insertion and search performance is slowed by the number and width of interval inserted. Many intervals have to be inserted and searched linearly in a data stream environment. Therefore, we propose Hashed Multiple Lists in order to process continuous queries linearly. Proposed technique shows fast linear search performance. It can be utilized the systems applying a sensor network, and preprocessing technique of spatiotemporal data mining.

• International Journal of Air-Conditioning and Refrigeration
• /
• v.6
• /
• pp.14-26
• /
• 1998

This paper deals with approximate analytical solutions for the two-region one-dimensional model describing the charging process of stratified thermal storage tanks at variable inlet temperature with momentum-induced mixing. An arbitrarily increasing inlet temperature is decomposed into inherent step changes and intervals of continuous change. Each continuous interval is approximated as a finite number of piecewise linear functions, which admits an analytical solution for perfectly mixed region. Using the Laplace transform, the temperature profiles in plug flow region with both the semi-infinite and adiabatic ends are successfully derived in terms of well-defined functions. The effect of end condition on the solution proves to be negligible under the practical operating conditions. For a Quadratic variation of inlet temperature, the approximate solution employing a moderate number of pieces agrees excellently with the exact solution.