• 전자공학회논문지 IE
• /
• 제48권4호
• /
• pp.61-68
• /
• 2011

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

• 한국도서관정보학회지
• /
• 제44권1호
• /
• pp.385-408
• /
• 2013

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

• 품질경영학회지
• /
• 제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.

• 한국간호교육학회지
• /
• 제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.

• 한국정보처리학회논문지
• /
• 제4권10호
• /
• pp.2453-2460
• /
• 1997

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

• 기본간호학회지
• /
• 제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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권5호
• /
• pp.419-430
• /
• 2007

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

• 문화기술의 융합
• /
• 제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이 적용 가능한 도구인 것으로 나타났다. 본 연구는 한국어판 간호사 잡 크래프팅 척도가 한국 간호사를 평가하기에 타당하고 신뢰할 수 있는 도구임을 보여준다.

• 한국콘텐츠학회논문지
• /
• 제8권7호
• /
• pp.75-84
• /
• 2008

데이터베이스 응용 프로그램들은 DBMS가 관리하는 데이터베이스를 동시에 접근하기 때문에 동시성 문제가 발생하며 이를 해결하기 위해서 대부분의 상업용 DBMS들은 고립화 수준을 설정할 수 있게 한다. 데이터베이스 응용 프로그램을 구성하는 트랜잭션들의 고립화 수준에 따라서 데이터베이스의 일관성이 위반될 수도 있기 때문에 트랜잭션의 고립화 수준의 검증은 중요하다. 본 논문은 트랜잭션의 고립화 수준 설정 오류를 검증하기 위한 시험 도구를 제안하고 프로토타입을 구현한다. 시험 도구는 ESQL/C 프로그램을 분석하여 고립화 수준을 검증할 수 있는 코드를 추가하여 시험 트랜잭션을 실행시키고 고립화 수준의 오류를 검출할 수 있게 한다.