• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.460-463
• /
• 2007

기존 공간 분류 시스템은 애매모호한 데이터나 불완전한 데이터, 결손 데이터의 처리에는 취약하다는 단점을 가지고 있다. 수치 형태의 애매모호성을 효과적으로 처리하기 위해 신경망을 이용할 수 있다. 그러나, 신경망을 이용한 공간 데이터 분류 방법은 불완전한 데이터나 결손 데이터들을 무시하지 않고 처리 할 수 있으나, 다양한 수치형태를 가지는 공간 데이터들로 인해 네트워크 구조의 복잡도가 증가하고 학습성능이 저하된다는 문제점을 야기한다. 본 논문에서는 이러한 문제점을 해결하기 위해서 퍼지 신경망을 적용한 새로운 공간 분류시스템을 제안하고 구현하였다. 실험 결과 기존의 방법에 비해 좋은 성능을 보임을 확인하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2016.05a
• /
• pp.252-252
• /
• 2016

수자원에 대한 효율적 활용 요구가 증대됨에 따라 한반도 수리적 특성을 보다 정밀하게 모의하고 이를 활용한 의사결정이 요구되고 있다. 한반도는 지리적 특성상 약 70%가 산학 구조로 되어 있어서 지형적 기상 현상이 복잡하여 가뭄지수의 공간 보간에 어려움이 있다. 따라서 지형적 특성-거리, 고도, 해양에서의 거리, 지향면 등을 고려할 수 있는 PRISM 기법을 기존의 공간 보간 기법과 비교 분석하여 한반도 전역의 가뭄 특성에 적합한 공간 보간 기법을 검출하고자 하였다. 자료의 분석은 기상청에서 제공하는 강우 관측소중 40년 이상의 연한을 가지고 있는 60개 지점을 선정하여 분석하였으며 방법 간의 비교는 지점을 선정하여 추정된 오차를 기초로 하여 판단하였다. 분석결과 PRISM 기법이 복잡한 지형적 특성을 가진 지역에서 더 적합한 방법으로 나타났다. 향후 연구에서는 미개측 지역의 가뭄지수 분석을 시행하여 관측소가 설치되지 않은 지역의 적합한 가뭄 특성을 분석하여 효율적인 수자원 활용을 위한 적절한 의사결정 지표를 선정하고자한다.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.19 no.3
• /
• pp.352-357
• /
• 2008

We present a space-time trellis coded OFDM system in slow fading channels. Generalized principal ratio combining (GPRC) is also analyzed theoretically in frequency domain. The analysis shows that the decoding metric of GPRC includes the metrics of maximum likelihood(ML) and PRC. The computer simulations with M-PSK modulation are obtained in frequency flat and frequency selective fading channels. The decoding complexity and simulation running times are also evaluated among the decoding schemes.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.137-139
• /
• 1999

concurrent reactive system은 일반적으로 매우 많은 다른 행동들(different behaviors)을 보여 주기 때문에 설계하기가 어렵다. 또한 한 시스템에서의 구성 요소들 간에 상호작용을 함으로 전체 시스템의 상태를 나타낸다면 전체 상태를 각 구성요소의 상태들의 곱으로 나타내지므로 복잡도는 지수의 곱으로 나타내 질 것이다. 따라서 단순한 테스트로는 시스템 특성의 정확성을 검증하기 위해 모든 상태를 확인할 수 없다. 본 논문에서는 concurrent system의 고전전 문제인 dining philosophers problem을 상징적 기호 표현방법을 이용해서 그 시스템의 정확성을 검증하고 또한 상태 공간 폭발 문제-상태 공간의 크기가 시스템에서 구성요소의 복잡도와 수가 동시에 지수적으로 증가하는 문제-를 어떻게 해결할 수 있는 가를 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.683-685
• /
• 2000

이 논문에서는 새로운 중앙 소거 방식과 행렬 이분법의 개념을 시스톨릭한 구조 위에 결합시켜{{{{ { O}^{ } }}}}({{{{ { N}^{ 3} }}}})의 문제를 해결한다. 새로운 중앙 소거 방식은 주어진 시스톨릭한 구조의 병렬성을 최대한 증가시키는 것을 가능하게 해주며, 행렬 이분법은 기존의 가우스 소거 방식 상에서 나타나는 {{{{ { O}^{ } }}}}({{{{ { N}^{ 2} }}}})의 복잡도를 요구하는 후진 대입을 효과적으로 제거 시켜준다. 새로운 소거 방법은 독립적인 선형방정식으로 이루어진 시스템의 차수를 N이라 할 때 2N(N+1)의 저장 공간과 4N+2log2N-4의 시간 복잡도를 갖는다. 제안 한 새로운 소거 방식은 단순한 구조와 연결 방식을 가진 그물 구조의 시스톨릭 병렬 시스템에 적용되기에 충분히 적합한 단순한 알고리즘을 사용하면서도 이전의 방법과 동일한 구조의 저정공간을 요구하고 동시에 훨씬 우수한 시간 성능을 나타내는 것이 가능하다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.2
• /
• pp.9-15
• /
• 2000

In this paper, we proposed a content-based image retrieval method using color and object's complexity for indexing of image database. Generally, the retrieval methods using color feature can not sufficiently include the spatial information in the image. So they are reduced retrieval efficiency. Then we combined object's complexity which extracted from chain code and the conventional color feature. As a result, experiments shooed that the proposed method which considers the shape feature improved performance in conducting content-based search.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.496-498
• /
• 2003

접미사 배열은 긴 문자열에 대해 효율적인 문자열 검색을 가능하게 하는 자료구조이다. 접미사 배열은 문자열의 접미사들의 사전식 정렬순서를 배열로 저장한다. 비슷한 효과를 가진 접미사 트리에 비해서 접미사 배열은 저장 공간을 적게 차지하기 때문에 생명정보과학의 염기 서열 등 큰 크기의 문자열의 처리에 더욱 유리하다. 본 논문에서는 2003년에 발표된 Ko-Aluru, K$\square$rkk$\square$inen-Sanders 및 기존의 Manber-Myers 등 세 개의 접미사 배열 생성 알고리즘들의 염기 서열 입력 자료에 대한 실행 시간 및 기억 장치 사용량을 실험을 통해 비교한다. 특히 Ko-Aluru와 K$\square$rkk$\square$inen-Sanders 알고리즘은 실행 시간 및 저장 공간의 이론적인 복잡도가 O(n)으로 동일하기 때문에 실험을 통해서 계산 복잡도에 숨어있는 상수를 비교한다. 실험 결과 K$\square$rkk$\square$inen-Sanders 알고리즘이 가장 효율적임을 보인다.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.339-352
• /
• 2009

There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.3 s.345
• /
• pp.33-39
• /
• 2006

In this paper we propose the Modified Karatsuba-Ofman algorithm for polynomial multiplication to polynomials of arbitrary degree. Leone proposed optimal stop condition for iteration of Karatsuba-Ofman algorithm(KO). In this paper, we propose a Non-Redundant Karatsuba-Ofman algorithm (NRKOA) with removing redundancy operations, and design a parallel hardware architecture based on the proposed algorithm. Comparing with existing related Karatsuba architectures with the same time complexity, the proposed architecture reduces the area complexity. Furthermore, the space complexity of the proposed multiplier is reduced by 43% in the best case.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.44 no.5
• /
• pp.25-32
• /
• 2007

This paper proposes a distributed space-frequency block code (SFBC) for relay-assisted single carrier frequency-domain equalization (SC-FDE). The proposed technique achieves spatial diversity gain over fast fading channels without the complexity of multiple antennas. The mobile equipment of the proposed system has a very simple transmitter structure with constant amplitude transmit sequences, which is desirable especially for uplink communications. In order to obtain spatial diversity, the transmit sequence of relay is efficiently generated in the time domain, which is equivalent to the SFBC. Further, efficient implementation of relay and destination structures is also presented. Extensive simulation results show that the proposed system significantly outperforms the distributed space-time block code (D-STBC) SC-FDE over fast fading channels.