• Proceedings of the IEEK Conference
• /
• 2000.11b
• /
• pp.128-131
• /
• 2000

In this paper, the animated simulation system (Anisim) is proposed in order to develope an efficient functional system verification tool. It displays the simulation results of the designed system using graphic animation with various models lot the target system. With simple interface definitions given by the user, Anisim generates interface codes automatically. Users can describe and model the target system with the generated interface codes. Since the simulation engine is implemented in C-language, modeling is very simple and simulation can be performed in real time.

• IE interfaces
• /
• v.4 no.2
• /
• pp.43-51
• /
• 1991

A line search method is developed to locate all the conerpoints of 2-dimensional polygon images for inspection purposes. This optimization-based method is used to approximate a 2-D curved object by a polygon. This scheme is also developed for inspection of objects in industrial environment. The inspection includes dimensional verification and pattern matching which compares a 2-D image of an object to a pattern image. The method proves to be computationally efficient and accurate for real time application.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.415-417
• /
• 2002

실시간 시스템은 신뢰성이 중요하다. 특히 고안전성 시스템 (Safety-Critical System)은 안전과 직결되므로 높은 신뢰도가 요구된다. 본 논문에서는 Reactive System 의 모델링 및 검증을 위해 개발된 정형 검증 언어인 SyncCharts를 이용한 실시간 시스템의 스케줄가능성 분석(Schedulability Analysis)을 통해 시스템에 대한 요구조건의 만족여부와 태스크들의 수행가능성을 검증하는 방법을 제시한다.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.37 no.5
• /
• pp.81-89
• /
• 1995

One of the most difficult problem to estimate the flood inflow is how to understand the effective rainfall. The effective rainfall is absolutely influenced by the condition of soil moisture in the watershed just before the storm event. DAWAST model developed to simulate the daily streamflow considering the meteologic and geographic characteristics in the Korean watersheds was applied to understand the soil moisture and estimate the effective rainfall rather accurately through the daily water balance in the watershed. From this soil moisture and effective rainfall, concentration time, dimensionless hydrograph, and addition of baseflow, the rainfall-runoff model for flood flow was developed by converting the concept of long-term runoff into short-term runoff. And, real-time flood forecasting model was also developed to forecast the flood-inflow hydrograph to the river and reservoir, and called RETFLO model. According to the model verification, RETFLO model can be practically applied to the medium and small river and reservoir to forecast the flood hydrograph with peak discharge, peak time, and volume. Consequently, flood forecasting and warning system in the river and the reservoir can be greatly improved by using personal computer.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.13 no.1
• /
• pp.575-584
• /
• 2021

This study contains the process of developing a Mission Planning System (MPS) of an USV that can be applied in real situations and verifying them through HILS. In this study, we set the scenario of a single USV with limited operating time. Since the USV may not perform some missions due to the limited operating time, an objective function was defined to maximize the Mission Achievement Rate (MAR). We used a genetic algorithm to solve the problem model, and proposed a method using a 3-D population. The simulation showed that the probability of deriving the global optimal solution of the mission planning algorithm was 96.6% and the computation time was 1.6 s. Furthermore, USV showed it performs the mission according to the results of the MPS. We expect that the MPS developed in this study can be applied to the real environment where USV performs missions with limited time conditions.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.2
• /
• pp.69-75
• /
• 2002

AVR parameter tuning for voltage control of power system generators has generally been performed with the analytic methods and the simulation methods, which mostly depend on off-line linear mathematical models of excitation control system. However, due to the nonlinear nature of excitation control system, excitation control system performance of the tuned Parameters using the above conventional tuning methods may not be appropriate for some operating conditions. This paper presents an AVR parameter tuning method using actual on-line data of the excitation control system with the parameter optimization technique. As this method utilizes on-line operating data of the target excitation control system not the mathematical model of the system, it can overcome the limitation of model uncertainty Problems in conventional method, and it can tune the AVR parameter set which gives desired performance at the operating conditions. For the verification of proposed tuning method, two case studies with scaled excitation systems and the real-time power system simulator are presented.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.5 no.10
• /
• pp.1783-1798
• /
• 2011

Recently, a cryptographic construct, called fuzzy vault, has been proposed for crypto-biometric systems, and some implementations for fingerprint have been reported to protect the stored fingerprint template by hiding the fingerprint features. In this paper, we implement the fuzzy fingerprint vault, combining fingerprint verification and fuzzy vault scheme to protect fingerprint templates. To implement the fuzzy fingerprint vault as a complete system, we have to consider several practical issues such as automatic fingerprint alignment, verification accuracy, execution time, error correcting code, etc. In addition, to protect the fuzzy fingerprint vault from the correlation attack, we propose an approach to insert chaffs in a structured way such that distinguishing the fingerprint minutiae and the chaff points obtained from two applications is computationally hard. Based on the experimental results, we confirm that the proposed approach provides higher security than inserting chaffs randomly without a significant degradation of the verification accuracy, and our implementation can be used for real applications.

• Journal of Electrical Engineering and Technology
• /
• v.7 no.6
• /
• pp.859-868
• /
• 2012

A new fault location algorithm based on stationary wavelet transform and its verification experiment results are described for HVDC submarine cables in this paper. For wavelet based fault location algorithm, firstly, 4th level approximation coefficients decomposed by wavelet transform function are superimposed by correlation, then the distance to the fault point is calculated by time delay between the first incident signal and the second reflected signal. For the verification of this algorithm, the real experiments based on various fault conditions and return types of fault current are performed at HVDC submarine cable test yard located in KEPCO(Korea Electric Power Corporation) Power Testing Center of South Korea. It proves that the fault location method proposed in this paper is very simple but very quick and accurate for HVDC submarine cable fault location.

• Journal of Power Electronics
• /
• v.12 no.5
• /
• pp.813-820
• /
• 2012

This paper presents the development of a software supported acquisition system for metrological verification and testing of the equipment for monitoring and analysis of the basic electrical power quality parameters. The described procedure consists of two functionally connected segments. The first segment involves generation of the reference three-phase voltage signals, including the possibility of simulation of the various power quality disturbances, typical for electrical power distribution networks. The second part of this procedure includes the real-time recording of power quality disturbances in three-phase distribution networks. The procedure is functionally supported by the virtual instrumentation concept, including a software application developed in LabVIEW environment and data acquisition boards NI 6713 and NI 9215A. The software support of this system performs graphical presentation of the previously generated and recorded signal waveforms. A number of the control functions and buttons, implemented on the virtual instrument front panels, are provided to adjust the basic signal acquisition, generation and recording parameters.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.16 no.8
• /
• pp.2507-2528
• /
• 2022

Blockchain interoperability, which refers in particular to the ability to access information across blockchain systems, plays the key role for different blockchains to communicate with each other, and further supports the superstructure built on top of the cross-chain mechanism. Nowadays, blockchain interoperability technology is still in its infancy. The existing cross-chain scheme such as BTCRelay requires that the smart contract in a blockchain to download and maintain block headers of the other blockchain, which is costly in maintenance and inefficient to use. In this paper, we propose a supervision mechanism between blockchains, called Surveillant. Specially, the new entities called dual-functional nodes are introduced to commit the real-time information from the blockchain under supervision to the supervising blockchain, which enables users to have efficient cross-chain verification. Furthermore, we introduce Merkle mountain range for blocks aggregation to deal with the large-scale committing data. We propose the design of long orphan branch counter to trace the bifurcations in the blockchain under supervision. The existing incentive mechanism is improved to encourage the behaviors of dual-functional nodes. In Surveillant, the analysis and experimental results demonstrate that users are able to have efficient cross-chain verification with low maintenance overhead.