• 한국정보과학회논문지:데이타베이스
• /
• 제27권4호
• /
• pp.671-681
• /
• 2000

클라이언트-서버(Client-Server) 데이터베이스 환경에서 병목현상의 해결책으로 클라이언트캐시(Client cache)를 사용할 수 있다. 여러 클라이언트들이 같은 데이터베이스의 일부를 캐시한 복사본을 사용할 때, 다른 클라이언트들과 서버간에 일관성 유지를 보장해주어야 한다. 캐시의 일관성을 유지하기 위한 여러 가지 알고리즘들이 제안되어왔다. 그 중에서 O2PL(Optimistic Two Phase Locking) 기법은 동시성을 증가시킬 수 있는 주요 장점이 있다. 그러나 O2PL 알고리즘은 트랜잭션이 완료(commit) 연산을 요구하는 시점에서 접근한 캐시데이터의 일관성을 위한 작업이 시작되므로 최종적인 완료까지는 지연이 발생하게된다. 이때 다른 클라이언트에서 잠금 충돌(lock conflict)에 의해 전역 교착상태(global deadlock)가 발생한다면 블락(block)되어 지연되는 시간은 더욱 증가하게된다. 본 논문에서는 향상된 O2PL 기법으로 PN(Preemption by Notification)-O2PL 기법을 제안한다. 이 접근에서는 O2PL의 특성으로 얻을 수 있는 연산정보를 관련된 다른 트랜잭션에게 통지(notification)로 사용하고 제시한 조건에 해당할 경우 상대 자원을 바로 사용할 수 있게 한다. 이 조건은 대부분의 전역 교착 상태에 해당하는 두 트랜잭션간의 교착상태를 조기에 신속히 감지할 수 있게 하여 트랜잭션 완료의 지연을 감소시키게 한다. PN-O2PL 알고리즘이 기존의 O2PL기법보다 빠른 응답시간을 얻을 수 있음을 모의 실험을 통하여 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권1호
• /
• pp.89-99
• /
• 2004

본 논문에서는 코드 변환 과정과 축약, 탈락, 불규칙 활용 둥으로 변형된 형태소의 원형을 복원하고 분석 후보를 생성하는 등의 과정을 거치지 않고 형태소 사전에서 제공되는 인접 조건에 대한 검사만으로 형태소 분석을 하는 방법을 제안한다. 인접 조건 검사는 복잡한 연산을 하지 않고 단순한 비트 연산만으로 할 수 있기 때문에 제안된 방법은 초고속 형태소 분석기 구현에 적합하다. 본 논문에서 제안한 방법에 따라 구현된 한국어 형태소 분석기 MACH는 1.13 GHz Pentium III 개인용 컴퓨터에서 대략 5분/GB의 분석 속도를 보였으며, 분석 정확도는 99.2 %로 기존의 다른 분석기와 큰 차이가 없었다.

• 한국컴퓨터산업학회논문지
• /
• 제2권10호
• /
• pp.1349-1354
• /
• 2001

외판원 문제(Traveling Salesman Problem)는 주어진 n개의 도시들과 그 도시들 간의 거리비용이 주어졌을 때, 모든 도시들을 정확히 한번씩만 방문하면서 걸린 비용이 최소가 드는 경로를 찾는 문제이다. 따라서 최적해(optimal)를 구하는 것은 전형적인 NP-완전 문제 중의 하나로, 외판원 문제를 해결하려는 다양한 알고리즘들이 개발되고 있다. 특히 실제 생체 분자(bio-molecule)를 계산의 도구로 사용하는 새로운 계산 방법인 DNA 컴퓨팅은 DNA 분자가 잠재적으로 가지고 있는 막대한 병렬성을 이용해서 NP-완전 문제들을 해결하고자 하는 연구들이 많이 진행되고 있다. 그러나 아직 실제 생체 분자의 특성을 잘 반영하는 계산 모델이나 분자 생물학에서 사용하는 연산들이 많이 개발되지 않아 계산 효율이 비교적 좋지 않다. 따라서 본 논문에서는 외판원 문제를 해결하기 위한 DAN컴퓨팅의 새로운 중합 효소 연쇄 반응(Polymerase Chain Reaction, PCR) 연산을 개발하였다.

• 한국항행학회논문지
• /
• 제13권5호
• /
• pp.691-698
• /
• 2009

Chen 등은 위조 방지와 프라이버시 보호를 위한 RFID 인증 프로토콜을 제안하였다. 제안된 스킴은 저비용의 RFID 태그 보안을 위하여 XOR 연산과 시프트(shift) 연산을 이용하였다. 그러나, 실제적인 응용 환경을 고려하지 않았기 때문에 보안상의 문제점을 비롯하여 몇 가지 취약점을 보인다. 본 논문에서는 Chen 등의 프로토콜을 분석하고 취약점에 대한 의견을 제시한다. 또한, 기존의 스킴을 보완한 RFID 양방향 인증 프로토콜과 효율적인 공급망 관리를 위한 갱신 프로토콜을 제안한다. 제안된 프로토콜은 기존의 XOR 연산 기반의 RFID 인증 프로토콜과 안전성 및 효율성면에서 비교, 분석하였으며, 높은 안전성과 적은 통신 비용이 요구됨을 확인하였다.

• 한국콘텐츠학회논문지
• /
• 제13권8호
• /
• pp.44-51
• /
• 2013

래스터 연산은 트루 컬러 이미지(픽스맵)나, 단색 이미지(비트맵)을 표현하기 위해서 광범위하게 사용된다. 이 기능은 이미지 프로세싱 기능이나, 폰트 출력 시에 강하게 요구된다. 반면에, OpenGL ES 하드웨어 등을 포함하는, 현재의 모바일 그래픽스 플랫폼들에서는 이 기능을 직접 제공하지는 않는다. 모바일 그래픽스 플랫폼들에서 이러한 래스터 연산을 완벽히 제공하기 위해서, 본 논문에서는 그래픽스 이미지들을 3차원 점들의 집합으로 해석하고, 풀-소프트웨어 구현 방식으로, 이들 3차원 점들을 전형적인 3차원 기하 파이프라인으로 처리하게 했다. 구현 결과는 충분한 실행 속도를 보였고, 정확도를 증명하기 위한 공식 검증 테스트(conformance test)들을 모두 통과하였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제35권2호
• /
• pp.143-154
• /
• 2008

RFID 이벤트는 연속적으로 발생하는 대용량의 스트림 데이타이다. 연속적인 RFID 스트림으로부터 비즈니스 이벤트를 검출하기 위한 많은 연구들이 진행되었다. 그러나 기존 연구는 실제 비즈니스 이벤트가 발생하는 최소 조건을 만족하지 못하는 경우에도 계속적인 검사를 수행하기 때문에 연산 비용이 증가하는 문제점이 있다. 본 논문에서는 불필요한 비즈니스 이벤트 검출 연산을 제거하기 위하여 비즈니스 이벤트의 최소 조건을 정의하고 조건을 만족하는 경우에만 비즈니스 이벤트를 검출하는 연산을 제안한다. 비즈니스 이벤트의 최소 조건을 검사하기 위하여 비즈니스 이벤트를 그리드 색인에 등록하고 질의 색인과 비트맵을 사용하여 비즈니스 이벤트를 추출한다. 제안하는 비즈니스 이벤트 검출 기법의 우수성을 입증하기 위해서 기존의 연구와 성능 비교 평가를 수행한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권6호
• /
• pp.582-587
• /
• 2008

구조 조인은 XML 경로 질의를 처리하기 위한 대표적인 방법 중의 하나이다. 최근의 연구에서는 B+트리 등에 색인된 가로 방향의 엘리먼트 분포 정보를 이용하여 조인 결과에 포함되지 않는 엘리먼트들을 조인 연산에서 배제하는 방법에 초점을 맞추고 있다. 하지만, 이러한 방법은 조인 연산 자체가 매우 복잡해지며 분포 정보를 위한 색인의 부담으로 항상 좋은 성능을 보장하지는 못한다. 본 논문에서는 레벨 정보를 이용하여 조인 결과에 참여하지 못하는 엘리먼트들을 효과적으로 걸러내는 구조 조인 기법을 제안한다. 제안하는 기법의 레벨 정보는 엘리먼트의 세로방향의 분포정보라는 점에서 기존의 기법과 차별화되며 조인 연산을 위한 별도의 색인을 필요로 하지 않는다는 장점을 가진다. 본 논문에서는 실험을 통하여 제안된 기법의 효율성을 보인다.

• 한국정보과학회논문지:시스템및이론
• /
• 제30권2호
• /
• pp.93-98
• /
• 2003

본 논문에서는 $GF(2^m)$ 상에서$AB^2 $연산을 위한 두 가지 새로운 알고리즘과 구조를 제안한다. 먼저 Linear Feedback Shift Register 구조기반의 A$B^2$ 곱셈 알고리즘을 제안하고, 이를 기반으로 비트순차 구조를 설계한다. 그리고, 기본 구조로부터 변형된 변형 $AB^2 $ 곱셈기를 설계한다. 제안된 구조는 기약다항식으로 모든 계수가 1인 속성의 All One Polynomial을 이용한다. 시뮬레이션 결과 제안된 구조가 구조복잡도면에서 기존의 구조들보다 훨씬 효율적이다. 제안된 곱셈기는 공개키 암호의 핵심이 되는 지수기의 구현을 위한 효율적인 기본구조로 사용될 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권3호
• /
• pp.353-364
• /
• 1999

공간 데이터베이스는 일반 관계형 데이터베이스나 객체지향 데이터베이스에 비해 다음과 같은 특징을 가진다. 첫째, 공간 데이터베이스에서의 질의는 공간 질의와 비공간 질의가 섞여서 들어 온다. 둘째, 공간 질의는 비공간 질의에 비해 데이터의 복잡성과 방대함으로 인해 주로 2 단계(여과 단계 및 정제 단계)로 나누어 처리되었다. 셋째, 공간 객체들은 대부분 공간 색인을 가지고 있다. 본 논문에서는 이러한 공간 데이터베이스의 특성을 잘 반영하는 질의 최적화 기법을 제안한다. 첫 번째 방법으로 질의 수행 단계 이전의 최적화 단계에서부터 여과 및 정제를 분리하여 생각하는 것이다. 두 번째 방법으로는 복잡한 질의에 대해서 각각의 공간 연산을 여과/정제 단계로 분리한후 여러 정제 단계 연산들을 합쳐 한꺼번에 처리 할수 있고 여러 여과 단계 연산들도 마찬가지로 합쳐질 수 있다. 본 논문에서는 또한 여과/정제를 질의 최적화 단계에서 분리한 여과/정제 조기 분리 (ESFAR) 최적화 기법에 대한 규칙 기반 질의 최적화 기법을 제안한다.

• 한국정보처리학회논문지
• /
• 제6권1호
• /
• pp.21-31
• /
• 1999

이 논문은 시공간 데이터의 통합된 연산을 위하여 공간 연산자와 시간 연산자의 경합 접속을 연구한다. 시공간 연산을 위한 통합 연구는 시공간 참조 메크로에 의한 시공간 위상관계 연산자의공통 사용을 의미한다. 또한 이 논문은 지형 객체의 이력 정보를 검색하는 이력 연산자와 시간관계 비교 연산자의 통합 알고리즘을 제안한다. 제안된 확장 알고리즘은 기존의 GIS(Geographic Information System) 공간 데이터베이스를 기반으로 구현되며, 아울러 시공간 질의표현의 예를 통해 평가된다. 여기서 연구된 시공간 연산자의 통합은 통일된 시공간 질의를 지원하는데 유용한 기반구조를 제공할 것이다.