The main purpose of the Boolean equivalence problem is to verify that two Boolean expressions have the same functionality. Simulation has been extensively used as the standard method for the equivalence problem. Obviously, the number of tests required to perform a satisfactory coverage grows exponentially with the number of input variables. However, formal methods as opposed to simulation are getting more attention from the community. We propose a new algorithm called the Cover-Merge Algorithm based on a derivational method using the concept of cover and merge for the equivalence problem and investigate its theoretical aspects. Because of the difficulty of the problem, we emphasize simplification techniques in order to reduce the search space or problem size. Heuristics based on types of merges are developed to speed up the derivation process by allowing simplifications. In comparison with widely used technique called Binary Decision Diagram or BDD, the algorithm proposed outperforms BDD in nearly all cases of input including standard benchmark problems.

This paper describes the design of a multistandard video encoder. The proposed encoder accepts conventional NTSC/PAL video signals, It also processes he PAL-plus video signal which is now popular in Europe. The encoder consists of five major building functions which are letter-box converter, color space converter, digital filters, color modulator and timing generator. In order to support multistandard video signals, a programmable systolic architecture is adopted in designing various digital filters. Interpolation digital filters are also used to enhance signal-to-noise ratio of encoded video signals. The input to the encoder can be either YCbCr signal or RGB signal. The outputs re luminance(Y), chrominance(C), and composite video baseband(Y+C) signals. The architecture of the encoder is defined by using Matlab program and is modelled by using Veriflog-HDL language. The overall operation is verified by using various video signals, such as color bar patterns, ramp signals, and so on. The encoder contains 42K gates and is implemented by using 0.6um CMOS process.

Interconnect characterization on a wafer level was performed. Test patterns for single, two-coupled, and triple-coupled lines ere designed by using 0.5$\mu\textrm{m}$ CMOS process. Then interconnect capacitances and resistances were experimentally extracted by using tow port network measurements, Particularly to eliminate parasitic effects, the Y-parameter de-embedding was performed with specially designed de-embedding patterns. Also, for the purpose of comparisons, capacitance matrices were calculated by using the existing CAD model and field-solver-based commercial simulator, METAL and MEDICI. This work experimentally verifies that existing CAD models or parameter extraction may have large deviation from real values. The signal transient simulation with the experimental data and other methodologies such as field-solver-based simulation and existing model was performed. as expected, the significantly affect on the signal delay and crosstalk. The signal delay due to interconnects dominates the sub-micron-based a gate delay (e.g., inverter). Particularly, coupling capacitance deviation is so large (about more than 45% in the worst case) that signal integrity cannot e guaranteed with the existing methodologies. The characterization methodologies of this paper can be very usefully employed for the signal integrity verification or he electrical design rule establishments of IC interconnects in the industry.

This paper presents an H\ulcorner controller design method for linear time-invariant systems with delayed state and control. Using the second method of Lyapunov, the stability for delayed systems is discussed. For delayed systems, we derive a sufficient condition of the bounded real lemma(BRL) which is similar to GBRL for nondelayed systems. And the sufficent conditions for the existence of an H\ulcorner controller of any order are given in terms of three linear matrix inequalities(LMIs). Further, we briefly explain how to construct such controllers from the positive definite solutions of their LMIs and gie a simple example to illustrate the validity of the proposed design procedure.

In this paper we proposed a new traffic load shedding scheme which maximizes the throughput of traffic control by decreasing the load of the hot-spot cell using minimum load cell selection (MLCS) algorithm and deployed control flow of calls to define characteristic for hadoff region. we compared the performance of the random shedding approach with that of the proposed algorithm. The results of simulation show that MLCS algorithm minimizes the cal blocking rate under a high-density traffic compared to the random shedding scheme.

This paper presents the results of studies made for measuring the relative complex permittivity of PCB sheet material in he frequency a range of 100MHz∼1GHz using vector network analyzer. A measurement cell was developed for this purpose using broad-band impedance method and the dielectric constant and loss tangent of two PCBV sheet materials, glass-epoxy and teflon, were measured. The effect of copper cladding was studied.

This paper present an advanced fault diagnosis expert system to assist the operators at local control center. The system utilizes all th information available in a local control center for the better diagnostic performance. The major feature of the system is dealing with multiple faults diagnosis based on the certainty factor method for the reasoning process. the overall performance and the generality are also enhanced by utilizing the general topological knowledge. ASCADA simulator is also developed for he test and demonstration.

This paper presets a methodology of improving a conventional model in power systems using Genetic Algorithms(GAs) and suggests a GAs-based model which can directly solve the real-valued optimum in an optimization procedure. In applying GAs to the power flow, a new fitness mapping method is proposed using the proposed using the probability distribution function for all the payoffs in the population pool. In this approach, both the notions on a way of the genetic representation, and a realization of the genetic operators are fully discussed to evaluate he GAs' effectiveness. The proposed method is applied to IEEE 5-bus, 14-bus and 25-bus systems and, the results of computational experiments suggest a direct applicability of GAs to more complicated power system problems even if they contain nonlinear algebraic equations.

The design process and construction method of a strip line is described for measuring radiated susceptibility of vehicular components having electrical cables more than 2 min length. he characteristic impedance of the trip line was determined 90$\Omega$ to obtain the field uniformity of $\leq$${\pm}$3 dB in the frequency range from 100 kHz to 500 MHz. Tapered coaxial lines were used instead of the traditional lumped circuit element for the impedence matching units, therefore, the strip line has high power capability. Using these techniques, the field uniformity and power capability of a strip line could be considerably improved.

We present heterojunction solar cells with a structure of metal/a-Si:H(n-i-p)/poly-Si(n-p)/metal for the terrestrial applications. This cell consists fo two component cells: a top n-i-p junction a-Si:Hi cell with wide-bandgap 1.8eV and a bottom n-p junction poly-Si cell with narrow-bandgap 1.1eV. The efficiency influencing factors of the solar cell were investigated in terms of simulation an experiment. Three main topics of the investigated study were the bottom cell with n-p junction poly-Si, the top a-Si:H cell with n-i-p junction, and the interface layer effects of heterojunction cell. The efficiency of bottom cell was improved with a pretreatment temperature of 900$^{\circ}C$, surface polishing, emitter thickness of 0.43$\mu\textrm{m}$, top Yb metal, and grid finger shading of 7% coverage. The process optimized cell showed a conversion efficiency about 16%. Top cell was grown by suing a photo-CVD system which gave an ion damage free and good p/i-a-Si:H layer interface. The heterojunction interface effect was examined with three different surface states; a chemical passivation, thermal oxide passivation, and Yb metal. the oxide passivated cell exhibited the higher photocurrent generation and better spectral response.

This paper presents a fuzzy relaxation algorithm, which is based on the possibility and FAM instead of he probability and compatibility coefficients used in most of existing probabilistic relaxation algorithms, Because of eliminating stages for estimating of compatibility coefficients and normalization of the probability estimates, the proposed fuzzy relaxation algorithms increases the parallelism and has a simple iteration scheme. The construction of fuzzy relaxation scheme consists of the following three tasks: (1) definition of in/output linguistic variables, their term sets, and possibility. (2) Definition of FAM rule bases for relaxation using fuzzy compound relations. (3) Construction of the iteration scheme for calculating the new possibility estimate. Applications to region segmentation an ege detectiojn algorithms show that he proposed method can be used for not only reducing the image ambiguity and segmentation errors, but also enhancing the raw edge iteratively.

This paper introduces a new energy function, as maximum a posteriori(MAP) estimate of binocular disparity, that can deal with both random dot stereo-gram(RDS) and natural scenes. The energy function uses phase-magnitude as features to detect only the shift for a pair of corrupted conjugate images. Also we adopted Fleet singularity that effectively detects unstable areas of image plant and thus eliminates in advance error-prone stereo mathcing. The multi-scale concept is applied to the multi laser architecture that can search the solutions systematically from coarse to fine details and thereby avoids drastically the local minima. Using mean field approximation, we obtained a compact representation that is suitable for fast computation. In this manner, the energy function satisfies major natural constraints and requirements for implementing parallel relaxation. As an experiment, the proposed algorithm is applied to RDS and natural stereo images. As a result we will see that it reveals good performance in terms of recognition errors, parallel implementation, and noise characteristics.

The application for real-time database systems must satisfy timing constraints. Typically the timing constraints are expressed in the form of deadlines which are represented by priorities to e used by schedulers. In any real-time applications, since the system maintains sensitive information to be shared by multiple users with different levels of security clearance, security is another important requirement. As more advanced database systems are being used in applications that need to support timeliness while managing sensitive information, protocols that satisfy both requirements need to be developed. In this appear, we proposed a new priority-driven secure multiversion locking (PSMVL) protocol for real-time secure database systems. The schedules produced by PSMVL are proven to e one-copy serializable. We have also shown tat the protocol eliminates covert channels and priority inversions. The details of the protocol, including the compatibility matrix and the version selection algorithms are presented. the results of the performance comparisons of our protocol with other protocols are described.

W have developed the simplified formalism of PSBM in order to save calculation time and to increase the accuracy. Using this new formalism of PBM, we have evaluated the loss of the three kinds of waveguide; bent, Y-branch, and cascaded Y-branches. It takes nearly half of the conventional PBM calculation time, even in spite of increasing of he calculation accuracy. This simplified formalism of PBM would be used efficiently in analysis of complicated three dimensional dielectric optical waveguide.

In this paper, the optimum condition of (110) Si etching with the potassium hydroxide(KOH) etchant is presented. Although several researches on (110) Si anisotropic etching have been studied, there has been lack of effects of mask quality and etching conditions on the selectivity and the roughness o the etched surface. Three kinds of masks (film, emulsion and E-beam mask) were used in order to verify the effect of etching properties. Anisotropic bulk etching depends on the crystalline orientation and the concentration and temperature of the etchant. In order to investigate the effect of etching conditions on selectivity and the roughness of the etched surface, the concentration of the etchant was varied from 35 to 45 per cent in weight with increments by 5 per cent and the temperature was changed from 70 to 90$^{\circ}C$ with increments by 10$^{\circ}C$. The combination of the temperature of 70$^{\circ}C$ and the concentration of 40wt.% was found to be the optimum etching condition for high selectivity. Etched surfaces show minimum surfaces show minimum surface roughness at a temperature of 80$^{\circ}C$ and a concentation of 40wt.%. Comb structures with various comb widths were fabricated and the lengths of the combs wree measured with several etching time durations. A micro comb structure 525$\mu\textrm{m}$ high was fabricated for MEMS application.

A design method is newly presented for the creation of planar type filters which shapes will be nonuniform transmission line with continuously varying characteristic impedances. Those filters yield frequency characteristics of the bandstop filter in transmission, and have not nay discontinuities. The design is achieved by the control of wave propagation in view to both reflection an transmission properties on the dispersive nonuniform line within the desired frequency band. The developed algorithm is based on optimized perturbations of inherent nulls of lobes from the solution of first-order nonlinear differential equation for reflection coefficients of the nonuniform line, and an appropriate distribution of reflection coefficient which affects to filter length and bandwidth. Practical measurements for designed wideband microstrip and stop filter show very good agreement with theoretical results.

This paper proposes a class of rearrangeable networks, called generalized rearrangeable networks(GRNs). GRNs are obtained from the Benes network by rearranging the connections between states and the switches within each stage. The GRNs constitute all of the rearrangeable networks which have the recursive decomposition structure and can be routed by the outside-in decomposition of permutations as the Bene network. This paper also presents a necessary condition for a network to be a GRN and a network labeling scheme to check if a network satisfies the condition. the general routing algorithm for the GRNs is given by modifying slightly the looping algorithm of the Benes network.

A circuit model for a field emission triode has been proposed. The model parameters have been extracted from he fabricated silicon tip array and verified by comparing with the results simulated by circuit simulator(SPICE). The cut-off frequency can be calculated from the parametric capacitance and the transconductance values extracted from measurements. For the field emission triode, the capacitance of 3.45fF/tip and the transconductance of 0.94nS/tip have been measured under the emission current of 4.1nA/tip. From these values, the cut-off frequency is predicted to be 43 kHz but th measured one came out to be 6 kHz. because o the parasitic capacitance components.