• Journal of Computing Science and Engineering
• /
• 제2권3호
• /
• pp.301-320
• /
• 2008

Partial redundancy elimination (PRE) is an interesting compiler optimization because of its effectiveness and generality. Among many PRE algorithms, the one in static single assignment form (SSAPRE) has benefits over other bit-vector-based PRE algorithms. It preserves the properties of the SSA form after PRE and exploits the sparsity of the SSA form, resulting in reduced analysis and optimization time. This paper presents a practical improvement of the SSAPRE algorithm that further reduces the analysis and optimization time. The underlying idea is removing unnecessary ${\Phi}$'s during the ${\Phi}$-Insertion phase that is the first step of SSAPRE. We classify the expressions into three categories: confined expressions, local expressions, and the others. We show that unnecessary ${\Phi}$'s for confined and local expressions can be easily detected and removed. We implement our locality-based SSAPRE algorithm in a C compiler and evaluate its effectiveness with 20 applications from SPEC benchmark suites. In our measurements, on average 91 of ${\Phi}$'s identified by the original demand-driven SSAPRE algorithm are unnecessary for PRE. Pruning these unnecessary ${\Phi}$'s in the ${\Phi}$-Insertion phase makes our locality-based SSAPRE algorithm 1.8 times faster, on average, than the original SSAPRE algorithm.

• 정보처리학회논문지A
• /
• 제8A권1호
• /
• pp.48-55
• /
• 2001

Using BDD, we can represent Boolean functions uniquely and compactly, Hence, BDD have become widely used for CAD applications, such as logic synthesis, formal verification, and etc. The size of the BDD representation for a function is very sensitive to the choice of orderings on the input variables. Therefore, it is very important to find a good variable ordering which minimize the size of the BDD. Since finding an optimal ordering is NP-complete, several heuristic algorithms have been proposed to find good variable orderings. In this paper, we propose a variable ordering algorithm based on the $\mu$O(microcanonical optimization). $\mu$O consists of two distinct procedures that are alternately applied : Initialization and Sampling. The initialization phase is to executes a fast local search, the sampling phase leaves the local optimum obtained in the previous initialization while remaining close to that area of search space. The proposed algorithm has been experimented on well known benchmark circuits and shows superior performance compared to a algorithm based on simulated annealing.

• 전자공학회논문지A
• /
• 제29A권3호
• /
• pp.1-7
• /
• 1992

This paper discusses the self-adaptive equalization technique which has adaptibility to channel characteristics varation without training sequence. The criterion function used in this paper is based on the concept of cumulant matching. This function can be applied to nonminimum phase channel, and we can verify the fact that if the constrained condition is satisfied. this criterion has no local optimum. As the adaption algorithm, the normalized gradient-searching technique is used. Simulations verify the performance of our method in case of 8PAM, 8PSK(CCITT V.27), 16QAM(CCITT V.29) sources and three type nonminimum phase channels.

• Journal of Electrical Engineering and Technology
• /
• 제7권4호
• /
• pp.570-575
• /
• 2012

In a wireless communication RF transmitter, the output of a quadrature modulator (QM) is distorted by not only the linear imperfection features such as in/quadrature-phase (I/Q) input gain imbalance, local phase imbalance, and local gain imbalance but also the nonlinear imperfection features such as direct current (DC) offset and mixer nonlinearity related to in-band spurious signal. In this paper, we propose the unified QM model to analyze the combined effects of the linear and nonlinear imperfection features on the performance of the QM. The unified QM model consists of two identical nonlinear systems and modified I/Q inputs based on the two-port nonlinear mixer model. The unified QM model shows that the output signals can be expressed by mixer circuit parameters such as intercept point and gain as well as the imperfection features. The proposed approach is validated by not only simulation but also measurement.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권12호
• /
• pp.1498-1506
• /
• 1999

In this paper, a hybridization of Evolutionary Strategy (ES) and a Two-Phase Neural Network(TPNN) is applied to the optimal environmental and economic operation. As the evolutionary computation, ES is to search for the global optimum based on natural selection and genetics but it shows a defect of reducing the convergence rate in the latter part of search, and often does not search the exact solution. Also, neural network theory as a local search technique can be used to search a more exact solution. But it also has the defect that a solution frequently sticks to the local region. So, new algorithm is presented as hybrid methods by combining merits of two methods. The hybrid algorithm has been tested on Emission Constrained Economic Dispatch (ECED) problem and Weighted Emission Economic Dispatch (WEED) problem for optimal environmental and economic operation. The result indicated that the hybrid approach can outperform the other computational efficiency and accuracy.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제21권2호
• /
• pp.63-73
• /
• 2017

Segmenting the image into multiple regions is at the core of image processing. Many segmentation formulations of an images with multiple regions have been suggested over the years. We consider segmentation algorithm based on the multi-phase level set method in this work. Proposed method gives the best result upon other methods found in the references. Moreover it can segment images with intensity inhomogeneity and have multiple junction. We extend our method (GLIF) in [T. Dultuya, and M. Kang, Segmentation with shape prior using global and local image fitting energy, J.KSIAM Vol.18, No.3, 225-244, 2014.] using a multiphase level set formulation to segment images with multiple regions and junction. We test our method on different images and compare the method to other existing methods.

• Nuclear Engineering and Technology
• /
• 제38권8호
• /
• pp.763-778
• /
• 2006

Injection of microbubbles within the turbulent boundary layer has been investigated for several years as a method to achieve drag reduction. However, the physical mechanism of this phenomenon is not yet fully understood. Experiments in a channel flow for single phase (water) and two phase (water and microbubbles) flows with various void fraction values are studied for a Reynolds number of 5128 based on the half height of the channel and bulk velocity. The state-of-the art Particle Tracking Velocimetry (PTV) measurement technique is used to measure the instantaneous full-field velocity components. Comparisons between turbulent statistical quantities with various values of local void fraction are presented to elucidate the influence of the microbubbles presence within the boundary layer. A decrease in the Reynolds stress distribution and turbulence production is obtained with the increase of microbubble concentration. The results obtained indicate a decorrelation of the streamwise and normal fluctuating velocities when microbubbles are injected within the boundary layer.

• Bulletin of the Korean Chemical Society
• /
• 제21권11호
• /
• pp.1071-1076
• /
• 2000

Temperature dependent data of 13C spin-lattice relaxation times and NOE factors for methylene carbons at 50.3MHz and 125.5 MHz have been used to probe the local chain dynamics of poly(butylene terephthalate) (PBT) in solution phase. The interpretation of the relaxation data for methylene chain carbons in PBT was attempted on the basis of several proposed motional models, among which the DLM model was found to be superior. Analysis based on the DLM model indicated that the motion of the $OCH_2groups$ was more restricted compared with the central methylene carbon, which is consistent with conclusions from solid state experiments reported by other investigators. Librational amplitudes of terminal and central carbon of PBT were estimated to be $29.84^{\circ}$ and $32.01^{\circ}respectively.

• 한국표면공학회지
• /
• 제50권3호
• /
• pp.141-146
• /
• 2017

We investigated configuration of metallic and insulating domains in $VO_2$ thin films, while spanning metal-insulator phase transition. Kelvin probe force microscopy, of which spatial resolution is less than 100 nm, enables us to measure local work function (WF) at the sample surface. The WF of $VO_2$ thin films decreased (increased) as increasing (decreasing) the sample temperature, during the phase transition. The higher and lower WF regions corresponded to the insulating and metallic domains, respectively. The metallic fraction, estimated from the WF maps, well explained the temperature-dependent resistivity based on the percolation model. The WF mapping also showed us how the structural defects affected the phase transition behaviors.

• 한국표면공학회지
• /
• 제17권2호
• /
• pp.29-40
• /
• 1984

The structure of rapidly solidified Al-Si-based alloys and its relationship to subsequent anodic film growth in near neutral and acid solutions have been investigated. Solidification of the alloys proceeds via pre-dendritic nuclei, associated with rugosity of the casting surface, from which cellular-type growth, comprised of aluminium-rich material surrounded by silicon-containing material, emanates. Observation of ultramicrotomed sections of the alloys and their anodic films reveals the local oxidation of the silicon-rich phase and its incorporation into the anodic alumina film, formed in near neutral solutions. Such incorporation occurs but resultant isolation of the silicon-rich phase is not possible for anodizing in phosphoric acid, and a three-dimensional network of the oxidized silicon-containing phase, with continuing development of porous anodic alumina, is observed.