• 월간포장계
• /
• 통권242호
• /
• pp.72-79
• /
• 2013

• 한국멀티미디어학회논문지
• /
• 제9권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.

• 대한기계학회논문집A
• /
• 제29권10호
• /
• 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년도 ICCAS
• /
• 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.

• 한국콘텐츠학회논문지
• /
• 제10권7호
• /
• pp.386-395
• /
• 2010

본 연구는 호텔직원의 Big 5 성격요인과 직무몰입, 직무몰입과 고객지향성의 영향관계를 발견하는 것이며, 호텔직원의 성격요인을 조직에 어울리게 더욱 발전시키는 방법을 제공하는 것을 목적으로 한다. 첫째, Big 5 성격요인과 직무몰입의 회귀분석결과의 세부적인 검증결과는 다음과 같이 제시되었다. 직무애착은 외향성과 친화성에 유의한 영향을 주었다. 직무책임감, 직무중요성은 성실성과 안정성이 유의한 영향을 주었다. 둘째, 직무몰입과 고객지향성의 회귀분석의 결과의 세부적인 검증결과는 다음과 같이 제시되었다. 고객욕구충족의 경우는 직무애착과 직무책임감이 유의한 영향을 주었다. 고객응대서비스는 직무책임감과 직무중요성이 유의한 영향을 주는 것으로 나타났다.

• 한국안전학회지
• /
• 제17권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
• /
• 제17권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
• /
• 제18권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.

• 한국의학물리학회:학술대회논문집
• /
• 한국의학물리학회 2002년도 Proceedings
• /
• 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.

• 한국조경학회지
• /
• 제24권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.