• Journal of Digital Convergence
• /
• v.16 no.8
• /
• pp.41-55
• /
• 2018

This research analyzes how operation system and method of barista private certification implemented in Korea influence on the academic satisfaction of coffee work skills and how such system and method has an effect on the economic effectiveness to utilize for the improvement of work performance skills and for job seeking and changing. For this purpose, author conducted a survey to coffee specialists who had obtained barista certification and who have been working in coffee related industry. The result shows that the operation system and method of coffee certification verification system has a partially positive effect on the academic satisfaction of work performance skills and economic effectiveness. The contents of the coffee related certification verification system as well as specialized and reliable systematic operation of such verification system have an influence on the academic satisfaction of work performance skills and have further influence on the economic effectiveness such as seeking or changing jobs. Therefore, the research on the professionalism and reliability of the qualification verification system must be continued.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.40 no.3
• /
• pp.83-91
• /
• 2017

Climate change has been identified as one with the greatest challenges facing nations, government, business and over future decades. Activities to reduce greenhouse gas emissions by the Kyoto Protocol, the international community has been in progress. Korea also has introduced the Emission trading system to reduce greenhouse emission from the supervision of the government. Greenhouse gases emissions quantity should be internationally recognized. Mutual Recognition Arrangement should be recognized as the same greenhouse gas emission. International recognition of domestic verification body of international mutual recognition is required. Efforts are needed to secure the equivalence between the emission rights through direct cooperation with the relative nation accreditation body. Early entry into the IAF/PAC GHG MLA is essential for demonstrating equivalence between greenhouse gas emissions. Emissions trading will also require connection to the EU ETS, California, USA, and Tokyo, Japan to link Emissions trading. In the case of establishing accreditation standards and accreditation criteria, it will be necessary to distinguish between the domestic Energy Target Management System and the Emission Trading System. Independent greenhouse gases verification bodies should be established to meet the requirements of IAF and PAC. It is necessary to revise the qualification criteria for the verification of the greenhouse gas verification body according to international standards requirements. It is necessary to support the role of accreditation bodies of domestic greenhouse gas verification bodies. It is required to join international organizations of international mutual recognition of international trade and the need for pilot projects to link greenhouse gas emissions. The core link to our emission trading system is called EU-ETS, and we will need to join the IAF/PAC GHG MLA GHG. The International Mutual Recognition Agreement (IAF) is expected to allow international interoperability of GHG emissions verification between EA and the PAC. By signing a PAC GHG MLA, it will need to be prepared to prepare for the pilot project to link the emission trading system.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.936-940
• /
• 2007

This paper is about the study on the verification method for railway system SIL which is frequency of hazard, composing Risk, one of the measurement standards for railway system safety. Frequency of hazard can be identified by using FMECA, or HAZOP, and the assessment of identified dangerous failure rate should be done by systematic methods such as FTA. Therefore, this paper provides the hazard identification level for SIL verification and the requirements necessary to verify the integrity of analysis activity.

• Speech Sciences
• /
• v.12 no.3
• /
• pp.105-114
• /
• 2005

It was verified that a speaker verification system improved its performances of EER by regularizing log likelihood ratio, using background speaker models. Recently the wireless mobile phones are becoming more dominant communication terminals than wired phones. So the need for building a speaker verification system on mobile phone is increasing abruptly. Therefore in this paper, we had some experiments to examine the performance of speaker verification based on mobile phone's voices. Especially we are focused on the performance variations in EER(Equal Error Rate) according to several background speaker's characteristics, such as selecting methods(MSC, MIX), number of background speakers, aging factor of speech database. For this, we constructed a speaker verification system that uses GMM(Gaussin Mixture Model) and found that the MIX method is generally superior to another method by about 1.0% EER. In aspect of number of background speakers, EER is decreasing in proportion to the background speakers populations. As the number is increasing as 6, 10 and 16, the EERs are recorded as 13.0%, 12.2%, and 11.6%. An unexpected results are happened in aging effects of the speech database on the performance. EERs are measured as 4%, 12% and 19% for each seasonally recorded databases from session 1 to session 3, respectively, where duration gap between sessions is set by 3 months. Although seasons speech database has 10 speakers and 10 sentences per each, which gives less statistical confidence to results, we confirmed that enrolled speaker models in speaker verification system should be regularly updated using the ongoing claimant's utterances.

• Journal of Aerospace System Engineering
• /
• v.13 no.3
• /
• pp.40-47
• /
• 2019

This paper proposes the environment construction and test method of system integration laboratory (SIL) and system integration test (SIT) for verification of interface between onboard equipment and ground control equipment of unmanned aerial systems (UAS). This research also describes the interface environment between subsystems built in SIL and verification methods for the systems' operation logic through simulated flights. Similarly, the paper handles the ground integration test process of UAS in the real testing environments.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.8
• /
• pp.1409-1417
• /
• 2003

In the 21st century, the concept of remote design and manufacture is strongly required in manufacturing processes to reduce cost and time-to-market. The objective of this paper is the development of an internet-based dimensional verification system for reverse engineering. An inspection client can register measurement data at the developed web server. Collaborators related to the development of a new product can confirm geometrical form from measurement data, check dimensional information and mark up the important parts, as well as make a statement of their views through the Internet. The developed system is realized through the ActiveX-Server architecture. Functions of the dimensional verification module are constructed as ActiveX by using the visual C＋＋ and OpenGL. The usefulness of the developed system is confirmed through a case study.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.315-320
• /
• 1998

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri net (CPN) for modeling and Prototype Verification system (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, a translator has been developed in this work. The combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip)and found to be promising for further research and applications.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.335-340
• /
• 1998

In this paper a prototype of Requirement Tracking and Verification System(RTVS) for a Distributed Control System was implemented and tested. The RTVS is a software design and verification tool. The main functions required by the RTVS are managing, tracking and verification of the software requirements listed in the documentation of the DCS. The analysis of DCS software design procedures and inter(aces with documents were performed to define the user of the RTVS, and the design requirements for RTVS were developed.

• 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.

• Speech Sciences
• /
• v.9 no.2
• /
• pp.135-146
• /
• 2002

Generally a speaker verification system improves its system recognition ratio by regularizing log likelihood ratio, using a speaker model and its background speaker model that are required to be verified. The speaker-based cohort method is one of the methods that are widely used for selecting background speaker model. Recently, Gaussian-based cohort model has been suggested as a virtually synthesized cohort model, and unlike a speaker-based model, this is the method that chooses only the probability distributions close to basic speaker's probability distribution among the several neighboring speakers' probability distributions and thereby synthesizes a new virtual speaker model. It shows more excellent results than the existing speaker-based method. This study compared the existing speaker-based background speaker models and virtual speaker models and then constructed new virtual background speaker model groups which combined them in a certain ratio. For this, this study constructed a speaker verification system that uses GMM (Gaussin Mixture Model), and found that the suggested method of selecting virtual background speaker model shows more improved performance.