• 방사성폐기물학회지
• /
• 제18권3호
• /
• pp.347-354
• /
• 2020

Site characterization for decommissioning Kori Unit 1 is ongoing in South Korea after 40 years of successful operation. Kori Unit 1's containment building is assumed to be mostly radioactively contaminated, and therefore radiation exposure management and detailed contamination investigation are required for decommissioning and dismantling it safely. In this study, site-specific Derived Concentration Guideline Levels (DCGLs) were derived using the residual radioactivity risk evaluation tool, RESRAD-BUILD code. A conceptual model of containment building for Kori Unit 1 was set up and limited occupational worker building inspection scenario was applied. Depending on the source location, the maximum contribution source and exposure pathway of each radionuclide were analyzed. The contribution of radionuclides to dose and exposure pathways, by source location, is expected to serve as basic data in the assessment criteria of survey areas and classification of impact areas during further decommissioning and decontamination of sites.

• Nuclear Engineering and Technology
• /
• 제51권1호
• /
• pp.13-30
• /
• 2019

This paper presents the recent improvements in the DeCART code for HTGR analysis. A new 190-group DeCART cross-section library based on ENDF/B-VII.0 was generated using the KAERI library processing system for HTGR. Two methods for the eigen-mode adjoint flux calculation were implemented. An azimuthal angle discretization method based on the Gaussian quadrature was implemented to reduce the error from the azimuthal angle discretization. A two-level parallelization using MPI and OpenMP was adopted for massive parallel computations. A quadratic depletion solver was implemented to reduce the error involved in the Gd depletion. A module to generate equivalent group constants was implemented for the nodal codes. The capabilities of the DeCART code were improved for geometry handling including an approximate treatment of a cylindrical outer boundary, an explicit border model, the R-G-B checker-board model, and a super-cell model for a hexagonal geometry. The newly improved and implemented functionalities were verified against various numerical benchmarks such as OECD/MHTGR-350 benchmark phase III problems, two-dimensional high temperature gas cooled reactor benchmark problems derived from the MHTGR-350 reference design, and numerical benchmark problems based on the compact nuclear power source experiment by comparing the DeCART solutions with the Monte-Carlo reference solutions obtained using the McCARD code.

• 한국컴퓨터정보학회논문지
• /
• 제16권6호
• /
• pp.51-59
• /
• 2011

국내에는 바이너리 코드에 대한 분석 기술이 많이 부족한 상태이다. 일반적으로 컴퓨터에 설치되는 실행 파일은 소스 코드 없이 단지 바이너리로 된 실행 파일만 주어지는 경우가 대부분이다. 따라서 위험하거나 알 수 없는 동작이 수행되는 경우가 발생할 수 있다. 따라서 이 논문에서는 바이너리 수준에서 정적으로 프로그램 분석을 수행할 수 있는 프레임워크를 설계 및 구현한다. 이 논문에서는 바이너리 실행 파일로부터 실행 순서 및 제어 흐름 등의 정보를 표현할 수 있는 제어 흐름 그래프를 작성하여 실행 흐름과 위험한 함수의 호출 여부를 동시에 파악하고 개발된 프레임워크를 통해 바이너리 파일에 대한 분석을 용이하게 한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권2호
• /
• pp.1234-1249
• /
• 2017

One of the difficulties developers encounter in maintaining tasks of a large-scale software system is the updating of suitable libraries on time. Developers tend to miss or make mistakes when searching for and choosing libraries during the development process, or there may not be a stable library for the developers to use. We present a novel approach for helping developers modify software easily and on time and avoid software failures. Using a tool previously built by us called GPES, we collected information of projects, such as abstract syntax trees, tokens, software metrics, relations, and evolutions, for our experiments. We analyzed the contexts of source codes in existing projects to predict changes automatically and to recommend suitable libraries for the projects. The collected data show that researchers can reduce the overall cost of data analysis by transforming the extracted data into the required input formats with a simple query-based implementation. Also, we manually evaluated how the extracted contexts are similar to the description and we found that a sufficient number of the words in the contexts is similar and it might help developers grasp the domain of the source codes easily.

• 대한조선학회논문집
• /
• 제56권5호
• /
• pp.396-409
• /
• 2019

In this paper, a comparative study on the radiation techniques for the motion analysis of the three dimensional floating structure with the forward speed was carried out. The Sommerfeld radiation condition, the damping technique, and the point shift technique were used for the comparative study. Radiated wave patterns and hydrodynamic coefficients of the heave motion of floating structure with the forward speed were compared and analyzed. The characteristics and limitations of each radiation technique were analyzed through the calculation results. To overcome the limitations of conventional radiation techniques, the hybrid radiation technique combining the Sommerfeld radiation condition with the damping technique was proposed. It is confirmed that the proposed method, the Hybrid radiation technique, improves the limitation of the speed range and the dissipation of the wave of the conventional radiation technique. The motion analysis code of the three dimensional floating structure with the forward speed based on the Rankine source method with hybrid radiation technique was developed. In order to validate the developed code, hydrodynamic analyses were carried and compared with published experiments.

• 융합정보논문지
• /
• 제7권4호
• /
• pp.69-74
• /
• 2017

현재 우리 사회를 대변하고 있는 단어는 정보통신기술(ICT)일 것이다. 정보통신 기술의 발전으로 우리나라의 소프트웨어 산업은 양적으로, 질적으로 발전하고 있다. 이러한 소프트웨어 산업의 고도성장에 따른 문제점 중 하나는 소프트웨어에 대한 지적재산권 문제이며 이로 인해 다양한 유형의 분쟁들이 발생하고 있다는 점이다. 소프트웨어에 대한 대부분의 분쟁 중 응용 프로그램이 차지하는 비중이 상당히 많은 비율을 차지하고 있다. 이는 다양한 산업분야에서 필요로 하는 프로그램들이 수없이 개발되고 있기 때문에 자연스러운 현상이라 할 수 있다. 따라서 현재와 같은 고도화된 ICT 환경에서는 지적재산권에 대한 중요성이 점점 더 확장될 것이다. 본 연구에서는 프로그램에 대한 사례를 중심으로 하여 프로그램의 유사성 및 복제도 정도를 도출할 수 있는 방안을 소스 프로그램의 수준에서 제시하였다.

• 한국컴퓨터정보학회논문지
• /
• 제13권2호
• /
• pp.31-40
• /
• 2008

지금까지 C 언어에 대한 다양한 코딩 스타일이 제시되어 왔으나 코딩 스타일에 대한 종합적인 검토가 부족하였다. 본 논문에서는 대표적인 C 코딩 스타일에 포함된 코딩 규칙들을 분석하고 그 외에 새로운 코딩 규칙들을 추가함으로써 새로운 C 코딩 스타일을 제안하고 있다 아울러 CStyler라고 명명한 자동화된 C 코딩 스타일 검증기를 설계하였으며 Lex와 Yacc를 활용하여 이를 구현하였다. CStyler는 전처리가 수행된 후의 코드뿐만 아니라 전처리가 수행되기 전의 소스 코드에 대해서도검증이 가능하도록 설계되었으며, 사용자가 새로운 코딩 규칙을 추가할 수 있도록 함으로써 유연성을 개선하였다. 본 논문에서 제시한 코딩 스타일과 코딩 스타일 검증기는 C 언어 교육과 향후 정적 분석 도구를 개발하고 확장하기 위한 연구에 활용될 수 있을 것으로 사료된다.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.985-996
• /
• 2019

본 논문에서는 미국에서 암호모듈검증을 획득한 대표적인 소프트웨어 형태의 암호모듈인 FIPS-OpenSSL의 소스 코드를 분석하여 암호모듈 검증 및 시험기준에서 요구하는 보안요구사항이 소프트웨어적으로 어떻게 구현되어있는지 분석한다. 특히, 암호모듈이 반드시 탑재하고 있어야 하는 자가시험기능 (동작 전 자가시험, 조건부 자가시험) 관점으로 소스코드를 분석한다. 비록 미국 암호모듈 검증제도에서는 FIPS 140-2를 검증기준으로 삼고 있지만, FIPS 140-2는 국내 암호모듈 검증제도에서 암호모듈 검증 및 시험기준으로 삼고 있는 암호모듈 국제표준인 ISO/IEC 19790과 24759의 근간이 되었기 때문에 많은 유사함이 존재한다. 본 논문의 분석을 통하여 향후 암호모듈 개발업체에서 자가시험기능을 정확하고 안전하게 구현할 수 있을 것으로 기대한다.

• 방사성폐기물학회지
• /
• 제13권1호
• /
• pp.21-34
• /
• 2015

원자력발전소 해체를 준비하기 위해서는 해체대상 발전소에 대한 선원항 평가가 선행되어야 한다. 해체전략 수립단계에서 선원항 평가 결과를 토대로 해체 폐기물을 분류하고 비용평가를 수행한다. 본 연구에서는 월성 1호기의 예비 선원항 계산을 수행할 수 있도록 MCNP/ORIGEN-2 모델의 타당성 평가를 수행하였다. 연소도가 다른 핵연료 다발의 악티나이드 계열과 핵분열 생성물의 핵종 수밀도는 싱글 채널 모델을 이용하여 MCNPX 코드로 연소 계산하여 구하였다. 선원항의 정확도에 영향을 미치는 두가지 요인에 대해 조사하였다. 첫번째 요인으로 선원항 계산에 영향을 미치는 중성자 스펙트럼을 MCNP로 계산하여 해당 핵종의 1군 미시 핵단면적에 반영하였다. 중성자 스펙트럼이 반영된 라이브러리로 계산한 선원항과 ORIGEN-2 코드 package에 내장된 library (CANDUNAU.LIB)로 구한 선원항을 비교하였다. 두번째 요인으로 선원항에 대한 출력이력의 영향을 조사하였다. 해체 폐기물의 저준위 폐기물 처분 가능성을 살펴보기 위해, 2010년도 교체된 압력관, 칼란드리아관과 기존 칼란드리아 동체에 대하여 중성자 스펙트럼을 반영한 library를 적용하여 MCNP/ORIGEN-2로 선원항 평가 계산을 수행하였다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 추계학술발표회논문집(2)
• /
• pp.847-852
• /
• 1995

A shielding analysis for KSC-7, the shipping cask for transporting the 7 PWR spent fuel assemblies, has been carried out. Radiation source term has been calculated on spent fuel with burnup of 50,000 MWD/MTU and 1.5 years cooling time by ORIGEN2 code. The shielding calculation for the cask has been made by using MCNP4A code with continuous cross section data library from ENDF/B-V. As a result of neutron dose rate analysis, another shielding calculational model on spent fuel shipping cask was provided which is using the Monte Carlo method.