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

요약해석(abstract interpretation)이란 래티스(lattice)로 표현되는 요약된 공간에서 프로그램을 수행함으로써 프로그램의 성질을 분석하는 방법이다. 요약해석에서 프로그램의 분석 결과는, 정보가 없는 상태에서 시작하여 더 이상 정보의 증가가 없을 때까지 프로그램을 반복해서 수행함으로써 얻어지는 고정점(fixpoint)에 의하여 표현된다. 본 연구에서는 이러한 고정정 계산의 속도를 높이기 위하여 이전 반복의 계산 결과를 최대한 이용하는 방법을 제시한다. 그리고 제시된 방법을 상수 및 이명 분석의 구현에 적응하여 실제로 분석 속도가 증가함을 보였다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.4 no.2
• /
• pp.119-135
• /
• 1994

위성을 이용한 통신에서 오류의 검출과 교정은 중요한 과제중의 하나이다. 이 논문에서는 위성통신에 많이 응용되는 컨벌루션 부호에 있어서 전송되는 데이터에 패리티 비트를 부가하고 인터리브를 행하여, 채널상에서 나타나는 집단적 오류에 대해 능률적으로 대처할 수 있는 방법을 제시하고 있다. 이 방법은 부호화 과정에서 패리티비트를 얻기 위한 추가적 계산이 필요 없어서 계산의 복잡도를 증가시키지 않는다. 또 부호해석 과정에서는 개선된 알고리즘의 적용을 통하여, 예상되는 오류의 발생량이 큰 경우에만 패리티 정보를 참조케함으로써 불필요한 계산량의 증가를 줄이고 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.12
• /
• pp.3762-3774
• /
• 2000

The advances of computer hardware and information processing technologies raise the needs of multimedia information retrieval systems. Up to date. multimedia information systems have been developed for text information and image information. Nowadays. the multimedia information systems for video and audio information. especially for musical information have been grown up more and more. In recent music information retrieval systems. not only the information retrieval based on meta-information such like composer and title but also the content-based information retrieval is supported. The content-based information retrieval in music information retrieval systems utilize the similarity value between the user query and the music information stored in music database. In tbis paper. hence. we developed a similarity computation algorithm in which the pitches and lengths of each corresponding pair of notes are used as the fundamental factors for similarity computation between musical information. We also make an experiment of the proposed algorithm to validate its appropriateness. From the experimental results. the proposed similarity computation algorithm is shown to be able to correctly check whether two music files are analogous to each other or not based on melodies.

• Journal of KIISE:Information Networking
• /
• v.27 no.3
• /
• pp.370-380
• /
• 2000

Asynchronous Transfer Model(ATM)에 기반한 광대역 멀티미디어 통신망에서 best effort 형태의 서비스 지원을 위해 Available Bit Rate(ABR) 서비스가 사용되고 있다. 이미 제안된 많은 수의 ABR 전송률제어 알고리즘들은 정확하게 적정전송률을 계산하는 알고리즘(exact fair rate calculation algorithm)과 적정전송률의 근사치를 계산하는 알고리즘(approximate fair rate calculation algorithm)의 두 분류로 크게 구분 될 수 있다. 정확하게 적정전송률을 계산하는 알고리즘은 공정성과 응답성(responsiveness)측면에서 장점을 갖는다. 하지만 무선ATM 환경 하에서는 무선링크의 가용대역폭이 무선채널의 오류특성으로 인해 시변(time-varying)하므로, 정확하게 적정전송률을 계산하는 알고리즘은 무선ATM 환경에 적용되기 어려우며 따라서 적정전송률의 근사치를 계산하는 알고리즘이 대산 사용될 수 있다. 이 경우에 적정전송률의 근사치를 계산하는 알고리즘들의 응답성이 상대적으로 뒤떨어지는 특성으로 인해 가용대역폭이 시변하는 경우 알고리즘 성능의 저하가 발생될 수 있다. 본 논문에서는 적정전송률의 근사치를 계산하는 알고리즘들을 위한 응답성 개선 방안을 제안하고 응답성이 개선된 적정전송률의 근사치를 계산하는 알고리즘의 한 예로 응답성이 개선된 EDMRCA 알고리즘을 제시한다. 모의 실험을 통해 제시하는 알고리즘이 EDMRCA보다 응답성 측면에서 상당히 개선되었음을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06d
• /
• pp.105-109
• /
• 2008

클러스터 파일시스템은 근거리 또는 원거리에 있는 클러스터 시스템 간에 연구데이터 공유 뿐 아니라, 실시간 계산을 위한 데이터 저장 공간으로 사용되는 네트워크 기반의 파일시스템이다. 고도의 과학계산을 처리할 때 계산노드들은 네트워크를 통해 연결된 클러스터 파일시스템으로부터 대용량의 데이터를 송수신하는 과정에서 CPU의 부하가 생기게 되고 이러한 문제는 계산노드로 하여금 과학계산의 속도를 저하시키는 요인이 된다. 본 논문에서는 패킷 송수신으로 인한 CPU 부하를 줄이고 이를 통하여 계산 성능을 향상시킬 목적으로 계산노드에서 수신하는 패킷들에 대해 인터럽트를 통합할 때 CPU 사용률에 미치는 영향을 분석하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1226-1228
• /
• 2011

본 논문에서는 유사 시퀀스 매칭에서 미리 버림 계산의 효율적인 방법을 제안한다. 미리 버림은 유사 시퀀스 매칭에서 유클리디안 거리 계산 도중 거리 계산 값이 허용치보다 큰 경우 나머지 거리 계산을 하지 않는 방법이다. 기존의 방법은 시퀀스 첫 엔트리를 시작으로 하여 유클리디안 거리 계산을 진행한다. 이 방법은 데이터 고려 없이 계산이 진행되기 때문에 데이터의 특성에 따라 효과가 크게 다른 점을 보인다. 본 논문에서는 미리 버림의 효과를 최대화 시키기 위해 유클리디안 거리 계산 시작점을 오프셋이라 정의하고, 이를 데이터 특성에 맞게 조절하는 방법을 제안한다. 실험 결과, 제안한 오프셋 조절 미리 버림 방법이 대용량의 데이터 베이스 기반 시스템에서 기존 기법에 비해 좋은 성능 향상시킨 것으로 나타났다.

• Journal of Cadastre & Land InformatiX
• /
• v.54 no.1
• /
• pp.103-115
• /
• 2024

Trilateral adjustment can complement the problem of transforming cadastral maps into World Geodetic Coordinate system. First, it is possible to determine adjusted coordinate of common points that match each other over a wide area. Second, calculations that focus on specific points can be performed. Third, a solution that maintains the shape of the regional network can be obtained through constraints. Thus, the point coordinates can be determined appropriately for the survey system. In addition, heterogeneous survey results that span regions with different coordinate origins can be calculated on a single origin coordinate. This improves the efficiency of the workflow in tranforming cadastral maps into World Geodetic Coordinate System.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.1303-1305
• /
• 2007

현재 정보통신 기술의 발달에 상응하여 지능형 교통 시스템(ITS)은 네트워크 기반으로 실시간 교통 정보를 제공하기 위해 CCTV, GPS, VDS, 루프 검지기, 영상 검지기 등과 같은 다양한 방법으로 교통 정보 수집이 이루어지고 있다. 또한 정확한 정보 제공을 위해 정보의 수집 및 가공에 대한 많은 연구들이 진행되고 있다. 본 논문에서는 텔레매틱스 기반의 효율적인 교통정보 수집을 위해 RFID 태그 정보를 이용하여 교통정보를 수집하여 보다 정확한 실시간 차량 정보를 제공하는 교통정보 수집 시스템에 관한 연구를 기술하고자 한다.

• The KIPS Transactions:PartB
• /
• v.8B no.1
• /
• pp.98-104
• /
• 2001

본 논문에서는 어절 생성 사전을 이용한 한국어 철자 교정을 제안한다. 어절 생성 사전은 두 문자열 간 음절 특성이 고려된 편집 거리 계산을 기반으로 탐색되어 언어와 오류 유형에 의존적인 정보를 이용하지 않고 오류 어절에 대한 후보 어절을 생성한다. 또한 교정된 어절들의 가능한 형태소 분석들을 산출하여 후보들 간의 순위 계산 시에 재차 형태소 분석을 수행하지 않고 언어 정보를 적용할 수 있다. 본 논문에서 제안하는 철자 교정은 두 단계로 구성된다. 첫째, 오류 어절로부터 가능한 오류 정정 어간들을 계산한다. 둘째, 계산된 어간들로부터 어절 생성 사전을 탐색하여 원형 후보 어절들을 생성한다. 또한 품사 태깅과 공기 정보를 사용하여 오류 수정된 결과의 순위를 매긴다. 본 시스템의 자동 철자 교정 성능을 평가한 결과 3,000개의 어절에서 시험한 결과 단어 수준으로 93%가 옳게 교정되었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1237-1240
• /
• 2004

초고속국가망은 지식정보사회에 대비하여 국가가 공공기관을 중심으로 데이터서비스와 인터넷서비스를 제공하고 있는 비영리 정보통신 망이다. 이에 따라 공공기관이 다양한 형태의 정보를 자유롭게 이용할 수 있는 기반을 제공해야 한다. 따라서 최근 침해유형이 웜 트로이목마 등의 악성프로그램에 의한 DDoS 공격이나 대량의 패킷생성으로 네트워크 과부하를 일으키는 등의 네트워크 공격이 많아지면서 인터넷 사용자에 대한 보안의 필요성이 강조된다. 본 논문에서는 초고속국가망 인터넷 서비스에 대한 네트워크의 주요 구성요소를 진단해 보고 최근 침해 유형에 대한 보안의 취약성을 분석한 후 이를 해결할 수 있는 방안으로 네트워크 구조와 보안시스템의 효율적 개선안을 제시한다.