• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.216-219
• /
• 2003

Among the techniques to protect private information by adopting biometrics, speaker verification is expected to be widely used due to advantages in convenient usage and inexpensive implementation cost Speaker verification should achieve a high degree of the reliability in the verification nout the flexibility in speech text usage, and the efficiency in verification system complexity. Continuants have excellent speaker-discriminant power and the modest number of phonemes in the category, and multilayer perceptrons (MLPs) have superior recognition ability and fast operation speed. In consequence, the two provide viable ways for speaker verification system to obtain the above properties. This paper implements a system to which continuants and MLPs are applied, and evaluates the system using a Korean speech database. The results of the experiment prove that continuants and MLPs enable the system to acquire the three properties.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.41 no.7
• /
• pp.43-52
• /
• 2004

This paper proposes an efficient functional verification environment of microprocessor. This verification environment consists of test vector generator part, simulator part, and comparator part. To enhance efficiency of verification, it use a bias random test vector generator. In a part of simulation, retargetable instruction level simulator is used for reference model. This verification environment is excellent to find error which is not detected by general test vector and will become a good guide to find new error type

• Proceedings of the KIPE Conference
• /
• 2017.11a
• /
• pp.181-182
• /
• 2017

In the battery system, an isolated converter is used for the stability of the system when controlling the charge and discharge of the battery. A fixed frequency LLC converter which is a type of isolated converter, has the advantage of high efficiency and power density with zero voltage switching at high frequency. Therefore, in this paper, the operation analysis, design and experimental verification of the LLC resonant converter with high efficiency and high power density for the ESS system were conducted.

• 한국태양에너지학회:학술대회논문집
• /
• 2008.11a
• /
• pp.167-171
• /
• 2008

The Francis type hydro turbine with vertical axis has been designed and analized for hydraulic performance verification. The guide vane angle of turbine casing were designed to be varied according to the condition of head and flowrate. When the changes in flowrate and output were comparatively large, the efficiency drop were small, so the efficiency characteristics and stability of the entire operating condition were maintained in good condition. These results showed that the developed hydro turbine in this study will be suitable for small hydro power stations with medium and high head such as agricultural reservoirs and large dam.

• Journal of Korea Water Resources Association
• /
• v.47 no.6
• /
• pp.513-522
• /
• 2014

Climate change and urbanization have affected a increase of peak discharge and water pollution etc. In a view of these aspects, the LID(Low Impact Development) technology has been highlighted as one of adjustable control measures to mimic predevelopment hydrologic condition. Many LID technologies have developed, but there is a lack of studies with verification of LID technology efficiency. Therefore this study developed a rainfall-runoff simulator could be possible to verify LID technology efficiency. Using this simulator, this study has experimented the rainfall verification through the rainfall distribution experiment and the experiment to show the relation between inflow and effective rainfall in order to sprinkle the equal rainfall in each unit bed. As a result, the study defined the relation between allowable discharge range and RPM by nozzle types and verified the hydrologic cycle such as the relation between infiltration rate, surface runoff and subsurface runoff at pervious area and impervious area through the rainfall-runoff experiment.

• The Magazine for Energy Service Companies
• /
• s.79
• /
• pp.58-71
• /
• 2012

• The Magazine for Energy Service Companies
• /
• s.77
• /
• pp.60-67
• /
• 2012

• The Magazine for Energy Service Companies
• /
• s.78
• /
• pp.56-67
• /
• 2012

• 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 Information Technology Services
• /
• v.12 no.4
• /
• pp.175-186
• /
• 2013

Among many automotive manufacturing processes, an assembly process has the smallest automatization percentage. As the correct assembly of the supplied components according to its specification is directly related with the quality of the final product, it is of the utmost importance to reduce the possible human errors in the assembly line. However, due to the lack of an effective verification system for an assembly line, currently, there is huge cost loss caused by the errors in seat assembly every year. Therefore, in this paper, to overcome the limit of the current verification method and to prevent the occurrence of assembly errors caused by mismatching assembling components or its specifications, a verification system and its method is proposed employing the RFID technology. The system is for automatic detection of the assembly errors, so that it can reduce the time and effort needed for verification and maximize the work efficiency. Also, by preventing the assembly errors in advance, the productivity can be increased through a quality innovation.