• 한국전자통신학회논문지
• /
• 제7권2호
• /
• pp.341-347
• /
• 2012

클라우드 컴퓨팅 환경에서는 기업이나 사용자가 실제로 소유하지 않은 컴퓨터 자원을 필요한 만큼 쓸 수 있다. 페이스 북과 같은 웹 2.0 응용의 경우, 서비스의 최대 수요를 예측하기 힘들다. 하지만 클라우드 컴퓨팅을 이용하면 많은 비용을 들이지 않고 수요를 만족시킬 수 있기 때문에 점점 넓게 대중화되고 있다. 클라우드 컴퓨팅의 장점 중 하나는 고가용성의 제공이다. 비공유 구조인 클라우드 컴퓨팅에서 고가용성을 제공하기 위해서는 기존의 강한 일관성을 그대로 적용할 수 없다. 궁극적 일관성과 같이 전통적 일관성을 완화한 기준들이 제안되었고, 많은 응용들에서 채용되고 있다. 이 논문에서는 클라우드 컴퓨팅에서 적용가능한 다양한 일관성 기준들에 대하여 고찰하고, 클라우드 환경에서 수행되는 각 응용들에 적합한 일관성 기준에 대하여 논의한다.

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

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