• The Korean Journal of Ecology
• /
• v.14 no.2
• /
• pp.195-210
• /
• 1991

The primary succession of the pebble area in gye-bang chon, an upper stream bank of north han river, was investigated by belt transect method from July to October 1990. The stsges of bare area, herbaceous pioneer, perenial herb, woody plants and pine stand were recognized from stream bank to inland. The change of the coverage in herbaceous plants increased with developing sueccessional sere but decreaser with increment of woody plants. The species sequence cyrves vs. relative coverage were geometric in pioneer stage and graduaiiy changed to lognormal y\type as the development of forest. The species diversity was highest during then woody plants stage, probably it would to be the edge effect. The soil properties were not noticeable difference between stream side and inland side. It seems that the vegetational developement was not enough to affect soil accumulation.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.8
• /
• pp.786-793
• /
• 2010

This paper proposes a new method called the path-history coverage to generate a test suite to test the state transition behavior of the robot SW component. The proposed method generate a test suite which includes abnormal state transitions based on FSM of target component. Especially the proposed method covers the disadvantage of the mutation test method that the size of the test suite is explosively increasing. Examples including OPRoS Component[1] show the validity of the proposed method.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.29A no.8
• /
• pp.99-109
• /
• 1992

First, the coupling faults of semiconductor memory are classified in detail. The chained coupling fault is introduced and defined, which results from sequential influencing of the coupling effects among memory cells, and its mapping relation is described. The linked coupling fault and its order are defined. Second, the deterministic “Algorithm GA” is proposed, which detects stuack-at faults, transition faults, address decoder faults, unlinked 2-coupling faults, and unlinked chained coupling faults. The time complexity and the fault coverage are improved in this algorithm. Third, it is proved that the march test of an address sequence can detect 97.796% of the linked 2-coupling faults with order 2. The deterministic “Algorithm NA” proposed can detect to the limit. The time complexity and the fault coverage are improved in this algorithm.

• Journal of KIISE:Information Networking
• /
• v.28 no.3
• /
• pp.355-368
• /
• 2001

Protocol conformance test is used to promote interoperability of protocol implementatons developed by venders. Non-interopcrability between protocol implementations may be caused by ambiguity and/or misintellJretation of the protocol specifications by vendors. Conventional method on protocol conformance test has been standardized by IS0;IEC JTCI with the purpose of whether a protocol implementation conforms to its specification. However, sometimes the conventional method gives wrong test results because the test is based on static test sequences. This problem is caused by the fact as some failed transitions of a protocol FSM included in test sequences have an effect on the test result of transitions to be tested. In this paper, a new approach called Dynamic Conformance Test Method (DCTM) is proposed to solve this problem. DCTM dynamically selects test sequence durng testing depending on an information showing an alternative path without failed tranistions. As a result, the fault coverage of the DCTM is better than that of the conventional test method. In order to demonstrate the fault coverage of DCTM compared to that of the conventional method. a testing tool is implemented and appied to the TCP protocol.

• ETRI Journal
• /
• v.29 no.1
• /
• pp.1-7
• /
• 2007

In this paper, we analyze the performance of double-dwell hybrid initial acquisition in a direct sequence ultra-wideband (DS-UWB) system via detection, miss, false alarm probabilities, and mean acquisition time. In the analysis, we consider the effect of the acquisition sequence as well as the deployment scenario of the abundant multipath components over small coverage of the piconet in the DS-UWB system. Based on the simulation, we obtain various performance measures for the mean acquisition time by varying parameters such as the total number of hypotheses to be searched, subgroup size, and dwell time. We thereupon suggest the optimum parameter set for the initial acquisition in the DS-UWB system.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.11
• /
• pp.1539-1548
• /
• 2016

Beamforming technique at the ground station is known to be effective in obtaining coverage extension or SNR gain for communication with unmanned aerial vehicle (UAV). When a UAV moves, periodic beam tracking is necessary to maintain beam gain. In order to track beams for multiple UAVs, the ground station needs to receive different preamble sequences from multiple UAVs. In this paper, a preamble sequence design technique is proposed for beam tracking in a GMSK-based communication system with multiple UAVs. Hadamard sequence is considered for the design of preamble sequence due to its ideal cross-correlation property. A preamble sequence appropriate for a GMSK communication system with multiple UAVs is proposed after analyzing the properties of received signal in a GMSK system with the input of Hadamard sequence.

• Korean Journal of Cognitive Science
• /
• v.12 no.1_2
• /
• pp.11-24
• /
• 2001

The interpretation of noun sequence is to find semantic relation between the nouns in noun sequence. To interpret noun sequence, semantic knowledge about words and relation between words is required. In this thesis, we propose a method to interpret a semantic relation between nouns in noun sequence. We extract semantic information from an machine readable dictionary (MRD) and corpus using regular expressions. Based on the extracted information, semantic relation of noun sequence is interpreted. And. we use verb subcategorization information together with the semantic information from an MRD and corpus. Previous researches use semantic knowledge extracted only from an MRD but our method uses an MRD. corpus. and subcategorizaton information to interpret noun sequences. Experimental result shows that our method improves the accuracy rate by +40.30% and the coverage rate by + 12.73% better than previous researches.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1821-1841
• /
• 1997

This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.

• Genomics & Informatics
• /
• v.7 no.3
• /
• pp.159-162
• /
• 2009

Human personal genome sequencing can be done with high efficiency by aligning a huge number of short reads derived from various next generation sequencing (NGS) technologies to the reference genome sequence. One of the major obstacles is the incompleteness of human reference genome. We tried to analyze the effect of hidden gene duplication on the NGS data using the known example of hydin gene. Hydin2, a duplicated copy of hydin on chromosome 16q22, has been recently found to be localized to chromosome 1q21, and is not included in the current version of standard human genome reference. We found that all of eight personal genome data published so far do not contain hydin2, and there is large number of nsSNPs in hydin. The heterozygosity of those nsSNPs was significantly higher than expected. The sequence coverage depth in hydin gene was about two fold of average depth. We believe that these unique finding of hydin can be used as useful indicators to discover new hidden multiplication in human genome.

• Korean Journal of Veterinary Service
• /
• v.39 no.1
• /
• pp.41-49
• /
• 2016

In the present study, fast and robust methods for the next generation sequencing (NGS) were developed for analysis of PRRSV full genome sequences, which is a positive sensed RNA virus with a high degree of genetic variability among isolates. Two strains of PRRSVs (VR2332 and VR2332-R) which have been maintained in our laboratory were used to validate our methods and to compare with the sequence registered in GenBank (GenBank accession no. EF536003). The results suggested that both of strains had 100% coverage with the reference; the VR2332 had the coverage depth from minimum 3 to maximum 23,012, for the VR2332-R from minimum 3 to maximum 41,348, and 22,712 as an average depth. Genomic data produced from the massive sequencing capacities of the NGS have enabled the study of PRRSV at an unprecedented rate and details. Unlike conventional sequence methods which require the knowledge of conserved regions, the NGS allows de novo assembly of the full viral genomes. Therefore, our results suggested that these methods using the NGS massively facilitate the generation of more full genome PRRSV sequences locally as well as nationally in regard of saving time and cost.