• Journal of KIISE
• /
• v.44 no.2
• /
• pp.171-178
• /
• 2017

In this study, we propose an automated unit test generation technique for detecting vulnerabilities of Android kernel modules. The technique automatically generates unit test drivers/stubs and unit test inputs for each function of Android kernel modules by utilizing dynamic symbolic execution. To reduce false alarms caused by function pointers and missing pre-conditions of automated unit test generation technique, we develop false alarm reduction techniques that match function pointers by utilizing static analysis and generate pre-conditions by utilizing def-use analysis. We showed that the proposed technique could detect all existing vulnerabilities in the three modules of Android kernel 3.4. Also, the false alarm reduction techniques removed 44.9% of false alarms on average.

• Journal of Biosystems Engineering
• /
• v.30 no.3 s.110
• /
• 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.

• The Bulletin of The Korean Astronomical Society
• /
• v.45 no.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.

• Proceedings of the Safety Management and Science Conference
• /
• 2010.11a
• /
• 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.10a
• /
• 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.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.22 no.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.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09b
• /
• 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.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2002.11a
• /
• 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.

• MALSORI
• /
• no.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.

• Journal of KIBIM
• /
• v.8 no.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.