• Title/Summary/Keyword: 궁극적 일관성

Search Result 52, Processing Time 0.029 seconds

An Adaptation of Consistency Criteria for Applications in the Cloud (클라우드 환경에서 응용에 맞는 일관성의 적용)

  • Kim, Chi-Yeon
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.7 no.2
    • /
    • pp.341-347
    • /
    • 2012
  • In cloud computing, a enterprise or a client can use resources of computers that they are not own them. In case of Web 2.0 applications, such as Facebook, it is difficult to predict the maximum popularity of the service. But, the cloud computing may give a solution about this problem without high cost, thus becomes wildly popular. One of the advantage of cloud computing is providing a high availability. To provide the availability when the cloud computing that has shared-nothing architecture, strict consistency is not well with cloud computing. So, some consistency was proposed including the eventual consistency that was weaken the traditional consistency and has been adopted to many cloud applications. In this paper, we observe various consistency criteria that can adjust to cloud computing and discuss about some consistency that can be adapted to many applications of cloud computing.

An Introduction and Application Plan of Analysis of Factory for Systematical Construction of Computer Integrated Manufacturing System (체계적인 CIMS 구축을 위한 공장진단의 소개 및 활용방안)

  • 정귀훈
    • Journal of the KSME
    • /
    • v.35 no.4
    • /
    • pp.337-346
    • /
    • 1995
  • 급변하는 기업 환경에 적절히 대응하여 기업의 궁극적인 목적인 이윤 추구의 극대화를 위해서는 단순한 노동생산성 향상, 국부적인 개선/합리화, 일부분의 전산화, 단위 공정의 자동화 등을 통한 부문별(기능별) 자동화로는 생산성 향상에 한계가 있을 것으로 여겨진다. 보다 체계적이고 종 합적으로 관련 업무를 추진하려면 진단 업무를 통하여 대상부문의 문제점들을 도출하여 그 문 제점들을 종합적으로 해결하는 차원에서 일관성 있게 추진하여야 될 것이다. 이러한 진단 활동을 통하여 체계적이고 효율적인 생산 시스템을 구축하려면 관련된 모든 부문의 현상 파악 및 문 제점 도출에 직접적으로 지원을 할 수 있는 핵심 요원으로 구성된 전담 추진 팀을 구성함은 물 론이고 전문 기관 또는 학계와 공동으로 추진하는 것이 효율적일 것으로 여겨진다. 현대중공업 에서는 이러한 요구에 적절히 대응하기 위하여 엔진사업본부의 POPICS와 플랜트 사업본부의 PINES가 학계와 공동연구로 추진 중에 있다. 이러한 일련의 TFT 활동을 통해 좋은 결실을 얻기 위해서는 참여하는 핵심 요원은 물론이고 해당되는 부문의 모든 임직원의 Mind 형성 및 적극적인 참여가 절실히 요구된다. 또한, 이와 같은 사업본부 단위의 대형 과제를 추진하려면 시스템화 지향이 우선 전제되어야 하기 때문에 부분적인 최적화 노력보다는 전체적인 접근이 필요할 것이다.

  • PDF

A Study on CALS/EC Classification Scheme & Characteristic Model Development (EC전략에 따른 마케팅전략의 차이에 관한 연구)

  • 조선구;이국철
    • Proceedings of the Korea Database Society Conference
    • /
    • 2000.11a
    • /
    • pp.142-151
    • /
    • 2000
  • 전자상거래 시장의 폭발적인 성장에도 불구하고 전자상거래 업체들은 날로 치열해 지는 글로벌 시장경쟁 하에서 성공적인 기업으로 성장 발전해 나가기 위해서는 효과적인 사업전략을 구사하고 기업 고유의 차별적 경쟁우위를 확보해야 할 필요성이 대두되고 있다. 이를 위해서는 기업 경쟁전략 및 업무 부문별 실천전략 수립과 구체적인 제품 및 서비스의 제공전략 등이 종합적인 차원에서 일관성 있게 수립되어야 한다. 본 논문은 이와 같은 연구의 필요성 인식 하에서 EC의 기본적인 사업전략 수립 프레임워크와 기능부문별 전략(특히 마케팅 전략)을 종합적으로 검토하는 것을 연구 목적으로 삼고자 한다. 이를 위하여 본 연구는 첫째, Porter의 본원적 전략에 취급상품의 범위 및 경쟁전략을 독립변수로 추가하여 EC 전략을 제시하고자 한다. 본 연구에서 제시하는 EC 전략의 횡축은 총체적 비용우위 전략, 차별화 전략을, 종축은 포터의 집중화 (Focus) 전략에 대한 구분의 형태이다. 둘째, EC의 마케팅전략은 기존의 4P전략에 근거하여 수익획득방식, 상품취급방식, 운영방식, 광고홍보방식으로 구분하여 제시한다. 궁극적으로 EC전략에 따른 EC 마케팅전략의 차이를 분석함으로써 종합적인 EC 전략의 수립이 가능할 것으로 판단된다.

  • PDF

Formal Verification of Synchronization Protocol for Data Coherence (자료 일치성을 위한 동기화 프로토콜의 정형 검증)

  • Chun, Seung-Su;Kwon, Gi-Hwon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2002.11c
    • /
    • pp.1973-1976
    • /
    • 2002
  • 본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.

  • PDF

What makes us to be crazy about digital games? - A Philosophical Concern on the Nature of GameWorld and Its Members- (왜 게임은 우리를 미치게 만드는가? -게임세계의 본성에 대한 철학적 분석-)

  • Yoh, Myeung-Sook
    • 한국HCI학회:학술대회논문집
    • /
    • 2006.02b
    • /
    • pp.684-691
    • /
    • 2006
  • 컴퓨터 게임은 이미 전세계적으로 가장 영향력 있는 엔터테인먼트 장르로서 자리잡아가고 있고, 우리나라에서도 차세대 성장동력산업의 핵심으로 간주하여 막대한 투자가 이루어지고 있지만, 어느 산업보다도 정책적 일관성을 유지하기 어렵고 일반인들의 정서적 공감대를 얻어내기 어려운 실정이다. 그 이유는 아직 게임행위와 그로 인한 결과물들에 대한 견실한 가치론이 구축되지 못했기 때문인데, 더 근원적으로는 제반 디지털 문화현상과 양립 가능한 세계관과 인간관의 기초개념이 정립되지 못했기 때문이라고 볼 수 있다. 바야흐로 게임의 철학이 요청되는 시점이다. 본 논문은 이러한 상황인식하에, 우리나라 디지털문화에 내재된 이중규범과 존재론적 전제의 오류들을 검토하고, 계산주의(Computationalism)와 가상실재론(Virtual Realism)이라는 이론적 맥락을 토대로 온라인 게임, 가상현실 그리고 현실이 일관되게 상호작용하는 구조를 밝히고자 한다. 그러한 과정에서 게임 폐인과 스타 게이머의 간극, 아이템 현금거래의 정당성, 인기있는 게임의 철학적 이유, 게임 심의규정의 현실 적합성 등에 대한 논의가 이루어질 것이며, 궁극적으로 게임은 단순한 엔터테인먼트 매체가 아니라 그 자체로서 '생활양식(form of life)'이기 때문에 어느 관공서의 표어처럼 말 그대로 "게임으로 하나되는 세상"이 가능하다는 결론에 이르게 될 것이다.

  • PDF

General-purpose Transaction Management Technique for Data Stability of NoSQL on Distributed File System (분산 파일 시스템 기반 NoSQL의 데이터 안정성을 위한 범용 트랜잭션 관리 기법)

  • Kwon, Younghyun;Yun, Do-hyun;Park, Hojin
    • Journal of Digital Contents Society
    • /
    • v.16 no.2
    • /
    • pp.299-306
    • /
    • 2015
  • In this paper, we research to secure stability of data storing/searching on NoSQL implemented on Distributed File System. When implementing NoSQL on Distributed File System, we faced that random write on Distributed File System is almost impossible. To solve this problem, a concept of Intermediate-File was employed, and then it has been achieved that our system resist any failure circumstance. Additionally, since we discovered its performance cannot be as fast as general File System, by redefining the file block unit for our NoSQL system, we have prevented a slowdown in system performance. As a result, we are able to develop highly scalable NoSQL as Distributed File System, which fulfills basic conditions of transaction: Atomicity, Consistency, Isolation, and Performance.

Decision Method for Change Model using Discriminant Analysis Technique (판별분석을 이용한 변경모델 결정방법)

  • Park, Ha-Kyung;Kim, Sang-Soo;In, Hoh
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2007.05a
    • /
    • pp.645-648
    • /
    • 2007
  • IT 에 대한 비즈니스 의존성이 증가하면서, 안정된 IT 서비스의 제공과 비용 효과적인 운영의 중요성이 강조되고 있다. ITIL 에서는 효율적이고 신속한 변경 처리를 위해 Service Support 영역에서 변경 관리 프로세스를 제시하고 있다. 하지만 고비용을 요하는 CAB 의 소집 여부 등 의사 결정이 변경 관리자의 자의적인 판단에 의존함으로써, 다른 비즈니스 및 안정된 IT 서비스 제공의 위험요소로 작용하고 있다. 본 논문에서는 이러한 문제점을 해결하기 위하여 요청된 변경 사안이 신중한 검토가 필요한 지 여부를 객관적으로 판단할 수 있도록, 판별분석기법을 적용한 변경 모델 결정 방법을 제안한다. 제안된 모델의 유효성을 검증하기 위해, 실제 운영에 적용된 변경 관리 모델과 제안된 모델을 이용했을 때의 결과를 비교하고 그 결과를 제시하였다. 제안된 방법은 동일한 사안에 대하여 일관성 있는 결정을 도출할 수 있어 프로세스 품질개선에 기여할 수 있으며, 궁극적으로 안정된 IT 서비스 제공에 기여하여 기업성과를 개선할 수 있을 것이다.

  • PDF

예산항목별(豫算項目別) 거시경제적(巨視經濟的) 효과(效果)

  • Lee, Gye-Sik;Go, Yeong-Seon
    • KDI Journal of Economic Policy
    • /
    • v.17 no.2
    • /
    • pp.3-89
    • /
    • 1995
  • 우리나라 거시계량모형(巨視計量模型)들이 지닌 취약점의 하나는 중요한 거시변수간의 일관성 있는 회계관계가 결여된 것이다. 본(本) 모형(模型)은 기존의 한국경제에 대한 거시모형(巨視模型)과 거시변수간에 일관성 있는 회계관계를 강조하는 IMF모형(模型) 등을 포괄하는 자금계획(資金計劃)(financial programming)모형(模型)을 사용하고, 특히 자금순환계정(資金循環計定)을 모형화함으로써 10개의 세입항목, 5개의 세출항목 등 15개의 예산항목이 거시경제(巨視經濟)에 미치는 효과를 분석하고 있다. 본고(本稿)에서는 중요한 현안과제인 물가안정(物價安定)에 구체적인 재정정책수단들이 어떤 영향을 미치는 것인가, 그리고 부수적인 효과로서 각 정책수단이 성장(成長), 국제수지(國際收支), 재정수지(財政收支)에도 어떤 효과를 갖는가를 정책(政策)시뮬레이션을 통하여 분석하고 물가안정(物價安定) 등 중요목표에 따른 예산항목별 우선순위를 제시하였다. 본고(本稿)에서 고려한 15개의 정책대안(政策代案) 가운데 본(本) 연구(硏究)의 주된 관심사인 물가(物價) 측면에서는 인건비(人件費) 감소(減少)가 최선의 대안, 순대출(純貸出) 감소(減少)가 최악의 대안, 부수적인 효과로서 성장(成長) 측면에서는 순대출(純貸出) 감소(減少)가 최선의 대안, 인건비(人件費) 감소(減少)가 최악의 대안, 경상수지(經常收支) 측면에서는 근로소득세(勤勞所得稅) 세율인상(稅率引上)이 최선의 대안, 순대출(純貸出) 감소(減少)가 최악의 대안, 재정수지(財政收支) 측면에서는 순대출(純貸出) 감소(減少)가 최선의 대안, 세외수입(稅外收入) 증가(增加)가 최악의 대안으로 나타난다. 이와 같이 여러가지 정책대안별로 거시경제(巨視經濟)에 미치는 효과가 차이나는 것은 본(本) 모형(模型)이 재정(財政)과 금융(金融)을 종합해서 분석하는 모형(模型)으로서 재정정책변수의 변화가 궁극적으로 통화량(通貨量)에 어떤 영향을 미치는가에 따라 크게 좌우되기 때문이다.

  • PDF

Effective Authentication in Mobile Ad Hoc Networks (이동 Ad Hoc 네트워크에서의 효율적인 인증기법에 대한 연구)

  • Ma Yong-Jae;Lee Seung-Chan;Park Gun-Woo;Song Joo-Seok
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • 2006.06a
    • /
    • pp.670-673
    • /
    • 2006
  • PKI(Public Key Infrastructure)는 인증, 무결성, 기밀성, 부인봉쇄, 접근통제 등의 보안기능을 일관성 있게 제공해 주는 기술로서, 이동통신과 무선 인터넷의 급속한 성장에 따른 무선 환경에서도 무선 PKI가 보안기능을 제공할 궁극적인 대안으로 여겨지고 있다. 본 연구는 이동 Ad-hoc 네트워크에서 Threshold cryptography를 이용하여 PKI의 기능을 제공할 수 있도록 하였으며, 기존의 연구들과 유사한 수준의 보안성을 가지면서도 CR(Certification Responsible) 노드의 가용성을 높여 네트워크의 성능을 향상 시킬 수 있는 인증 기법을 제시한다.

  • PDF

수학적 창의성의 평가에 대한 고찰 (II)

  • Kim, Bu-Yun;Kim, Cheol-Eon;Lee, Ji-Seong
    • Communications of Mathematical Education
    • /
    • v.19 no.1 s.21
    • /
    • pp.241-251
    • /
    • 2005
  • 수학적 창의성의 평가에 대한 연구에 있어서 이를 직접 다루기보다는 주로 일반적 창의성에 기반을 두고 창의성의 증진이나 육성 방안의 검증을 위한 검사 문항의 연구가 대부분이었다. 따라서 본고에서는 수학적 창의성이 일반적 창의성과 다르게 가지는 요인을 언급하고, 수학적 창의성의 평가에 대한 모델을 제안하고자 한다. 평가목표를 제시하고 수학적 창의성의 하위 구성요소인 창의적 사고력과 창의적 태도에 대한 검사가 일관되게 연결되어, 궁극적으로 수학적 창의성의 평가가 이루어져야 한다. 본고에서는 우선 창의적 사고력에 대한 평가에 관하여 선행연구를 고찰하고, 평가에서 개방형 문제가 중요함을 역설하면서 계속적인 문항 개발이 필요함을 강조하고자 한다.

  • PDF