• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.16 no.8
• /
• pp.793-800
• /
• 1991

In this paper, proposed the seal imprint verification system that could add on the redident information system. In the positioning process, used ring data and in the matching process, used XY pixel distribution. As a result of the verification experiment, the error verification ratio is about 1%. But could verify that this system could be added and operated on the resident information system through the eye-decision after subtacting and adding process.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1209-1215
• /
• 2007

To establish the national railway safety system, the railway total safety technology development project has been promoted by Ministry of Construction and Transportation (MOCT) since August 2004. The project is mainly focused on the prevention of a critical railway accident and the reduction of accident/mortality rate. To achieve its goal effectively, the project is composed of 15 sub-projects each of which can be categorized into three different technological area. This work deals with the verification results for the outcomes of the sub-projects carried out at the 2nd year of the project. A new verification procedure is developed and applied to the project based on the system engineering. Three criterions - The suitability of the realization of a function, the suitability of a physical structure, the suitability of a design analysis report - are used for the verifications. The verification results are investigated by calculating standard deviations of scores of each results.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.4
• /
• pp.890-895
• /
• 2005

Dynamic (On-line) signature verification system consists of preprocessing, feature extraction, comparison and decision process for internal processing, and registration and verification windows for the user interface. We describe an implementation and design for an advanced dynamic signature verification system. Also, we suggest the method of feature extraction, matching algorithm, efficient user interface and an objective criteria for evaluating the performance.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2006.05a
• /
• pp.453-454
• /
• 2006

This paper describes a processing verification technique for developing about end-milling cutters. Developed software is processing verification module for manufacturing. By using cutting simulation method, we can obtain center points of finding wheel via Boolean operation between a grinding wheel and a cylindrical workpiece. The obtained CL data can be used for calculating NC data. After then, we can simulate by using designed grinding machine and NC data. This research has been implemented on a commercial CAD system by using the API function programming. The operator can evaluate the cutting simulation process and reduce the time of design and manufacturing.

• Magazine of the Korea Concrete Institute
• /
• v.11 no.2
• /
• pp.127-137
• /
• 1999

In the previous study in relation to the current study, a test program for the verification of the proposed design equation was carried with fourteen prestressed concrete beams with unbonded tendons. Experimental results were compared with the computed results by the proposed design equations. The previous design equations are ACI code, AASHTO LRFD code, the analysis equation with the strain compatibility, Harajli/Kanj' design equation, Chakrabarti' design equation. As a result of comparative studies, it turned out that the proposed design equation could predict the ultimate tendon stress with comparatively high accuracy.

• Korean Journal of Computational Design and Engineering
• /
• v.17 no.4
• /
• pp.274-281
• /
• 2012

This paper proposed a control simulation method for design and verification of the transport system in an automobile assembly line based on digital manufacturing system. The design of the transport system involves two major activities: mechanical design (device specification) and electrical design (device behavior and system control). Conventionally, the simulation and emulation system of the transport system focuses on the abstract level, which mainly deals with design verification, alternative comparison, and system diagnosis. Although it can provide overall system visibility in monitoring how well it works in the process and view, its simulation models are not sufficiently realistic to be used for a detailed design or for implementation purposes. In this paper, a digital simulation model for a transport system in an automotive assembly line is constructed by adapting a digital manufacturing methodology. We use the concept of the "Virtual Probe", which transport a carrier instead of the belt of the conveyor. In conclusion, the proposed method is valuable in the process of test run in the shop floor. This method would reduce the time and effort for validating the manufacturing system and improve the productivity and integrity of the control program.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.10 s.352
• /
• pp.68-73
• /
• 2006

This, paper proposes a cosimulation methodology that results in an efficient SoC design as well as fast verification by integrating HDL, SystemC, and algorithm-level abstraction using the design tools Active-HDL and Matlab's Simulink. To demonstrate the proposed design methodology, we implemented the design technique on a serial connection multi-channel speaker system. We have demonstrated the proposed cosimulation method utilizing an ARM processor based SoC Master board with the AMBA bus interface and a Xilinx Vertex4 FPGA. The proposed method has the advantage of simultaneous simulation verification of both software and hardware parts in high levels of abstraction mixed with some performance critical parts in more concrete RTL codes. This allows relatively fast and easy design of a speaker connection system which typically requires significant amount of data processing for verification.

• Journal of the Korean Society of Industry Convergence
• /
• v.22 no.6
• /
• pp.785-795
• /
• 2019

This paper is a study on the modeling of the quantity estimation model for offshore plant Material handling equipment in FEED(Front End Engineering Design) verification stage using system engineering approach which is an engineering design methods. The relevant engineering execution procedure is not systemized although the operation method and Material handling equipment selection with weight and space constraints is a key part of the FEED. Using the system engineering process, the stakeholder requirements analysis process, the system requirements analysis, and the final system architecture design were sequentially performed, and the process developed through the functional development diagram and Requirement traceability matrix (RTM) was verified. In addition, based on the established process, we propose a Material handling quantity estimation model and Quantity calculation verification Table that can be applied at the FEED verification stage and we verify the applicability through case studies.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.6
• /
• pp.505-513
• /
• 2021

We propose an autonomous mission management software design and verification technique for unmanned aerial vehicles to autonomously mitigate dynamic situation changes occurred in the inside and outside of an aircraft in compliance with the mitigation priority order. The proposed autonomous mission management software is designed in a modular architecture that consists of concurrently executing multiple threads. To verify it, we suggest three verification steps: 1) software integration by checking the expected request/response messages between the threads for all possible dynamic situation changes; 2) integration test to verify the software functionality; 3) performance test to verify the quantitative software performance. Especially, the software integration test environment is built and utilized to carry out the integration and performance tests.

• Current Industrial and Technological Trends in Aerospace
• /
• v.6 no.2
• /
• pp.40-50
• /
• 2008

Most of satellite program process consists of mission analysis, thermal, structure, electronics design, and operation, etc. Each step has several steps like design phase, development phase, and verification phase, etc. As to do this kind of process, very high costs and much time are required, further high risk is included. So for solving those difficulties, satellite developers have designed and used satellite simulator system. In early stage of satellite development, simulator system was just used for a fragment of development and verification, so it could not give enough advantage on satellite development. In order to get high advantage on satellite development, full system level simulators which can be used for several steps for development and verification are evolved. So This paper introduces the trend of simulation systems for satellite development and verification used by several satellite developers.