• The Transactions of the Korean Institute of Power Electronics
• /
• v.11 no.2
• /
• pp.127-134
• /
• 2006

This paper describes a fully hardware realization of vector controller for the permanent magnet synchronous motor (PMSM) using high density field programmable gate mays (FPGA). In the proposed system, the vector controller including vector transformation , PI regulator, position and speed measurement, current measurement, and space vector PWM blocks is implemented in a FPGA using a VHSIC hardware description language (VHDL). The experimental results using a 1.1kW PMSM are provided to show the validity of the proposed system.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.5
• /
• pp.241-246
• /
• 2015

Although many different methods have been used to solve stereo correspondent problems, the deviation of accuracy is too big. Among those many methods, the one that uses segmentation information of input image has received high attention in academic field since it is very close to vision recognition. In this thesis, the existing method of acquiring a single value by using the segment information and initial disparity value was viewed in NP-hard problem to propose a new method. In order to verify the validity of the proposed method, well-known data were used for experiment and the resulted data was analyzed. Although there were some disadvantages in the time aspect, it showed somewhat useful results in the accuracy aspect.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.7
• /
• pp.361-370
• /
• 2017

This paper proposes the architecture of test case generator that can generate test cases, considering feedback signals from subsystems controlled by an embedded system. In general, a closed system decides the next test input to its subsystem under its control referencing feedback signals from its subsystem. In such systems, it is hard to use the typical test cases generated without referencing feedback. The architecture proposed in this paper re-produces test cases in real time using feedback signals. The architecture is implemented and its effectiveness is verified through experimenting a demo system.

• Annual Conference of KIPS
• /
• 2017.04a
• /
• pp.280-282
• /
• 2017

최근 소프트웨어에 내장된 취약점 분석을 위한 자동화 도구 개발 연구가 각 분야에서 활발히 연구되고 있다. 그 중 바이너리 코드를 대상으로 바로 보안취약점을 분석하는 방법이 아닌 중간언어를 활용하여 분석하는 방법이 대두되고 있으며 이를 위한 다양한 중간언어가 제시되었다. 그 중 하이레벨 언어 수준의 내용의 기술이 가능하며 명령어 자체적으로 자료형을 유지하여 보안 취약점 분석에 효과적인 언어로 SIL 중간언어가 재조명 받고 있다. 따라서 본 논문에서는 이룰 위해서 x86/64 기반 어셈블리어를 SIL 로 효과적으로 변환하며 프로그램의 의미가 변하지 않는 것을 확인하기 위해서 프로그램의 제어흐름을 시각화하는 기능을 가진 시스템을 제안한다.

• Journal of KIISE:Information Networking
• /
• v.28 no.3
• /
• pp.297-308
• /
• 2001

In this paper, we design, validate and implement WTP(Wireless Transaction Protocol) using SDT(SDL Design Tool). We do modeling WTP protocol by SDL(Specification and Description Language), design and implement the environment function for the interface between the SDL system and the UDP platform and design APIs(Application Programming Interface). And we do conformance testing for WTP protocol software using ITEX(Interactive TTCN Editor and eXecutor). We write ATS(Abstract Test Suite) by TTCN(Tree and Tabular Combined Notation) and make ETS(Executable Test Suite) by the TTCN compiler supplied by ITEX.

• Journal of Korean Society for Quality Management
• /
• v.28 no.4
• /
• pp.29-46
• /
• 2000

Advent of the distributed computing has contributed to the rapid distribution of information technology throughout the organization. While powerful and user-friendly information technology are more available to end users, managing the distributed, heterogeneous IT environment has become a serious problem for corporate IT managers. Integrated Control Architecture (ICA) enables the monitoring and controlling of the dispersed information resources for effective enterprise-wide information resource management. This paper empirically examines the propositions that the level of information resource control is positively related to IS effectiveness measured in user satisfaction. Measures are developed and validated for the control of information resource object such as data, application, platform, and control of relationships among such objects. Results from a study of 130 organizations support that the organizations with high information resource control exhibit user satisfaction.

• Korean Journal of Remote Sensing
• /
• v.30 no.1
• /
• pp.1-12
• /
• 2014

The purpose of this paper is to provide a compact overview of the state-of-art image mosaic algorithms in commercial softwares and to propose objective assessment method of that. Among them, several algorithms, widely used and high quality, result in the mosaic image by applying to seven different kinds of seasons of KOMPSAT-2 images and then consequently each result is analyzed visually. Moreover, quality index is suggested to assess the similarity with colors regarding adjacency images and then it is performed by comparing and analyzing the visual and quantitative results. Consequently, we found out the suggested quality index is feasible.

• Journal of Broadcast Engineering
• /
• v.18 no.1
• /
• pp.115-121
• /
• 2013

Recently an extension to DMB AF (Digital Multimedia Broadcasting Application Format) standard has been proposed in such a way that the extended DMB AF can include stereoscopic video and stereoscopic images for interactive service data, i.e., MPEG-4 BIFS (Binary Format for Scene) data, in addition to the existing 2D video and 2D images for BIFS services. In this paper we developed a service that provides the streaming of 3D contents in DMB AF by using MPEG-DASH (Dynamic Adaptive Streaming over HTTP) standard and validated it by implementing the client software.

• Journal of the Korean Institute of Gas
• /
• v.4 no.1 s.9
• /
• pp.49-54
• /
• 2000

The DCPD(Direct Current Potential Drop) method has been adopted for the crack measurement of a structure. The objective of this paper is to develop a multi-channel DCPD system not only for detecting crack depth, but also for determining the accurate shape of the surface crack. For this purpose, an exclusive software was also developed. In order to verify the developed DCPD system it was initially tested on a CT specimen, and subsequently was applied to a wide plate specimen. The developed multi-channel DCPD system was proven to provide an efficient and accurate measurement of a surface crack during the crack growth.

• Journal of Korean Society of Transportation
• /
• v.19 no.5
• /
• pp.71-83
• /
• 2001

This paper introduces the simulation system which was developed to evaluate the effectiveness of ITS, and presents its adaptabilities to traffic signal control systems. The simulation system in this paper has a function of real-time testing and evaluating traffic control systems. It consists of Modu-RE which is a simulation operating software and Real-CID which is a controller interface device. Real-CID allows Modu-RE to communicate with traffic control hardware.