• 정보과학회 논문지
• /
• 제44권2호
• /
• pp.171-178
• /
• 2017

본 논문에서는 안드로이드 커널 모듈의 취약점을 탐지하기 위한 자동 유닛 테스트 생성 기법을 제안한다. 안드로이드 커널 모듈의 각 함수를 대상으로 테스트 드라이버/스텁 함수를 자동 생성하고 동적 기호 실행 기법을 사용하여 테스트 입력 값을 자동으로 생성한다. 또한 안드로이드 커널 모듈의 함수 포인터와 함수 선행 조건을 고려하지 않은 테스트 생성으로 인한 거짓 경보를 줄이기 위해 정적 분석을 통한 함수 포인터 매칭 기법과 def-use 분석을 사용한 함수 선행 조건 생성 기법을 개발하였다. 자동 유닛 테스트 생성 기법을 안드로이드 커널 3.4 버전의 세 모듈에 적용한 결과 기존에 존재하던 취약점을 모두 탐지할 수 있었으며 제안한 거짓 경보 감소 기법으로 평균 44.9%의 거짓 경보를 제거할 수 있었다.

• Journal of Biosystems Engineering
• /
• 제30권3호
• /
• pp.161-165
• /
• 2005

In this study, peeling test of the Altari radish on kimchi pre-processing system for mechanization was performed with the longitudinal plane peeling type with wider cutting blade than that of the peeled chip's. To determine the optimum cutter shape to match this plane peeling type, the peeling tests depending on variable cutting speed, rake angle and blade angle using the blade with thickness as 2 m and width as 50mm were performed, and the patterns of the peeled chips and peeling resistances were investigated. As the result of the tests, the rake angle of the blade with clean peeled surface of the Altari radish was over $45^{\circ}$, and the blade angle and rake angle with the minimum peeling resistance was $20^{\circ}\;and\;60^{\circ}$, respectively. The optimum peeling conditions were; the peeling speed 0.2m/s, blade angle $20^{\circ}$ and the rake angle $60^{\circ}$, and the peeling resistance of each blade was 15 N.

• 천문학회보
• /
• 제45권1호
• /
• pp.70.1-70.1
• /
• 2020

A type IIb supernova (SN IIb) is the result of core-collapse of a massive star which lost most of its hydrogen-rich envelope during its evolution. The pre-SN progenitor properties, such as the total radius and the mass of the hydrogen-rich envelope, can widely vary due to the mass-loss history of the progenitors. Optical light curves of SNe IIb are dominated by energy released by the hydrogen recombination and the radioactive decay of 56Ni in the early and late epochs respectively. This may result in distinctive double peaked light curves like the one observed in SN 1993J. The first peak, caused by the hydrogen recombination, can be modelled with numerical simulations providing information on the pre-SN progenitor properties. We compare two radiation-hydrodynamics codes, STELLA and SNEC, that are frequently used in SNe modelling, and investigate the effect of opacity treatment on the temporal evolution of the color temperature of SNe and eventually on the optical light curves. We find that with a proper treatment of the scattering opacity, SNe IIb models exploded from the progenitor models evolved with latest stellar evolution model hardly match the observational data. We also discuss the smaller scale features found in the models during hydrogen recombination phase.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2010년도 추계학술대회
• /
• pp.113-129
• /
• 2010

Proper pre-safety training is one of core mandatory in order to reduce injuries at the construction fields. In this study, we investigate the employee's opinions of safety training, safety recognition, the actual conditions of safety through survey. As a result of study, incident factors are roughly divided into technical factor, managerial factor, and educational factor. We confirmed that the educational factor led by deficiency of safety awareness and knowledge was the major factor. It needs to be resettled or revised properly to match with the incident trends and the safety training curriculum should also be improved and drastically revised with special quality. The managerial workers' safety recognition is lower than the site ones regarding the correct understanding of the importance of the training.. It suggest that the education method and system in construction fields might have fundamental problems.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1289-1294
• /
• 2003

This paper proposes a novel and efficient intelligent digital redesign technique for a Takagi-Sugeno (TS) fuzzy system. The term of intelligent digital redesign involves converting an existing analog fuzzy-model-based controller into an equivalent digital counterpart in the sense of state matching. In this paper, we suggest the discretization method based on the dual-rate sampling approximation is first proposed, and then attempt to globally match the states of the overall closed-loop TS fuzzy system with the pre-designed analog fuzzy-model-based controller and those with the digitally redesigned fuzzy-model-based controller. To show the feasibility and the effectiveness of the proposed method, a computer simulation is provided.

• 대한기계학회논문집B
• /
• 제22권6호
• /
• pp.874-887
• /
• 1998

A 2-frame PTV (particle tracking velocimetry) system using the concept of match probability between two consequent image frames has been developed to obtain instantaneous velocity fields. The overall 2-frame PTV system including image pre-processing, tracking algorithm and post-processing routine was implemented to apply to real flows. The developed 2-frame PTV system has several advantages such as high recovery ratio of velocity vectors, low error ratio and small computational time compared with the conventional 4-frame PTV and the FFT-based cross-correlation PIV technique. The 2-frame PTV system was applied to a turbulent channel flow over a rectangular block to check its reliability and usefulness. Total 96 sequential image frames have been captured and processed to get both mean and fluctuating velocity vector fields over the recirculating region. The mean velocity and turbulent intensity profiles were well agreed with hte LDV measurements in the separated region behind the block. Time-averaged reattachment length is about 6.3 times of the block height.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 추계 학술대회 학술발표 논문집
• /
• pp.129-132
• /
• 2003

This paper proposes a novel and efficient intelligent digital redesign technique for a Takagi-Sugeno (TS) fuzzy system. The term of intelligent digital redesign involves converting an existing analog fuzzy-model-based controller into an equivalent digital counterpart in the sense of state matching. In this paper, we suggest the discretization method based on the dual-rate sampling approximation is first proposed, and then attempt to globally match the states of the overall closed-loop TS fuzzy system with the pre-designed analog fuzzy-model-based controller and those with the digitally redesigned fuzzy-model-based controller. To show the feasibility and the effectiveness of the proposed method, a computer simulation is provided.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2002년도 학술.기술논문발표회
• /
• pp.95-98
• /
• 2002

The purpose of this study was to Estimation the Risk of construction method to protect and reduce the risk of construction period. For this study we are using the pre and during construction period Inspection list. The inspection list was used by construction company for check a flaw of construction field. So we rearrange the individual item of inspection list to match the Risk factor, The results of this study were as follows: The inspection list was rearranged at Risk checklist for Risk estimation. So that we estimate the Risk of individual construction method.

• 대한음성학회지:말소리
• /
• 제57호
• /
• pp.99-112
• /
• 2006

In this paper, we introduce two retrieval methods for photos with speech documents. We compare the pattern of speech query with those of speech documents recorded in digital cameras, and measure the similarities, and retrieve photos corresponding to the speech documents which have high similarity scores. As the first approach, a phoneme recognition scheme is used as the pre-processor for the pattern matching, and in the second one, the vector quantization (VQ) and the dynamic time warping (DTW) are applied to match the speech query with the documents in signal domain itself. Experimental results show that the performance of the first approach is highly dependent on that of phoneme recognition while the processing time is short. The second method provides a great improvement of performance. While the processing time is longer than that of the first method due to DTW, but we can reduce it by taking approximated methods.

• 한국BIM학회 논문집
• /
• 제8권1호
• /
• pp.15-23
• /
• 2018

Geometry control of precast members is the most important technology for modular construction. In this paper, image-based modeling and rendering (IBMR) technology was adopted for 3D modeling of precast elements. It is necessary to use match-casting method for precast post-tensioned column assembly. Preassembly using 3D models created by image processing can minimize construction error. Augmented reality devices are used to check the geometry of the segment. Laboratory-scale tests were performed. The proposed process has been applied to the real precast bridge pier segments.