• Communications of Mathematical Education
• /
• v.22 no.1
• /
• pp.53-63
• /
• 2008

In this paper we study a new proof method of equalities and inequalities using moment of inertia. We analyze proof method using moment of inertia, and describe how to prove equalities and inequalities using moment of inertia.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.04a
• /
• pp.193-196
• /
• 2007

본 논문은 관측기 기반 시스템에 대한 강인 디지털 재설계 방안을 제안한다. 디지털 재설계란, 기존의 안정화된 연속시간 플랜트와 이산 시간에서 설계된 디지털 제어기와의 상태 접합 및 안정도 분석을 통해 전체 시스템을 재구성 하는 것을 말한다. 그리고 전 역적 접근을 위한 방안으로서 문제를 볼록 최적화 관점으로 변환 후, 에러가 가질 수 있는 놈의 영역을 최소화 하여 상태 접합을 이루고자 하였다. 본 논문에서는 관측기 기반 시스템에 대한 디지털 재설계를 목표로 하되, 추가적인 파라미터 불확실성을 고려한 강인 디지털 재설계를 구성하게 된다. 파라미터 불확실성은 이산화 과정에서 구조적 형태가 변화하기 때문에, 이를 고려하여 주어진 식을 선형 행렬 부등식 형태로 나타내게 된다. 이 조건들을 통해 디지털 재설계의 상태 접합 및 안정도가 유도 가능하다는 것을 본 논문에서 증명하게 된다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.37 no.6
• /
• pp.1-6
• /
• 2000

In this paper, the problem of the stability analysis for linear neutral delay-differential systems with nonlinear perturbations is investigated. Using Lyapunov second method, a new delay-dependent sufficient condition for asymptotic stability of the systems in terms of linear matrix inequalities (LMIs), which can be easily solved by various convex optimization algorithms, is presented. A numerical example is given to illustrate the proposed method.

• The Mathematical Education
• /
• v.33 no.1
• /
• pp.83-89
• /
• 1994

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.39 no.5
• /
• pp.8-17
• /
• 2002

This paper considers the problems of robust decentralized control for uncertain discrete-time large-scale systems with delays in interconnections and state feedback gain perturbations. Based on the Lyapunov method, the state feedback control design for robust stability is given in terms of solutions to a linear matrix inequality (LMI), and the measure of non-fragility in controller is presented. The solutions of the LMI can be easily obtained using efficient convex optimization techniques. A numerical example is included to illustrate the design procedures.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.239-239
• /
• 2018

위성 및 드론을 이용한 원격탐사 기술이 발전하고 다양한 산출물이 나타남에 따라 수자원 및 하천관리 분야에서 원격탐사기술 활용의 폭이 넓어지고 있다. 원격탐사 영상에서 획득할 수 있는 기본적인 가시영상 이외에도 적외영상, 초분광영상, 수위정보, 레이더 반사도 등을 활용하여 하천정보를 추정하려는 시도가 이루어져왔다. 본 연구에서는 원격탐사 영상에서 획득한 하폭을 기반으로 수리학적 하천유량산정을 기법을 적용하기 위해 등류 및 부등류 해석이 가능한 알고리즘과 프로그램을 개발하였다. 등류해석을 위해 GUI 기반 프로그램을 개발하였으며, 특정 하폭에서의 하천유량을 신속하게 계산할 수 있도록 단면 특성분석 모듈과 운동파 방정식 기반의 Manning 유속공식이 적용되도록 구성하였다. 또한, 부등류해석을 위해 스크립트기반의 프로그램을 개발하였다. 부등류 해석 프로그램에는 하천유량을 경계조건으로 수위를 계산하는 일반적인 부등류 수면곡선식의 해석절차를 하폭기반 원격하천 유량 산정 목적에 맞게 재구성하여 원격탐사기술로 획득한 하폭을 경계조건으로 하천 유량을 시산하는 알고리즘을 구현하였다. 본 프로그램을 활용하여 한국건설기술연구원 하천실험센터에서 드론을 이용한 등류/부등류 실험결과를 해석하였으며, 등류 흐름조건에서는 두 가지 해석방법 각각 14.3%, 14.7%의 유사한 평균상대오차를 나타내었고 부등류 흐름조건에서는 등류해석은 62.6%, 부등류해석은 15.8%의 평균상대오차를 나타내었다. 실규모하천에서의 원격하천유량 산정을 위해서는 등류기반 해석방법에 비해 비균일 하천단면에서의 부등류 현상을 모의할 수 있는 하폭기반 부등류 수면곡선의 시산 알고리즘이 유리한 것으로 판단된다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.11a
• /
• pp.374-377
• /
• 2007

본 논문은 Takagi-Sugeno (T-S) 퍼지 모델을 이용하여 이산 시간에서의 비선형 상호 결합 시스템에 대한 분산 동적 출력 궤한 제어기를 제시한다. 이산시간 비선형 상호 결합 시스템의 각 하위 시스템에 대한 T-S 퍼지 모델링을 한 후, 각각에 대해 동적 출력 궤한 제어기를 설계한다. 제어가 된 폐루프 하위 시스템들로 전체 시스템의 평형점이 안정화되는 선형 행렬 부등식 (LMI)을 구하고, 부등식을 이용하여 동적 출력 궤한 제어기의 이득값을 구한다. 마지막으로 모의실험을 통해 분산 동적 출력 궤한 제어기의 효용성을 확인한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.339-341
• /
• 1999

본 논문에서는 연상 메모리 기능을 수행하는 셀룰라 신경망(Cellular Neural Netowork)의 설계를 위한 새로운 방법론을 제안한다. 먼저, 셀룰라 신경망 모델의 기본적 특성들을 소개한 후, 최적 성능을 가지고 이진 원형 패턴들을 저장할 수 있는 셀룰라 신경망 모델의 설계 방법을 제약 조건이 가해진 최적화 문제로 공식화한다. 다음으로 이 문제의 제약 조건을 선형 행렬 부등식(Linear Matrix Inequalities)을 포함하는 부등식의 형태로 변환시킬 수 있음을 관찰한다. 마지막으로 셀룰라 신경망 최적 설계 문제를 내부점 방법(interior point method)에 의해 효율적으로 풀릴 수 있는 일반화된 교유값 문제(Generalized Eigen Value Problem)로 변환하고 설계 예제를 통해 제안된 방법의 유효성을 검증한다.

• Communications of Mathematical Education
• /
• v.19 no.4 s.24
• /
• pp.699-713
• /
• 2005

In this paper, we attempted to find out the meaning of several means and inequalities, their relationships and proposed the effective ways to teach them in college mathematics classes. That is, we introduced 8 proofs of arithmetic-geometric mean equality to explain the fact that there exist diverse ways of proof. The students learned the diverseproof-methods and applied them to other theorems and projects. From this, we found out that the attempt to develop the students' logical thinking ability by encouraging them to find out diverse solutions of a problem could be a very effective education method in college mathematics classes.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.12 no.4
• /
• pp.300-305
• /
• 2002

In this paper, we use the modified gaussian kernel function as clustering distance measure and recast the given hyper-ellipsoidal clustering problem as the optimization problem that minimizes the volume of hyper-ellipsoidal clusters, respectively and solve this using EVP (eigen value problem) that is one of the LMI (linear matrix inequality) techniques.