• Proceedings of the KIEE Conference
• /
• 2005.07a
• /
• pp.795-797
• /
• 2005

This paper describes a measurement & verification scheme for the high efferent lighting program in Demand Side Management (DSM), which was Introduced in the beginning of the 1980's in Korea With the dramatic changes in the circumstance of power industry in Korea. It is required the reviewing for the existing process of DSM programs and the development of the new process methods/standards on the evaluation of DSM programs. To design an accurate evaluation scheme for the high efficient lighting program. In this paper, we develop an evaluation prototype for the high efficient lighting program using measurements and stipulated factors. The proposed scheme is tested by practical measurements and modified stipulated factors Results from the case studios show the proposed scheme could provide the practical performance evaluation results with promising accuracy.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.14 no.3
• /
• pp.43-49
• /
• 2015

This paper describes the design of a forged fitting form to acquire a method of product design measurement by target measurement standards. The pipefitting connects each pipe and combines seals and nipples with the pipes normally. Therefore, the section combined with the fitting pipe was measured by a 3D scanner, and the acquired measurement and the design measurement were obtained after modification of the forged fitting pipe by that standard. Moreover, the accuracy of the model was verified through leakage testing of the oil and verification of the design measurement for accuracy decisions on the design measurement after modification of the product.

• Journal of the Korean Society for Precision Engineering
• /
• v.8 no.4
• /
• pp.84-94
• /
• 1991

In order to achieve high accuracy of teaching and increase productivity using industrial robots in polishing process of dies, an off-line task programming system was developed on IBM-PC/386 under WINDOWS 3.0 operating system. The internal structure and the machematical basis of CAMPoli are described. Surface modeling technique of polishing dies with sculptured surfaces is introduced by poing data interpolation methodology through the use of CL-data transmitted from conventional CAM system. Tool selection, polishing speed, polishing pressure and kinds of tool motions can be determined and selected by user specified polishing variables. Task creation and verification of polishing path via computer graphics simulation of polishing tool can be done by the menu- driven function of CAMPoli system. Post-processing module is attached to generate robot language. Some simulation results are provided as verification means of the system.

• Journal of the Korean Society for Railway
• /
• v.9 no.3 s.34
• /
• pp.264-270
• /
• 2006

In this paper we present a safety plan to be applied to the development of the TCS(Train Control System). The safety plan that can be applied to the life cycle of a system, from the conceptual design to the dismantlement, shows the whole process of the paper work in detail through the establishment of a goal, analysis and assessment, the verification. In this paper we study about the making a plan, the preliminary hazard analysis, the hazard identification and analysis to guarantee the safety of the TCS. The process far the verification of the system safety is divided into several steps based on the target system and the approaching method. The guarantee of the system safety and the improvement of the system reliability is fellowed by the recommendation of the international standards.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06c
• /
• pp.286-288
• /
• 2012

Facing the counterfeiting acts towards various products, many manufacturers implement ePedigree system to secure their supply chain. Using ePedigree, a distribution history including a valid product identifier from the manufacturer until the final retailer is recorded. And this ePedigree is signed by each involved supply chain party using digital signature. With this digital signature, any unauthorized alteration to the ePedigree document would generate a failed verification process. If there is a counterfeit product using a fake ePedigree document, it wouldn't be able to pass the verification process either. Hence, there wouldn't be any counterfeit product that could enter the legal supply chain and bought by the consumer. We are proposing to use ECDSA instead of RSA since it has faster performance and shorter key size. At a certain same security level, ECDSA only needs 163 bits, while RSA needs 1024 bits.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.1113-1125
• /
• 2008

In this paper we present a RAMS to be applied to the development of the Urban Maglev Train Signalling System. The RAMS that can be applied to the life cycle of a Signalling system, from the basic design to the dismantlement, shows the whole process of the paper work in detail through the establishment of a goal, analysis and assessment, the verification. In this paper we study about the making a plan, the preliminary hazard analysis, the hazard identification and analysis to guarantee the safety of the Signalling System. The process for the verification of the system safety is divided into several steps based on the target system and the approaching method. The guarantee of the system safety and the improvement of the system reliability is followed by the recommendation of the international standards.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.21 no.2
• /
• pp.31-38
• /
• 2022

Recently, the development of offshore wind farms based on past technical experiences from onshore wind turbine installations has become a worldwide issue. This study investigated the technical issues related to offshore wind farms and large-diameter monopiles from an economic perspective. In particular, the monopile foundation system (MFS), which is the most important part of the proposed fast construction system, is applied for the first time in Korea, and structural verification is essential because it supports large-diameter monopiles and is in charge of excavation. Therefore, in this study, a rapid construction system for large offshore wind power generators was introduced, and stability verification was performed through the structural analysis of the MFS.

• Korean Journal of Cognitive Science
• /
• v.3 no.1
• /
• pp.79-111
• /
• 1991

This paper suggests a system which analyzes facial images through hypotheses generation and verification.A model knowledge on faical structures is to be represented in a hieratchical frame system and the process of hypothesis generation and verification is to be embodied through linking upper lower-level frames.This paper especially addresses the problem of how to selec an approproate knowledge at each stage of hypotheses generation and verification.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.2202-2203
• /
• 2011

AC substation of urban transit supplies a suitable AC power on electricity vehicles. AC substation is verified electrical safety of system through pre-operation inspection on electrical installations to be supplied power from KEPCO. However, because test items and method for AC traction system are unprepared on pre-operation inspection, the general safety and performance verification of AC traction system are very insufficient. Therefore this paper analyze the test examples such as factory equipment tests, factory combined tests and railway tests for the safety and performance verification of AC traction system and present a suitable test items and test standard in domestic.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2489-2491
• /
• 2005

Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.