• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.181-183
• /
• 2002

최근 이동 컴퓨터(Mobile Computing)환경에서의 잦은 접속 단절로 인한 클라이언트 캐시 일관성(Consistency) 문제를 해결하기 위한 방법으로 클라이언트 캐시 유지에 대한 연구가 진행되고 있다. 이러한 캐시 유지 방법의 한 분야로서 캐시 데이터의 일관성 문제를 해결하기 위한 무효화 보고(Invalidation Report, IR)에 대한 연구가 진행 중이다. 그러나 기존의 무효화보고는 시간 의존적인 정보로써 전송되기 이전 일정 시간동안의 서버 업데이트 정보만을 포함한다. 따라서 서버의업데이트 정도와 무관하게 일정 시간 이상의 클라이언트 접속 단절에 대하여 클라이언트의 캐시 일관성을 유지하지 못한다. 따라서 본 논문에서는 시간 의존적 정보를 가지는 무효화 보고와 서버의 업데이트 정도에 따른 무효화 보고를 함께 사용하여 클라이어트의 접속 단절 시간과는 무관하게 서버의 업데이트 정도에 따라 캐시 일관성을 유지할 수 있는 효율적인 기법을 제안한다.

• Journal of Internet Computing and Services
• /
• v.2 no.5
• /
• pp.71-79
• /
• 2001

Replication in distributed databases is to improve efficiency, availability, and autonomy, But applying the strict consistency in real systems is very difficult. In this paper, I introduce a hybrid protocol permitting group update through eager update propagation and weakening consistency through lazy update, This protocol manages replica version number for the group update consistency and generates partially ordered replica spanning tree for the serializability of lazy update transactions. It preserves weak consistency by combining synchronous and asynchronous update mechanism. Study of performance analysis for the efficiency of the protocol be included in next paper.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.220-222
• /
• 2001

데이터 캐슁은 웹 컨텐츠의 양적인 팽창에 대응하기 위한 대표적인 방법 중 하나이다. 데이터 캐슁에서 캐쉬 일관성 유지 기법은 매우 중요하다. 리스 알고리즘은 유선 망에서의 강한 캐쉬 일관성 보장 방법 중 하나로 서버와 클라이언트간의 부하를 적절히 분산시켜 주는 효과가 매우 놀은 것으로 알려져 있다. 그러나 이 방식이 무선 인터넷 환경에 적용되기 위해서는 잦은 접속단절을 갖는 무선망의 특성이 고려되어야 한다. 본 논문에서는 기존의 리스 알고리즘을 보완하여 무선망에서 효율적으로 사용될 수 있도록 한 W-Lease 알고리즘을 제안한다. W-Lease 알고리즘은 접속단절 상태에 놓인 를라이언트들에 대하여 서버가 일관성 관리를 하게 함으로써, 강한 캐쉬 일관성을 효율적으로 유지할 수 있다 제안된 알고리즘은 구현 및 실험을 통해 기존의 알고리즘과 비교하여 향상된 성능을 입증한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.477-480
• /
• 2002

본 연구는 UML로 작성된 객체지향 다이어그램의 일관성과 정착성을 검증하기 위한 메타모델에 관한 연구이다. 일관성이란 하나의 요구사항으로 표현된 여러 가지 UML 다이어그램이 통일된 의미로 표현되었는가를 나타내는 성질이고, 정확성은 UML로 작성한 다이어그램이 UML의 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 이러한 일관성과 정확성을 검증하기 위해서는 각 다이어그램의 표준모델과 다이어그램간의 관계를 파악할 필요가 있으며 메타모델이 다이어그램간의 관계와 다이어그램 자체의 표준모델을 적절하게 표현하여 주므로 메타모델을 구성하는 작업이 필요하다. 본 연구에서는 기존의 메타모델에 관한 연구를 분석하여 새로운 형태의 구성요소와 관계로 표현된 메타모델을 제시하고 일관성과 정확성을 검증하기 위한 구성요소를 도출한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.50-51
• /
• 2014

최근 기존 스토리지의 물리적 한계를 극복하기 위해 차세대 스토리지로 불리는 스토리지 클래스 메모리(SCM)의 연구 및 개발이 활발히 진행되고 있다. 이러한 SCM의 장점을 활용하기 위한 SCM 전용파일 시스템 또한 많은 연구가 되고 있다. 하지만, 현재까지 연구되어온 SCM 전용 파일 시스템은 빠른 속도에만 중점을 두어 부분적인 일관성 지원 또는 특정한 환경에서의 시스템 성능 저하 등의 문제요인이 있다. 본 논문에서는 SCM과 SCM 전용 파일 시스템을 알아보고 일관성 유지 기법의 비교 및 분석을 통하여 현재까지 연구된 일관성 유지 기법의 문제점을 파악하고 SCM에 최적화된 새로운 일관성 유지 기법의 방향을 모색한다.

• Annual Conference on Human and Language Technology
• /
• 2020.10a
• /
• pp.572-577
• /
• 2020

일관된 발화를 생성함에 있어 인격데이터(persona)의 도입을 이용한 연구가 활발히 진행되고 있지만, 한국어 데이터셋의 부재와 데이터셋 생성의 어려움이 문제점으로 지적된다. 본 연구에서는 인격데이터를 포함하지 않고 일관된 발화를 생성할 수 있는 방법으로 다중 대화 시스템에서 사전 학습된 자연어 추론(NLI) 모델을 도입하는 방법을 제안한다. 자연어 추론 모델을 이용한 관계 분석을 통해 과거 대화 내용 중 발화 생성에 이용할 대화를 선택하고, 자가 참조 모델(self-attention)과 다중 어텐션(multi-head attention) 모델을 활용하여 과거 대화 내용을 반영한 발화를 생성한다. 일관성 있는 발화 생성을 위해 기존 NLI데이터셋으로 수행할 수 있는 새로운 학습모델 nMLM을 제안하고, 이 방법이 일관성 있는 발화를 만드는데 기여할 수 있는 방법에 대해 연구한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.6
• /
• pp.1291-1299
• /
• 2012

UML is a semantically rich language, but it is difficult to ensure consistency of the diagrams you have written. Therefore, in this paper, we propose cross checking rules to improve consistency between UML diagrams, especially between UML static diagram and dynamic diagram. We use metamodels in order to more clearly reflect interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to accurately represent the checking rules. By comparing with the well-formedness rules of UML specification, we focus on consistency of UML diagrams. And we derive metamodels of static diagram and dynamic diagram, analysis the relationships of UML diagrams and finally, we test the usability of derived rules through a case study.

• Proceedings of the KOR-KST Conference
• /
• 2007.02a
• /
• pp.306-314
• /
• 2007

This paper is to develop a model for evaluation of highway alignment design considering the driver's behavior in order to enhance the highway safety. Under the conditions, this research included a new evaluation criteria development and an analysis on how to change evaluation criteria according to roadway alignments, to evaluate safety. The vehicle spacing and speed deviation are suggested as new evaluation index The evaluation criteria model can be used to compare the anticipated safety performance of two or more geometric alternatives for a proposed highway improvement.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2006.05a
• /
• pp.1043-1046
• /
• 2006

Cached data management of clients is required to guarantee the correctness of client's applications. There are two categories of cache consistency algorithms : detection-based and avoidance-based cache consistency algorithm. Detection?.based schemes allow stale data access and then check the validity of any cached data before they ran be allowed to commit. In contrast, under avoidance-based algorithms, transactions never have the opportunity to access stale data. In this paper, we propose a new avoidance-based cache consistency algorithm make use of version. The proposed method maintains the two versions at clients and servers, so it has no callback message and it can be reduced abort ratio of transactions compare with the single-versioned algorithms. In addition to, the proposed method can be decreased cache miss using by mixed invalidation and propagation for remote update action.

• Science of Emotion and Sensibility
• /
• v.12 no.4
• /
• pp.557-564
• /
• 2009

For scoring polygraph charts, the Prosecutors' Office of the Republic of Korea uses a consistency criterion in which an elevated signal on one physiological channel is scored as a deceptive response only if the signal is also elevated on other channels. In the current study, the effects of this scoring criterion on reliability and accuracy (validity) of polygraph scores were assessed. Polygraph tests on 26 suspects were evaluated twice by the same examiners. The examiners used the consistency criterion in the first evaluation. In the second evaluation, the examiners were prevented from using the criterion; the signals from each physiological channel were separated and randomly arranged before they were rescored by the same examiner. Reliability was assessed by the variation among the scores for each suspect. Accuracy was assessed by establishing a standard, based on a Latent Class Analysis model, using the results of polygraph tests on each of 182 additional suspects. Reliability and accuracy were both improved by the use of the consistency criterion which therefore was recommended.