• The monthly packaging world
• /
• s.242
• /
• pp.72-79
• /
• 2013

• Journal of Korea Multimedia Society
• /
• v.9 no.12
• /
• pp.1607-1616
• /
• 2006

The growing market of multimedia and digital signal processing requires significant data-path portions of SoCs. However, the common models for verification are not suitable for SoCs. A novel model--WGL (Weighted Generalized List) is proposed, which is based on the general-list decomposition of polynomials, with three different weights and manipulation rules introduced to effect node sharing and the canonicity. Timing parameters and operations on them are also considered. Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits. The model is proved to be a uniform and efficient model for both bit-level and word-level functions. Then Based on the WGL model, a backward-construction logic-verification approach is presented, which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than $O(n^{3.6})$ and space complexity is less than $O(n^{1.5})$) without hierarchical partitioning. Finally, a construction methodology of word-level polynomials is also presented in order to implement complex high-level verification, which combines order computation and coefficient solving, and adopts an efficient backward approach. The construction complexity is much less than the existing ones, e.g. the construction time for multipliers grows at the power of less than 1.6 in the size of the input word without increasing the maximal space required. The WGL model and the verification methods based on WGL show their theoretical and applicable significance in SoC design.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.29 no.10 s.241
• /
• pp.1353-1360
• /
• 2005

Injection-molded products serve a wide range of applications in our modem lives and their significance is ever increasing. However, difficulty of communication among related companies under the present system results in increase of lead time and decrease of production efficiency. The objective of this paper is the development of a web-based draft verification system in mold design processes. Although several commercial CAD systems offer draft verification functions, those systems are very expensive and inadequate to perform collaborative works. For collaborative work under the distributed environment, the proposed system uses native file transforming of CAD data into optimal format by using the ACIS kernel and InterOp. Functions of draft verification modules are constructed over the ActiveX control using the visual C++ and OpenGL. Therefore, collaborators related to the development of a new product are able to verify the draft and undercut over the Internet without commercial CAD systems. The system helps to reduce production cost, errors and lead-time to the market. Performance of the system is confirmed through various case studies.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.453-456
• /
• 2005

Significance verification of electric fabric compared with existing electrode is very useful for the wearable and ubiquitous healthcare. In this paper, we verified the significance between Ag/AgCl electrode and electric fabric in dry-normal condition through heart rate variability analysis. We can find 98 % or more similarity about low frequency and high frequency which is important parameter for the heart rate variability analysis between two different electrodes in experiment. From this result, we confirmed that the power spectral density of low frequency, high frequency component from the electric fabric has high similarity compared with the result of heart rate variability from Ag/AgCl electrode in dry-normal condition.

• The Journal of the Korea Contents Association
• /
• v.10 no.7
• /
• pp.386-395
• /
• 2010

This study aims to find the influential relation amongst Big 5 personality factors, job involvement and customer orientation of hotel employees and to provide methods to develop their personality factors suitable for a organization Firstly, detailed verification findings of regression analysis on Big 5 personality factors and job involvement were suggested as following; Job attachment of hotel employees influenced their extroversion and friendliness. Also, sincerity and stability had significant effects on job responsibility and task significance had significant. Secondly, regression analysis was performed to identify the results of job involvement and customer orientation and the detailed verification results are as following; Satisfaction of customers' needs had significant effect on job attachment and job responsibility. In addition, service for response to customers' contacts meaningfully influenced job responsibility and task significance.

• Journal of the Korean Society of Safety
• /
• v.17 no.2
• /
• pp.92-99
• /
• 2002

Safety-related motor operated valve(MOV) safety significance for Ulchin Unit 3 was categorized. The safety evaluation of MOV of domestic nuclear power plants affects the generic data used for the quantification of MOV common cause failure(CCF) events in Ulchin Units 3&4 PSA. Therefore, in this paper, MGL(multiple greek letter)parameter ${\beta}$, used for the evaluation of MOV CCF probabilities in Ulchin Units 3&4 probabilistic safety assessment(PSA), was re-estimated and the MOV safety significance was categorized. The re-estimation results of MGL parameter show that the value of(is decreased by 30% compared with the current value used in Ulchin Unit 3&4 PSA. The categorization results of MOV safety significance using the changed value of MGL parameter(show that the number of HSSCs(high safety significant components) is decreased by 54.5% compared with those using the current value of it used in Ulchin Units 3&4 PSA.

• Transactions on Electrical and Electronic Materials
• /
• v.17 no.6
• /
• pp.311-316
• /
• 2016

Batteries are critical components of electric vehicles and energy storage systems. The connection of a battery to the power grid for charge and discharge greatly affects energy storage. Therefore, an accurate and easy-to-observe battery model should be established to achieve systematic design, simulation, and SOC (state of charge) estimations. In this review, several equivalent circuit models of representative significance are explained, and their respective advantages and disadvantages are compared to determine and outline their reasonable applications to Li-ion batteries. Numerous commonly used model parameter identification principles are summarized as well, and basic model verification methods are briefly introduced for the convenient use of such models.

• Journal of Information Processing Systems
• /
• v.18 no.3
• /
• pp.311-318
• /
• 2022

Tobacco sales enterprises often need to summarize and verify the daily sales bills, which may consume substantial manpower, and manual verification is prone to occasional errors. The use of artificial intelligence technology to realize the automatic identification and verification of such bills offers important practical significance. This study presents a novel multi-branch residual network for tobacco sales bills to improve the efficiency and accuracy of tobacco sales. First, geometric correction and edge alignment were performed on the input sales bill image. Second, the multi-branch residual network recognition model is established and trained using the preprocessed data. The comparative experimental results demonstrated that the correct recognition rate of the proposed method reached 98.84% on the China Tobacco Bill Image dataset, which is superior to that of most existing recognition methods.

• Proceedings of the Korean Society of Medical Physics Conference
• /
• 2002.09a
• /
• pp.305-308
• /
• 2002

More complex radiotherapy techniques using multi leaf collimation(MLC) such as intensity-modulated radiation therapy(IMRT) has been increasing the significance of verification of leaf position and motion. Due to the reliability and robustness, quality assurance(QA) of MLC is usually performed with portal films. However, the advantage of ease of use and capability of providing digital data of electronic portal imaging devices(EPIDs) have attracted many attentions as alternatives of films for routine quality assurance in spite of the concerns about their clinical feasibility, efficacy, and the cost to benefit ratio. In our work, the method of routine QA of MLC using electronic portal imaging(EPI) was developed. The verification of availability of EPI images for routine QA was performed by comparison with those of the portal films which were simultaneously obtained when radiation was delivered and known prescription input to MLC controller. Specially designed test patterns of dynamic MLC were applied to image acquisition. Quantitative off-line analysis using edge detection algorithm enhanced the verification procedure in addition to on-line qualitative visual assessment. In conclusion, the EPI is available enough for routine QA with the accuracy of portal films.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.24 no.3
• /
• pp.115-132
• /
• 1996

The purpose of this study is to estimate the soil loss amount with Geographic Information System according to the land use change of Buju mountain area in Mokpo city. To estimate the soil loss, Universal Soil Loss Equation which is the most proper technique to predict soil loss in this site condition is adopted and IDRISI, a raster GIS software, is used. GIS application with USLE is very efficient to estimate soil loss accurately and fastly. In order to decide value and to find application method of USLE factors, we used existing rainfall erosion index, soil erodibility analysis, slope length, slope steepness, vegetation management and practices, which are rated by GIS through the analysis of various studies related USLE. The result of this study was compared with the previous other researches to verify our method of constructing numerical data of USLE's factors. The result of verification of our way showed significance for the soil loss in forest area. But the result of verification for the soil loss in forest area. But the result of verification for the soil loss of cultivated area showed some errors. It seems that this result was due to local variation of topographical map.