• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.116-118
• /
• 2000

생성 규칙은 지식 기반 시스템의 지식표현 기법 중 가장 많이 사용되고 많은 장점을 갖고 있음에도 불구하고 지식의 일관성 유지가 어렵다는 단점을 가지고 있다. 그런데 지식의 일관성이 추론 결과의 신뢰도에 직결된다는 점에서 지식의 일관성을 유지할 수 있는 시스템이 필수적이다. 따라서 본 논문에서는 새로 첨가될 지식이 기준 지식과 일관성이 유지될 경우에만 지식을 첨가하는 일관성 유지시스템과 지식베이스는 물론 데이터 베이스 내의 선언적 지식과 절차적 지식 등 다양한 지식을 호출할 수 있는 기능을 갖춘 지식 기반 시스템을 구축하였다.

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

준 캐시(quasi cache)는 데이타 캐시 방법의 일종으로 엄격한 일관성이 아닌 약한 형태의 일관성을 적용함으로써 캐시 일관성 유지 비용을 줄이는 방법이다. 그러나 준 캐시 또한 갱신이 빈번한 환경에서는 기존 캐시와 같이 일관성 유지를 위한 통신 비용이 커질 수 있다. 이 논문에서는 준 캐시의 기본 모델을 살펴보고, 기본 모델에 적응적인 기법을 적용한 모델을 제시한다. 또한 실험을 통해 갱신이 빈번한 환경에서는 적응적 모델이 기본 모델보다 더 작은 통신 비용으로 캐시 일관성을 유지할 수 있음을 보인다.

• Proceedings of the Korean Statistical Society Conference
• /
• 2003.10a
• /
• pp.105-110
• /
• 2003

이 연구에서는 일관성의 원리를 충족하는 새로운 형태의 베이즈 P-값으로 LR형 베이즈 P-값을 제안하고, 그 성질에 대하여 검토해보고자 한다. 제안된 베이즈 P-값은 가능도 비의 단순한 함수의 형태로 표현되어 쉽게 계산될 수 있다는 장점을 갖고 있으며, 검정방법으로서 일관성의 원리를 만족한다.

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

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.

• Journal of Korean Society for Geospatial Information Science
• /
• v.5 no.2 s.10
• /
• pp.193-205
• /
• 1997

It is required for multi-users to share massive mapping data effectively that distributed data model in the Client-Server environment is developed for the replication consistency. The existing model is not effective to the long transaction just like a mapping system, since it does not account lot consistency between GUI screen and database replications even though it emphasizes on the replication consistency. The performance of concurrency control is very important for those long transactions, especially the mapping systems. This model is to support consistency between GUI screen and replicas using display locks. It suggests consistency model improving process performance by modifying memory consistency model and optimistic concurrency control for mapping data's characteristics.

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

소프트웨어 아키텍처는 다양한 이해관계자들의 관점을 반영한 뷰들로 구성된다. 품질속성은 아키텍처의 구조를 결정하므로 아키텍처에 일관성 있게 반영될 수 있도록 설계되어야 한다. 품질속성 기반 아키텍처 설계 방법과 아키텍처 설계 산출물에서의 일관성을 위한 활동을 규정한 표준에도 불구하고 설계 과정에서 이를 실현하기 위한 구체적인 기법에 대한 제시가 없었다. 따라서 실제 설계 과정에서는 아키텍처 뷰들 간에 불일치 요소가 발생하며 특히 품질속성에 대한 일관성이 깨짐으로 재작업 발생과 시스템 품질 저하의 문제점이 나타나고 있다. 본 논문에서는 뷰 설계 산출물에 품질속성을 명시하고 뷰 품질속성 테이블을 활용함으로 아키텍처 설계에서 품질속성에 대한 일관성을 유지할 수 있는 기법을 제시한다. 제시된 기법은 품질속성에 대한 일관성을 유지함으로서 불일치성으로 인한 재작업 방지와 고품질의 소프트웨어 시스템 개발을 가능하게 한다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.380-392
• /
• 1999

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.

• Journal of the Korean earth science society
• /
• v.27 no.6
• /
• pp.606-619
• /
• 2006

In this paper we investigated the types of the explanatory consistency of preservice secondary teachers in explaining the lunar phase. The explanatory consistencies were proposed into four discrete mental models depending on their attributes. The four types based on the explanatory consistency by the preservice secondary teachers' explanations are as follows: ad hoc expansion, competitive theory addition, transition of unexplainable each, and transition using in context of several situations.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.10a
• /
• pp.161-165
• /
• 1998

다중 프로세서 구조로 실시간 분산 처리를 하는 전전자 교환기 시스템은 그 특성상 2개 이상의 프로세서에 동일한 값을 유지하는 중복 데이터의 사용이 필수적이다. 시스템의 자원 정보, 번호 번역 정보, 과금 정보 등이 중복 데이터로 사용된다. 이러한 중복 데이터에 대한 변경은 불일치 상태를 회피하기 위해 그 처리에 많은 비용과 제한이 따른다. 과도한 시그널 전송 및 로그 저장, 재전송 알고리즘은 데이터베이스 시스템의 성능을 저하시키고 때때로 순간적인 마비 상태까지도 유발할 수 있다. 본 논문에서는 기존 일관성 방안의 문제점을 분석하고 단일-버스 다중-프로세서 시스템에서 각각의 캐쉬들간의 일관성 유지를 위한 write-through 캐쉬 일관성 프로토콜을 사용하여 저 비용이며 효율적인 중복 데이터 일관성 유지 방안을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1635-1638
• /
• 2003

이질적인 데이터베이스간의 중복 데이터 일관성을 유지문제를 해결함으로써 기존의 디스크 기반 범용 데이터베이스를 사용하는 시스템의 방대한 데이터들을 주기억장치 상주형 데이터베이스에 중복 저장함으로써 디스크 I/O 와 관련된 지연 시간 없이 빠른 성능 향상을 기대할 수 있으므로 네트워크상의 불특정 다수의 서비스 형태에 빠른 응답 시간과 처리 시간을 제공 할 수 있다. 본 본문에서 제시하는 중복 데이터 일관성 유지 기법은 디스크 기반 범용 데이터베이스의 REDO LOG를 참조하여 갱신트랜잭션에 관한 로그를 주기억 상주형 데이터베이스에 적용하도록 설계하고 두 데이터베이스간의 일관성 유지를 위해 수행되는 기능들이 성능 향상을 위한 목적을 위배하지 않으면서 이질적인 데이터베이스간의 일관성을 보장하도록 한다. 또한 두 데이터베이스의 성능 차이로 인해 발생할 수 있는 문제점들을 해결하고, 시스템 붕괴 시를 고려하여 유지되지 못한 데이터 일관성에 대해서도 복구 후에 일관성 유지를 가능케 하는 기법을 제공한다.