Abstract: In the literature only a handful of studies have been performed on the distributed
deadlock problem in the generalized request model. Most of those algorithms use either the diffusing computation technique or have the initiator collect all the dependency information among processes. This paper proposes an algorithm which incorporates these two methods with the following properties: first, it removes the reduction phase of the diffusing computation; second, it encodes the dependency information to reduce message length, rather than transmitting it naively as is. The main advantage of the proposed algorithm is that deadlock detection time is reduced to almost half of that of the existing algorithms.
Abstract: This work investigates ultra-small size, high-performance, solenoid-type RF chip inductors for wireless communication system application. The materials (96wt% Al2O3) and shape (I-type) of the core, the diameter (40 µm) of the coil, and the length (0.35 mm) of solenoid were determined by a Maxwell three-dimensional (3D) field simulator to maximize the performance of the inductors. The dimensions of the RF chip inductors fabricated were 1.0 mm×0.5 mm×0.5 mm and copper (Cu) coils were used. The high-frequency characteristics of the inductance (L) and quality factor (Q) of the developed inductors were measured using a RF impedance/material analyzer (E4991A with an E16197A test fixture). The developed inductors with 6 coil turns exhibit an inductance of 11 to 11.3 nH, have a quality factor of 22.3 to 65.7 over the frequency ranges of 250 MHz to 1.7 GHz, and show results comparable to those measured for the inductors prepared recently by CoilcraftTm. The simulated data predicted the high-frequency data of the L and Q of the inductors developed well. It was suggested from the equivalent circuit model of the developed inductors that the developed inductors with 6 turns have a self-resonant frequency of 8 GHz.
Abstract: Markov Random Field (MRF) models have been successfully utilized in many digital image processing problems such as texture modeling and region labeling. Although MRF provides a well-defined statistical approach for the analysis of images, one disadvantage is the expensive computational cost for the processing and sampling of large images, since global features are assumed to be specified through local descriptions. In this study, a methodology is explored that reduces the
computational burden and increases the speed of image analysis for large images, especially airborne and space-based remotely sensed data. The Bayesian approach is suggested as a reasonable alternative method in parameter estimation of MRF models; the utilization of a multiresolution framework is also investigated, which provides convenient and efficient structures for the transition between local
and global features. The suggested approach is applied to the simulation of spatial pattern using MRF.
Abstract: In the era of global competition, international competitiveness depends greatly on the
prompt provision of overseas information. In the field of Science and Technology, it is very important to catch the research or technical trends of advanced countries as quickly as possible. KISTI has been providing an overseas S&T trend (tech-trend) information service since 1993. In 2002, about 16,000 tech-trend news items were selected and translated by more than 100 reporters who are domain experts residing both in Korea and abroad. This information is provided to end users via various types of services, such as push mail service, internet search service, directory service by subject, and through weekly magazines. In order to provide a satisfying service, it is important to maintain the quality of the information at a high level. For this purpose, we developed a quality management system that quickly and accurately evaluates the quality of the information. In this paper, we explain the gathering, evaluating, and distributing processes of the tech-trend information service, and also discuss the criteria that should be met for a quality management system.
The score of each reporter is used to control the quality of his/her articles. We give incentives to the
3 highest rankers, and penalties to the 3 lowest rankers. In addition, we adopted a ‘3 strikes-your-out’
strategy, in which a reporter who is ranked as one of three lowest, 3 times in a row, is dismissed.
Abstract: The efficient management of the agricultural reservoir may well supply stable water for irrigation. In this article, time series analysis has been used for analyzing the storage of water data in Kihung agricultural reservoir that is located in Yongin City, Korea. For analyzing the storage of water data, three models, the ARIMA model, the autoregressive error model, and the dynamic regression model have been used. The result shows that the autoregressive error model is best suited for describing the storage of water data.
Abstract: In this paper, we propose a new visual feature extraction method for content-based image retrieval (CBIR) based on wavelet transform which has both spatial-frequency and multi-resolution characteristics. We extract visual features for each frequency band in wavelet transformation and use them for CBIR. The lowest frequency band involves utilizing the spatial information of an original image. We extract 64 feature vectors using fuzzy homogeneity in the wavelet domain, which
considers both the wavelet coefficients and the spatial information of each coefficient. In addition, we extract 3 feature vectors using the energy values of high frequency bands, and store those to the image database. As a query, we retrieve the most similar image from the image database according to the 10 largest homograms (normalized fuzzy homogeneity vectors) and 3 energy values. Simulation results show that the proposed method has good accuracy in image retrieval using 90 texture images.
Abstract: The correlations between the anatomical shape of brain subsystems and brain diseases have been widely researched in order to diagnose and prevent the diseases. In order to study the anatomical and the metabolic correlations, a correct image registration between the anatomical image and the metabolic image is required. In this study, we present a multi-modality image registration based on surface distance and curvature information. The proposed scheme enhances the stability and accuracy of registration results. In the first step, we extract the surface voxels and object-centered coordinate systems from reference and test volume data sets, respectively. In order to guarantee a stable registration result that is independent of the initial position or direction of the test object, two object-centered coordinate
systems are overlapped before the fine registration process. In the fine registration step, we minimize the cost function to be defined by the surface distance and surface curvature difference between reference and test objects. The proposed cost function enhanced registration accuracy, which was verified through the registration error ratio and 2D/3D visual inspection of the registration results. Furthermore, we suggest a reconstruction of a hybrid hippocampus model that includes anatomical and functional information using a multi-modality image registration result.
Abstract: In this paper, we give examples of three models created for use in teaching university mathematics courses. We estimate the area of a figure by probabilistic simulation and illustrate various examples of parametric cycloids.
Abstract: This paper considers the problem of determining the optimal number of redundant units in redundant systems with random unit failures and warranty. Parallel and k out of n systems are considered. The optimal number of redundant units which minimize the expected cost rate is found and the number is shown to be finite and unique. For given inspection interval before expiration of warranty, the optimal number of redundant units is also obtained. The effects of inspection and the warranty to the optimal number of redundant units are studied.