• 동아시아식생활학회:학술대회논문집
• /
• 동아시아식생활학회 2003년도 춘계학술대회: 동아시아의 주식문화
• /
• pp.3-23
• /
• 2003

쌀은 수 천년 전부터 아시아 지역 거주인의 주식으로 우리의 생명 유지에 실로 중추적 역할을 해 왔고 앞으로도 그 기능이 이부 쇠퇴해 가고는 있으나 주식으로서 위치는 변함이 없을 것이다. 쌀 하면 우리는 곧바로 밥을 연상시키게 되나 최근에 이르러 쌀과 밥의 등식이 흔들리는 시점에 와 있다. 이와 같은 현상은 국민 1인당 쌀 소비량이 급격히 줄어들면서 주식으로 쌀을 대체하는 식품자원이 다양해졌기 때문이다.(중략)

• 한국지능시스템학회논문지
• /
• 제25권4호
• /
• pp.349-354
• /
• 2015

본 논문은 비선형 시스템을 위한 T-S 퍼지 샘플치 필터의 안정도 조건을 제시한다. 퍼지 시스템과 퍼지 필터 사이의 에러 시스템을 제시하며, 리아푸노프 안정도 해석 기법을 이용해 에러 시스템의 안정도 조건을 선형행렬부등식의 형태로 표현한다. 제안된 안정도 조건은 기존과는 다른 접근법을 이용하며, 더 나은 성능을 보인다. 모의실험을 통해 제안한 기법의 효용성을 검증한다.

• 한국소음진동공학회논문집
• /
• 제15권4호
• /
• pp.437-444
• /
• 2005

이 논문은 비압축성 유동장에 노출된 2차원 플랩이 있는 날개의 단면에 대한 강인한 공탄성 제어기법을 소개하고 있다. 강인한 제어기는 다목적 상태궤환 합성법을 위해 선형행렬부등식을 이용하여 설계되었다. 제어기의 설계목적은 모델불확실성이 존재하는 상황에서 주파수영역에서의 성능과 시간영역에서의 성능을 함께 만족시키는 것으로 하였다. 수치예제들은 2차원-3자유도 플랩이 있는 날개 단면의 공탄성 응답을 감쇠시키는데 있어서 선형행렬부등식의 접근법의 유효성을 잘 제시하고 있다.

• 전자공학회논문지SC
• /
• 제46권3호
• /
• pp.15-21
• /
• 2009

본 논문에서는 변수 불확실성을 가지는 이산시간 특이시스템의 강인 안정화 기법과 강인 보장비용 제어기법을 다룬다. 제안하는 제어기법은 제어기 존재조건에서 준정부호조건(semi-definite condition)이나 시스템 행렬의 분해 없이 볼록최적화(convex optimization)가 가능한 선형행렬부등식 접근방법을 이용하여 제안한다. 먼저, 강인 안정화 상태궤환 제어기는 폐루프 시스템의 정규성, 코잘 및 안정화를 만족하는 제어기의 존재조건과 설계방법을 선형행렬부등식으로 제시한다. 그리고 보장비용 함수의 상한치의 최소화를 보장하는 강인 보장비용 제어기 설계방법은 강인 안정화 제어기 설계를 기반으로 제안한다. 예제를 통하여 제안한 제어기 설계기법의 타당성을 확인한다

• 전자공학회논문지SC
• /
• 제45권5호
• /
• pp.1-7
• /
• 2008

본 논문에서는 변수 불확실성을 가지는 이산시간 특이시스템과 곱셈형 섭동의 약성(fragility)을 가지는 제어기에 대한 강인 안정화 기법과 강인 비약성(non-fragile) 제어기 설계방법을 제시한다. 강인 안정화를 만족하는 비약성 제어기가 존재할 조건과 제어기 설계방법 및 제어기의 비약성 척도를 볼록최적화(convex optimization)가 가능한 선형행렬부등식 접근방법을 이용하여 제안한다. 최대의 비약성 척도를 얻기 위하여 구한 제어기 충분조건은 모든 변수의 견지에서 선형행렬부등식으로 변형한다. 따라서, 제안한 강인 비약성 이산 제어기는 특이시스템의 변수 불확실성과 제어기의 약성에도 불구하고 안정성을 보장한다 마지막으로, 수치예제를 통하여 제안한 알고리듬의 타당성을 확인한다.

• 한국지능시스템학회논문지
• /
• 제26권1호
• /
• pp.50-55
• /
• 2016

본 논문은 특이섭동을 포함한 비선형 시스템을 위한 샘플치 제어 기법을 논한다. 비선형 시스템은 타카기--수게노(Takagi--Sugeno: T--S) 퍼지모델 형태로 표현됨을 가정한다. 새로운 리아푸노프 함수와 추가적인 항등식을 이용하여 선형행렬부등식 형태의 샘플치 폐루프 T--S 퍼지시스템의 점근적 안정도 조건을 제시한다. 분석결과에 대한 몇 가지 논의점을 언급한다. 모의실험에 의하여 제안된 기법의 타당성을 보인다.

• 한국지능시스템학회논문지
• /
• 제21권5호
• /
• pp.630-636
• /
• 2011

본 논문은 매개변수 불확실성을 가지는 Takagi-Sugeno(T-S) 퍼지 시스템의 안정도 해석과 안정화 조건을 고려한다. T-S 퍼지 시스템의 안정도 해석 시 conservativeness를 줄이기 위해 퍼지 리아푸노프 함수를 이용한다. 매개변수 불확실성을 가지고 있는 시스템의 안정도를 해석하고 시스템을 안정화 시키는 퍼지 강인 제어기 설계 기법을 제시한다. 안정도조건과 안정화조건은 선형행렬부등식의 형태로 표현된다. 모의실험을 통해 제안된 접근 방법의 효용성을 보인다.

• 한국정보처리학회논문지
• /
• 제6권9호
• /
• pp.2431-2441
• /
• 1999

우리는 등식으로 표현된 많은 정보들을 다룬다. 이러한 정보에 관한 가장 근본적인 문제중의 하나는 '어떤 주어진 등식이 한 가지 방법이다. Rewrite system은 주어진 항(term)에 rewrite 규칙(rule)들을 적용하여 단순화한다. 따라서 어떤 항이라도 단순화 과정이 무한히 계속되지 않아야 함은 rewrite system의 중요한 성질이다. Rewrite system의 이러한 종료(termination) 여부를 결정하는 방법들 중 하나가 다항식 순서(polynomial ordering)이다. 이 방법은 rewrite system의 함수기호에 적절한 다항식을 대응시켜주는 방법이다. 그러나, 주어진 rewrite system이 종료함을 보이는 다항식 순서를 자동적으로 생성하는 방법은 알려져 있지 않다. 본 논문에서는 유전자 알고리즘을 사용하여, 다항식을 자동으로 생성하는 방법을 제시한다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제27권2호
• /
• pp.187-198
• /
• 2024

덧셈과 뺄셈, 곱셈과 나눗셈의 관계는 초등학교 2, 3학년 수학에서 명시적으로 제시된다. 그러나 이후 학습에서 이러한 관계는 더 이상 논의되지 않는다. 본 논문은 초등학교 수학 교과서에서 뺄셈과 나눗셈의 계산 방법을 살펴보고, 이를 바탕으로 아동들의 이해 수준에서 덧셈과 뺄셈, 곱셈과 나눗셈의 관계를 정당화하고 뺄셈과 나눗셈에 활용할 수 있는 문제 상황과 활동을 논의한다. 또한 아동들이 덧셈과 뺄셈, 곱셈과 나눗셈의 관계와 등식의 성질을 뺄셈과 나눗셈에 활용하여 얻을 수 있는 교육적 시사점을 도출한다.

• 전자공학회논문지SC
• /
• 제47권6호
• /
• pp.64-72
• /
• 2010

본 논문에서는 폴리토프 불확실성과 시간지연, 그리고 제어기 섭동을 가지는 비선형 상호연결시스템의 상태궤환 제어기에 대한 견실비약성 $H_{\infty}$ 분산 퍼지제어기 설계 방법을 다룬다. 먼저 시간지연을 가지는 비선형 상호연결시스템을 Takagi-Sugeno 퍼지모델로 나타내고, 이로부터 지연종속 견실비약성 $H_{\infty}$ 퍼지제어기가 존재하기 위한 충분조건, 제어기 설계방법 및 비약성을 만족하는 제어기의 꽉찬집합(compact set)을 제시한다. 이 때 제시한 조건은 변수치환과 슈어여수(Schur complement)정리를 통해 선형행렬부등식(LMI: Linear Matrix Inequality)의 계수가 꽉찬 집합 내의 파라미터의 함수로 정의되는 파라미터화 선형행렬부등식(PLMIs: Parameterized Linear Matrix Inequalities)으로 표현되며, 이를 완화기법(relaxation technique)를 사용하여 유한개의 선형행렬부등식으로 변환하고, 제어기와 비약성을 만족하는 제어기 영역을 구한다. 마지막으로 예제와 모의실험을 통해 불확실성과 시간지연, 제어기이득 섭동에도 불구하고 제안한 퍼지제어기가 폐루프시스템을 안정화시키고 외란감쇠를 보장함을 확인한다.