• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -3
• /
• pp.1964-1967
• /
• 2002

Recently design verification have been played an important role in the design of large scale and complex systems. In this article, we especially focus on model checking methods. Behaviors of modeled systems are generally specified by temporal formulas of computation tree logic. However. Users must know well temporal specification because the specification might be complex. We proposed method that temporal formulas are gained inductively and amounts of memory and time are reduced. Finally, we will show verification results using our proposed method.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2006년도 하계종합학술대회
• /
• pp.561-562
• /
• 2006

This paper presents an SRAM which uses the technique to equalize the internal cell node by adding an NMOS transistor. Accordingly, the write driver operates rapidly in a differential current of bit lines, and the operation speed of SRAM improves. An SRAM was implemented with a memory cell, a sense amplifier and a write driver. The SRAM obtained the performance of 18% power reduction and improvement of 56% operation speed. And Power delay product was reduced with 63%. The proposed SRAM was designed based on a 0.35um 1P4M CMOS technology.

• 한국통신학회논문지
• /
• 제21권7호
• /
• pp.1624-1632
• /
• 1996

Wavelet transform is widely used for high compression ratio image compression. It requeires a large memory when it is implemented by a hardware. Therefore, it is efficient to divide the entire image into blocks. Because the wavelet transform for divided blocks causes losses, pixels of the adjacent blocks are used. In the case of color image compression, the image is decomposed into brightness and color components, and then color components are downsampled. When the wavelet transform is performed by using pixels of adjacentblocks, the number of necessary pixels are doubled due to downsampling of color components. In this paper, we propose an efficient block wavelet transform using variablefilter length for brightness and color components. By using the proposed method, the number of pixels of adjacent blocks is optimized. We show the degradation of image quality due to the reduction of filter length for color components is negligible through simulations.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2000년도 가을 학술발표회논문집
• /
• pp.190-197
• /
• 2000

A moment-curvature relationship to simulate the behavior of reinforced concrete beam under cyclic loading is introduced. Unlike previous moment-curvature models and the layered section approach, the proposed model takes into consideration the bond-slip effect by using monotonic moment-curvature relationship constructed on the basis of the bond-slip relation and corresponding equilibrium equation at each nodal point. In addition, the use of curved unloading and reloading branches inferred from the stress-strain relation of steel gives more exact numerical result. The advantages of the proposed model, comparing to layered section approach, may be on the reduction in calculation time and memory space in case of its application to large structures. The modification of the moment-curvature relation to reflect the fixed-end rotation and pinching effect is also introduced. Finally, correlation studies between analytical results and experimental studies are conducted to establish the validity of the proposed model.

• ETRI Journal
• /
• 제33권4호
• /
• pp.652-655
• /
• 2011

In this letter, we propose a new compression method for a high dimensional support vector machine (SVM). We used singular value decomposition (SVD) to compress the norm part of a radial basis function SVM. By deleting the least significant vectors that are extracted from the decomposition, we can compress each vector with minimized energy loss. We select the compressed vector dimension according to the predefined threshold which can limit the energy loss to design criteria. We verified the proposed vector compressed SVM (VCSVM) for conventional datasets. Experimental results show that VCSVM can reduce computational complexity and memory by more than 40% without reduction in accuracy when classifying a 20,958 dimension dataset.

• 전자공학회논문지B
• /
• 제29B권1호
• /
• pp.1-10
• /
• 1992

This study presents a complete octree construction algorithm for 2D depth images obtained from orthogonal face views, which can represent 3D objects exactly. In constructing quadtree, optimal quadtree construction algorithm is applied to depth images for efficient use of memory and reduction of tree construction time. In addition, pseudo-octrees are constructed by using our proposed method, which construct pseudo-octrees according to the resolution value given in each node of constructed quadtree and mapping relation between quadrants and octants. Finally, a complete octree, which represents a 3D object, is constructed by volume intersection with each constructed pseudo-octree. The representation accuracy of a complete octree constructed by our algorithm is investigated by using a 3D display method and a volume ratio method for a complete octree.

• 전자공학회논문지C
• /
• 제34C권12호
• /
• pp.28-36
• /
• 1997

In this paper, system application techniques of a low-voltage low-power CMOS comparator are proposed. The proposed techniques employ poly-layer lines instead of conventional dummy cells to improve the accuracy of comparators which are located in both ends of a comparator array. This technique is easily applicable for hihg-density systems such as memory. The proposed circuits are implemented using a 0.6 um signle-poly double-metal n-well CMOS technology and the dissipated power is 0.38 mW. at a 20MHz clock speed based on a 3V supply. The comparator offsets are measured separately and compared for system applications. Using the proposed techniues, the measured comparator offsets are reduced by 40% of a conventional case.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2002년도 봄 학술발표회 논문집
• /
• pp.3-11
• /
• 2002

A moment-curvature relationship to simulate the behavior of reinforced concrete (RC) columns under cyclic loading is introduced. Unlike previous moment-curvature models and the layered section approach, the unposed model takes into account the bond-slip effect by using a monotonic moment-curvature relationship constructed on the basis of the bond-slip relation and corresponding equilibrium equation at each nodal point. In addition, the use of curved unloading and reloading branches inferred from the stress-strain relation of steel gives more exact numerical result. The pinching enact caused by axial force is considered with an assumption that the absorbing energy corresponding to any deformation level maintains constant regardless of the magnitude of applied axial force. The advantages of the proposed model, comparing tn layered section approach, may be on the reduction in calculation time and memory space in case of its application to large structures.. Finally, correlation studies between analytical results and experimental studies are conducted to establish the validity of the proposed mood.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 D
• /
• pp.2561-2563
• /
• 2001

This research is about the remote control of the infra-ray signal producer and the received signal memory-type control unit. Also by using the infra-ray signal from the remote control, reduction of malfunctions due to infra-ray signal from other devices are presented. Applications on various electric and electronic items to improve the convenience are also shown.

• 한국자동차공학회논문집
• /
• 제8권2호
• /
• pp.138-150
• /
• 2000

This study is concerned with computerized multi-level substructuring methods and stress analysis of coil springs. The purpose of substructuring methods is to reduce computing time and capacity of computer memory by multiple level reduction of the degrees of freedom in large size problems which are modeled by three dimensional continuum finite elements. In this paper, a super element has been developed for stress analysis of coil springs. The spring super element developed has been examined with tension and torsion simulation of cylindrical bars for demonstrating its validity. The result shows that the super element enhances the computing efficiency while it does not affect the accuracy of the results and it is ready for application to the coil spring analysis.