• Annual Conference on Human and Language Technology
• /
• 1999.10e
• /
• pp.128-134
• /
• 1999

기계번역이나 정보검색 등에 적용되는 자연언어처리기술에 있어서 구문분석은 매우 중요한 위치를 차지한다. 하지만, 문장의 길이가 증가함에 따라 구문분석의 복잡도는 크게 증가하게 된다. 이를 해결하기 위한 많은 노력 중에서 전처리기의 지원을 통해 구문분석기의 부담을 줄이려는 방법이 있다. 본 논문에서는 구문분석의 애매성과 복잡성을 감소시키기 위해 유한상태 변환기 (Finite-State-Transducer FSI)를 이용한 전처리기를 제안한다. 유한상태 변환기는 사전표현, 단어분할, 품사태깅 등에 널리 사용되어 왔는데, 본 논문에서는 유한상태 변환기를 이용하여 형태소 분석된 문장에서 시간표현 등의 제한된 표현들을 구문요소화하는 전처리기를 설계 및 구현하였다. 본 논문에서는 기계번역기에서의 구문분석기 뿐만 아니라 변환지식의 모듈화를 지원하기 위해 유한상태 변환기를 이용하여 시간표현 등의 부분적인 표현들을 번역하는 방법을 제안한다. 또한 유한상태 변환기의 편리한 작성을 위하여 유한상태 변환기 작성 지원도구를 구현하였다. 본 논문에서는 전처리기의 적용을 통해 구문분석기의 부담을 덜어 주며 기계번역기의 변환부분의 일부를 성공적으로 담당할 수 있음을 보여 준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.165-168
• /
• 2006

이 논문은 유한상태변환기만을 이용하여 한국어 형태소 분석 및 품사 태깅 시스템을 제안한다. 기존의 한국어 형태소 분석 시스템들은 규칙기반 형태소 분석기가 주를 이루고 한국어 품사 태깅 시스템은 은닉마르코프 모델 기반 품사 태깅이 주를 이루었다. 한국어 형태소 분석의 경우 유한상태변환기를 이용한 경우도 있었으나, 이 방법은 변환기를 작성하기 위한 규칙을 수작업으로 구축해야 하며, 그 규칙에 따라서 사전이 작성되어야 한다. 이 논문에서는 품사 태깅 말뭉치를 이용해서 유한상태변환기에서 필요한 모든 변환 규칙을 자동으로 추출한다. 이런 방법으로 네 종류의 변환기, 즉, 자소분리변환기, 단어분리변환기, 단어형성변환기, 품사결정변환기를 자동으로 구축한다. 구축된 변환기들은 결합연산(composition operation)을 이용하여 하나의 유한상태변환기를 구성하여 한국어 형태소 분석과 동시에 한국어 품사 태깅을 수행한다. 이 방법은 하나의 유한상태변환기만을 이용하기 때문에 복잡도는 선형시간(linear complexity)을 가지면, 형태소 분석기와 품사 태깅 시스템을 매우 짧은 시간 내에 개발 할 수 있었다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2010.07a
• /
• pp.99-102
• /
• 2010

스마트폰의 도입으로 인하여 증강현실이 널리 알려짐에 따라 대중들의 관심은 이에 집중되고 있으며 휴대성으로 인하여 모바일 기기에서의 증강현실 연구가 하나의 흐름으로 자리 잡고 있다. 기존의 증강 현실 관련 응용 기술들이 많이 연구되고 있지만 실제 게임에서 사용되고 있는 인공 지능과 결합된 연구는 이루어지고 있지 않다. 본 논문에서는 스마트 폰의 기능중 하나인 3축 가속도 센서를 이용하여 증강 현실 환경에서 3D 에이전트의 상태를 동적으로 변환하는 인공 지능 알고리즘을 제안한다. 인공지능이 적용된 에이전트의 상태를 제어하기 위한 전통적인 방식으로서 사용자가 직접 입력해 주거나 이를 인식하는데 마커를 사용하여 해결하였다. 본 논문에서는 증강 현실 구현을 위해 마커리스 추적 기술을 사용하였고 3축 가속도 센서를 이용하여 동적으로 에이전트의 상태를 변환하도록 하였다.

• Proceedings of the KIPE Conference
• /
• 2014.11a
• /
• pp.181-182
• /
• 2014

본 논문에서는 풀-브리지 컨버터 회로를 기반으로 하며 양방향 전력변환이 가능한 DC-DC 컨버터를 제안한다. 제안하는 컨버터는 부하의 상태에 상관없이 출력전압을 일정하게 유지하면서 연속적인 양방향 전력변환이 가능하다. 본 논문에서 대상으로 하는 부하는 충/방전기로 컨버터 출력에 여러 대의 충/방 전기가 병렬로 접속되며, 각각의 충/방전기는 개별로 동작한다. 따라서 충/방전기용 양방향 DC-DC 컨버터는 충/방전기의 동작 상태에 관계없이 연속적인 양방향 전력변환이 가능해야 한다. 제안하는 양방향 컨버터의 성능을 확인하기 위하여 시뮬레이션을 수행하였으며, 시뮬레이션 결과 제안한 컨버터가 부하급변 상태에서도 양방향 전력변환을 정상적으로 수행하는 것을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.597-600
• /
• 2008

안전성 분석 활동으로 널리 쓰이는 폴트 트리 분석은 그 원인들의 관계를 논리게이트로 표현하고 원인을 자연어로 설명한다. 폴트 트리에서 자연어를 사용하여 사고의 원인을 나타내는 것은 폴트 트리 자체의 검증뿐만 아니라, 동일한 대상의 시스템 명세에도 적용하기에 어려운 부분이다. 본 논문에서는 폴트 트리를 상태 차트로 변환하는 방법을 제안 하였으며, 상태차트로 변환된 폴트 트리를 상태차트로 명세 된 시스템의 기능적 요구사항과 결합함으로써 상태차트로 표현된 기능 명세가 안전성 분석활동을 통해 얻은 폴트 트리에 순응 되는지 여부를 볼 수 있었고, 폴트 트리에서의 분석 대상인 사고가 발생하기 까지를 추적할 수 있었다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

• 전자공학회논문지 IE
• /
• v.44 no.3
• /
• pp.51-55
• /
• 2007

In this paper, we consider the controllability and observability for the time-varying linear system using the input-state(I/O), input-output(I/O) transformation and get the time-invarying linear system. The transformed system represent the system with the multiple integral. We verify the proposal algorithm via the example and examine.

• 전자공학회논문지 IE
• /
• v.44 no.4
• /
• pp.19-25
• /
• 2007

In this paper, we consider the input-state(I/S) transformation for the time-varying linear system with the uncertainty because of to determine the bounded range of the uncertainty. And we get the time-invarying linear system after the I/S transformation. We present the necessary sufficient condition for the I/S transformation. The transformed system represent the system with the multiple integral. We verify the proposal algorithm via the example and examine.

• Proceedings of the KIPE Conference
• /
• 2020.08a
• /
• pp.124-126
• /
• 2020

다양한 기기에 적용된 리튬 이온 전지의 출력은 전력으로 계산되며, 리튬 이온 전지는 전류 기반의 해석뿐만 아니라 전력기반의 해석 또한 필수적이다. 본 논문은 리튬 이온 전지의 정전력 입력과 출력에 따른 전류 관점의 분석과 전력 관점의 분석을 수행하였다. 리튬 이온 전지에서 정전력 입력 및 출력 시, 충전 상태와 에너지 상태 변화의 차이를 및 용량과 에너지 변화를 분석하였다.

• Proceedings of the KIEE Conference
• /
• 2006.07d
• /
• pp.2247-2248
• /
• 2006

전동차 운행시스템은 속도를 지령하는 NOTCH의 상태를 전압으로 인식하여 주파수로 변환한 후 주파수 변환신호를 출력하는 아날로그 및 디지털 인코더와 인코더의 주파수 변환신호를 입력받아 카운트하여 노치의 상태를 데이터버스(DATA BUS)에 실어 중앙처리장치(CPU)에 데이터를 출력하는 특징을 갖는다. 이런한 전동차 신호전달시스템 분석을 본 연구에서 하고자 한다.