• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.4
• /
• pp.687-699
• /
• 2021

When a vulnerability occurs in a program, it is documented and published through CVE. However, some vulnerabilities do not disclose the details of the vulnerability and in many cases the source code is not published. In the absence of such information, in order to find a vulnerability, you must find the vulnerability at the binary level. This paper aims to find out-of-bounds read vulnerability that occur very frequently among vulnerability. In this paper, we design a memory area using memory access information appearing in binary code. Out-of-bounds Read vulnerability is detected through the designed memory structure. The proposed tool showed better in code coverage and detection efficiency than the existing tools.

• Journal of Korea Multimedia Society
• /
• v.12 no.7
• /
• pp.1022-1031
• /
• 2009

In this paper, we propose a researcher modeling technique based on ontology and construct social network for researchers using diverse relational properties. User ontology schema is created by extending the existing HR-XML model for a researcher model. User ontology schema and instance are created by OWL. We compose social network model for efficient cooperation between researchers using static relational properties such as educational background and dynamic relational properties such as co-authors and co-workers, etc. Closeness has direction because researcher network is differently configured by the researchers. We define inferencing rules using SWRL and inference ontology rules using racer inference machine to compose direct relationships between researchers. The proposed model for researchers can be applied to the cooperation model for researchers by retrieving common expert group dynamically.

• Magazine of the Korea Concrete Institute
• /
• v.10 no.6
• /
• pp.291-301
• /
• 1998

In this paper, two dimensional and three dimentional modeling techniques are proposed for the failure analysis of deteriorated reinforced concrete T-girder bridge subjected to cyclic loading up to failure. For the nonlinear failure anaysis, a tension stiffening model which can consider degradation of bond between reinforcement and surrounding concrete due to corrision of rebars in old bridge is proposed and a modeling technique for the supports conditions of the bridges which can consider degradation of bearing at supports in old bridge is also proposed, The analysis results along with comparisons with full-scale failure-test results confirm that finite element modeling techniques in this paper can be well applied to the failure analyses of in-situ old reinforced concrete T-girder bridges subjected to cyclic loading and the support condition modeling especially affects the bridge strength significantly.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.12
• /
• pp.2581-2588
• /
• 2012

Survivability of combat system is changed by various facts in dynamic battle field. Existing survivability analysis programs for a combat system analyze statically survivability for combat system in spite of dynamic battle environment. To overcome this limitation, we propose an agent-based modeling and simulation method for dynamic survivability analysis of the combat system. To do this, we have adopted DEVS formalism, SES/MB framework and agent technology for modeling components of the combat system and crews. The proposed method has advantages of being able to analyze not only a static survivability of the combat system but also a dynamic survivability of combat system by applying responses of crews in battle field.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.05a
• /
• pp.164-167
• /
• 2019

모바일 운영체제 중 안드로이드의 점유율이 높아지면서 모바일 악성코드 위협은 대부분 안드로이드에서 발생하고 있다. 그러나 정상앱이나 악성앱이 진화하면서 권한 등의 단일 특징점으로 악성여부를 연구하는 방법은 유효성 문제가 발생하여 본 논문에서는 다양한 특징점 추출 및 기계학습을 활용하여 극복하고자 한다. 본 논문에서는 APK 파일에서 구동에 필요한 다섯 종류의 특징점들을 안드로가드라는 정적분석 툴을 통해 학습데이터의 특성을 추출한다. 또한 추출된 중요 특징점을 기반으로 모델링을 하는 세 가지 방법을 제시한다. 첫 번째 방법은 보안 전문가에 의해 엄선된 132가지의 특징점 조합을 바탕으로 모델링하는 것이다. 두 번째는 학습 데이터 7,000개의 앱에서 발생 빈도수가 높은 상위 99%인 8,004가지의 특징점들 중 랜덤포레스트 분류기를 이용하여 특성중요도가 가장 높은 300가지를 선정 후 모델링 하는 방법이다. 마지막 방법은 300가지의 특징점을 학습한 다수의 모델을 통합하여 하나의 가중치 투표 모델을 구성하는 방법이다. 최종적으로 가중치 투표 모델인 앙상블 알고리즘 모델을 사용하여 97퍼센트로 정확도가 개선되었고 오탐률도 1.6%로 성능이 개선되었다.

• Journal of the Korean Solar Energy Society
• /
• v.31 no.2
• /
• pp.1-7
• /
• 2011

PEM 연료전지에 있어서 수분의 균형이 연료전지의 시스템 성능에 현저한 영향을 미친다. 그래서 수분 균형은 가장 중요한 요소 중의 일부가 되었으며, 이에 관한 연구가 광범위하게 이루어지고 있다. 적절한 수분 균형을 유지하기 위해서는 적당한 멤브레인 수화작용(membrane hydration)이 필요하며, 반대로 촉매층(catalyst layer)에서의 익수(water flooding)현상이 없어져야 한다. 따라서 이와 같은 동적 상태에서 PEM 연료전지 내의 수분 균형을 유지하기 위해서는, 고도의 동적 수분 조정 기술이 확보되어야 한다. 현재의 연구는 이러한 특성을 고려하여 PEM 연료전지에서 동적부하 상태에서의 수분 이동에 관한 일차원 해석 모델에 관한 것이다. 금번 모델링의 결과, 양극촉매층(CCL, cathode catalystlayer)에서의 수분 상태는 거의 포화 단계에 이르고 있음을 보여주고 있으며, 이 모델링은 연료전지가 작동되는 동안의 CCL에 나타나는 수분의 양상을 예측하는데 활용될 수 있다. 본 논문에서는 수분 이동 모델이 국제규격에 따라 다양한 수송기관이 가동될 때, 동적부하 상태에서 서로 다른 차이점을 발견하기 위한 시뮬레이션 결과에 초점이 맞추어져 있다. 이 모델링을 적용한 결과, 수분 포화도가 상태에 따라 상이하게 나타남을 알 수 있었고, 또한 정적 수분 조절 요소에 따라 최적 상태가 모든 동적 분포에 따라 달라짐을 알 수 있었다.

• Atmosphere
• /
• v.30 no.4
• /
• pp.319-333
• /
• 2020

Aircraft observations constitute one of the major sources of temperature observations which provide three-dimensional information. But it is well known that the aircraft temperature data have warm bias against sonde observation data, and therefore, the correction of aircraft temperature bias is important to improve the model performance. In this study, the algorithm of the bias correction modified from operational KMA (Korea Meteorological Administration) global model is adopted in the preprocessing of aircraft observations, and the effect of the bias correction of aircraft temperature is investigated by conducting the two experiments. The assimilation with the bias correction showed better consistency in the analysis-forecast cycle in terms of the differences between observations (radiosonde and GPSRO (Global Positioning System Radio Occultation)) and 6h forecast. This resulted in an improved forecasting skill level of the mid-level temperature and geopotential height in terms of the root-mean-square error. It was noted that the benefits of the correction of aircraft temperature bias was the upper-level temperature in the midlatitudes, and this affected various parameters (winds, geopotential height) via the model dynamics.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.9 no.4 s.44
• /
• pp.1-10
• /
• 2005

The purpose ol this study Is to suggest a proper analysis model that can evaluate seismic stability for local rock foundation of nuclear power plant. Sliding Analysis, Pseudo-static Analysis and Dynamic Analysis methods are used for analysing NPP rock foundation with the conditions like acting directions of input earthquake, boundary conditions, width and depth of analysing model, and modeling methods of weakness fault zones. As the results of study, Pseudo-static Analysis for lateral roller and dynamic analysis for transfer boundary condition showed good results, and analysing ranges of width and depth were 5 times of structure width and over 2 times ol structure depth.

• Journal of Broadcast Engineering
• /
• v.17 no.6
• /
• pp.1106-1109
• /
• 2012

The stability of object tracking in non-stationary camera environment, such as intelligent surveillance system using a pan/tilt camera, is less stable compared with stationary camera environment. This is due to the fact that it is difficult to model a background image in non-stationary environment. In this letter, we propose a non-stationay pan/tilt camera surveillance system which uses a stop/go procedure together with a real-time active contour. The proposed system can track the object stable even in an environment where only a few difference frames can be obtained.

• The Journal of the Acoustical Society of Korea
• /
• v.10 no.1
• /
• pp.52-60
• /
• 1991

This paper describes the study on isolated word recognition by using DHMM(Dynamic Hidden Markov Model) which has dynamic feature of spectrum as a parameter. This paper discusses speech recognition experiment basedon HMM which can evaluate not only instantaneous spectral features but also dynamic spectral features. LPC cepstrum parameters is used as a static feature and LPC cepstrum's regression coefficient is used as a dynamic feature. These two features are quantized by each VQ codebook. DHMM is modeled by receiving static vector and dynamic vector by input. In the whole experiment, as recognition experiment using DHMM shows 92.7% of recognition rate while the experiment using conventional HMM shows 88.8% of recognition rate, DHMM proved to be a useful model.