• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.605-616
• /
• 2004

A new practical implementation of a facial verification system using cumulative histogram of surface curvatures for the local and contour line areas is proposed, in this paper. The approach works by finding the nose tip that has a protrusion shape on the face. In feature recognition of 3D face images, one has to take into consideration the orientated frontal posture to normalize after extracting face area from the original image. The feature vectors are extracted by using the cumulative histogram which is calculated from the curvature of surface for the contour line areas: 20, 30 and 40, and nose, mouth and eyes regions, which has depth and surface characteristic information. The L1 measure for comparing two feature vectors were used, because it was simple and robust. In the experimental results, the maximum curvature achieved recognition rate of 96% among the proposed methods.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.5
• /
• pp.595-610
• /
• 1999

This paper presents a visual simulation tool for verification and validation(V&V) of design implications of the Object Behavior Chart developed in accordance with the existing real-time object's behavior design method. This tool can simulates the dynamic interactions using the executable simulation machine, that is EFSM(Extended Finite State Machine) and can detect various logical and temporal errors in the visual object behavior charts before a concrete implementation is made. For this, a LOTOS prototype specification is automatically generated from the visual Object Behavior Chart, and is translated into an EFSM. This system is implemented in Visual C++ version 4.2 and currently runs on PC Windows 95 environment. For simulation purpose, LOTOS was chosen because of it's excellence in specifying communication protocols. Our research contributes to the support tools for seamlessly integrating methodology-based graphical models and formal-based simulation techniques, and also contributes to the automated V&V of the Visual Models.

• Journal of Navigation and Port Research
• /
• v.36 no.8
• /
• pp.599-605
• /
• 2012

As vessels are faster and bigger, higher safety navigation techniques have been required. In marine traffic area, buoy is to be one of the most important equipment, so that it should be built stable and robust. Verification in design level is good to accomplish it. This paper tries to implement visual program to confirm the external stability, which shows the movement on water by external factors such as wind, tide and current. Considering further requirements for additional influences or functions, design architecture for program introduces the concept of software component. Using Quest3D as the graphic tool, visual programming with software component concept can be implemented.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.313-315
• /
• 2010

In this paper, we describe research results of developing hardware rasterizer that is applicable to mobile 3D graphics system, designed in SIMD architecture and verified in FPGA. Tile-based scan conversion unit is designed like SIMD architecture running four tiles simultaneously and each tile traverses pixels hierarchical in 3-level so that visiting counts is minimized. As experimental results, $8{\times}8$ is the most efficient size of tile and the last step of tile traversing is performed on $2{\times}2$ sized subtile. The rasterizer supports flat shading and gouraud shading and texture mapper supports affine mapping and perspective corrected mapping. Also, texture mapper supports point sampling mode and bilinear interpolating sampling mode and two types of wrapping modes and various blending modes. The rasterzer operates as 120Mhz on xilinx vertex4 $l{\times}100$ device. To easy verification, texture memory and frame buffer are generated as block rom and block ram.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.21 no.8
• /
• pp.1597-1603
• /
• 2017

The incidence of fire in underground utility tunnel is lower than other fires, but the damage caused by fire can cause social loss due to social management paralysis as well as economic loss. Hereupon, this paper presents the results of an empirical test on the construction of the underground utility tunnel condition monitoring system using the leakage coaxial cable installed in the underground utility tunnel. For this reason, a verification test was conducted by connecting a inductive coupler 200 Mbps power line communication modem with insertion loss characteristics of $-6{\pm}2dB$ to the installed the leakage coaxial cable installed in the underground utility tunnel. As a result, We confirmed sending/receiving of IP cameras up to 500 m. Therefore, it is judged that it is possible to construct a condition monitoring system for underground utility tunnel by using the leakage coaxial cables installed in the underground utility tunnels without installing additional communication lines for data transmission.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.9
• /
• pp.4447-4454
• /
• 2013

In October 2011, a commercialized 100kW class floating photovoltaic system positive plant was installed at Hapcheon dam a multi-purpose reservoir the first time ever in the nation. Floating photovoltaic system differs in water float, mooring device and underwater cable process from land photovoltaic system. As for land and building photovoltaic power generation equipments, many installation cases and skilled experiences are available, and thus installation is not difficult. However, commercial power generation floating photovoltaic system, which is attempted for the first time in the nation, requires to be designed and installed through a series of processes like technical review and verification of data by process in comparison with similar cases. The structure of floating photovoltaic system, an equipment for float photovoltaic module and other electrical equipment, is required to withstand weather environments like wind or typhoon etc and yet not affect water quality negatively, and for implementation of this system, construction efficiency and economy etc should be considered comprehensively. In this paper, the techniques of installing floating photovoltaic structure, mooring device, underwater cable, electrical equipment and remote monitoring control system are explained. The 100kW floating PV system is operating with 15% average capacity factor.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1789-1804
• /
• 1999

This paper presents a simulation-based system for verification and validation(V&V) of design implication of the Visual Real-time Object Model which is produced by existing object's behavior design method. This system can simulate the dynamic interactions using the executable Ada simulation machine, and can detect various logical and temporal problems in the visual real-time object model prior to the real implementation of the application systems. Also, the system can generate the Ada prototype code from the validated specification. This system is implemented by Visual C++ version 4.2. For simulation, this system is using the Ada language because Ada's real-time expression capabilities such as concurrent processes, rendezvous, temporal behavior expression, and etc, are competent compared to other languages. This work contributes to a tightly coupling of methodology-based visual models and formal-based simulation systems, and also contributes to a realization of automated specification V&V.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.1433-1435
• /
• 2003

Very decisive progress was made in advancing fundamental POL-IN-SAR theory and algorithm development during the past decade. This was accomplished with the aid of airborne & shuttle platforms supporting single -to-multi-band multi-modal POL-SAR and also some POL-IN-SAR sensor systems, which will be compared and assessed with the aim of establishing the hitherto not completed but required missions such as tomographic and holographic imaging. Because the operation of airborne test-beds is extremely expensive, aircraft platforms are not suited for routine monitoring missions which is better accomplished with the use drones or UAVs. Such unmanned aerial vehicles were developed for defense applications, however lacking the sophistic ation of implementing advanced forefront POL-IN-SAR technology. This shortcoming will be thoroughly scrutinized resulting in the finding that we do now need to develop most rapidly POL-IN-SAR drone-platform technology especially for environmental stress-change monitoring with a great variance of applications beginning with flood, bush/forest-fire to tectonic-stress (earth-quake to volcanic eruptions) for real-short-time hazard mitigation. However, for routine global monitoring purposes of the terrestrial covers neither airborne sensor implementation - aircraft and/or drones - are sufficient; and there -fore multi-modal and multi-band space-borne POL-IN-SAR space-shuttle and satellite sensor technology needs to be further advanced at a much more rapid phase. The existing ENVISAT with the forthcoming ALOSPALSAR, RADARSAT-2, and the TERRASAT will be compared, demonstrating that at this phase of development the fully polarimetric and polarimetric-interferometric modes of operation must be viewed and treated as preliminary algorithm verification support modes and at this phase of development are still not to be viewed as routine modes.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.855-864
• /
• 2004

Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

• Journal of Advanced Navigation Technology
• /
• v.25 no.5
• /
• pp.390-396
• /
• 2021

In this research, design and fabrication of marine repeater capable to extend communication coverage in monitoring system of fishing gear automatic identification, which is one of implementation method of the real-name electric fishing gear system declared by Ministry of Oceans and Fisheries in 2016, is reported. The proposed marine repeater is fabricated in a form of RF repeater with interference cancellation system (ICS), which can cancel the oscillation due to feedback signal between service antenna and link antenna. In design process, we secure the isolation of 30 dB between service antenna and link antenna. It is confirmed that when the level of feedback signal into repeater input be lower of 15 dB than repeater gain, error vector magnitude due to oscillation can be lower than the performance criterion of 6%, from the test verification. It is expected that the service coverage will be extended by applying the developed marine ICS RF repeater into marine IoT network including monitoring system of fishing gear automatic identification.