• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.10
• /
• pp.76-88
• /
• 1997

Based on the principles described in Part I, we have implemented a working prototype vision system using a feature structure called an LSG (local surface group) for generating object hypotheses. In order to verify an object hypothesis, we estimate the view of the hypothesized model object and render the model object for the computed view. The object hypothesis is then verified by finding additional features in the scene that match those present in the rendered image. Experimental results on synthetic and real range images show the effectiveness of the indexing scheme.

• Journal of Information Technology Applications and Management
• /
• v.13 no.2
• /
• pp.145-162
• /
• 2006

Despite the careful attention paid by managers and researchers to the effective administration of the S/W Development Project, there are cases where the project goes over-budget or misses deadlines. Existing research blames these problems on task complexity or mismanagement. In order to verify the results that varied according to the fitness between the Task Characteristics and the Project Management Types, a contingency model was employed. The verification of the contingency model demonstrated that the greater the task complexity, the greater the effectiveness of the project coordination, and the lesser the task complexity, the greater the effectiveness of project control. This research is theoretically important in that it develops a composite model to verify the relation between the three factors of Task Characteristics, Project Management Types, and Project Performance that compose the S/W Development Project.

• International Journal of Control, Automation, and Systems
• /
• v.5 no.4
• /
• pp.372-378
• /
• 2007

This paper discusses Robust $H{\infty}$ control problems for networked control systems (NCSs) with time delays and subject to norm-bounded parameter uncertainties. Based on a new discrete-time model, two approaches of robust controller design are proposed. A numerical example and experimental verification with an NCS test bed are given to illustrate the feasibility and effectiveness of proposed design methodologies.

• 한국정보교육학회:학술대회논문집
• /
• 2007.08a
• /
• pp.65-70
• /
• 2007

이러닝 컨텐츠를 활용하여 학습자가 자기주도적으로 학습을 진행할 때, 컨텐츠에 사용된 여러가지 멀티미디어적 요소들은 학습자에게 흥미를 유발시키고 주의집중을 유지시켜주는 역할을 한다. 의지가 약하고 주의집중 가능 시간이 짧은 초등학생들의 주의를 컨텐츠에 집중시키기 위하여 다양한 장치들이 현재 사용되고 있다. 그중에서 특히 플래시 애니메이션과 스크립트를 이용하여 학습자의 학습활동을 유도하는 장치들을 주의집중장치로 정의하고 그 효과성을 검증한다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2010.05a
• /
• pp.1383-1384
• /
• 2010

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.8 no.3
• /
• pp.895-905
• /
• 2018

Public opinion polls have a strong influence on modern society as a means of examining the tendency of social groups on specific issues. As the influence of the polls increases, the problem of forgery and falsification of the results becomes an important issue. So, to guarantee the reliability of the results, our society needs novel mechanisms. As one of such mechanisms, the Ethereum blockchain is an environment for developing decentralized applications with the reliable blockchain technology. Ethereum decentralized applications can utilize smart contracts to provide services for users in transparent and reliable ways. In this paper, we propose a polling method that guarantees reliability using the blockchain technology, which is a distributed ledger technique that makes forgery or falsification actually impossible. The proposed method provides a robust verification function on the results of the associated polls for individual voters and verification organizations. Also, we present a distributed opinion polling application running on our private Ethereum blockchain network, showing the effectiveness of the proposed method.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.12
• /
• pp.141-149
• /
• 2022

In this paper, we propose a design of CCTV enlcosure record management system based on blockchain. Since CCTV video records are transferred to the control center through enclosure, it is very important to manage the enclosure to prevent modulation and damage of the video records. Recently, a smart enclosure monitoring system with real-time remote monitoring and opening and closing state management functions is used to manage CCTV enclosures, but there is a limitation to securing the safety of CCTV video records. The proposed system detect modulated record and recover the record through hash value comparison by distributed stored record in the blockchain. In addition, the integrity verification API is provided to ensure the integrity of enclosure record received by the management server. In order to verify the effectiveness of the system, the integrity verification accuracy and elapsed time were measured through experiments. As a result, the integrity of enclosure record (accuracy: 100%) was confirmed, and it was confirmed that the elapsed time for verification (average: 73 ms) did not affect monitoring.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.40 no.12
• /
• pp.39-45
• /
• 2003

Design verification of VHDL models is getting difficult and has become a critical and time-consuming process in hardware design. Recent]y the methods using Bayesian estimation and stopping rule have been introduced to verify behavioral models and to reduce clock cycles. This paper presents two strategies to reduce clock cycles when using stopping rule in a VHDL model verification. The first method is that a semi-random variable is defined and the data that stay in the range of semi-random variable are skipped when stopping rule is running. The second one is to keep the old values of parameters when phases of stopping rule are changed. 12 VHDL models are examined to observe the effectiveness of strategies, and the simulation results show that more than about 25% of clock cycles is reduced by using the two proposed strategies with 0.6% losses of branch coverage rate.

• The Journal of the Acoustical Society of Korea
• /
• v.25 no.1
• /
• pp.36-42
• /
• 2006

A Principal component analysis (PCA)-based Mel-Frequency Discrete Wavelet Coefficients (MFDWC) feature Parameters for speaker verification system is Presented in this Paper In this method, we used the 1st-eigenvector obtained from PCA to calculate the energy of each node of level that was approximated by. met-scale. This eigenvector satisfies the constraint of general weighting function that the squared sum of each component of weighting function is unity and is considered to represent speaker's characteristic closely because the 1st-eigenvector of each speaker is fairly different from the others. For verification. we used Universal Background Model (UBM) approach that compares claimed speaker s model with UBM on frame-level. We performed experiments to test the effectiveness of PCA-based parameter and found that our Proposed Parameters could obtain improved average Performance of $0.80\%$compared to MFCC. $5.14\%$ to LPCC and 6.69 to existing MFDWC.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.5
• /
• pp.1139-1144
• /
• 2008

In this paper, we propose an automatic generation method of transaction level(TL) model from algorithmic model to verify system specification fast and effectively using virtual platform. The TL virtual platform including structural properties such as timing, synchronization and real-time is one of the effective verification frameworks. However, whenever change system specification or HW/SW mapping, we must rebuild virtual platform and additional design/verification time is required. And the manual description is very time-consuming and error-prone process. To solve these problems, we build TL library which consists of basic components of virtual platform such as CPU, memory, timer. We developed a set of design/verification tools in order to generate a virtual platform automatically. Our tools generate a virtual platform which consists of embedded real-time operating system (RTOS) and hardware components from an algorithmic modeling. And for communication between HW and SW, memory map and device drivers are generated. The effectiveness of our proposed framework has been successfully verified with a Joint Photographic Expert Group (JPEG) and H.264 algorithm. We claim that our approach enables us to generate an application specific virtual platform $100x{\tims}1000x$ faster than manual designs. Also, we can refine an initial platform incrementally to find a better HW/SW mapping. Furthermore, application software can be concurrently designed and optimized as well as RTOS by the generated virtual platform