• 전자공학회논문지C
• /
• 제35C권4호
• /
• pp.30-37
• /
• 1998

In this paper, we propose a test generation method for large scale sequential circuits based on circuit partitioning to increase the size of circuits that the implicit product machine traversal (IPMT) method can handle. Our method paratitions a circuit under test into subset circuits with only single output, and performs a partial scan design using the state transtition cost that represents a degree of the connectivity of the subset circuit. The IPMT method is applied to the partitioned partial scan circuits in test generation. Experimental results for ISCAS89 benchmark circuits with more thatn 50 flip-flops show that our method has generated test patterns with almost 100% fault coverage at high speed by use of 34%-73% scanned flip-flops.

• International Journal of Contents
• /
• 제14권1호
• /
• pp.34-38
• /
• 2018

With the rapid growth of genomic data, new requirements have emerged that are difficult to handle with big data storage and analysis techniques. Regardless of the size of an organization performing genomic data analysis, it is becoming increasingly difficult for an institution to build a computing environment for storing and analyzing genomic data. Recently, cloud computing has emerged as a computing environment that meets these new requirements. In this paper, we analyze and compare existing distributed and parallel NGS (Next Generation Sequencing) analysis based on cloud computing environment for future research.

• ETRI Journal
• /
• 제36권3호
• /
• pp.333-342
• /
• 2014

Most hyper-ellipsoidal clustering (HEC) approaches use the Mahalanobis distance as a distance metric. It has been proven that HEC, under this condition, cannot be realized since the cost function of partitional clustering is a constant. We demonstrate that HEC with a modified Gaussian kernel metric can be interpreted as a problem of finding condensed ellipsoidal clusters (with respect to the volumes and densities of the clusters) and propose a practical HEC algorithm that is able to efficiently handle clusters that are ellipsoidal in shape and that are of different size and density. We then try to refine the HEC algorithm by utilizing ellipsoids defined on the kernel feature space to deal with more complex-shaped clusters. The proposed methods lead to a significant improvement in the clustering results over K-means algorithm, fuzzy C-means algorithm, GMM-EM algorithm, and HEC algorithm based on minimum-volume ellipsoids using Mahalanobis distance.

• 한국전산유체공학회지
• /
• 제9권2호
• /
• pp.52-61
• /
• 2004

In the present study, a solution algorithm for the computation of unsteady flows on unstructured meshes is presented. Dual time stepping is incorporated to achieve the second-order temporal accuracy while reducing errors associated with linearization and factorization. This allows any time step size, which is suitable for considering physical phenomena of interest. The Gauss-Seidel scheme is used to solve the linear system of equations. A special treatment based on spring analogy is made to handle meshes with high aspect-ratio cells. The present method was validated by comparing the results with experimental data and those obtained from rigid motion.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 추계학술대회
• /
• pp.858-863
• /
• 2004

In the optimized design of an actual structure, the design variable should be selected among any certain values or corresponds to a discrete design variable that needs to handle the size of a pre-formatted part. Various algorithms have been developed for discrete design. As recently reported, the sequential algorithm with orthogonal arrays(SOA), which is a local minimum search algorithm in discrete space, has excellent local minimum search ability. It reduces the number of function evaluation using orthogonal arrays. However it only finds a local minimum and the final solution depends on the initial value. In this research, the genetic algorithm, which defines an initial population with the potential solution in a global space, is adopted in SOA. The new algorithm, sequential algorithm with orthogonal arrays and genetic algorithm(SOAGA), can find a global solution with the properties of genetic algorithm and the solution is found rapidly with the characteristics of SOA.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2002년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.66-69
• /
• 2002

This article outlines the capabilities of a viewer component called GridViewer, and proves its reusability. GridViewer was designed for the construction of the image display part of GIS or remote sensing application software, and consequently it is particularly straightforward to closely couple GridViewer with access to very large images. Displaying is performed through pyramid structure, which enables to treat very large dataset up to several gigabytes in size under the limited capability of PC. GridViewer is free from responsibility to handle various formats of raster data files by taking grid coverage, which is designed by OGC to promote interoperability between implementations done by data vendors and software vendors providing analysis and grid processing implementations. GridViewer differs from other such viewer by allowing for clients to extend its function and capability by using small set of methods originally implemented in it. We show its reusability and expandability by applying it in developing application programs performing various functions not supported originally by the GridViewer COM component.

• 기술사
• /
• 제19권2호
• /
• pp.34-42
• /
• 1986

These brief studies and reports of the use of exposed aggrigate precast concrete in practice are combined with a description of some notable co-ordination such as shop drawing, manufacturing and erection in the field construction. Above mentioned exposed aggrigate P. C. means architectural P. C. which was used to the VOTRAKON site in Riyadh, Saudi Arabia. Fabricated P. C. on the site without autoclaving and steam curing plant had been successfully carried out on this project-core building, conference room and others. The project designed by HOPE/VTN international INC. which is located in San Diego, California U.S.A. stands for vocational training and related support facilities contract. We had to submit shop drawings showing complete information for fabrication and installation of P. C. unit reinforcement. Also we should be indicated member dimension and cross section, location size and type of necessary for erection. We can delineate the following characteristic results. One of the most important things how to handle exposed aggrigate P.C. unit as specified was quality assurance and co-ordination for shop drawing, manufacturing and erection.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권11호
• /
• pp.1560-1567
• /
• 2004

모델 체킹에서 고려해야 할 상태의 수는 모델의 크기에 따라 지수적으로 증가한다. 이것을 상태 폭발 문제라고 부르며 이를 해결하기 위한 방법으로 추상화, 반순서, 대칭성 등이 폭 넓게 사용되고 있다. 이들 방법들은 모델의 구조 정보를 이용하여 모델의 크기를 축소하는 데 목표를 두고 있다. 이와는 달리, 본 논문에서는 논리식을 순서적으로 분할하여 차례대로 모델 체킹을 수행하는 릴레이 모델 체킹을 제안한다. 그리고 기존 모델 체킹 기법으로 해결하지 못했던 상태 폭발 문제를 릴레이 모델 체킹으로 해결한 경험을 기술한다.

• Journal of Mechanical Science and Technology
• /
• 제18권6호
• /
• pp.879-894
• /
• 2004

The image processing technique is simple and, in principle, can handle particles with various shapes since it is based on direct visualization. Moreover, a wide measurement area can be covered with appropriate optical arrangement. In the present paper, various techniques of image processing for sizing and counting particles are reviewed and recent developments are introduced. Two major subjects are discussed in detail: identification of particles (i.e., boundary detection and pattern recognition) and determination of in-focus criteria. Finally, an overall procedure for image processing of spray particles is suggested.

• 경영과학
• /
• 제29권1호
• /
• pp.131-141
• /
• 2012

The automated material handling systems today are playing ever more important roles in semiconductor/LCD fabrication facilities. Recently they became more flexible, intelligent, and speedy than in the past. The facilities have been fully automated because the size and weight of the unit loads used in the facilities were being increased beyond the limits that a human operator can handle. This research develops an efficient procedure to streamline the delivery of unit loads by the automated material handling system (AMHS). For this task, the research employs the event scheduling theory that has been successfully used in the both academia and industry. The developed procedure was applied to an actual LCD fabrication facility and improved the performance of an existing material handling system.