• Journal of IKEEE
• /
• v.18 no.3
• /
• pp.305-312
• /
• 2014

IIt takes a lot of time and needs the workloads to verify the RTL code used in complex system like a nuclear control system which is required high level reliability using simple testbench. UVM has a layered testbench architecture and it is easy to modify the testbench to improve the code coverage. A test vector can be easily constructed in the UVM, since a constrained random test vector can be used even though the construction of testbench using UVM. We showed that the UVM testbench is easier than the verilog testbench for the analysis and improvement of code coverage.

• Journal of Electrical Engineering and Technology
• /
• v.10 no.1
• /
• pp.251-260
• /
• 2015

The main purpose of this paper is to describe a DTC (direct torque control) method for four-switch brushless dc motor (BLDCM) drive. In the method, a novel voltage space vector modulation scheme, an optimal switching table, and a flux observation method are proposed. Eight voltage vectors are summarized, which are selected to control BLDCM in SVPWM pattern, and an optimal switching table is proposed to improve the torque distortion caused by midpoint current of the split capacitors. Unlike conventional flux observers, this observer does not require speed adaptation and is not susceptible to speed estimation errors, especially, at low speed. Global asymptotic stability of the flux observer is guaranteed by the Lyapunov stability analysis. DC-offset effects are mitigated by introducing a PI component in the observer gains. This method alleviates the undesired current and torque distortion which is caused by uncontrollable phase. The correctness and feasibility of the method are proved by simulation and experimental results.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.4
• /
• pp.853-867
• /
• 2013

In this paper we study the cardinality of the dot product set generated by two subsets of vector spaces over finite fields. We notice that the results on the dot product problems for one set can be simply extended to two sets. Let E and F be subsets of the d-dimensional vector space $\mathbb{F}^d_q$ over a finite field $\mathbb{F}_q$ with q elements. As a new result, we prove that if E and F are subsets of the paraboloid and ${\mid}E{\parallel}F{\mid}{\geq}Cq^d$ for some large C > 1, then ${\mid}{\Pi}(E,F){\mid}{\geq}cq$ for some 0 < c < 1. In particular, we find a connection between the size of the dot product set and the number of lines through both the origin and a nonzero point in the given set E. As an application of this observation, we obtain more sharpened results on the generalized dot product set problems. The discrete Fourier analysis and geometrical observation play a crucial role in proving our results.

• Journal of the Korean Data and Information Science Society
• /
• v.24 no.5
• /
• pp.989-998
• /
• 2013

We cannot analyze big data, which attracts recent attentions in industry and academy, by batch processing algorithms developed in data mining because big data, by definition, cannot be uploaded and processed in the memory of a single system. So an imminent issue is to develop various leaning algorithms so that they can be applied to big data. In this paper, we review various algorithms for support vector machines in the literature. Particularly, we introduce online type and parallel processing algorithms that are expected to be useful in big data classifications and compare the strengths, the weaknesses and the performances of those algorithms through simulations for linear classification.

• Journal of Biomedical Engineering Research
• /
• v.33 no.1
• /
• pp.1-7
• /
• 2012

Hemorrhagic shock is a common cause of death in emergency rooms. Early diagnosis of hemorrhagic shock makes it possible for physicians to treat patients successfully. Therefore, the purpose of this study was to select an optimal survival prediction model using physiological parameters for the two analyzed periods: two and five minutes before and after the bleeding end. We obtained heart rates, mean arterial pressures, respiration rates and temperatures from 45 rats. These physiological parameters were used for the training and testing data sets of survival prediction models using an artificial neural network (ANN) and support vector machine (SVM). We applied a 5-fold cross validation method to avoid over-fitting and to select the optimal survival prediction model. In conclusion, SVM model showed slightly better accuracy than ANN model for survival prediction during the entire analysis period.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.6
• /
• pp.1279-1284
• /
• 2012

This study is about the change of coastline through using ASTER images. ASTER image is a sensor loaded in earth resources satellite shoot in Japan on Dec. 1999. It has 15m, 30m, 90m coastline, three sensors of VNIR, TIR and WIR, therefore it's possible to obtain more information on the Earth than the existing satellite images cause it contains various a wavelength range in spite of relatively economic image. The coastline is changed according to topography shape because it's strongly localized. Besides, it's one of the most important factors in MGIS(Marine Geographic Information System). Therefore, this study is accomplished by analysing variation after abstraction the coastline automatically by Vector Line from ASTER satellite images. The study result will be used as an important basic data when analysis the change of e coastline hereafter.

• Journal of Electrical Engineering and Technology
• /
• v.10 no.6
• /
• pp.2326-2333
• /
• 2015

Stator turn faults in permanent magnet synchronous motors (PMSMs) are more dangerous than those in induction motors (IMs) because of the presence of spinning rotor magnets that can be turned off at will. Condition monitoring and fault detection and diagnosis of the PMSM have been receiving a growing amount of attention among scientists and engineers in the past few years. The aim of this study is to propose a new detection technique of stator winding faults in a three-phase PMSM. This technique is based on the image analysis and recognition of the stator current Concordia patterns, and will allow the identification of turn faults in the stator winding as well as its correspondent fault index severity. A test bench of a vector controlled PMSM motor behaviors under short circuited turn in two phases stator windings has been built. Some experimental results of the phase to phase short circuits have been performed for diagnosis purpose.

• Journal of Advanced Marine Engineering and Technology
• /
• v.39 no.2
• /
• pp.172-178
• /
• 2015

Constructing a bilingual multi-word lexicon is confronted with many difficulties such as an absence of a commonly accepted gold-standard dataset. Besides, in fact, there is no everybody's definition of what a multi-word unit is. In considering these problems, this paper evaluates and analyzes the context vector approach which is one of a novel alignment method of constructing bilingual lexicons from parallel corpora, by comparing with one of general methods. The approach builds context vectors for both source and target single-word units from two parallel corpora. To adapt the approach to multi-word units, we identify all multi-word candidates (namely noun phrases in this work) first, and then concatenate them into single-word units. As a result, therefore, we can use the context vector approach to satisfy our need for multi-word units. In our experimental results, the context vector approach has shown stronger performance over the other approach. The contribution of the paper is analyzing the various types of errors for the experimental results. For the future works, we will study the similarity measure that not only covers a multi-word unit itself but also covers its constituents.

• Journal of Microbiology and Biotechnology
• /
• v.2 no.4
• /
• pp.237-242
• /
• 1992

In order to clone the gene coding for alkaline phosphatase in the yeast Kluyveromyces fragilis, a genomic library was constructed using the yeast-E. coli shuttle vector pHN114 as a cloning vector. From the genomic library, a clone carrying the gene was isolated and the plasmid was designated as pSKH101. A restriction enzyme map was made using this plasmid. Subcloning experiments and complementation studies showed that alkaline phosphatase was active only in the original 3.1 kb insert. Southern hybridization analysis confirmed that the cloned DNA fragment was derived from K. fragilis genomic DNA. Using a minicell experiment, the product of the cloned gene was identified as a protein with a molecular weight of 63 KDa. A 0.6 kb HindIII fragment, which showed promoter activity, was isolated using the E. coli promoter-probe vector pKO-1.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.11a
• /
• pp.283-291
• /
• 2011

A computational investigation has been carried out to study the heat transfer characteristics of jet vane assembly used for the thrust vector control(TVC) of a vertical launch motor. In this study, the coefficients of convective heat transfer on the jet vane are calculated using the solutions of thermal boundary-layer equation and several semi-empirical equations. The calculation of 3-dimensional temperature distribution for the jet vane assembly was performed using the softwares called PATRAN and ABAQUS. The accuracy of the present numerical method is verified by comparing with the measured and calculated temperatures within jet vane shaft. The temporal variation of jet vane temperatures for three deflection angles(0o, 12.5o, 25o) was discussed.