• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권1호
• /
• pp.53-63
• /
• 2008

수학 영재교육에서 여러 학문영역의 지식을 종합하며, 이를 바탕으로 창의적으로 문제를 해결하는 능력과 경험을 가지는 것은 매우 중요하다. 본 연구에서는 물리학의 역학분야에서 연구되는 관성능률 개념을 수학적 문제해결의 도구로 활용하여 몇몇 등식들, 부등식들에 대한 새로운 증명방법을 제시하며, 관성능률을 이용한 문제해결 방법의 특징들을 고찰하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2007년도 춘계학술대회 학술발표 논문집 제17권 제1호
• /
• pp.193-196
• /
• 2007

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

• 전자공학회논문지SC
• /
• 제37권6호
• /
• pp.1-6
• /
• 2000

본 논문에서는 비선형 섭동을 가지는 뉴트럴 시스템의 점근 안정성에 관하여 고찰한다. 리아프노프 방식을 이용하여 시스템의 안정성을 판별할 수 있는 충분조건을 제시한다. 이 조건은 지연시간에 종속이며, 선형행렬 부등식으로 표시되기 때문에 최적화 알고리즘을 이용하여 부등식 해를 쉽게 구할 수 있다는 장점이 있다. 마지막으로 제시된 이론의 유용성을 보이기 위하여 수치 예제를 보였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제33권1호
• /
• pp.83-89
• /
• 1994

• 전자공학회논문지SC
• /
• 제39권5호
• /
• pp.8-17
• /
• 2002

본 논문에서는, 섭동과 제어기 이득 섭동을 갖는 이산 대규모 시간지연 시스템의 강인 비약성 제어기 설계에 관하여 논한다. 리아프보프 해석법을 의거하여 선형행렬 부등식으로 표현되는 주어진 시스템의 강인 안정화를 꾀하는 상태 궤환 제어기의 존재를 보장하는 조건 식을 구한다. 이 조건 식의 해로부터 각 부 시스템에서의 제어기의 이득 및 제어기의 비약성 지수도 얻을 수 있다. 제시된 선형행렬 부등식은 잘 알려진 최적화 기법으로 쉽게 풀 수 있으며, 예제를 통하여 제어기 설계 방법을 보인다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2018년도 학술발표회
• /
• pp.239-239
• /
• 2018

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

• 한국지능시스템학회:학술대회논문집
• /
• 한국지능시스템학회 2007년도 추계학술대회 학술발표 논문집
• /
• pp.374-377
• /
• 2007

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (2)
• /
• pp.339-341
• /
• 1999

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

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제19권4호
• /
• 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.

• 한국지능시스템학회논문지
• /
• 제12권4호
• /
• pp.300-305
• /
• 2002

본 논문에서는 타원형 클러스터링을 위한 거리측정 함수로써 변형된 가우시안 커널 함수를 사용하며, 주어진 클러스터링 문제를 각 타원형 클러스터의 체적을 최소화하는 문 로 해석하고 이를 선형행렬 부등식 기법 중 하나인 고유값 문제로 변환하여 최적화하는 새로운 알고리즘을 제안한다.