• 한국정보통신설비학회:학술대회논문집
• /
• 2008.08a
• /
• pp.159-162
• /
• 2008

Generally, sensor nodes can be easily compromised and seized by an adversary because sensor nodes are hostile environments after dissemination. An adversary may be various security attacks into the networks using compromised node. False data injection attack using compromised node, it may not only cause false alarms, but also the depletion of the severe amount of energy waste. Dynamic en-route scheme for Filtering False Data Injection (DEF) can detect and drop such forged report during the forwarding process. In this scheme, each forwarding nodes verify reports using a regular probability. In this paper, we propose verification probability adjustment scheme of forwarding nodes though a fuzzy rule-base system for the Dynamic en-route filtering scheme for Filtering False Data Injection in sensor networks. Verification probability determination of forwarding nodes use false traffic rate and distance form source to base station.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.18 no.5
• /
• pp.56-61
• /
• 2010

This paper presents dynamic clearance verification considering engine movement for vehicle engine room package and validates through physical vehicle test. Traditionally, static clearance guide has been used for engine room package, but it's only 2-dimension criteria that results in requiring unnecessary space and it's not possible to conduct engine movement with real driving conditions. Thus, the dynamic DMU considers engine movement based on 28 load cases that are Roll Data analyzed by CAE for maximum engine movement and visualizes part-to-part dynamic clearance into virtual space. The dynamic DMU enables to develop compact engine room package without unnecessary space. The result of comparison between simulation and physical test has 0.892 correlation coefficient.

• The KIPS Transactions:PartB
• /
• v.10B no.4
• /
• pp.451-458
• /
• 2003

Dynamic Programming Matching (DPM) is a mathematical optimization technique for sequentially structured problems, which has, over the years, played a major role in providing primary algorithms in pattern recognition fields. Most practical applications of this method in signature verification have been based on the practical implementational version proposed by Sakoe and Chiba [9], and is usually applied as a case of slope constraint p = 0. We found, in this case, a modified version of DPM by applying a heuristic (forward seeking) implementation is more efficient, offering significantly reduced processing complexity as well as slightly improved verification performance.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.462-466
• /
• 2005

Dynamic (On-line) signature verification system consists of preprocessing, feature extraction, comparison and decision process for internal processing, and registration and verification windows for the user interface. We describe an implementation and design for an advanced dynamic signature verification system. Also, we suggest the method of feature extraction, matching algorithm, efficient user interface and an objective criteria for evaluating the performance.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.16 no.6
• /
• pp.665-670
• /
• 2006

This paper deals with a modified method of the dynamic time warping and feature points to extract various important information of the signature for the dynamic signature verification. We could achieve lower equal error rate, small and efficient feature points and fast processing time for the notification.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.19 no.12
• /
• pp.1347-1355
• /
• 2009

This paper demonstrates the validity of spectral element analysis for modeling the high-frequency dynamic behaviors of a beam with a surface-bonded piezoelectric wafer through a laboratory test. In the spectral element analysis, the high-frequency electro-mechanical interaction can be considered properly with relatively low computational cost compared to the finite element analysis. In the verification test, a cantilever beam with a surface-bonded piezoelectric wafer is forced to be in steady-state motion by exerting the harmonic driving voltage signal on the piezoelectric wafer. A laser scanning vibrometer is used to obtain the overall dynamic responses of the structure such as resonance frequencies, the associated mode shapes, and frequency response functions up to 20 kHz. Then, these dynamic responses from the test are compared to those computed by the spectral element analysis. A two-dimensional finite analysis is conducted to obtain the asymptotic solutions for the comparison purpose as well.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.10
• /
• pp.4703-4723
• /
• 2016

The verification of data integrity is an urgent topic in remote data storage environments with the wide deployment of cloud data storage services. Many traditional verification algorithms focus on the block-oriented verification to resolve the dispute of dynamic data integrity between the data owners and the storage service providers. However, these algorithms scarcely pay attention to the data verification charge and the users' verification experience. The users more concern about the availability of accessed files rather than data blocks. Moreover, the data verification charge limits the number of checked data in each verification. Therefore, we propose a mixed verification protocol to verify the data integrity, which rapidly locates the corrupted files by the file-oriented verification, and then identifies the corrupted blocks in these files by the block-oriented verification. Theoretical analysis and simulation results demonstrate that the protocol reduces the cost of the metadata computation and transmission relative to the traditional block-oriented verification at the expense of little cost of additional file-oriented metadata computation and storage at the data owner. Both the opportunity of data extracted and the scope of suspicious data are optimized to improve the verification efficiency under the same verification cost.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2003.03a
• /
• pp.140-147
• /
• 2003

There are many problems in the prediction of soil dynamic behaviors because undrained excess pore water pressure builds up and then the strain softening behavior is occurred simultaneously. A few analytical methods based on the dynamic constitutive model have been proposed but the model hardly predict the excess pore water pressure directly. In this study, the verification on the disturbed state concept (DSC) model, proposed by Dr, Desai was performed. Some laboratory tests such as conventional triaxial tests and cyclic triaxial tests were carried out to determine DSC Parameters and then disturbance values are determined by the proposed equation. Through this verification, it is proved that the disturbed state concept can express reliably the soil dynamic characteristics such as excess pore water pressure and strain softening behavior. It is also found that the critical disturbance which is determined at the minimum curvature of disturbance function can be a the specific index.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.8
• /
• pp.824-836
• /
• 2008

Relaxed static stability(RSS) concept has been applied to improve aerodynamic performance of modern version supersonic jet fighter aircraft. Therefore, flight control systems are necessary to stabilize an unstable aircraft, and provides adequate handling qualities and achieve performance enhancements. Standard FCSDVP (Flight Control System Design and Verification Process) is provided to reduce development period of the flight control system. In addition, if this process is employed in developing flight control system, it reduces the trial and error for development and verification of flight control system. This paper addresses the flight control system design and verification process for the RSS aircraft utilizing design goal based on military specifications, linear and nonlinear system design and verification based on universal software, handling quality test based on HILS(Hardware In-the-Loop Simulator) environment, and ground and flight test results to verify aircraft dynamic flight responses.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.3C
• /
• pp.257-267
• /
• 2009

This paper presents a training method for neural networks and the employment of MSE (mean scare error) values as the basis of a decision regarding the identity claim of a speaker in a recurrent neural networks based speaker verification system. Recurrent neural networks (RNNs) are employed to capture temporally dynamic characteristics of speech signal. In the process of supervised learning for RNNs, target outputs are automatically generated and the generated target outputs are made to represent the temporal variation of input speech sounds. To increase the capability of discriminating between the true speaker and an impostor, a discriminative training method for RNNs is presented. This paper shows the use and the effectiveness of the MSE value, which is obtained from the Euclidean distance between the target outputs and the outputs of networks for test speech sounds of a speaker, as the basis of speaker verification. In terms of equal error rates, results of experiments, which have been performed using the Korean speech database, show that the proposed speaker verification system exhibits better performance than a conventional hidden Markov model based speaker verification system.