• Journal of KIISE:Software and Applications
• /
• v.26 no.5
• /
• pp.639-646
• /
• 1999

질의 또는 문서에 대한 상이한 표현 방법 또는 상이한 검색 기법은 서로 다른 집합의 문서들을 검색한다고 알려져왔다. 최근 이러한 특성을 이용하여 다양한 표현 방법 또는 검색 기법을 결합함으로써 보다 높은 검색 효과를 얻을수있음이 입증되었다. 그러나 이러한 다중 증거 결합이 검색 효과를 개선시키는 이유에 대해서는 아직까지 충분한 설명이 이루어지지않은 상태이다. 본 논문에서는 다중 증거 결합이 검색 효과를 개선하는 이유를 분석하고 이에 근거하여 다중 증거들을 효과적으로 결합할수 있는 방법을 조사한다. 또한 다중 증거 결합에 있어서 유사도 대신에 순위의 사용이 검색 효과에 미치는 영향을 조사한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.04a
• /
• pp.353-356
• /
• 2005

감성이란 외부의 여러 가지 감각적인 자극에 대해 직관적이고 반사적으로 발생하는 반응이다. 감성에는 희로애락과 같은 다양한 감정이 포함된다. 감성은 개인과 환경의 영향을 받는 동시에 사회$\cdot$문화적인 영향에 의해 달라지는 종합적이고 복합적인 느낌이기 때문에 명확하게 표현하기 어렵다. 개인적인 차이는 있지만 인간의 감정은 다양한 행동이나 신체적 혹은 생리적인 반응으로 표출되기 때문에 이러한 다양한 반응을 이용해서 인간의 감정을 유추할 수 있다. 행동이나 신체적인 표현은 개인과 환경, 사회$\cdot$문화적인 영향에 따라 다양하게 나타나기 때문에 이를 정량화하기에는 힘든 부분이 있다. 반면 감정 상태에 따른 생리적인 반응은 여러 사람들에게서 공통적인 부분을 찾을 수가 있다. 본 논문에서는 감정에 따라 다양하게 나타나는 인간의 생리적인 반응 정토를 측정하고 이들의 공통점에 따라 생리적 반응을 통해 인간의 감정에 유추할 수 있는 공학적 모델을 제시하고자 한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.04a
• /
• pp.424-427
• /
• 2005

본 논문에서는 휴대용 개인정보 단말기를 이용하여 개인의 생체신호를 보다 쉽게 취득하고 분석하는 시스템을 제안한다. 바쁘게 사는 현대인들이나, 거동이 불편한 환자들에게 병원을 직접 내원하여 검사를 받거나 진단을 받는 일은 큰 부담이 아닐 수 없다. 이에 본 연구에서는 원격지에서의 병원이나 타 의료장치에서 취득된 생체신호를 유비쿼터스 환경에서 블루투스로 전송하고 이 데이타를 블루투스가 내장된 PDA에서 획득하여 화면상에 다양한 표현방법으로 표현하는 생체신호 획득 시스템 구현을 목표로 한다. 이와 같은 시스템을 구현함으로서 이전의 생체신호와 현재의 생체신호를 쉽게 비교하고 분석할 수 있으며, 자신의 건강상태를 자가 점검하거나 의료기관의 의사에게 보내어짐으로서 검진 받을 수 있는 원격진료가 가능하다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2000.05a
• /
• pp.220-223
• /
• 2000

타입-2 퍼지집합을 이용하여 퍼지논리시스템(Fuzzy Logic System : FLS)을 구현하기 위한 연구들이 R. I John, N. Karnik, J. Mendel 등에 의해 현재 진행되고 있다. 타입-2 집합을 이용한 타입-2 FLS은 기존의 타입-1 FLS보다 제어규칙이나 소속함순가 가지고 있는 불확실성을 표현하는데 있어서 더 효과적이다. 그러나, 타입-2 FLS 역시 타입-1 FLS이 가지고 있는 문제점인 설계시 전문가에게 의존하여 시간과 비용이 많이 소요되고, 제어기의 구성요소들을 효율적으로 생성하기가 어렵다는 문제점을 더욱 심각하게 가지고 있다. 또한, 그 문제점을 해결하기 위한 연구들도 아직 미진한 상태이다. 본 논문에서는 타입-2 FLS의 설계를 위해 유전자 알고리즘을 사용하는 방법을 제안한다. 타입-2 FLS를 설계하기 위해서는 소속함수와 제어규칙을 생성하여야 한다. 본 논문에서는 유전자 알고리즘을 사용하여 타입-2 퍼지제어규칙과 소속함수를 설계하는 방법을 제안한다. 먼저, 유전자 알고리즘에서 사용할 수 있는 유전자의 형태로 타입-2 퍼지제어규칙과 소속함수를 표현하기 위한 인코딩방법을 제안하고, 각각의 염색체를 진화시키기 위한 교차 연산자와 돌연변이 연산자를 정의한다. 그리고, 제안된 방법을 함수근사문제에 적용하여 유효성과 성능을 평가, 검증한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.1
• /
• pp.45-51
• /
• 2001

본 논문은 이산 시간 Takagi-Sugeno (TS) 퍼지 시스템에 대한 출력 추종 제어기 설계에 관하여 연구한다. 출력 추종 제어기의 설계를 위하여 이산 시간 TS 퍼지 시스템을 불확실성을 포함한 선형 시스템의 집합으로서 표현하는 기법을 제시한다. 시스템의 상태에 대하여 어파인 변환을 하여 출력 추종 제어문제를 안정화 문제로 변환한다. 점근적 추종성능을 보장하는 제어기 설계를 위한 충분조건은 선형 행렬 부등식의 형태로 표현되면 주어진 제어기 설계의 해는 여러 가지 수치적 기법을 이용하여 효율적으로 구해질 수 있다. 트레일러 트럭의 임의의 위치에 후진 주차시키기 위한 제어기 설계의 예를 통하여 본 논문에서 제안한 추종 제어 기법의 효용성을 검증한다.

• Journal of Intelligence and Information Systems
• /
• v.1 no.2
• /
• pp.33-55
• /
• 1995

포지인식도(Fuzzy Cognitive Map : FCM)는 추상적이고 비구조적이며 동적인 응용영역에서 전문가의 인과관계 지식(causal knowledge)을 표현하는데 매우 유용한 도구이다. FCM이 기존의 다른 네트워크 형태의 지식표현방법과 다른 차이점은 대상 문제의 개념변수들을 퍼지집합으로 묘사하고, 개념 변수간의 관계를 퍼지 인과관계로 다룬다는 것이다. 그런데 FCM의 특성이 아직 충분히 논의되지 않은 상태에서는 FCM의 적용에 있어 오류가 일어날 수 있다. 본 논문의 목적은 첫째, FCM의 특성과 의미를 보다 명확히 하여 이론적인 측면을 보강하고자 한다. 이를 위해 논리적관계(implication)와는 다른 인과관계의 정의를 다시 확인하고, 이정의에 기초한 퍼지 인과관계의 특성을 파악하고, 퍼지 인과관계와 대비되는 퍼지 부분인과관계 및 단방향 개념변수를 새로이 정의함으로써 FCM구축에 있어 잘못된 이해가 없게 하며, 둘째, FCM에서는 추론 방식이 갖추어야 할 원칙을 명시하고 이에 따라 이러한 원칙을 준수하는 새로운 추론 방식을 제시한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.11a
• /
• pp.294-299
• /
• 1999

CCSR은 CCS에 시간적인 개념이 추가된 실시간 명세 언어로 실시간 프로세스의 정적 분석에 이용되고 있다. CCSR은 프로세스 전이 규칙을 이용하여 프로세스 동작의 관심 부분만 하여 분석하기 때문에 전체 태스크(task)의 동작을 분석하는데 적용하기 어렵고, 전이규칙에 따른 상태 변화를 이해하기 어렵다. E-TCPN은 시간 요소가 첨가된 Petri Net의 변형된 형태로 실시간 시스템의 분석과 모델링을 위한 형식적(formal) 방법을 제공한다. 본 논문에서는 CCSR로 표현된 프로세스 동작을 E-TCPN 모델에 적용함으로써 실시간 시스템을 중요한 사건을 중심으로 전체 태스크의 동작 과정을 표현하고 프로세스의 수행 과정을 이해하기 쉽도록 CCSR을 변형하여, E-TCPN 명세 모델에 적용하고, 적용된 E-TCPN으로 스케줄링가능성 분석 알고리즘을 제안하고 구현하였다.

• Annual Conference of KIPS
• /
• 2014.11a
• /
• pp.597-600
• /
• 2014

컴퓨터 시스템의 병렬, 분산, 이동, 실시간 적인 시스템들을 명세하기 위한 여러가지 정형기법들이 존재한다. 본 논문에서는 이동 실시간 시스템의 명세를 위한 정형기법으로서 ${\delta}-Calculus$ 를 정의하였다. ${\delta}-Calculus$ 의 가장 큰 특징은 프로세스의 이동성으로써 시간의 흐름에 따라 프로세스 간의 상호작용을 통해 프로세스가 이동하는 것을 표현할 수 있다. ${\delta}-Calculus$ 를 사용하여 프로세스의 이동성을 표현함으로써 시스템의 공간정보와 시간정보를 명세하고, 프로세스의 상태에 따른 보안적 특성을 나타낼 수 있다. 본 논문에서는 ${\delta}-Calculus$ 의 문법과 의미를 설명하고 이동성에 의한 특성을 분석하였다.

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

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.463-465
• /
• 2001

본 논문에서는 패턴 기반의 시각적 속성 명세 연구를 통해 모든 명세 논리를 포괄하는 요구성 명세의 단일 프레임워크와 자동화 지원 도구를 제시한다. 또한 유도 질문을 통한 속성 명세와 속성의 구조 및 상호관계 표현 방법을 보인다. 본 연구에서는 패턴 기반의 시각적 속성 명세 언어(PVSL)를 정의했다. 요구 속성은 속성도를 통해 표현되며 패턴 다이어그램과 속성 and-or 트리로 의미 및 구조를 해석한다. PVSL 과 속성도는 검증자의 기존 지식을 최대한 활용할 수 있도록 계층형 유한 상태 기계의 표기법을 활용한다. 그리고 Nu-SMV 에서 실제 사용된 CTL 예제를 속성도로 명세하고 이를 해석하는데 적용했다. 그 결과 배경 지식을 최소화할 수 있었으며 빠른 명세와 해석이 가능했다. 또한 명세의 오류를 방지할 수 있었으며 속성의 구조와 상호관계를 쉽게 파악할 수 있었다.