• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.38 no.6
• /
• pp.38-45
• /
• 2001

In this paper, numerical stability analysis methodology for the singleton-type linguistic fuzzy control systems is proposed. The proposed stability analysis is not the analytical method but the numerical method using the convex optimization of Quadratic Programming (QP) and Linear Matrix Inequalities (LMI). Finally, the applicability of the suggested methodology is highlighted via simulation results.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.16 no.2
• /
• pp.144-149
• /
• 2006

This paper deals with a balanced model reduction for uncertain nonlinear systems via T-S fuzzy approach. We define a generalized controllability/observability gramian and obtain a balanced state space model using generalized gramians which can be obtained from solutions of linear matrix inequalities. We present a balanced model reduction scheme by truncating not only state variables but also uncertain elements. An upper bound of the model reduction error will also be suggested. In order to demonstrate the efficacy of our method, a numerical example will be presented.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.5
• /
• pp.560-570
• /
• 1999

This paper formulates the suboptimal robust Kalman filtering problem into two coupled Linear Matrix Inequality (LMI) problems by applying Lyapunov theory to the augmented system which is composed of the state equation in the uncertain linear system and the estimation error dynamics. This formulations not only provide the sufficient conditions for the existence of the desired filter, but also construct the suboptimal robust Kalman filter. The proposed filter can guarantee the optimized upper bound of the estimation error variance for uncertain systems with parametric uncertainties in both the state and measurement matrices. In addition, this paper shows how the problem of finding the minimizing solution subject to Quadratic Matrix Inequality (QMI), which cannot be easily transformed into LMI using the usual Schur complement formula, can be successfully modified into a generic LMI problem.

• Review of KIISC
• /
• v.4 no.2
• /
• pp.23-39
• /
• 1994

본 논문은 예전의 방법들에서 일어나고 있는 수행 속도 문제점들을 향상하기 위하여 병렬 처리를 이용하여 난수를 발생하는 방법중에서 가장 보편적이고 빠른 방법으로 알려진 저차 합동 다항식에 기초한 새로운 고속 디지탈 서명방식에 대한 병렬 알고리즘을 제안한다. 새로운 디지탈 서명 방식은 비밀키로써 큰 소수 p,q를 이용하여, 공개 정보로써 n=$p^2$ * q를 이용한다. 난수는 서명을 생성할때 이용되며, 서명을 검증하기 위하여 부등식을 이용하며 병렬 알고리즘을 이용하여 서명을 생성하는 처리속도의 향상된 성능을 위하여 전처리와 디지탈 서명을 구축하는 계산방법의 새로운 병렬 알고리즘을 작성하였다. 본 논문에서 새로 제안한 서명방식에 대한 병렬 알고기즘을 검증하고 비도를 산출할 것이며, 시뮬레이션을 통하여 예전의 방식들과 비교 분석한다. 본 논문은 공개키를 이용한 병렬 암호와 시스템과 신호 처리에 대한 병렬 알고리즘으로 응용될 수 있을 것이며, 병렬과 분산 처리 환경하에서 개발되는 정보서비스 특히 메세지 처리 시스템 서비시, 전자교환 서비스 등의 디지탈 서명에 유용될 수 있을 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.863-865
• /
• 2003

교육정보화의 실현이라는 과제가 현재의 학교현장에 필요한 만큼 제7차 교육과정의 시작과 더불어 학습자의 지식과 능력을 육성하기 위한 미리 계획된 WBI(Web based Instruction)를 기반으로 한 교수 모형의 필요성이 강조된다. 본 연구는 WBI의 교육적 기능을 충분히 반영하여 교실에서 교사가 사용하기 쉽고 효율적인 학습자료를 구현하여 웹 환경이 조성된 교실에서 활용할 수 있도록 하였다. 이러한 구현을 위한 프로그램으로는 웹 환경에서 실행하는데 무리가 없고 소용량으로 에니메이션 효과를 극대화 할 수 있는 Flash MX를 사용하였고, 고등학교 ‘수학10-나’의 내용 중 교과서와 칠판만을 사용하여 수업하는 데는 한계가 있는 과정인 ‘도형의 이동과 부등식의 영역’을 주로 개발하였다. 학습자들은 학교에서 수업한 내용을 웹 환경을 이용하여 개별학습 및 반복학습을 할 수 있고, 교사들은 교실이나 멀티미디어실에서 웹을 통하여 본 연구에서 구현한 프로그램을 사용함으로 학교 수업의 효율성을 높이고자 한다.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.292-293
• /
• 2007

본 논문은 연속 시간과 이산 시간 비선형 상호 결합 시스템에 대한 분산 정적 출력 궤한 제어기의 설계에 대해 연구한다. 먼저 퍼지 모델 기법을 이용하여 비선형 상호 결합 시스템을 Takagi-Sugeno (T-S)퍼지 모델로 모델링한다. 각각의 하위 시스템에 대한 정적 출력 궤한 제어기를 병렬 분산 보상(PDC)기법을 이용하여 구한다. 선형 행렬 부등식(LMI)을 통하여 하위 시스템의 안정화를 위한 이득값을 구한다. 이득값을 통하여 하위 시스템들이 안정화되고 그를 통해 전체 상호 결합 시스템이 안정화됨을 모의실험을 통하여 증명한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2006.05a
• /
• pp.241-248
• /
• 2006

네트워크 거리 (Network distance : 일반적으로 ping이나 traceroute 등으로 측정 가능한 round trip time 등 네트워크 상에서 패킷 전송 시간) 추정 기법은 인터넷상의 많은 응용프로그램들에서 유용하게 사용된다. 예를 들면 다수의 서버를 인터넷상에 설치하고자 하는 경우 사용자들 간의 네트워크 거리를 알고 있다면 서버와 사용자간의 왕복 전송 시간 (Round Trip Time)등을 최소화할 수 있도록 서버를 분산하여 설치하는 구성을 도출해 낼 수 있을 것이다. Peer to Peer 응용 프로그램들에서도 이 네트워크 거리 정보는 매우 유용하다. 기존에 존재하는 추정 기법들은 대부분 유클리드 공간 좌표 기반 기법들로서 유클리드 좌표 상의 거리가 실제 네트워크 거리와 유사하도록 유클리드 공간 좌표를 지정한다. 그러나 이런 방법들의 문제점은 인터넷 상의 네트워크 거리가 삼각 부등식을 만족하지 않는 경우가 존재하는 등 유클리드 공간의 기본적인 가정을 만족하지 못한다는데 있다. 이런 문제점 때문에 새로운 모델이 필요하고, 이 논문에서는 가상 토폴로지(Virtual Topology) 모델과 지역 조정 항 (Local Adjustment Term) 모델을 제시하고, 기본적인 성능 분석을 시도하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.10a
• /
• pp.380-382
• /
• 2018

사이버 물리 시스템의 발달은 네트워크 기반 제어 시스템을 다양한 형태로 진화시키고 있다. 네트워크에서는 전송 지연과 전송 오류에 의해서 다양한 불규칙한 지연이 발생하고 지연에 강인한 제어기 설계가 요구되고 있다. 마코프 프로세서를 따르는 지연을 갖는 제어 시스템에서 제어기를 설계할 때에 많이 사용되는 모델중에 하나가 확장된 상태 벡터를 기반으로 한 마코프 점프 선형 시스템 모델이다. 본 연구에서는 이 모델을 이용하여 리아푸노프 안전성 조건으로부터 유도되는 선형 행렬 부등식의 안정성 조건으로부터 저복잡도를 가지고 제어기를 유도하는 직관적 방법을 제안한다. 제안된 알고리즘은 모의 실험을 통해서 성능을 확인하였으나, 직관적 방법 구조상에서 제한 조건의 수가 자유 변수의 수보다 많은 이유 때문에 성능이 배우 제한적임을 확인하였고, 이를 개선하기 위한 향후 연구가 요청됨을 확인하였다.

• Proceedings of the KIEE Conference
• /
• 2003.11c
• /
• pp.840-843
• /
• 2003

본 논문은 임의의 입력지연을 갖는 Takagi-Sugeno (T-S) 퍼지 시스템의 관측기 기반 출력궤환 제어 시스템을 논의한다. 설계된 연속시간 T-S 퍼지 관측기 시스템을 영차의 샘플/홀드 함수를 이용하여 이산시간 관측기를 설계한다. 이때 플랜트와 관측기의 출력에러가 제어기를 통하여 궤환되기 때문에 이산화 과정에서 발생한 에러를 보정할 수 있다. 여기에서 시스템의 제어 입력은 임의로 변화하는 유한개의 상태를 갖는 마코프 확률과정으로 표현한다. 생성된 시스템의 확률적 안정 가능성 조건은 선형 행렬 부등식의 형태로 표현한다. 이러한 결과를 2자유도 헬리콥터의 모델에 대한 모의실험을 통하여 효용성을 확인한다.

• Communications of Mathematical Education
• /
• v.24 no.1
• /
• pp.145-158
• /
• 2010

In this paper we study tetrahedron's properties related with center of inscribed sphere using the center of mass. We show that the center of mass of four mass points (A,a), (B,b), (C,c), (D,d) coincide with center of tetrahedron's inscribed sphere, suggest equalities and inequalities related with center of inscribed sphere, and prove theses using the center of mass. Our results can be used in research and education programs, various types of gifted student education.