• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.7
• /
• pp.3511-3532
• /
• 2019

Coverage-guided fuzzing is an efficient solution that has been widely used in software testing. By guiding fuzzers through the coverage information, seeds that generate new paths will be retained to continually increase the coverage. However, we observed that most samples follow the same few high-frequency paths. The seeds that exercise a high-frequency path are saved for the subsequent mutation process until the user terminates the test process, which directly affects the efficiency with which the low-frequency paths are tested. In this paper, we propose a fuzzing solution, ER-Fuzz, that truncates the recording of a high-frequency path to influence coverage. It utilizes a deep learning-based classifier to locate the high and low-frequency path transfer points; then, it instruments at the transfer position to promote the probability low-frequency transfer paths while eliminating subsequent variations of the high-frequency path seeds. We implemented a prototype of ER-Fuzz based on the popular fuzzer AFL and evaluated it on several applications. The experimental results show that ER-Fuzz improves the coverage of the original AFL method to different degrees. In terms of the number of crash discoveries, in the best case, ER-Fuzz found 115% more unique crashes than did AFL. In total, seven new bugs were found and new CVEs were assigned.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.8
• /
• pp.1388-1393
• /
• 2010

This paper presents a new methodology for designing a dielectric waveguide filter with the cutoff frequency of 2.4 GHz based on the continuum design sensitivity analysis. An analytical sensitivity formula is derived in frequency domain and then unified program architecture applicable to the optimal design of high-frequency devices is proposed. A three-dimensional dielectric resonator used in waveguide filters has been tested to illustrate the validity of the proposed method.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2001.05a
• /
• pp.194-201
• /
• 2001

The dynamic characteristic of the building using preflex composite beams is a low natural frequency due to long span. Therefore, both vibrational acceleration and the characteristic of natural frequency damage to people using the building, This study estimates a vibrational acceleration based on walking and natural frequency in five kinds of building. Recently, using methods of evaluating a serviceability are based on JIA, AISC, Eurocode, CSA, DIN and ISO. ed. The result of this study is content with foreign regulations and serviceability. However, considering of these results, the method of evaluating serviceability should be developed in the future.

• Journal of Power Electronics
• /
• v.13 no.4
• /
• pp.669-678
• /
• 2013

This paper proposes a sensorless control approach for Wound Rotor Synchronous Machines (WRSMs) based on a high frequency voltage signal injection into the stator side U phase and VW line, respectively. Considering the machine itself as a rotor position sensor, the rotor position observer is established according to the principles of the rotary transformer. A demodulation method for the high frequency signal inducted in the rotor is proposed as well. Simulation and experimental results show that the proposed sensorless control approach has high performance and good practicability.

• Structural Engineering and Mechanics
• /
• v.13 no.5
• /
• pp.479-490
• /
• 2002

The structural dynamic optimization problem based on probability is studied. Considering the randomness of structural physical parameters and the given constraint values, we develop a dynamic optimization mathematical model of engineering structures with the probability constraints of frequency, forbidden frequency domain and the vibration mode. The sensitivity of structural dynamic characteristics based on probability is derived. Two examples illustrate that the optimization model and the method applied are rational and efficient.

• Earthquakes and Structures
• /
• v.3 no.6
• /
• pp.839-852
• /
• 2012

Earthquake records are often analyzed in various earthquake engineering problems, making time-frequency analysis for such records of primary concern. The best tool for such analysis appears to be based on wavelet functions; selection of which is not an easy task and is commonly carried through trial and error process. Furthermore, often a particular wavelet is adopted for analysis of various earthquakes irrespective of record's prime characteristics, e.g. wave's magnitude. A wavelet constructed based on records' characteristics may yield a more accurate solution and more efficient solution procedure in time-frequency analysis. In this study, a low-pass reconstruction filter is obtained for each earthquake record based on multi-resolution decomposition technique; the filter is then assigned to be the normalized version of the last approximation component with respect to its magnitude. The scaling and wavelet functions are computed using two-scale relations. The calculated wavelets are highly efficient in decomposing the original records as compared to other commonly used wavelets such as Daubechies2 wavelet. The method is further advantageous since it enables one to decompose the original record in such a way that a clear time-frequency resolution is obtained.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2012.07a
• /
• pp.164-166
• /
• 2012

In this paper, we proposed a method for extracting predominant melody of polyphonic music based on harmonic structure. Harmonic structure is an important feature parameter of monophonic signal that has spectral peaks at the integer multiples of its fundamental frequency. We extract all fundamental frequency candidates contained in the polyphonic signal by verifying the required condition of harmonic structure. Then, we combine those harmonic peaks corresponding to each extracted fundamental frequency and assign a rank to each after calculating its harmonic average energy. We run pitch tracking based on the rank of extracted fundamental frequency and continuity of fundamental frequency, and determine the predominant melody. For the query by singing/humming (QbSH) task, we proposed Dynamic Time Warping (DTW) based matching engine. Our system reduces false alarm by combining the distances of multiple DTW processes. To improve the performance, we introduced the asymmetric sense, pitch level compensation, and distance intransitiveness to DTW algorithm.

• Journal of Power Electronics
• /
• v.16 no.3
• /
• pp.1067-1075
• /
• 2016

This paper presents an adaptive observer-based approach to estimate voltage parameters, including frequency, amplitude, and phase angle, for single-phase power systems. In contrast to most existing estimation methods of grid voltage parameters, in this study, grid voltage is treated as a dynamic system related to an unknown grid frequency. Based on adaptive observer theory, a full-order adaptive observer is proposed to estimate voltage parameters. A Lyapunov function-based argument is employed to ensure that the proposed estimation method of voltage parameters has zero steady-state error, even when frequency varies or phase angle jumps significantly. Meanwhile, a reduced-order adaptive observer is designed as the simplified version of the proposed full-order observer. Compared with the frequency-adaptive virtual flux estimation, the proposed adaptive observers exhibit better dynamic response to track the actual grid voltage frequency, amplitude, and phase angle. Simulations and experiments have been conducted to validate the effectiveness of the proposed observers.

• Journal of Power Electronics
• /
• v.1 no.1
• /
• pp.26-35
• /
• 2001

In most inverter/converter applications SVPWM method is a preferred approach since it shows good characteristics in linear modulation range and waveform quality. In this paper, we propose a new carrier based SVPWM method for multi-level system, First, we survey the conventional carrier based SVPWM method, and investigate the problem of the conventional one for the multi-level system with the focus on the switching frequency harmonic flux trajectories. Finally, we propose a new carrier based SVPWM method that can reduce harmonic distortion. Simulation and experimental results are given for verification of the proposed SVPWM method.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.22 no.4
• /
• pp.46-53
• /
• 2008

In this study, we developed RBFN(Radial Basis Function Networks) based load modeling method with harmonic components. The developed method considers harmonic information as well as fundamental frequency and voltage considered as essential factors in conventional method. Thus, the reposed method makes it possible to effectively estimate load characteristics in power lines with harmonics. RBFN has some advantage such as simple structure and rapid computation ability compared with multi-layer perceptorn which is extensively applied for load modeling. To verify the effectiveness, the proposed method has been intensively tested with various dataset acquired under the different frequency and voltage and compared it with conventional methods such as polynomial method, MLPN and RBFN with no harmonic components.