• 한국지능시스템학회논문지
• /
• 제13권5호
• /
• pp.505-511
• /
• 2003

생성 규칙의 지식 표현 방식은 많은 장점에도 불구하고 일관성 유지가 어렵다는 단점을 갖고 있다. 그런데 지식의 일관성 유지 여부는 지식을 기반으로 한 추론 결과의 신뢰도에 직결되므로 신뢰성을 제고하기 위하여 일관성 검증 시스템이 필수적이다. 일관성 검증 방식 중 가장 많이 사용되는 쌍 검증(pairwise checking) 방식에서는 가치 있는 규칙이 생략될 수 있으며 규칙의 수가 많은 경우에는 검증 시간이 많이 걸리는 단점이 있다. 따라서 본 논문에서는 확실한 특성의 리스트와 가능한 특성의 리스트를 사용하고 검증단계를 개선함으로써 쌍 검증 방식의 단점을 보완하여, 구조적 및 의미적 오류도 제거한 수 있는 검증 시스템을 제안하고 구축한다.

• 정보처리학회논문지C
• /
• 제16C권1호
• /
• pp.65-72
• /
• 2009

모바일 장치의 증가와 무선 네트워크 기술의 발전으로 인해 새롭게 모바일 애드혹 네트워크에 대한 관심이 증가하고 있다. 최근까지의 연구는 데이터 접근성(Accessibility) 향상을 위해 데이터 복사본 활용이 효율적임을 증명하였다. 그러나, 데이터 복사본이 모바일 애드혹 네트워크에서 활용되기 위해서는 원본과 복사본 사이에 일관성(Consistency)이 확보되어야만 한다. 기존의 연구에서 사용되고 있는 일관성 확보 기법은 원본을 가진 노드에게 복사본 사용 노드들이 매번 일관성을 가지는지 확인하는 기법이 활용되었다. 그러나, 시간제약을 가지는 응용의 경우 원본을 가진 노드에게 확인하는 기법은 효율적이지 못하거나 때로는 심각한 문제를 일으킬 수도 있다. 본 논문에서는 시간제약응용을 위한 캐쉬 무효화 기법을 제안하고 있다. 제안하는 기법을 통해 기존의 일관성 확인 기법에서 일어나는 ‘롤백(Rollback)’ 문제를 해결할 수 있었으며, 접근시간(Access time) 측면에서 성능향상을 얻을 수 있었다. 또한 본 논문에서는 임계값 기반의 보완 기법을 제안한다. 우리는 실험 결과를 통해 제안하는 기법이 약간의 현재성(Currency) 손해는 있지만, 접근시간 측면에서 효율적임을 증명하여 준다.

• 한국정보과학회논문지:데이타베이스
• /
• 제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기법보다 빠른 응답시간을 얻을 수 있음을 모의 실험을 통하여 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.235-237
• /
• 2002

무선 네트워킹 기술과 통신 기기의 발달로 이동 컴퓨팅 환경이 보편화됨에 따라 제한된 대역폭의 절감과 빠른 응답시간, 그리고 확장성을 위해 이동 호스트는 지역 캐쉬를 이용한다. 이때, 이동 호스트와 지역구국간에는 캐쉬의 일관성 유지가 필연적이며 이에 따라 많은 기법들이 제안되고 있다. 기종의 일관성 기법 중 탐지기반의 기법들은 간단하고 구현이 쉬운 반면 전송되는 메시지 횟수가 많고, 회피기반의 기법들은 빠른 처리가 가능하여 고정 네트워크에서 일반적으로 사용되고 있는 기법이다. 본 논문에서 제안한 기법은 페이지 요청 또는 완료시 갱신 연산이 일어난 객체에 대해 갱신 빈도를 고려함으로써 기존 기법에 비해 교환되는 메시지 횟수를 줄여 전송비용을 개선하였고, 또한 응답 시점을 옮겨 빠른 응답이 가능하게 하여 이동 컴퓨팅 환경에 적합하도록 하였다. 따라서, 본 논문에서 제안한 방법은 갱신 연산이 이루어지는 경우 비동기적으로 갱신 빈도에 따른 갱신의도 선언 또는 갱신을 선택적으로 수행하여 응답이 빠르고 철회 단계가 감소하는 장점을 갖는다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
• /
• pp.362-365
• /
• 2006

이동 컴퓨팅 환경에서 이동 호스트는 무선 통신망의 협소한 대역폭을 효율적으로 사용하기 위해 캐쉬를 사용한다. 하지만 이동 호스트는 서버와의 통신 단절로 인해 서버에 존재하는 데이터와 일관성 문제가 발생하여 정확성을 잃을 수 있다. 이를 해결하기 위해 기존의 무효화 보고를 개선하여 주기적으로 브로드캐스트 되는 데이터를 테이블로 유지함으로써 단절로 인해 발생하는 일관성 문제를 해결하고자 하였다. 또한 이동 호스트의 요청 데이터를 예측하여 이동 컴퓨팅 환경에서의 심각한 대역폭 문제를 해결하고, 서버에 데이터를 요청 할 때의 소요 시간을 줄일 수 있는 효율적인 기법을 제안하고자 한다.

• 재무관리연구
• /
• 제9권2호
• /
• pp.169-175
• /
• 1992

본 논문에서는 이산적(離散的) 시간하(時間下)의 옵션가격결정모형(價格決定模型)이 시장균형개념(市場均衡槪念)과 일관성(一貫性)을 갖지 않을 수 있다고 주장된다. 구체적으로, 이 모형의 유도에 필수불가결한 이변량 자연대수 정규분포의 기본가정이 경제의 시장청산조건(市場淸算條件)들과 상충될 수 있음이 보여진다. 따라서, 이산적 시간하의 옵션가격결정모형은 다음과 같이 아주 제약적인 가정하에서만 유도될 수 있을 것이다. 즉, 기초자산(基礎資産)이 총체적(總體的) 부(富)(aggregate wealth)의 유일한 구성요소이거나, 혹은 옵션이 총체적(總體的) 부(富)에 대해서 발행되는 것으로 가정하는 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.364-366
• /
• 2004

소프트웨어 개발 과정의 여러 산출물 간의 일관성 유지는 최종 소프트웨어의 품질을 결정하는 중요한 요소가 되며, 운영단계의 유지보수 효율성에도 큰 영향을 미친다. 특히 구현 등 개발 후반부 활동을 진행시 발견된 하나의 오류는 그 이전 단계의 다수의 산출물의 오류로 인한 파급 결과이므로, 발견된 오류의 원인(Cause)가 되는 이전 단계의 오류를 효과적으로 추적할 수 있는 체계가 요구된다. 본 논문에서는 한 산출물의 오류가 다른 어떤 산출물의 어떤 세부항목들의 어떤 오류로 인한 파급 결과인지를 정의한 역추적(Backtracking) 그래프를 제안하여, 개발자가 오류를 발견 시 관련 산출물과 항목을 신속히 파악할 수 있도록 한다. 이를 이용하여 산출물간의 일관성 유지 노력과 시간을 최소화하고 일관성 유지의 정확성을 높일 수 있다.

• 한국정보과학회논문지:데이타베이스
• /
• 제28권2호
• /
• pp.140-152
• /
• 2001

클라이언트/서버 환경에서 서버의 공간 데이터를 검색, 접근하기 위한 공간 질의는 대용량의 공간 객체에 대해 복잡한 공간 연산을 수행한다. 따라서 클라이언트가 자주 이용하는 공간 질의를 매번 서버에서 처리하는 경우에 서버의 부하가 증가하며 질의 응답시간도 길어지게 된다. 그러므로 이러한 공간 질의를 뷰로 정의하고 클라이언트에 실체화하면 질의를 효율적으로 처리할 수 있다. 이 경우에 뷰를 유도한 서버의 소스 객체의 변경에 따라 클라이언트의 실체화된 뷰 객체의 일관성을 유지해야 한다. 본 논문에서는 클라이언트/서버환경에서 질의 수행 속도를 향상시키기 위해 실체화된 공간뷰 개념을 적용하여 클라이언트 뷰를 정의하고 유형을 분류한다. 그리고 실체화된 클라이언트 뷰의 리관성 제어를 위해 재수행 방법에 비해 변경 속도가 빠른 점진적 변경 방법을 이용한다. 이를 위해 일관성 제어시 필요한 추가정보를 기술하고, 추가정보를 이용한 일관성 제어 알고리즘을 제시한다. 그리고, 제시한 실체화 방법과 일관성 제어 알고리즘의 실현을 위하여 객체지향 GIS시스템임 고딕(GOTHIC)에서 설계 및 구현하고 성능을 평가한다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2003년도 춘계공동학술대회
• /
• pp.236-243
• /
• 2003

본 연구의 목적은 수작업 반복성 평가의 체계적인 연구를 위해 최근 5년간의 반복성에 관한 기존 연구 30여 편을 중심으로 반복성 평가 방법들을 조사하여 비교 분석하는 것이다 기존연구들의 비교 분석 결과, 평가하고자 타는 반복성의 근본적인 이해가 부족하여 반복성 정의에 대만 일관성이 없을 뿐만 아니라 반복 수준의 구분 기준에 대한 척도간 비교가 어렵고 결과의 일관성도 없었다. 본 연구에서는 기존 연구들의 무분별만 평가로 인한 문제점을 해결하기 위하여 시간(time)과 빈도수(frequence)를 기준으로 타는 평가 적도의 새로운 분류 체계를 제안하였다. 마지막으로 평가 적도의 측정과 분서에 사용되는 방법들을 조사하여 정리하였다. 본 연구의 결과는 수작업의 반복성 평가를 위한 척도의 사용지침을 제공할 뿐 아니라 추후 반복성 평가의 체계적인 방법론을 구축하는데 근간이 될 수 있을 것이다.

• 정보처리학회논문지D
• /
• 제10D권4호
• /
• pp.647-654
• /
• 2003

데이터의 중복은 가용성과 시스템의 성능을 향상시키기 위하여 사용한다. 분산 데이터베이스 시스템에서는 데이터베이스의 일관성뿐만 아니라 중복 일판성도 유지해야 한다. 이 논문에서는 부분 중복 환경에서 각 데이터 마다 주사본을 루트로 하여 그 데이터의 사본들을 계층적인 트리로 조직화하고, 이 트리를 이용하여 연산들의 충돌문제를 해결하는 효율적인 알고리즘을 제안한다. 각 데이터의 계층구조화는 갱신이 데이터의 계층구조를 따라 사본이 갖는 사이트에만 전파될 수 있으므로 갱신의 불필요한 전파시간을 제거하여 갱신 전달 시간을 줄일 수 있다. 그리고 제안한 알고리즘은 지연 갱신 전파로 인하여 갱신 전파 도중에 발생할 수 있는 충돌로 인한 비직렬성 문제를 타임스탬프와 보상 트랜잭션을 이용하여 해결한다. 이러한 방식의 연산들의 충돌문제의 해결은 갱신전파 시간을 줄이면서도 일관성 있는 데이터를 제공할 수 있다.