• 한국정보전자통신기술학회논문지
• /
• 제16권1호
• /
• pp.33-40
• /
• 2023

슈퍼 컴퓨팅 기술 및 하드웨어 기술의 발달로 수치 연산 방식 또한 고도화되고 있다. 그에 따라 이전 대비 향상된 기상 예측 또한 가능해진다. 본 논문에서는 SCAM(Single-Columns Atmospheric Model, CESM(Community Earth System Model)을 간소화 한 버전)에 포함되어 있으며 대기 연산을 수행하는 적운 모수화 코드, Unicon(A Unified Convection Scheme)의 성능을 향상하기 위하여 소스 코드 내의 선형대수 수치적 연산 부분에 고밀도 선형대수 연산을 위한 라이브러리인 LAPACK(Linear Algebra PACKage) BLAS(Basic Linear Algebra Subprograms)의 level1 함수를 적용할 것을 제안한다. 이를 분석하기 위하여 SCAM의 전체적인 실행 구조도를 제시하고 해당 실행환경에서 테스트를 진행하였다. 기존 소스 코드 대비 SCOPY 함수는 0.4053%, DSCAL 함수는 0.7812%, DDOT 함수는 0.0469%의 성능 향상을 이끌어 내었으며 이를 모두 적용한 결과 기존 소스 코드 대비 0.8537%의 성능 향상을 보였다. 이는 본 논문에서 제안한 고밀도 선형대수 연산을 위한 라이브러리인 LAPACK BLAS 적용 방법이 동일한 CPU 환경에서 추가적인 하드웨어의 개입 없이 성능을 향상시킬 수 있음을 의미한다.

• Nuclear Engineering and Technology
• /
• 제55권4호
• /
• pp.1210-1217
• /
• 2023

The assessment of radiation fields in the lithium loop pipes and dump tank during the operation were performed for International Fusion Materials Irradiation Facility - DEMO-Oriented NEutron Source (IFMIF-DONES) in order to obtain the radiation dose-rate maps in the component surroundings. Variance reduction techniques such as weight window mesh (produced with the ADVANTG code) were applied to bring the statistical uncertainty down to a reasonable level. The biological dose was given in the study, and potential shielding optimization is suggested and more thoroughly evaluated. The MCNP Monte Carlo was used to simulate a gamma particle transport for radiation shielding purposes for the current Li Systems' design. In addition, the shielding efficiency was identified for the Impurity Control System components and the dump tank. The analysis reported in this paper takes into account the radiation decay source from and activated corrosion products (ACPs), which is created by d-Li interaction. As a consequence, the radiation (resulting from ACPs and Be-7) shielding calculations have been carried out for safety considerations.

• 정보과학회 논문지
• /
• 제43권9호
• /
• pp.953-962
• /
• 2016

모델 기반 테스팅은 시스템의 행위를 표현하는 모델을 시스템 명세로 활용하여 테스트를 수행하는 기술이다. 자동차, 국방/항공, 의료, 철도, 원자력과 같은 산업 도메인에서는 소프트웨어의 품질 향상을 위해 모델 기반 테스팅과 코드 커버리지 기반 테스팅을 요구하고 있다. 모델 기반 테스팅과 코드 커버리지 기반 테스팅이 모두 요구됨에도 모델과 소스 코드 간의 추상화 수준 차이로 인해 모델 기반 테스팅만으로 높은 코드 커버리지를 달성하는 것이 어려워 모델 기반 테스팅과 코드 커버리지 기반 테스팅이 별도로 수행되어져 왔다. 본 연구에서는 기존의 모델 기반 테스팅의 한계점을 개선하기 위하여 모델 기반 테스팅에서 테스트 모델로서 이용되는 대표적인 모델링 방법 중 하나인 프로토콜 상태 머신을 테스트 모델로서 이용하여 효과적으로 코드 커버리지를 향상시키는 상태 머신 변환 방법을 제안한다. 또한 본 연구에서는 두 시스템을 대상으로 한 사례 연구를 수행하여 제안 방법의 효과성을 분석하였다.

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

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

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 춘계 학술대회 논문집
• /
• pp.82-87
• /
• 2001

본 논문에서는 IP(Intellectual Property)와 IP 간의 핸드쉐이킹 신호를 비동기 논리회로로 대체 하도록 할 수 있는 인터페이스 논리의 생성 방법에 대하여 기술한다. 특히 핸드쉐이킹 을 위하여 레벨형 입력과 펄스형 입력이 혼합된 비동기 타이밍 파형만 제시되었을 경우 이 파형을 흐름도로 변환시키고 변환된 흐름도에 의하여 VHDL 코드로 대체하는 새로운 \"파형 변환 알고리즘:Wave2VHDL\"을 제안한다. 또한 제안된 알고리즘으로부터 추출한 VHDL 원시 코드를 기존의 국내외 CAD 툴(Tool)에 적용함으로서 IP 인터페이스를 위한 비동기식 전자회로가 생성됨을 확인하고 시뮬레이션 결과와 제시된 타이밍도가 일치함을 증명한다.일치함을 증명한다.

• Earthquakes and Structures
• /
• 제17권4호
• /
• pp.365-372
• /
• 2019

Post-earthquake crisis management is a key capability for a country to be able to recover after a major seismic event. Instrumental seismic data transmitted and processed in a very short time can contribute to better management of the emergency and can give insights on the earthquake's impact on a specific area. Romania is a country with a high seismic hazard, mostly due to the Vrancea intermediate-depth earthquakes. The elastic acceleration response spectrum of a seismic motion provides important information on the level of maximum acceleration the buildings were subjected to. Based on new data analysis and knowledge advancements, the acceleration elastic response spectrum for horizontal ground components recommended by the Romanian seismic codes has been evolving over the last six decades. This study aims to propose a framework for post-earthquake warning based on code spectrum exceedances. A comprehensive background analysis was undertaken using strong motion data from previous earthquakes corroborated with observational damage, to prove the method's applicability. Moreover, a case-study for two densely populated Romanian cities (Focsani and Bucharest) is presented, using data from a $5.5M_W$ earthquake (October 28, 2018) and considering the evolution of the three generations of code-based spectral levels for the two cities. Data recorded in free-field and in buildings were analyzed and has confirmed that no structural damage occurred within the two cities. For future strong seismic events, this tool can provide useful information on the effect of the earthquake on structures in the most exposed areas.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.753-762
• /
• 2021

웹 어셈블리는 웹 환경에서 수행 가능한 명령어 형식을 일컫는다. 최근 웹 어셈블리의 성능적인 우수함 때문에 다양한 웹 애플리케이션에서 웹 어셈블리가 활용되고 있다. 하지만 본 논문에서는 보안 관점에서 웹 어셈블리의 간접호출 명령어에 대한 보호 기능에 취약한 부분이 있다는 것을 알게 되었고, 이에 이러한 웹 어셈블리에서의 간접호출 명령어의 보호를 위한 코드 계측 기술인 WACFI를 제안한다. 구체적으로 WACFI에서는 소스 코드 분석을 통해 얻은 정보를 활용해 웹 어셈블리 코드를 수정하여 웹 어셈블리의 간접호출 명령어 보호 기능을 강화하였다. 우리의 실험결과에 따르면 WACFI는 단지 약 2.75%의 성능 부하만으로 이러한 보안 기능을 제공하는 것으로 확인되었다.

• 한국컴퓨터정보학회논문지
• /
• 제1권1호
• /
• pp.105-128
• /
• 1996

소프트웨어의 전체 비용 중에서 유지보수 비용이 절반 이강을 차지하고 있기 때문에, 이 비용을 줄이기 위한 도구가 필요하다. 유지보수를 위한 공학적인 기법들 중에서 역 공학은 원시 코드로부터 설계 정보를 추출하고 원시 코드를 다른 형태 혹은. 좀 더 추상화된 형태로 표현하는 과정이다. 본 논문에서는 역 공학 기법을 적용하여. 기존 COBOL 프로그램으로부터 프로그램들 간의 호출 관계. 프로그램 내의 논리 구조와 프로그램의 자료 흐름에 대한 정보를 추출하는 방법에 대해서 제안하고 회복된 설계 정보로부터 프로그램 구조조도와 모듈 구조도를 생성하는 방법에 대해서 제시한다. 원시 코드로부터 정확하게 생성된 구조도는 유지보수 자가 프로그램을 전체적으로 혹은, 구체적으로 이해하도록 지원하는 중요한 정의가 될 것이다. 또한. 유지보수 자가 프로그램을 재분석할 때 혹은 다른 유지보수 자들이 그 프로그램을 분석할 때. 명확하게 수정된 구조도는 유지보수 자들에게 프로그램을 더욱 쉽게 이해하도록 지원하게 될 것이다.

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

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

• Nuclear Engineering and Technology
• /
• 제50권8호
• /
• pp.1234-1245
• /
• 2018

The risk of multi-unit nuclear power plants (NPPs) at a site has received considerable critical attention recently. However, current probabilistic safety assessment (PSA) procedures and computer code do not support multi-unit PSA because the traditional PSA structure is mostly used for the quantification of single-unit NPP risk. In this study, the main purpose is to develop a multi-unit Level 2 PSA method and apply it to full-power operating six-unit OPR1000. Multi-unit Level 2 PSA method consists of three steps: (1) development of single-unit Level 2 PSA; (2) extracting the mapping data from plant damage state to source term category; and (3) combining multi-unit Level 1 PSA results and mapping fractions. By applying developed multi-unit Level 2 PSA method into six-unit OPR1000, site containment failure probabilities in case of loss of ultimate heat sink, loss of off-site power, tsunami, and seismic event were quantified.