• 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
• /
• 2014.04a
• /
• pp.50-51
• /
• 2014

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

• The Korean Journal of Applied Statistics
• /
• v.27 no.1
• /
• pp.103-114
• /
• 2014

Significant research has been devoted to the consistency index of the Analytic Hierarchy Process(AHP) from several perspectives. Critics of the consistency index in AHP state that the critical value of consistency index depends on an average of the random index based simulation study using a 9 scale comparison matrix. We found that the distribution of the consistency index followed the skew distribution according to the dimension of the comparison matrix based on a simulation study with a 9 scale comparison matrix. From the simulation study, we suggest a consistency index quantile table to assist the decision-making process in AHP; in addition, we can approximate the distribution of the consistency index to the gamma distribution under the limited assumptions.

• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.323-325
• /
• 1999

서버의 공간데이터가 클라이언트 캐쉬에 중복 저장되어 있는 클라이언트-서버 GIS환경에서 동시에 수행될 수 있는 대화식 클라이언트 트랜잭션의 변경은 일관성 제어를 위해 서버와 다른 클라이언트에 전파되어야 한다. 이때 한 클라이언트의 캐쉬 변경이 다른 클라이언트의 변경과 충돌이 될 수 있는데, 클라이언트 트랜잭션은 기존의 기법으로는 동시성과 캐시 일관성이 제어 될 수 없다. 지도 수정 트랜잭션은 기 트랜잭션이며 공간 관련성에 의한 종속성을 가지기 때문이다. 또한 캐쉬 변경 내용의 전파는 캐쉬 사용의 이점을 잃기 않기 위해 통신 부하 최소화 대책이 고려되어야 한다. 이 논문은 클라이언트-서버 GIS 환경에서 클라이언트 수정 트랜잭션의 동시성과 캐쉬 일관성 제어를 위하여 기존의 잠금 기법을 확장하고, 통신 부하의 최소화를 고려한 새로운 변경 전파 프로토콜을 설계하고 구현한 결과를 보인다.

• 한국HCI학회:학술대회논문집
• /
• 2009.02a
• /
• pp.961-970
• /
• 2009

Over the last decade, interactive devices such as mobile phones have become complicated drastically mainly because of feature creep, the tendency for the number of features in a product to rise with each release of the product. One of the ways to reduce the complexity of a multi-functional device is to design it consistently. Although the definition of consistency is elusive and it is sometimes beneficial to be inconsistent, in general, consistently designed systems are easier to learn, easier to remember, and causing less errors. In practice, however, it is often not easy to design the user interaction or interface of a multi-functional device consistently. Since the interaction design of a multi-functional device should deal with a large number of design variables and relations among them, solving this problem might be very time-consuming and error-prone. Therefore, there is a strong need for a well-developed methodology that supports the complex design process. This study has developed an effective and efficient methodology, called CUID (Consistent Design of User Interaction), which focuses on logical consistency rather than physical or visual consistency. CUID deals with three main problems in interaction design: procedure design for each task, decisions of available operations(or functions) for each system state, and the mapping of available operations(functions) and interface controls. It includes a process for interaction design and a software tool for supporting the process. This paper also demonstrates how CUID supports the consistent design of user interaction by presenting a case study. It shows that the logical inconsistencies of a multi-functional device can be resolved by using the CUID methodology.

• Communications of Mathematical Education
• /
• v.34 no.3
• /
• pp.373-391
• /
• 2020

This study is an analytical study on textbooks of , which was first presented in the 2015 revised high school mathematics curriculum. The textbook has a very high educational significance in that it is the first textbook developed for students majoring in economics. Analyzing whether these textbooks faithfully follow the spirit of the curriculum is an essential study for nurturing creative and convergent human beings and for personal self-realization. Therefore, in this study, a consistency analysis was conducted to determine whether the textbook fits the textbook development direction suggested by the curriculum developer and is appropriate for the state-approved mathematics curriculum. As a result of analysis, the contents of the textbook did not partially meet these criteria and lacked consistency. In conclusion, it is necessary to prepare more thorough standards for the examination and recognition of high school elective courses in the future.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 1999.05a
• /
• pp.12-13
• /
• 1999

일관성을 평가하기 위한 모형들이 맡은 인터페이스 모델링 연구자들에 의해서 개발되어 왔다. Reisner (1981)의 GRAL(Grammatical Representation of Action language) 모형으로부터 시작된 일관성 평가 모형 개발은 TAG(Task Action Grammar; Payne and Green, 1986), APT(Agent Partitioning Theory: Reisner, 1993), PROCOPE(Poitrenaud, 1995) 모형으로 발전되었다.(중략)

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1158-1171
• /
• 2003

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.181-183
• /
• 2006

UML 2.0의 시퀀스 다이어그램은 실시간 특성을 표기할 수 있는 표기법이 추가됨으로써 시간의 엄격성이 중요하게 여겨지는 임베디드 소프트웨어의 행위를 보다 정확하고 상세하게 모델링 할 수 있게 되었다. 시퀀스 다이어그램은 전체 시스템의 부분적인 행위를 기술하여 같은 행위가 여러 다이어그램에 걸쳐서 기술되어지므로 이들 다이어그램들은 서로 일관성을 가져야 하는데 복잡한 시스템에서 일관성을 검사하는 것은 어려운 일이다. 본 논문에서는 행위 모델을 표현하는 시퀀스 다이어그램과 다른 다이어그램에 기술된 실시간 특성들의 일관성을 자동으로 검사할 수 있는 방법을 제안한다. 먼저 서로 다른(inter) 다이어그램들 사이의 시간적인 일관성을 유지하기 위한 제약사항을 파악하여 정의한다. 그리고 모델을 구성하는 인스턴스들에 대한 제약사항을 OCL로 기술하는데 이는 UML 2.0이 발표되면서 모델의 의미를 정확하고 상세하게 표현할 수 있는 메타 모델과 그들의 연관관계가 추가되고 명확하게 정의됨에 따라 가능하게 된 것이다. 이렇게 OCL로 정형화되어 기술된 식은 UML 2.0 메타 모델을 이용한 어느 모델에나 적용 가능하며 모델의 문제점을 발견하고 정확한 모델을 구축하도록 도와준다.