• Journal of The Institute of Information and Telecommunication Facilities Engineering
• /
• v.10 no.3
• /
• pp.103-109
• /
• 2011

With the growing popularity of digital video applications, those areas of the efficient transmit, storage management, and search technology for video data are emerging as an important core technology. To be an effective video indexing system, users need to be able to find the video segments that they want. Unfortunately, video data is difficult to manage because of its unstructured data type and large volume with linear forms. This paper proposes a shot verification using visual rhythm and video retrieval system. The shot verification is designed to detect a segment from video easily and quickly, known as shot boundaries, just by changing the visual rhythm without playing the image. Therefore, this can decrease the false detected shots and generate the unidentified shots and key frames. The retrieval system is constructed in terms of visual descriptor from the list of MPEG-7. The effectiveness of the proposed shot verification process and video retrieval system is demonstrated.

• The KIPS Transactions:PartD
• /
• v.17D no.6
• /
• pp.415-422
• /
• 2010

This paper proposes service-oriented composition and verification techniques for incrementally extracting high-level abstract behavior of unit components in a systematic manner. Proposed techniques include the definition for abstract component, which is a basic building-block of the abstraction process, an algorithm for port-based synchronized abstraction, and projection abstraction. A verification framework is developed using the proposed techniques and its efficiency is demonstrated through a case example.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.7
• /
• pp.701-708
• /
• 2009

The flight control law of developed flight control computer(DFLCC) is developed based on operation flight program of advanced trainer aircraft full scale development final configuration. The flight control law design is used common use development tool in GUI(Graphic User Interface) environment. The flight control law transformed to C-Code is reflected in OFP. The OFP is verified by the standardized verification process. But, before standardized verification process, we need preliminary verification process such as similarity of flight control law and reliability of developed HILS. Similarity of flight control law is verified by comparing the aircraft response of advanced trainer aircraft and those of the developed control law. Also, reliability of developed HILS is verified by comparing the aircraft response of HILS and Non-real time simulation result. This paper verifies similarity of developed control law and reliability of HILS environment as comparing aircraft response.

• Journal of Advanced Navigation Technology
• /
• v.19 no.1
• /
• pp.15-21
• /
• 2015

WA-DGNSS is a system to service for users using a satellite which received correction data from ground station that calculates the relative errors of the tracked GNSS signals and sends to a satellite. Users are guaranteed the reliability of the GNSS signal and the accuracy of positioning. ICAO recommends the application of WA-DGNSS for the airplane taking off and landing process. In this paper, we suggests methods to verify of the pre-developed WA-DGNSS reference software constituting modules and an integration test process refer to the RTCA DO-278 which is a document for the development process of an aeronautics software. Also, we statistically verified the reference software test through our methods. And then, we confirmed to performance the function of the reference software properly.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.05a
• /
• pp.801-804
• /
• 2008

During face recognition process, face detection process is most preceding process. However, face has very high floating property, so the result could be very different according to which method we used. This paper studies about eye detection and eye blinking verification using edge and color information from YCbCr distribution map, segmentation, and labeling methods.

• Journal of Environmental Science International
• /
• v.14 no.12
• /
• pp.1155-1161
• /
• 2005

Anoxic-oxic process were analyzed numerically for the each unit and final TN effluent by Water Quality Management(WQM) model and the results were compared data from these sewage or wastewater treatment plants. No bugs and logic error were occurred during simulation work. All of the simulation results tried to two times were obtained and both results were almost same thus this model has good reappearance. A few of simulation results were deviated with measured data because lack of influent water qualities are reported however simulation results have wholly good relationship with measured data. Also each unit of simulation result was kept good relationship with that of measured data therefore this WQM model has good reliance. Finally, WQM model predicts final TN effluent within ${\pm}4.1\;mg/{\ell}$

• Journal of the Korea Fashion and Costume Design Association
• /
• v.8 no.2
• /
• pp.61-71
• /
• 2006

The purpose of this study is to present a contents production process for costume design analysis by take advantage of the image media of Chinese historical backgrounds. The production process of contents for lectures on fashion design analysis can be summarized as follows: The contents for the design analysis of Chinese costumes can be divided into major media and supplementary media. Major media can be completed through the processes including the selection of Chinese historical backgrounds. images and media (video, DVD title or VOD), verification of image capture parts, image captures, and applications of PPT files. Supplementary media consist of production of analysis materials for each item and TPO, report preparation methods and discussions, and printed matters to be used at the stage of image comparison and verification. This way, a process applicable to the design analysis of Chinese costumes can be presented.

• Journal of the Korean Society of Systems Engineering
• /
• v.5 no.2
• /
• pp.11-16
• /
• 2009

This study introduces the verification, validation & accreditation (VV&A) process for modeling & simulation (M&S). VV&A is standard process for credibility of M&S. In several countries including USA, for weapon system of Defense Development using M&S, VV&A is necessary procedures to acquire official approving for credibility of M&S. Many countries have regular recommend practice guide (RPG) and instructive for VV&A of M&S. In this study, we focus the VV&A key concepts as Department of Defense RPG of USA and give the outline of the main VV&A concepts because we don't have any available VV&A Instructive. Also, this report documents the first significant VV&A application for a MITS(M-SAM Integrate Test System) including Verification and Validation(V&V) activity and tasks.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.3
• /
• pp.337-344
• /
• 2000

In this paper, we define a Process Algebra ACSMR(Algebra of Communicating Shared Multiple Resources) for system specification and verification using multiple resources. ACSMR extends a concept of multiple resources in ACSR that is a branch of formal methods based on process algebra. We'll show that two specification and verification examples. One is the specification of system behavior in multiprocessor using EDF(Earliest-Deadline-First) which is a scheduling algorithm of a real-time system. The other is the specification of describing timing analysis and resources restriction in a super scalar processor using multiple ports registers.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.15 no.5
• /
• pp.18-24
• /
• 2016

An electromagnetic linear actuator is controlled precisely and securely and is useful in devices that require linear motion. The most commonly used method in the performance verification process for an electromagnetic actuator is finite element analysis that utilizes CAE. However, finite element analysis has the disadvantage that modeling and analysis consume a lot of time. Accordingly, lumped parameter analysis can be an alternative approach to the finite element method because of its computation iteration capability with fair accuracy. In this paper, the lumped parameter model and simulation results are presented. In addition, the results of the lumped parameter analysis are compared with those obtained from finite element analysis for verification.