• 제목/요약/키워드: Consistency Verification

검색결과 147건 처리시간 0.021초

클라우드 컴퓨팅 기반의 고가용성 복제시스템의 구현 (Implement of High Available Replicate Systems Based on Cloud Computing)

  • 박성원;이문구;이남용
    • 전자공학회논문지 IE
    • /
    • 제48권4호
    • /
    • pp.61-68
    • /
    • 2011
  • 업무의 IT 의존도가 높아지면서 재해로부터 기업의 자산을 보호하는 것은 IT 운영 관리자들이 가장 고려해야 할 사항들 중 하나이고 데이터 및 정보는 기업 활동의 원천이기 때문에 데이터 보호는 업무 연속성 측면에서 IT 운영의 최대 우선순위가 되고 있다. 그러므로 본 논문은 이러한 재해로 인하여 중단된 정보기술 서비스를 재개하는 재해 복구를 위한 시스템을 클라우드 컴퓨팅 기반으로 구현하였다. 구현된 고가용성 복제 시스템은 복제성능 향상을 위해 다중 스레드 대상 데이터베이스 방법을 적용하였으며, 파일시스템의 실시간 동기화 기술로 네트워크 효율을 향상 시킬 수 있으며, 액티브 대 액티브 운영으로 백업 시스템 활용을 극대화함으로써, 근원지 데이터베이스 시스템의 부하를 분산시키는 효과를 갖게 한다. 이밖에도 복제 데이터의 정합성 검증 기능과 데이터 센터의 실제 운영에서 요구되는 모니터링 기법 등을 구현하였다. 성능평가에서도 다중 스레드 방식을 사용함으로써 단일 스레드 방식보다 약 3배 이상의 향상된 복제 기능 성능결과를 보여주었다.

조세 온톨로지 구축에 관한 연구 (A Study on Tax Ontology Construction)

  • 장인호
    • 한국도서관정보학회지
    • /
    • 제44권1호
    • /
    • pp.385-408
    • /
    • 2013
  • 본 연구의 목적은 국가나 지방자치단체가 과세 대상을 관리하는데 사용될 수 있는 조세 온톨로지를 구축하는 것이다. 이에 조세와 관련 개념을 분석한 후 개념 계층(taxonomies)을 형성하였다. 특히 개념 계층에서는 다중 계승을 '프리미티브 개념'으로 분해한 후 '정의된 개념'으로 재결합하는 Rector의 '온톨로지 구현 정규화 방법론'이 사용되었다. 그 방법론으로 직접세, 지방세, 그리고 보통세로 다중 계승되는 재산세와 같이 복잡하게 얽힌 조세의 체계를 명시적이고 논리적으로 표현하였다. 그 다음 추론 기구를 통하여 자동 분류를 실시하고, 일관성(consistency)을 검증하였다. 마지막으로, 구축된 온톨로지의 구체적 활용사례를 소개하였다.

대형 할인매장 고객만족 설문조사 방법에 대한 제고 (Remark on the Problems of Survey Methods Applied to Customer Satisfaction for Discount Stores)

  • 손소영;장종상
    • 품질경영학회지
    • /
    • 제26권2호
    • /
    • pp.93-105
    • /
    • 1998
  • Many large scale discount stores try to enter the market in newly developed city areas. In order to sucessfully increase the market share, it is essential for them to understand customers' needs. In doing so, various forms of survey methods are often used and survey forms can influence respondents' decision. The main objective of this paper is to check consistency of different survey methods in terms of deriving the expected market share. In this paper, we a, pp.y two survey forms for both AHP and conjoint analyses using a randomized complete block design. Using AHP, we compare Kim's club, Carf, E-mart and Macro in terms of the following four customer attributes: parking facility, size of store, business hours, and special pricing policy. In conjoint analysis, we estimate the part-worth of each level of the customer's attribute so that one can design the best store which would optimizethe customer's attribute so that one can design the best store which would optimize the customer's utility. Empirical comparison results indicate very low consistency between the two methods. It implies the importance of verification methods of survey. We also analyze the impact of special pricing policy using a meta analysis. It turns out that older customers are a, pp.rently more sensitive to pricing policy.

  • PDF

한국어판 간호대학생의 그릿 측정도구 신뢰도 및 타당도 검증 (Validity and reliability of Korean version of the Grit Scale for Korean nursing students)

  • 송효숙;임소희
    • 한국간호교육학회지
    • /
    • 제26권3호
    • /
    • pp.322-331
    • /
    • 2020
  • Purpose: The purpose of this study was to investigate the validity and reliability of the Korean Version of the Grit (Grit-K) scale for nursing students in Korea. Methods: The participants in the study were 277 nursing students. Their grit was verified by using self-reports and the results of a questionnaire. Grit was translated into Korean and its content validity was verified by five experts. The validity of the instrument was verified through item analysis, exploratory factor analysis, and confirmatory factor analysis. Reliability verification was analyzed by using internal consistency reliability. Results: Two factors were identified through exploratory factor analysis and six items of the original instrument were found to be valid. In the confirmatory factor analysis, the validity of the instrument was verified as the model. The internal consistency reliability was also acceptable and Grit was found to be an applicable instrument. Conclusion: This study shows that the Korean Version of the Grit Questionnaire is a valid and reliable instrument to assess nursing students in Korea.

객체지향 분석의 완전성과 일관성 검증을 위한 툴의설계 (A design of a tool to verify completeness and consistency of object - oriented analysis)

  • 김치수;진영진
    • 한국정보처리학회논문지
    • /
    • 제4권10호
    • /
    • pp.2453-2460
    • /
    • 1997
  • 소프트웨어 개발방법에서 객체지향 분석방법은 많이 있고 계속적으로 새로운 기법이 소개되고 있다. 그러나 기존의 객체지향 분석방법에서는 정확한 객체의 식별과 확인이 어렵고 소프트웨어의 문제를 데이터에 근거해서 초기에 분해하기 때문에 상위 레벨의 제어 측면을 소홀히 하는 경향이 있다. 그 결과 사용자가 요구하는 소프트웨어에 대한 부정확한 이해와 분석오류를 낳는다. 따라서 본 논문에서는 이러한 문제점에 인식을 갖고 소프트웨어의 분석 단계에서 사용자의 요구가 충분히 반영될 수 있도록 객체모델의 메서드와 STD의 트랜지션 사이에 상호참조를 통해 완전성과 일관성을 검증할 수 있는 TOVERC를 설계하였다.

  • PDF

한국어판 자기주도 학습능력 측정도구의 신뢰도 및 타당도 검증 (A Study on the Reliability and Validity of the Korean Version of Self-directed Learning Instrument)

  • 곽은미;이주영;우진주
    • 기본간호학회지
    • /
    • 제26권1호
    • /
    • pp.12-22
    • /
    • 2019
  • Purpose: This study was done to verify the self-directed learning instrument (SDLI) developed to measure self-directed learning ability in nursing students. Methods: The participants for the study were 425 nursing college students. Their self-directed learning was verified using self-reports and results through questionnaires. SDLI was translated into Korean through translation/reverse translation process and its content validity verified by five experts. The validity of the instrument was verified through item analysis, exploratory factor analysis, and confirmatory factor analysis. Reliability verification was analyzed using internal consistency reliability. Results: Four factors were identified through exploratory factor analysis and 20 items of the original instrument were found to be valid. In the confirmatory factor analysis, the validity of the instrument was verified as the model was valid. The internal consistency reliability was also acceptable and SDLI was found to be an applicable instrument. Conclusion: SDLI has been developed and verified by selecting nursing students as participants for the study. Use if SDLI is expected to improve the quality of self-directed learning in nursing education and to be used in future nursing research.

병렬 객체지향 시스템의 검증 (Model Checking of Concurrent Object-Oriented Systems)

  • 조승모;김영곤;배두환;변성원;김상택
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제27권1호
    • /
    • pp.1-12
    • /
    • 2000
  • 모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

  • PDF

산출물의 일관성과 완전성 검증을 위한 추적테이블의 경험적 연구 (An Empirical Study on Tracking Table for Consistency and Completeness Validation in the Outputs)

  • 김주영;류성열
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제34권5호
    • /
    • pp.419-430
    • /
    • 2007
  • 소프트웨어 개발시 요구사항이 시스템에 제대로 반영되어 개발되고 있는지를 추적하는 일은 아주 중요하다. 이에, 본 연구에서는 추적테이블을 이용하여 요구사항을 추적하는 방법을 연구하였다. 본 연구에서 제시한 추적테이블에서는 제안요청서, 제안서 등의 내용을 명확히 명세하게 함으로써 요구사항의 발생근거를 명확히 하고, 산출물마다 요구사항 식별코드를 매핑하게 하여 산출물간의 일관성 및 완전성 검증하는데 용이하게 하였다. 아울러, 본 연구를 진행하면서 마르미-III v.4.0 방법론의 요구획득단계 산출물중에 추가하거나 보완이 필요한 요소를 발견하게 되었기에 개선된 추적테이블과 함께 부가적인 연구결과로 제시하고자 한다. 본 연구에서 제시한 개선된 추적테이블을 이용하여 산출물을 검증함으로써 소프트웨어 개발시 요구사항 관리 부족으로 일어나는 각종 위험 및 문제요소를 줄일 수 있을 것이다. 또한 마르미-III v.4.0 방법론의 요구획득 단계 산출물을 본 연구의 추적테이블 작성방법에 따라 추가.보완하게 함으로써 마르미-Ⅲ 방법론의 활용을 높이고자 한다.

Verification of the Suitability of Fine Dust and Air Quality Management Systems Based on Artificial Intelligence Evaluation Models

  • Heungsup Sim
    • 한국컴퓨터정보학회논문지
    • /
    • 제29권8호
    • /
    • pp.165-170
    • /
    • 2024
  • 본 연구는 인공지능 평가 모델을 활용하여 양주시의 대기질 관리 시스템의 정확성을 검증하는 데 목적이 있다. 환경부 미세먼지 공공 데이터와 양주시 대기질 관리 시스템 데이터를 비교하여 미세먼지 데이터의 정합성과 신뢰성을 평가하였다, 이를 위해 데이터의 완전성, 유일성, 유효성, 일관성, 정확성, 무결성을 분석하였다. 데이터의 정합성을 비교하기 위해 탐색적 통계 분석을 활용하였다. 분석 결과, AI 기반 데이터 품질 지수 평가 결과, 두 데이터 세트 간에 통계적으로 유의미한 차이가 없음을 확인하였다. AI 기반 알고리즘 중 랜덤 포레스트 모델이 가장 높은 예측 정확도를 보였으며, ROC 커브와 AUC를 통해 예측 성능을 평가하였다. 특히, 랜덤 포레스트 모델은 대기질 관리 시스템의 최적화에 유용한 모델로 확인되었으며, 미세먼지 데이터의 신뢰성과 적합성을 AI 기반 모델 성능 평가로 활용할 수 있음을 확인하였다.

한국어판 간호사의 잡 크래프팅 측정도구의 신뢰도 및 타당도 검증 (Verification of Reliability and Validity of Korean Version of Nurse's Job Crafting Scale)

  • 이도영;제남주;김윤정
    • 문화기술의 융합
    • /
    • 제8권3호
    • /
    • pp.339-350
    • /
    • 2022
  • 본 연구의 목적은 간호사를 대상으로 한 한국어판 잡 크래프팅을 개발하고 타당도와 신뢰도를 검증하기 위함이다. 한국어판 잡 크래프팅은 번역과 역번역을 하였으며 전문가 내용타당도를 검증받았다. 간호사 151명을 통하여 자가보고형식의 설문지를 통하여 SPSS/WIN 21.0과 AMOS 21.0 프로그램을 이용하여 통계 처리하였다. 구성 타당도 검증을 위하여 탐색적 요인분석과 확인적 요인분석을 시행하였고, 이 분석 결과를 통하여 모형 적합도와 집중타당도 및 판별타당도를 확인하였다. 준거타당도 검증을 위하여 소명의식 도구를 사용하여 각 영역과의 상관관계를 구하였다. 신뢰도 검증을 위해 내적 일관성 신뢰도 계수(Cronbach's α)를 산출하여 확인하였다. 잡 크래프팅 도구 20문항 전체의 신뢰도 Cronbach's α=.93으로 제 1요인(구조적 직무자원의 증가, 5문항)은 .91, 제 2요인(방해적인 직무요구의 감소, 5문항)은 .87. 제 3요인(사회적 직무자원의 증가, 5문항)은 .83. 제 4요인(도전적 직무요구의 증가, 5문항)은 .87로 내적일관성 신뢰도도 만족할 만한 수준이었고 Korean Version of Nurse's Job Crafting Scale이 적용 가능한 도구인 것으로 나타났다. 본 연구는 한국어판 간호사 잡 크래프팅 척도가 한국 간호사를 평가하기에 타당하고 신뢰할 수 있는 도구임을 보여준다.