• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.703-705
• /
• 2001

본 논문에서는 PWD 모델을 기반하였을 경우 검사점들에 대한 새로운 일관성 조건이 필요함을 보이고, PWD 모델에 적합한 조정검사점 기법을 제안하고자 한다. 제안된 조정검사점 기법은 전체 프로세스가 일관된 검사점집합을 구성할 때 일관성 조건을 따르는 것이 아니라 PWD 모델에 적합한 새로운 일관성 조건을 따른다. 또한 각 프로세스의 수행상태를 비결정성 사건으로 인해서 발생하는 상태구간으로 구분하여 이전의 검사점 이후에 변화된 상태구간에 새로운 의존성을 생성하는 프로세스만 검사점을 취한다. 제안된 기법은 PWD 모델에 기반한 시스템에서 기존의 조정검사점 기법이 보이는 불필요한 오버헤드를 없애고, 결함발생시 시스템의 제한된 복귀를 보장한다.

• The Korean Journal of Applied Statistics
• /
• v.12 no.2
• /
• pp.585-591
• /
• 1999

Warner(1965)의 확률화 응답 모형을 두 번 연속사용하여 응답자들이 일관성 있는 응답을 했다는 가설을 검정하는 검정통계량을 제안했다. 이것은 양측과 단측 대립가설 모두 검정하는데 이용할 수 있으며, 제안된 검정통계량의 조건분포는 정규분포에 근사한다. 이 검정통계량의 조건부 검정력 함수와 비조건부 검정력 함수를 구하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.193-195
• /
• 2002

데이터 웨어하우스는 효과적인 질의와 분석을 위해 물리적으로 여러 사이트에 분산된 소스 데이터로부터 통합된 정보를 추출하여 저장한 데이터 저장소로써, 실체 뷰의 집합으로 구성된다. 따라서 데이터 소스에 변경 사항이 발생하면 데이터 웨어하우스와 일관성을 유지하기 위해 실체 뷰에도 변경 사항을 반영하는 뷰 관리가 필요하다. 동시에 변경되는 여러 데이터 소스와 뷰의 상태 사이에 일관성을 보장하기 위해서는 각 소스의 변경 사항을 순서대로 뷰에 반영해야 한다. 이때 각 소스의 변경 사항을 뷰 정의와 관련된 다른 소스들과 조인을 수행해야 하는 등 뷰 갱신을 위해 많은 비용이 소요된다. PSWEEP/RI 기법은 이러한 뷰 갱신 비용을 줄이는 방법으로 뷰의 일관성을 보장하기 위해 수행해야 하는 서브질의를 참조 무결성 제약조건의 특성을 이용하여 병렬로 처리하는 방법이다. 본 논문에서는 PSWEEP/RI기법의 성능을 평가하기 위하여 이 방법의 비용 모델을 분석적으로 제시하였으며, 이 모델을 기반으로 다른 기존의 방법(SWEEP)과 성능을 비교 분석하여, PSWEEP/RI 기법이 다른 기존의 방법(SWEEP)보다 여러 소스 릴레이션의 조인으로 구성된 실체 뷰를 갱신하는 시간을 크게 단축하여 효율적으로 뷰를 관리하며, 소스의 증가에 따른 뷰 갱신 시간의 증가를 줄일 수 있음을 보였다.

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

데이터 웨어하우스는 물리적으로 여러 사이트에 위치한 분산된 데이터 소스로부터 추출한 온라인 분석 정보를 유지하는 실체 뷰 의 집합으로 구성된다. 따라서 데이터 소스에 변경 사항이 발생하면 데이터 웨어하우스와 일관성을 유지하기 위해 뷰에도 그 변경사항을 반영하는 뷰 관리가 필요하다 동시에 변경되는 여러 데이터 소스와 뷰의 상태 사이에 일관성을 보장하기 위해서는 각 소스의 변경 사항을 순서대로 뷰에 반영해야 한다. 이때 각 소스의 변경 사항을 뷰 정의와 관련된 다른 소스들과 조인을 수행해야 하는 등 뷰 갱신을 위해 많은 비용이 소요된다. 이러한 뷰 갱신 비용을 줄이는 방법중의 하나로 병렬처리 기법을 활용하는 연구가 시도되고 있다. 따라서 이 논문에서는 뷰의 일관성을 보장하기 위해 수행해야 하는 서브질의론 병렬로 처리하는 알고리즘을 제시하였다. 이 방법에서는 서브질의의 조인 연산들을 소스 렐레이션들 간의 참조 무결성 제약 조건을 이용하여 병렬로 처리한다. 질의의 조인 처리를 병렬화 하기 위해 소스 릴레이션간의 참조 무결성 제약조건의 툭송울 이용하여, 여러 릴레이션을 참조하는 릴레이션에서 발생하는 변경 사항에 대해 참조하는 릴레이션의 수만큼 병렬로 조인 연산을 수행하는 알고리즘을 제시하였다. 이렇게 함으로써 여러 소스 릴레이션의 조인으로 구성된 실체 뷰를 갱신하는 시간을 크게 단축하여 효율적으로 뷰를 관리하도록 하였으며, 소스의 증가에 따른 뷰 갱신 시간의 증가를 줄일 수 있도록 하였다.

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

• Journal of KIISE:Databases
• /
• v.27 no.4
• /
• pp.671-681
• /
• 2000

클라이언트-서버(Client-Server) 데이터베이스 환경에서 병목현상의 해결책으로 클라이언트캐시(Client cache)를 사용할 수 있다. 여러 클라이언트들이 같은 데이터베이스의 일부를 캐시한 복사본을 사용할 때, 다른 클라이언트들과 서버간에 일관성 유지를 보장해주어야 한다. 캐시의 일관성을 유지하기 위한 여러 가지 알고리즘들이 제안되어왔다. 그 중에서 O2PL(Optimistic Two Phase Locking) 기법은 동시성을 증가시킬 수 있는 주요 장점이 있다. 그러나 O2PL 알고리즘은 트랜잭션이 완료(commit) 연산을 요구하는 시점에서 접근한 캐시데이터의 일관성을 위한 작업이 시작되므로 최종적인 완료까지는 지연이 발생하게된다. 이때 다른 클라이언트에서 잠금 충돌(lock conflict)에 의해 전역 교착상태(global deadlock)가 발생한다면 블락(block)되어 지연되는 시간은 더욱 증가하게된다. 본 논문에서는 향상된 O2PL 기법으로 PN(Preemption by Notification)-O2PL 기법을 제안한다. 이 접근에서는 O2PL의 특성으로 얻을 수 있는 연산정보를 관련된 다른 트랜잭션에게 통지(notification)로 사용하고 제시한 조건에 해당할 경우 상대 자원을 바로 사용할 수 있게 한다. 이 조건은 대부분의 전역 교착 상태에 해당하는 두 트랜잭션간의 교착상태를 조기에 신속히 감지할 수 있게 하여 트랜잭션 완료의 지연을 감소시키게 한다. PN-O2PL 알고리즘이 기존의 O2PL기법보다 빠른 응답시간을 얻을 수 있음을 모의 실험을 통하여 보인다.

• The Journal of the Acoustical Society of Korea
• /
• v.20 no.8
• /
• pp.67-73
• /
• 2001

The shallow-water environment presents additional challenges arising from the complex interaction patterns of the sound with the sea bed. In order to overcome the difficulties generated by shallow-water propagation, broad-band matched field processing has been employed in an effort to increase robustness by utilizing multiple frequency information. In this paper, a coherent broad-band matched field processor is introduced that incorporates the spatial coherence of the acoustic field not only over one frequency but across frequencies. The incoherent and coherent processors are applied to the experimental data where it is shown that both processors give a high probability of correct localization. Also it is found that a coherent processor has better performance in the sidelobe pattern of ambiguity surfaces.

• 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 등을 통해 특정메뉴(돈육고추장볶음)의 조리작업에 필요한 구성요소 -식재료 및 조리방법-를 제시하고 이들 중에서 가장 적합한 맛을 만들기 위한 최적의 조합을 도출한 결과, 해당메뉴의 양념을 구성하는 마늘, 고춧가루, 참기름의 구성비가 제시되었다. 이 외에도 조리방식과 비용 측면에서도 최적의 조건을 도출함으로써 음식 맛의 개선과 품질관리의 일관성 방안이 제시되었다.

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

이동 방송 환경(mobile broadcasting environment)은 정보를 가지고 있는 서버가 다수의 이동 클라이언트에게 모든 데이터를 주기적으로 방송하면 클라이언트가 자신이 원하는 데이터가 방송 채널에 나타날 때 이를 검색하는 환경을 말한다. 이 때 클라이언트는 일관적이면서 가장 최근에 갱신된 데이터를 필요로 하기 때문에, 병행성 제어 기법을 사용하여 이러한 요구 조건을 충족시켜야 한다. 이동 방송 환경에서는 클라이언트가 여러 가지 제약점을 가지고 있기 때문에 서버가 클라이언트의 일관성 검사를 위한 제어 정보를 데이터와 함께 방송해야 한다. 그러나, 매 방송 주기마다 방송해야 하는 제어 정보의 양이 크기 때문에 일관성 검사에 영향을 주지 않는 범위에서 이를 줄일 필요가 있다. 본 논문에서는 제어 정보의 양을 줄이기 위하여 데이터를 그룹화(grouping)하는 기법을 제시하고, 시뮬레이션을 통해 데이터 그룹화가 클라이언트의 트랜젝션 중단(abort)에 미치는 영향을 알아본다. 서로 다른 데이터들을 하나의 그룹으로 묶으면 클라이언트가 일관성을 검사할 때 트랜잭션이 불필요하게 중단되는 경우가 더 많아질 수 있다. 그러나, 실험 결과 전체 데이터 수의 20% 정도 크기로 데이터를 그룹화하면 불필요하게 트랜잭션이 중단되는 경우가 거의 없으면서 제어 정보의 크기를 줄일 수 있다는 사실을 알 수 있었다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.732-735
• /
• 2011

Cloud computing is a new paradigm that adopts a pay-as-you-go business model. So, clients can ues the various resources, although they have not own the resources. Already, three big players of IT industry, namely Amazon, Google and Microsoft, develop the many applications for cloud computing. In this paper, we describe the data consistency requirements for cloud computing. Data characteristics of cloud computing is replicated, distributed and large-scaled. And consistency and availability of data cannot be satisfied simultaneously. In this paper, we categorized the applications of cloud computing, and describe requirements of consistency criteria for applications. With this result, we can make the base of consistency criteria that can be adapted for cloud computing, in the near future.