• ETRI Journal
• /
• v.19 no.4
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• The Plant Pathology Journal
• /
• v.18 no.6
• /
• pp.308-312
• /
• 2002

Heteroduplex mobility assay (HMA) and single-strand conformation polymorphism (SSCP) analyses combined with PCR were developed for genetic differentiation of various phytoplasma isolates. In the HMA and SSCP analyses, differences in the mobility shifts and the SSCP band patterns identified three distinct types of phyto-plasmas: Type Ⅰ, jujube witches'-broom (JWB) and ligustrum witches'-broom (LiWB); Type Ⅱ, mulberry dwarf（MD) and sumac witches'-broom (SuWB); and Type Ⅲ, paulownia witches'-broom (PaWB). Results of the sequence analyses revealed that phytoplasmas of JWB and MD had 100％ homology with LiWB and SuWB, respectively. On the other hand, PaWB phyto-plasma had 97.8% homology with MD phytoplasma. The PCR-HMA and SSCP techniques were very useful in determining variations in sequence among several isolates of phytoplasmas. Furthermore, the methods were rapid, economical, highly sensitive, and easy to handle with the gels.

• Korean Journal of Environmental Biology
• /
• v.35 no.4
• /
• pp.521-525
• /
• 2017

A marine algal species belonging to Gigartinales was collected from Geoje, Korea. This shares the generic features of Ahnfeltiopsis, such as multiaxial thalli with a compact and pseudoparenchymatous medulla, densely cytoplasmic secondary medullary cells around immersed cystocarps with a carpostome, and is distinct from similar species within the genus by a combined feature of small (up to 4 cm tall) and tuft thalli, compressed to subcompressed branches except for ultimate branchlets and base of main axes, cartilaginous in texture, dichotomous branches, rarely produced proliferations, absence of hypha-like filament in the medulla and internal cystocarps with a carpostome. In phylogenetic tree based on rbcL sequence, the Korean species nests in the same clade with Ahnfeltiopsis linearis. The genetic distance between both sequences within the clade was 1.5%, considered to be within the intra-species range for the genus. This morphological and molecular evidence confirms the Korean alga to be identified as A. linearis originally described from California. This is the first record of A. linearis in Korea.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.4C
• /
• pp.269-275
• /
• 2005

In this paper, we propose a new efficient motion vector coding algorithm for the video sequence with slow motion. In the proposed algorithm, the amount of motion for a given video sequence is determined by a Skip_rate parameter. The motion difference for slow motion is encoded with a combined codeword which is generated from the conventional codewords. The simulation results show that the proposed algorithm achieves approximately $15\%$ bits gain compared to the conventional methods. Moreover, additional memory and calculations for statistical observation are not required in the proposed algorithm.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.25 no.4
• /
• pp.279-285
• /
• 2020

An open-end winding (OEW) permanent magnet synchronous motor with dual inverters can synthesize large voltages for a motor with the same DC link voltage. This ability has the advantage of reducing the use of DC/DC boost converters or high voltage batteries. However, zero-sequence voltage (ZSV), which is caused by the difference in the combined voltage between the primary and secondary inverters, can generate a zero-sequence current (ZSC) that increases system losses. Among the methods for eliminating this phenomenon, combining voltage vector eliminated ZSV cannot be accomplished by the conventional Pulse Width Modulation(PWM) method. In this study, a PWM carrier generation method using functionalization to generate a switching pattern to suppress ZSC is proposed and applied to analyze the control influence of the center-zero vector in the switching sequence about the current ripple.

• 한국생물공학회:학술대회논문집
• /
• 2005.10a
• /
• pp.243-246
• /
• 2005

A novel esterase showing high enantioselectivity to (S)-ketoprofen ethyl ester was selected from fosmid environmental DNA library which is provided by Microbial Genomic & Applications Center. As a result of Blast search, the gene wasn't registerated in Gene Bank yet. And as we know, conserved domain region of esterase , G-X-S-X-G, wasn't discovered.$^{4)}$ And it is similar to Beta-lactamase. The DNA sequence of cloned esterase include an open reading frame consisting of 1170 bp, designated as EST-Y29, encoding a protein of 389 amino acids with a molecular mass of about 42.8 kDa. And amino acid sequence analysis revealed only a few identity (28%) to tile known esterases/lipases in the databases containing the conserved sequence motifs of esterases/lipases. when being comparison to other esterase revealed , this enzyme seems to be classified as a new member of esterase family. EST-Y29 was functionally overexpressed in a soluble form in E. coli with maximum conversion yield of (S)-ketoprofen at $65^{\circ}C$. This study demonstrates that functional screening combined with the sequential uses of restriction enzymes to exclude already known enzymes is a useful approach for isolating novel enzyme from a metagenome.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 1996.06b
• /
• pp.72-76
• /
• 1996

We propose a novel algorithm for fractal video sequence coding, based on the circular prediction mapping (CPM), in which each range block is approximated by a domain block in the circularly previous frame. In our approach, the size of the domain block is set to be same as that of the range block for exploiting the high temporal correlation between the adjacent frames, while most other fractal coders use the domain block larger than the range block. Therefore the domain-range mapping in the CPM is similar to the block matching algorithm in the motion compensation techniques, and the advantages of this similarity are discussed. Also we show that the CPM can be combined with non-contractive inter-frame mapping (NCIM), improving the performance of the fractal sequence coder further. The computer simulation results on real image sequences demonstrate that the proposed algorithm provides very promising performance at low bit-rate, ranging from 40 Kbps to 250 Kbps.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.6
• /
• pp.1361-1369
• /
• 1996

Motion estimation is one of the key components for high quality video coding. In this paper, a new motion estimation scheme for MPEG-like video coder is suggested. The proposed temporally adaptive motion estimation scheme consists of five functional blocks: Temporal subband analysis (TSBA), extraction of temporal information, scene change detection (SCD), picture type replacement (PTR), and temporally adapted block matching algorithm (TABMA). Here all the functional components are based on the temporal subband analysis. In this papre, we applied the analysis part of subband decompostion to the temporal axis of moving picture sequence, newly defined the temporal activity distribution (TAD) and average TAD, and proposed the temporally adapted block matching algorithm, the scene change detection algorithm and picture type replacement algorithm which employed the results of the temporal subband analysis. A new block matching algorithm TABMA is capable of controlling the block matching area. According to the temporal activity distribution of objects, it allocates the search areas nonuniformly. The proposed SCD and PTR can prevent unavailable motion prediction for abrupt scene changes. Computer simulation results show that the proposed motion estimation scheme improve the quality of reconstructed sequence and reduces the number of block matching trials to 40% of the numbers of trials in conventional methods. The TSBA based scene change detection algorithm can detect the abruptly changed scenes in the intentionally combined sequence of this experiment without additional computations.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.41 no.9
• /
• pp.39-45
• /
• 2004

A design method is proposed for the sequence detection with fixed decision delay with less hardware complexity using the concept of the Voronoi diagram and its dual, the Delaunay tessellation. This detector design is based on the Fixed Delay Tree Search (FDTS) detection. The FDTS is a computationally efficient sequence detection algerian and has been shown to achieve near-optimal performance in the severe Intersymbol Interference (ISI) channels when combined with decision feedback equalization and the appropriate channel coding. In this approach, utilizing the information contained in the Voronoi diagram or equivalently the Delaunay tessellation, the relative location of the detector input sequence in the multi-dimensional Euclidean space is found without any computational redundancy, which leads to a reduced complexity implementation of the detector.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.8
• /
• pp.1656-1662
• /
• 2005

This paper introduces M-PPAM(M-ary Pulse Position and Amplitude Modulation) architecture, combined PPM(Pulse Position Modulation) with PAM(Pulse Amplitude Modulation). Since M-PPAM can transmit several bits using one pulse, it is mon effective than PPM or PAM. Also, to obtain the same data transmission rate with PPM or PAM, M-PPAM can use a long pulse repetition period. This method will be able to use in the multi-path fading environment such as indoor condition. To accomodate multiple users, direct sequence technique is used. This paper has provided the modeling method of the M-PPAM DS-UWB receiver covering multi-user interference(MUI) with the Standard Gaussian Approximation under Gaussian channel. The performance of the receiver is simulated.