• 제목/요약/키워드: consistency verification

검색결과 145건 처리시간 0.026초

Verification of OpenMC for fast reactor physics analysis with China experimental fast reactor start-up tests

  • Guo, Hui;Huo, Xingkai;Feng, Kuaiyuan;Gu, Hanyang
    • Nuclear Engineering and Technology
    • /
    • 제54권10호
    • /
    • pp.3897-3908
    • /
    • 2022
  • High-fidelity nuclear data libraries and neutronics simulation tools are essential for the development of fast reactors. The IAEA coordinated research project on "Neutronics Benchmark of CEFR Start-Up Tests" offers valuable data for the qualification of nuclear data libraries and neutronics codes. This paper focuses on the verification and validation of the CEFR start-up modelling using OpenMC Monte-Carlo code against the experimental measurements. The OpenMC simulation results agree well with the measurements in criticality, control rod worth, sodium void reactivity, temperature reactivity, subassembly swap reactivity, and reaction distribution. In feedback coefficient evaluations, an additional state method shows high consistency with lower uncertainty. Among 122 relative errors in the benchmark of the distribution of nuclear reaction, 104 errors are less than 10% and 84 errors are less than 5%. The results demonstrate the high reliability of OpenMC for its application in fast reactor simulations. In the companion paper, the influence of cross-section libraries is investigated using neutronics modelling in this paper.

한국인 직무스트레스 측정도구에 관한 실증적 연구: 물리치료사를 대상으로 (Empirical Verification of the Korean Occupational Stress Scale in Physical Therapist)

  • 황룡;명성민
    • 한국콘텐츠학회논문지
    • /
    • 제14권11호
    • /
    • pp.849-857
    • /
    • 2014
  • 직무스트레스란 작업장 또는 조직 내에서 일어나는 스트레스로서, 한국의 직장인들이 느끼는 직무스트레스는 87.8%로 OECD 국가 중 최고 수준이다. 본 연구의 목적은 물리치료사를 대상으로 한국인 직무스트레스 측정도구에 대하여 실증적으로 검증하는 것이다. 이를 위하여 경기지역소재의 물리치료사를 대상으로 설정하였으며, 유의표집법으로 388명에 대하여 자료를 수집하였다. 수집된 자료는 탐색적 요인분석과 확증적 요인분석을 통하여 요인구조를 확인하고, 물리치료사를 대상으로 한 한국인 직무스트레스 측정도구를 실증적으로 검증하였다. 연구결과는 다음과 같다. 첫째, 측정도구의 신뢰도를 조사한 결과 0.83로 적절하게 나타났다. 둘째, 탐색적 요인분석 및 확증적 요인분석을 통하여 물리치료사를 대상으로 측정한 한국인 직무스트레스 측정도구는 개발 당시 제시되었던 하위요인보다는 조직체계 및 보상부적절, 직장문화, 직무요구, 관계갈등, 직무능력, 직무불안정, 직무자율성결여의 7개 요인으로 적용하는 것이 물리치료사에게 보다 적합한 것으로 나타났다. 본 연구를 통하여 물리치료사의 직무스트레스 관련 연구를 위한 기초 정보 산출 및 평가에 기여할 수 있을 것이라 판단된다.

SDN 응용 검증을 위한 프로세스 알지브라 기반 정형 기법 (Process Algebra Based Formal Method for SDN Application Verification)

  • 신명기;이종화;최윤철;이지현;이승익;강미영;곽희환;최진영
    • 한국통신학회논문지
    • /
    • 제39B권6호
    • /
    • pp.387-396
    • /
    • 2014
  • 최근 SDN (Software Defined Networking) 기반의 다양한 네트워크 제어 및 관리 플랫폼들이 서비스제공자 및 통신사업자들에 의해 연구되고 있다. SDN의 중요한 특징 중 하나는 소프트웨어 프로그램으로 작성된 간단한 응용에 의해 네트워크가 쉽게 제어되고 관리된다는 점에 있다. 이러한 관점에서 잘못 작성된 SDN 응용은 네트워크 전체에 오류를 발생시킬 수 있어, 해당 응용은 작성된 오픈플로우 포워딩 규칙(rule)을 SDN 컨트롤러(controller)를 통해 스위치에 반영하기 전에 토폴로지와 네트워크 환경의 안전성(safety)과 일관성(consistency)이 반드시 검증되어야 한다. 본 논문에서는 SDN 응용 검증을 위한 프로세스 알지브라 (process algebra) 기반의 언어인 pACSR (Packet based Algebra of Communicating Shared Resources)와 이를 기반으로 한 정형 검증 프레임워크를 제안하고, 이에 대한 SDN 정형검증 도구 연구시제품 구현 현황을 기술한다.

청소년을 위한 휴대전화 중독 도구 개발 (Development of a Cell Phone Addiction Scale for Korean Adolescents)

  • 구현영
    • 대한간호학회지
    • /
    • 제39권6호
    • /
    • pp.818-828
    • /
    • 2009
  • Purpose: This study was done to develop a cell phone addiction scale for Korean adolescents. Methods: The process included construction of a conceptual framework, generation of initial items, verification of content validity, selection of secondary items, preliminary study, and extraction of final items. The participants were 577 adolescents in two middle schools and three high schools. Item analysis, factor analysis, criterion related validity, and internal consistency were used to analyze the data. Results: Twenty items were selected for the final scale, and categorized into 3 factors explaining 55.45% of total variance. The factors were labeled as withdrawal/tolerance (7 items), life dysfunction (6 items), and compulsion/persistence (7 items). The scores for the scale were significantly correlated with self-control, impulsiveness, and cell phone use. Cronbach's alpha coefficient for the 20 items was .92. Scale scores identified students as cell phone addicted, heavy users, or average users. Conclusion: The above findings indicate that the cell phone addiction scale has good validity and reliability when used with Korean adolescents.

종양전문간호사 업무평가 도구 개발 (An Methodology Research of Performance Appraisal Tool of Oncology Advanced Practice Nurse)

  • 박성애;김민영
    • 간호행정학회지
    • /
    • 제13권1호
    • /
    • pp.17-23
    • /
    • 2007
  • Purpose: The purpose of this study was to develop the tool that can be used for measuring and appraising the performance of Oncology Advanced Practice Nurse(APN). Method: On the basis of some articles about roles of oncology APN, the researcher made a temporary tool and verified both content validity and face validity. Also the reliability and construct validity were verified. Result: The reliability of this tool was measured by internal consistency. Cronbachs' ${\alpha}$ was .92. The method of verification of construct validity was used known group technique because of small numbers of Oncology APN. Conclusions: This performance appraisal tool of Oncology APN was verified by both the reliability and construct validity. In future, this tool will be able to be used for appraisal and verifying of nursing care of Oncology APN.

  • PDF

PMO 대가 산정모형의 개발 (A Study on the Development of PMO Cost Estimation Model)

  • 서용원;이덕희
    • 한국IT서비스학회지
    • /
    • 제13권4호
    • /
    • pp.169-188
    • /
    • 2014
  • Recently the complexity and difficulty of the IT projects are increasing due to technological and environmental risks, resulting in the adoption of PMO(Project Management Office) onto IT project management practices, including public area projects. For example, the Korean government regulated the application of PMO onto large scale public IT projects. However, since there has been no reliable method to estimate the cost to execute PMOs, a PMO cost evaluation model to support the budget and cost planning of PMO projects is required. Thus, the purpose of this research is to develop a systematic cost evaluation model for PMO projects. We identified the dimensions that determine the PMO execution cost to be the scale of the subject project, the technical difficulty level of the subject project, and the tasks to be executed in the PMO project. Based on the determinants, the PMO execution cost model were developed from historical data and experts opinion. Upon verification, the validity of the developed model has high level of consistency compared with their experiences of real PMO project costs.

Successful ERP Operations: Process Integration Perspectives and an Agent-Based Support System

  • Park, Kwang-Ho
    • 지능정보연구
    • /
    • 제9권2호
    • /
    • pp.65-85
    • /
    • 2003
  • Any ERP system pushes a company toward full process integration and solves the fragmentation of information. However, the tight process integration can propagate and magnify mistakes made in one department into the other departments in real time. Thus, it can be posited that a central support system for the coordination can help ERP users and administrators dig out problems, take care of tedious validation and verification, and maintain process integration of ERP with great consistency. This paper proposes an agent-based ERP operations support system (EOSS) that aims at achieving and maintaining process integration of ERP at the highest level possible. With EOSS, the process integrity is monitored, with anomalies prevented as early as possible and repaired as precisely as possible.

  • PDF

Data Quality of Childhood Cancer in Khon Kaen, Thailand, 1990-2007

  • Suwanrungruang, Krittika;Kamsa-ard, Supot;Wiangnon, Surapon
    • Asian Pacific Journal of Cancer Prevention
    • /
    • 제15권18호
    • /
    • pp.7985-7987
    • /
    • 2014
  • Introduction: Khon Kaen Cancer Registry (KKCR) was established in 1984. KKCR aims to collect all cancer cases in Khon Kaen Province. The poorly qualified data may lead to distort the cancer burden and misinterpretation of policy maker. Objective: To assess data quality in childhood cancer between 1990 and 2007 in Khon Kaen Province, Thailand. Materials and Methods: Data of childhood cancer cases aged less than 20 years diagnosed during 1990-2007 were retrieved from the population-based data set of KKCR. All childhood cancer data were verified before data entry. Internal consistency, percentage of morphological verification (MV%) and cancer cased of the basis of diagnosis by death certificate only (DCO%) were evaluated. The age-adjusted rate (ASR) was calculated by standard method. Results: The data of childhood cancer from KKCR is acceptably qualified which reflects the quality of the whole registration.

객체모델에 대한 형식명세로의 변환 방법 (The Translation Method to formal specification of Object Model)

  • 임근;권영만
    • 한국컴퓨터정보학회논문지
    • /
    • 제8권4호
    • /
    • pp.21-27
    • /
    • 2003
  • 본 논문에서는 정확한 분석 모델을 제시하기 위해서 객체 모델을 정의하고, 이 모델을 정형화와 표준화에 필요한 형식명세로 변환하는 방법을 제안한다. VDM 형식으로 변환된 모델은 정확성, 일관성, 완전성을 제공할 수 있다. 증명의 대상인 VDM 명세에서 오류가 발생한다면 초기 객체 모델 단계에 적용하여 객체 모델의 검증이 가능하다. 검증된 객체 모델을 설계 단계의 기반 명세로 사용하므로 추후 개발 단계의 비용과 노력을 최소화하고 객체 모델 선택의 정확성을 높일 수 있다.

  • PDF

CPU-GPU간 긴밀성을 위한 효율적인 공유메모리 접근 방법과 검증 시스템 구현 (Implementation of Integrated CPU-GPU for Efficient Uniform Memory Access Method and Verification System)

  • 박현문;권진산;황태호;김동순
    • 대한임베디드공학회논문지
    • /
    • 제11권2호
    • /
    • pp.57-65
    • /
    • 2016
  • In this paper, we propose a system for efficient use of shared memory between CPU and GPU. The system, called Fusion Architecture, assures consistency of the shared memory and minimizes cache misses that frequently occurs on Heterogeneous System Architecture or Unified Virtual Memory based systems. It also maximizes the performance for memory intensive jobs by efficient allocation of GPU cores. To test between architectures on various scenarios, we introduce the Fusion Architecture Analyzer, which compares OpenMP, OpenCL, CUDA, and the proposed architecture in terms of memory overhead and process time. As a result, Proposed fusion architectures show that the Fusion Architecture runs benchmarks 55% faster and reduces memory overheads by 220% in average.