• Journal for History of Mathematics
• /
• v.19 no.4
• /
• pp.107-116
• /
• 2006

This article reviews the exciting developments in Morse theory by S.Smale, Freedmann and others, including a proof of the generalized Poincare' Conjecture in the handle body theory. We study its relations with handle body theory _and geodesic theory.

• The Mathematical Education
• /
• v.40 no.1
• /
• pp.103-112
• /
• 2001

In this article we study on various proofs and applications of the Cauchy inequality. Prof, Park H.S. claims that though “Mathematics for teachers” is not compulsory materials in school, it gives to mathematics teacher feeling of reassurance in the process of teaching mathematics. In our work, we review some materials concerned with Cauchy inequality, elaborate these, and develop materials for the mathematics teacher. We think that our materials are suitable to contents of “Mathematics for teachers”.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.11a
• /
• pp.75-77
• /
• 2017

디지털 제어와 사물 인터넷을 통한 네트워크 기반 제어가 확산되면서 정밀 제어를 위한 양자화 오류에 대한 고려의 중요성이 증가하고 있다. 본 연구에서는 이산 시간 출력 궤환 제어 시스템에서 제어 신호 생성에 사용되는 시스템 출력 신호에 양자화 오류가 있을 때, 리아푸노프 시스템 안정성을 보장하는 조건을 선형 행렬 부등식을 통하여 제시한다.

• Proceedings of the KIEE Conference
• /
• 1999.07g
• /
• pp.2853-2855
• /
• 1999

본 논문은 TS(Takagi-Sugeno) 퍼지 모델로 표현된 비선형 시스템의 최적 퍼지 제어에 관한 새로운 설계 방법론을 제시하며, 최적 TS 퍼지 제어기의 매개 변수들을 설정하는 문제가 선형 행렬 부등식 문제로 표현될 수 있음을 보인다.

• Communications of the Korean Mathematical Society
• /
• v.18 no.4
• /
• pp.587-602
• /
• 2003

본 논문에서는 벡터값을 가지는 함수로 이루어진 벡터 변분 부등식들의 해집합사이의 관계, 미분 불가능한 볼록함수로 이루어진 벡터 볼록 최적화 문제의 해집합들과 볼록함수의 아래미분으로 표현된 벡터 변분부등식의 해집합들과의 관계, 제약집합이 볼록 함수로 구체적으로 주어질 때의 벡터 변분부등식의 해가 될 필요 충분조건, 섭동된 강 단조 벡터 변분부등식의 안정성 결과와 섭동된 벡터 강 볼록 최적화문제에의 적용에 대한 최근 연구 결과를 정리한다.

• Communications of the Korean Mathematical Society
• /
• v.13 no.4
• /
• pp.691-725
• /
• 1998

무한차원 상공간에서의 디리클레 형식과 이에 관계된 확산과정에 대한 일반 이론을 소개하고, 이 이론을 물리학의 통계역학 모델에 적용하였다. 구체적으로, 고전 비유계 스핀계에 대한 통계역학적인 모델, 연속체 공간에서 상호 작용하는 무한 입자계에 대한 통계역학적인 모델에 응용하였다. 아울러서 확률 미분 방정식과 같은 디리클레 형식에 관련된 연구분야에 대해서도 간단히 알아보았다.

• Journal of the Korean School Mathematics Society
• /
• v.11 no.1
• /
• pp.117-132
• /
• 2008

This paper has analyzed the problem of the inequality unit in 7th National curriculum 8-Ga stage from the following points. First, in respect to the written questions of the inequality unit over every textbook of 7th National curriculum, how are they allocated according to subject matters and what are their weak points? Second. how many of them are related to the authentic daily life or other subjects and what kind of subjects are they? Third, what are the problems related to the authentic daily life situation or what are the problems that have some inter-sentential errors, and what kinds of measures for their improvement can be taken? In keeping with view points above, we have analyzed the contents in current 16 different textbooks on th basis of their subject matters and especially put the emphasis on the relation to daily life and other subjects. Consequently, we found there are many textbooks that do not include various subject matters and that can not be related to various other subjects. It is necessary to connect mathematics to various daily life matters and other subjects to improve students' creativity and to make students understand the practicality of mathematics.

• Journal of KIISE:Software and Applications
• /
• v.27 no.5
• /
• pp.463-472
• /
• 2000

In this paper, we consider the problem of realizing associative memories via cellular neural network(CNN). After introducing qualitative properties of the CNN model, we formulate the synthesis of CNN that can store given binary vectors with optimal performance as a constrained optimization problem. Next, we observe that this problem's constraints can be transformed into simple inequalities involving linear matrix inequalities(LMIs). Finally, we reformulate the synthesis problem as a generalized eigenvalue problem(GEVP), which can be efficiently solved by recently developed interior point methods. Proposed method can be applied to both space varying template CNNs and space-invariant template CNNs. The validity of the proposed approach is illustrated by design examples.

• The Journal of the Acoustical Society of Korea
• /
• v.21 no.6
• /
• pp.522-530
• /
• 2002

This paper introduces a neural network (NN) -based nonlinear predictor for the LP (Linear Prediction) residual. To evaluate the effectiveness of the NN-based nonlinear predictor for LP-residual, we first compared the average prediction gain of the linear long-term predictor with that of the NN-based nonlinear long-term predictor. Then, the effects on the quantization noise of the nonlinear prediction residuals were investigated for the NN-based nonlinear predictor A new NN predictor takes into consideration not only prediction error but also quantization effects. To increase robustness against the quantization noise of the nonlinear prediction residual, a constrained back propagation learning algorithm, which satisfies a Kuhn-Tucker inequality condition is proposed. Experimental results indicate that the prediction gain of the proposed NN predictor was not seriously decreased even when the constrained optimization algorithm was employed.

• The Journal of the Acoustical Society of Korea
• /
• v.34 no.6
• /
• pp.470-478
• /
• 2015

A heuristic method treating a layered ocean bottom in a ray modeling is to use the plane wave reflection coefficient for multiple-layered structure, named an one-layer assumption in this paper. We examine the validity of one-layer assumption in the case of two-layered ocean bottom, and obtain a simple inequality condition depending on the sound speed ratio, the ratio of layer thickness to source-receiver range, and the grazing angle of first reflected ray. From this inequality condition, it is shown that an one-layer assumption can be applicable to ray propagation problems at mid frequencies. Finally, numerical experiments are performed in the ocean environment similar to the East Sea in Korea. Incoherent transmission loss is calculated by the geometrical beam model with the plane wave reflection coefficient for multiple-layered ocean bottom and compared with the result of SNUPE 2.0, which is a parabolic equation package developed in Seoul National University.