• 호남수학학술지
• /
• 제34권1호
• /
• pp.103-111
• /
• 2012

Wetzel[5] proved if ${\Gamma}$ is a closed curve of length L in $E^n$, then ${\Gamma}$ lies in some ball of radius [L/4]. In this paper, we generalize Wetzel's result to the non-Euclidean plane with much stronger version. That is to develop a lower bound of length of a triangle inscribed in a circle in non-Euclidean plane in terms of a chord of the circle.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.366-370
• /
• 2003

This paper is on weighted model reduction using structurally balanced truncation. For a given weighted(single or double-sided) transfer function, a state space realization with the linear fractional transformation form is obtained. Then we prove that two block diagonal LMI(linear matrix inequality) solutions always exist, and it is possible to get a reduced order model with guaranteed stability and a priori error bound. Finally, two examples are used to show the validity of proposed weighted reduction method, and the method is compared with other existing methods.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 추계종합학술대회 논문집(1)
• /
• pp.161-164
• /
• 2000

Given the frame size and constituent encoders, interleaver plays a central role in a turbo code performance. Interleaver should be designed to generate a heavy weight codeword in the second encoder if the first encoder generates a low weight codeword. In this paper we present a search procedure for high performace interleaver whose performance is measured by computing union bound using the weight spectrum of all the weight 2, 3

• The Journal of the Acoustical Society of Korea
• /
• 제17권3E호
• /
• pp.22-26
• /
• 1998

This paper proposes a simple method to measure system's performance in target tracking problems. Essentially employing the Cramer-Rao Lower Bound (CRLB) on tracking accuracy, an algorithm of predicting system's performance under various scenarios is developed. The input data is a collection of measurements over tim from sensors embedded in Gaussian noise. The target of interest may not maneuver over the processing time interval while the own ship observing platform may maneuver in an arbitrary fashion. The proposed approach is demonstrated and discussed through simulation results.

• 한국경영과학회지
• /
• 제42권3호
• /
• pp.1-12
• /
• 2017

In this paper, we generalize lifted inequalities to a 0-1 mixed-integer bilinear covering set with linear terms. This work is motivated by the observation that Generalized Bilinear Inequality (GBI) occurs in the Branch and Bound process. We find some conditions and prove the subadditivity of lifting functions for lifting to be sequence-independent. Using the theoretical results, we develop facet-defining inequalities for a GBI-defined set through three steps of lifting.

• 대한수학회논문집
• /
• 제31권1호
• /
• pp.95-100
• /
• 2016

In this paper, we establish a new refinement of the arithmetic-geometric mean inequality. Applying this result in information theory, we obtain a more precise upper bound for Shannon's entropy.

• Bulletin of the Korean Chemical Society
• /
• 제24권6호
• /
• pp.802-804
• /
• 2003

The relative stabilities of weak binding clusters are sensitive to temperature due to the entropy effect. Thus, here we report significant changes in relative stabilities between two low-energy electron-water trimer structures and those between three low-energy electron-water pentamer structures, as the temperature increases. The trimer and pentamer show structural changes around 200 K.

• 대한수학회보
• /
• 제36권4호
• /
• pp.771-778
• /
• 1999

In this paper, we obtain some geometric inequalities for mixed volumes of a convex body and its polar dual. We also develop a lower bound of the product of quermassintegral of a convex body and its polar dual and give a lower bound for the product of the dual quermassintegral of any index of centrally symmetric convex body and that of its polar dual.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제13권1호
• /
• pp.11-18
• /
• 2006

Let f : (X, A) ${\rightarrow}$ (Y, B) be a map of pairs of compact polyhedra. A surplus Nielsen root number $SN(f;X\;{\backslash}\;A,\;c)$ is defined which is lower bound for the number of roots on X \ A for all maps in the homotopy class of f. It is shown that for many pairs this lower bound is the best possible one, as $SN(f;X\;{\backslash}\;A,\;c)$ can be realized without by-passing condition.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제24권3호
• /
• pp.155-169
• /
• 2017

In this paper we obtain some integral inequalities involving impulses and apply our results to a certain integro-differential equation with impulses. First, we obtain a bound of the equation, and we use the bound to study some qualitative properties of the equation.