• 산업공학
• /
• 제4권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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.415-417
• /
• 2002

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

• 한국농공학회지
• /
• 제37권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
• /
• 제13권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.

• 대한전기학회논문지:전력기술부문A
• /
• 제51권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)
• /
• 제5권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
• /
• 제7권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
• /
• 제12권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)
• /
• 제16권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.

• 대한원격탐사학회지
• /
• 제35권3호
• /
• pp.471-482
• /
• 2019

달 탐사용 고해상도 스테레오 카메라의 임무는 달 궤도선 및 착륙 선에 탑재되어 달 표면의 3차원 지형정보를 제공하는데 있다. 이를 통해, 달 착륙 후보지를 탐색하고 착륙 시에는 달 표면 근접에 따른 근거리 입체영상을 실시간으로 제공하여 정확한 지점에 착륙이 가능하도록 한다. 본 논문에서는 달 탐사선에 탑재되는 달 탐사용 고해상도 카메라 개발을 위한 지상모델인 다기능 스테레오 카메라를 활용하여 고해상도 스테레오 카메라에 요구되는 임무를 검증하고 결과를 분석하기 위해 지상검증 및 분석 시스템을 제안하였다. 지상검증 및 분석 시스템은 임무 검증을 위한 임무검증항목과 시험계획을 제공하며, 시험 수행 후 결과를 분석하게 된다. 이를 위해 본 논문에서는 달 지형과 유사한 지역을 대상으로 지상 임무항목시험 계획을 세우고, 항공촬영을 통해 스테레오 영상을 획득하였다. 분석장치를 통해 스테레오 영상으로부터 영상을 보정 및 매칭 후 수치표고모델(DEM)을 추출하고 3차원 영상을 생성하여 결과를 분석하였다. 달 탐사용 고해상도 카메라에 요구되는 임무수행항목이 검증되었고, 스테레오 영상을 처리할 수 있는 지상처리분석 시스템이 확보 되었다.