• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 춘계학술발표대회
• /
• pp.276-279
• /
• 2017

오늘날 사회 전반적인 부분에서 소프트웨어의 비중은 지속적으로 증가하고 있다. 또한 소프트웨어는 점차 대규모화되고 있고 동시에 개인의 중요한 정보 등을 다루는 경우도 매우 늘어나고 있기에 소프트웨어의 보안성 검증은 매주 중요한 문제이다. 그러나 소스코드가 존재하지 않는 라이브러리의 경우 보안성 검증은 매우 어려운 문제로, 이를 해결하기 위해 바이너리 내에 존재하는 보안약점을 검사하기 위한 기술의 개발이 매우 요구되는 상황이며, 이를 위해 중간언어를 활용하여 보안약점을 분석하는 기술이 활발히 논의되고 있다. 본 논문에서는 바이너리 코드내에 존재하는 보안약점을 효과적으로 분석하기 위해서 바이너리 코드로부터 보안약점 분석에 효과적인 중간언어로 변환하는 시스템을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 춘계학술발표대회
• /
• pp.280-282
• /
• 2017

최근 소프트웨어에 내장된 취약점 분석을 위한 자동화 도구 개발 연구가 각 분야에서 활발히 연구되고 있다. 그 중 바이너리 코드를 대상으로 바로 보안취약점을 분석하는 방법이 아닌 중간언어를 활용하여 분석하는 방법이 대두되고 있으며 이를 위한 다양한 중간언어가 제시되었다. 그 중 하이레벨 언어 수준의 내용의 기술이 가능하며 명령어 자체적으로 자료형을 유지하여 보안 취약점 분석에 효과적인 언어로 SIL 중간언어가 재조명 받고 있다. 따라서 본 논문에서는 이룰 위해서 x86/64 기반 어셈블리어를 SIL 로 효과적으로 변환하며 프로그램의 의미가 변하지 않는 것을 확인하기 위해서 프로그램의 제어흐름을 시각화하는 기능을 가진 시스템을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 춘계학술발표대회
• /
• pp.283-286
• /
• 2017

소프트웨어 내제되어 있는 보안약점과 보안취약점으로 인해 사회적으로 많이 비용이 발생함에 따라 안전한 소프트웨어를 개발하고자하는 요구가 증가하고 있다. 최근 바이너리 코드에 내제된 보안약점을 분석하기 위해서 중간코드를 이용하여 정적분석을 수행하는 다양한 연구가 진행되고 있다. 중간 언어를 사용함으로 실행환경에 따라 달라지는 바이너리 코드가 중간언어로만 변환이 된다면 동일한 형태의 보안약점 분석기술을 통해 효과적인 수행이 가능하다. 이 기술의 핵심은 바이너리 코드로부터 얼마나 코드내의 자료형 및 변수를 재구성하여 중간언어로 변환하는 것이다. 본 논문에서는 이와 같은 바이너리 코드로부터 보안약점 분석을 위한 중간언어 변환시 효과적으로 자료형 및 변수 등에 관한 정보를 재구성하는 기법들에 대해서 조사 분석하였다.

• 대한기계학회논문집A
• /
• 제33권10호
• /
• pp.1108-1118
• /
• 2009

A Very High Temperature Gas Cooled Reactor (VHTR) has been selected as a high energy heat source of the order of $950^{\circ}C$ for nuclear hydrogen generation, which can produce hydrogen from water or natural gas. A primary hot gas duct (HGD) as a coaxial double-tube type cross vessel is a key component connecting a reactor pressure vessel and an intermediate heat exchanger in the VHTR. In this study, a structural sizing methodology for the primary HGD of the VHTR is suggested in order to modulate a flow-induced vibration (FIV). And as an example, a structural sizing of the horizontal HGD with a coaxial double-tube structure was carried out using the suggested method. These activities include a decision of the geometric dimensions, a selection of the material, and an evaluation of the strength of the coaxial double-tube type cross vessel components. Also in order to compare the FIV characteristics of the proposed design cases, a fluid-structure interaction (FSI) analysis was carried out using the ADINA code.

• 천문학회보
• /
• 제41권2호
• /
• pp.62.2-62.2
• /
• 2016

We present a newly developed algorithm based on a Bayesian method for 2D tilted-ring analysis of disk galaxies which operates on velocity fields. Compared to the conventional ones based on a chi-squared minimisation procedure, this new Bayesian-based algorithm less suffers from local minima of the model parameters even with high multi-modality of their posterior distributions. Moreover, the Bayesian analysis implemented via Markov Chain Monte Carlo (MCMC) sampling only requires broad ranges of posterior distributions of the parameters, which makes the fitting procedure fully automated. This feature is essential for performing kinematic analysis of an unprecedented number of resolved galaxies from the upcoming Square Kilometre Array (SKA) pathfinders' galaxy surveys. A standalone code, the so-called '2D Bayesian Automated Tilted-ring fitter' (2DBAT) that implements the Bayesian fits of 2D tilted-ring models is developed for deriving rotation curves of galaxies that are at least marginally resolved (> 3 beams across the semi-major axis) and moderately inclined (20 < i < 70 degree). The main layout of 2DBAT and its performance test are discussed using sample galaxies from Australia Telescope Compact Array (ATCA) observations as well as artificial data cubes built based on representative rotation curves of intermediate-mass and massive spiral galaxies.

• 농촌지도와개발
• /
• 제22권3호
• /
• pp.285-292
• /
• 2015

Recently, the demand of rural tourism has been increased to promote farm household income and rural economy. Korean government has supported to promote rural tourism. One of the most difficult tasks in estimating the economic impact of the tourism industry is how the industry should be defined in terms of an economic sector, since tourism is not defined in national Input-Output (I-O) tables or in the Standard Industrial Classification code. Moreover, there is no specified Standard Industrial Classification for rural tourism. The purpose of the study aims to examine specified Standard Industrial Classification of rural tourism using the I-O model analysis to estimate the economic impacts of rural tourism. Results showed that there were two components considered as inputs. One is the inputs that final demand can move to input of rural tourism in I-O tables. The other is one that the final demand was provided by farm household as intermediate inputs.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2001년도 종합학술발표회논문집
• /
• pp.453-458
• /
• 2001

악의의 침입자로부터 시스템을 보호하기 위한 첫 번째 단계는 시스템의 취약점을 분석하는 일이다. 기존의 시스템 취약점 분석 방법은 주로 네트워크 기반 취약점 점검 도구에 의존해 왔다. 하지만, 네트워크 기반 취약점 점검 도구는 대상 시스템의 제한된 정보만을 이용하여 취약점을 점검하기 때문에 시스템의 모든 취약점에 대한 검사가 불가능하다는 단점이 있다. 호스트 기반 취약점 점검 도구를 사용하면 시스템 내부의 모든 정보를 이용할 수 있지만, 시스템의 OS 종류나 버전에 따라 각기 다른 호스트 기반 취약점 점검 도구를 개발해야 한다는 단점이 있다. 또한, 호스트 기반 취약점 점검 도구들은 많은 호스트들을 동시에 점검하기 힘들다는 점이 문제로 지적되고 있다. 본 논문에서는 호스트 기반 취약점 점검 도구를 에이전트로 구현하여 대상 시스템에 설치하고, 하나의 관리 프로그램에서 여러 에이전트들을 관리함으로써 동시에 많은 호스트의 취약점들을 관리할 수 있는 모델인 ISMAEL을 제시한다. 또한 ISMAEL은 OS에 맞는 여러 호스트 기반 취약점 점검 도구들을 개발해야 하는 문제를 해결하기 위해 OS에 독립인 부분만을 뽑아내고, 그 외 OS에 종속된 부분은 Library 형태로 제공하여, OS에 독립인 부분에서 이 Library를 참조하여 특정 취약점 점검 코드를 자동 생성하고 이를 실행하여 취약성 여부를 판단할 수 있는 구조를 채택하고 있다.

• 한국항공운항학회지
• /
• 제14권4호
• /
• pp.1-10
• /
• 2006

A computational study was carried out in order to investigate the ground effect of a circular cylinder in the presence of a moving wall at a Reynolds number of 2.0${\times}$104. The viscous-incompressible Navier-Stokes equations and Spalart-Allmaras turbulent model of the commercial CFD code were adopted for this numerical analysis. The moving wall was set parallel with the freestream, and the speed of motion was equal to the freestream velocity. The gap ratio is defined as the distance ratio between the circular cylinder diameter and the height from the moving wall. The numerical results show that there are the differences among the each of the stages in evidence of the vorticity contours and the polar diagrams of $C_l$ vs. $C_d$. The 4 stages of the gap ratio are defined according to the flow features, whose stages are divided into small, intermediate, large and convergence gap ratios, respectively.

• Nuclear Engineering and Technology
• /
• 제42권3호
• /
• pp.329-338
• /
• 2010

We developed an achievable control logic for the reactor power level during a power maneuvering event and set up some constraints for the control of the reactor power in a conceptual sodium-cooled fast reactor (KALIMER-600) that was developed at KAERI. For simulating the dynamic behaviors of the plant, we developed a fast-running performance analysis code. Through various simulations of the power maneuvering event, we evaluated some suggested control logic for the reactor power and found an achievable control logic. The objective of the control logic is to search for the position of the control rods that would keep the average temperature of the primary pool constant and, concurrently, minimize the power deviation between the reactor and the BOP cycle during the power maneuvering. In addition, the flow rates of the primary pool and the intermediate loop should be changed according to the power level in order to not violate the constraints set up in this study. Also, we evaluated some movement speeds of the control rods and found that a fast movement of the control rods might cause the power to fluctuate during the power maneuvering event. We suggested a reasonable movement speed of the control rods for the developed control logic.

• 한국게임학회 논문지
• /
• 제16권1호
• /
• pp.119-128
• /
• 2016

본 논문에서는 IFS(iterated function system) 프랙탈에서 점의 코드를 활용한 변형의 개선방법을 고려한다. 기존의 변형방법에서는 부분적 변형이 랜덤 반복에 의해 임의로 전파되므로 대개 단조로운 느낌을 주는 모양이 나타나고 있다. 이러한 점을 개선하기 위하여 코드를 활용하여 맵의 선택을 제어하는 방법을 제안한다. 제안된 방법을 적용한 결과 프랙탈의 모양 특성이 적절히 반영된 흥미로운 변형을 얻을 수 있었다. 또한 코드에 따라 변화하는 상태변수를 도입하여 좌표의 변환 외의 다른 속성의 변형을 손쉽게 구현하는 방법도 제안한다.