• The Journal of the Korea Contents Association
• /
• v.8 no.10
• /
• pp.64-75
• /
• 2008

The concept of a hyper-presentation, as an extension of a hypermedia, is the presentation in which time-varying multimedia presentations are dynamically linked together and a hyperlink's context can be changed over time at any time during a continuous presentation. While this concept provides users with a flexible and powerful presentation for their descriptions of the multimedia datum, inconsistency problems in the synchronized presentations occur by hyper links can be introduced. This paper introduces a method of describing the hyper-presentation using petri-net and propose a methods of checking It's inconsistent hyper link loop in the hyper-presentation description.

• Journal of the Korea Society of Computer and Information
• /
• v.4 no.3
• /
• pp.78-92
• /
• 1999

In mobile computing environments, to efficiently use the narrow bandwidth of wireless networks a mobile host caches the data that are frequently accessed. To guarantee the correctness of the mobile transaction, the data cached in a mobile host must be consistent with the data in a server. This paper proposes a new strategy which maintains cache consistency efficiently when the data cached in a mobile host are inconsistent with the data in a server by the mobility of the mobile host at the asynchronous mobile environment. In this strategy, the size of the invalidation message is relatively small and is independent of the number of data to be invalidated under conditions of variable update rates/patterns. So this strategy uses the narrow bandwidth of wireless networks efficiently and reduces the communication cost.

• Journal of KIISE:Databases
• /
• v.37 no.3
• /
• pp.171-175
• /
• 2010

This paper analyzes the tag data inconsistency problem caused by incomplete execution of the tag access operation to the RFID tag's memory and proposes a protocol to control consistent tag data accesses with finalizing the incomplete operation. Passive RFID tag cannot guarantee complete execution of the tag access operations because of uncertainty and unexpected disconnection of RF communications. This leads to the tag data inconsistency problem. To handle this, we propose a concurrency control protocol which defines incomplete tag operations as continuous queries and monitors the tags're-observation continuously. The protocol finalizes the incomplete operation when the tag is re-observed while it blocks inconsistent data accesses from other operations. We justify the proposed protocol by analyzing the completeness and consistency. The experiments show that the protocol shows better performance than the traditional lock-based concurrency control protocol.

• Korean Journal of Logic
• /
• v.20 no.2
• /
• pp.241-271
• /
• 2017

Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest's argument for Dialetheism from $G{\ddot{o}}del^{\prime}s$ theorem is unconvincing as the lesson of $G{\ddot{o}}del^{\prime}s$ proof (or Rosser's proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest's inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying $G{\ddot{o}}del$ sentence to the inconsistent and complete theory of arithmetic. We argue, however, that the alternative argument raises a circularity problem. In sum, $G{\ddot{o}}del^{\prime}s$ and its related theorem merely show the relation between a complete and a consistent theory. A contradiction derived by the application of $G{\ddot{o}}del$ sentence has the value of true sentences, i.e. the both-value, only under the inconsistent models for arithmetic. Without having the assumption of inconsistency or completeness, a true contradiction is not derivable from the application of $G{\ddot{o}}del$ sentence. Hence, $G{\ddot{o}}del^{\prime}s$ and its related theorem never can be a ground for Dialetheism.

• Journal of KIISE
• /
• v.42 no.1
• /
• pp.7-14
• /
• 2015

Storage Class Memory(SCM) has been considered as a next-generation storage device because it has positive advantages to be used both as a memory and storage. However, there are significant problems of data consistency in recently proposed file systems for SCM such as insufficient data consistency or excessive data consistency-control overhead. This paper proposes a novel data consistency-control scheme, which changes the write mode for log data depending on the modified data ratio in a block, using a rollback-recovery scheme instead of the Write Ahead Logging (WAL) scheme. The proposed scheme reduces the log data size and the synchronization cost for data consistency. In order to evaluate the proposed scheme, we implemented our scheme on a Linux 3.10.2-based system and measured its performance. The experimental results show that our scheme enhances the write throughput by 9 times on average when compared to the legacy data consistency control scheme.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.6
• /
• pp.47-54
• /
• 2014

Based on the indiscernible relation of rough set, the inevitability of superposition and inconsistency of data makes the reduction of attributes very important in information system. Rough set has difficulty in the difference of attribute reduction between consistent and inconsistent information system. In this paper, we propose the new uncertainty measure and attribute reduction algorithm by Bayesian posterior probability for correlation analysis between condition and decision attributes. We compare the proposed method and the conditional information entropy to address the uncertainty of inconsistent information system. As the result, our method has more accuracy than conditional information entropy in dealing with uncertainty via mutual information of condition and decision attributes of information system.

• Journal of the Korean Society of Food Culture
• /
• v.20 no.4
• /
• pp.397-404
• /
• 2005

본 연구는 외식산업을 대상으로 6시그마에서 사용하는 프로세스 개선의 접근방식과 그 통계적 기법을 활용하여, 고객만족의 핵심요인 중의 하나인 음식 맛의 일관성을 구현하는 방안을 제시하고자 하였다. 연구방법으로는, 프로세스 개선을 위한 6시그마 로드맵 DMAIC(Define, Measure, Analyze, Improve, Control) 방식을 사용하였고, 연구대상은 단체급식에서 사용하는 특정 메뉴를 중심으로 하였고, 관련 데이터는 해당 기업에서 실험한 자료와 전문가 집단을 대상으로 한 Brainstorming, Matrix 분석기법, 그리고 상관분석과 t-test 등을 통해 특정메뉴(돈육고추장볶음)의 조리작업에 필요한 구성요소 -식재료 및 조리방법-를 제시하고 이들 중에서 가장 적합한 맛을 만들기 위한 최적의 조합을 도출한 결과, 해당메뉴의 양념을 구성하는 마늘, 고춧가루, 참기름의 구성비가 제시되었다. 이 외에도 조리방식과 비용 측면에서도 최적의 조건을 도출함으로써 음식 맛의 개선과 품질관리의 일관성 방안이 제시되었다.

• The Journal of the Korea Contents Association
• /
• v.10 no.5
• /
• pp.10-19
• /
• 2010

Korean word spacing rules have exceptional cases which permit both spacing and no-spacing between words. The exceptional cases, however, do not mean that inconsistent spacing between words or word-phrases is legitimate in a document proof reading. This paper proposes a word spacing consistency check method using syllable and morpheme information, and evaluated it through experiment.

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

• Computational Structural Engineering
• /
• v.34 no.4
• /
• pp.15-19
• /
• 2021