• The Plant Pathology Journal
• /
• v.19 no.3
• /
• pp.166-170
• /
• 2003

Ninety samples showing mosaic symptoms on soybean (Glycine max) cv. Sukryangputkong were collected from the Cheongsongkun area, Kyungbuk province in Korea. Initially, DAS-ELISA was conducted far detection of Soybean mosaic virus (SMV). Negative samples were chosen at random and mechanically inoculated on soybean cv. Buffalo, which reported not to produce mosaic symptoms when mechanically inoculated with SMV. An isolate of SMV, designated as B-1, from Buffalo showing mosaic and mottle symptoms was used for identification and biological characterization of the causal vim. The purified B-1 isolate had spherical particles of approximately 24nm. It positively reacted with the antiserum against Cowpea mosaic virus (CPMV) but not with Cucumber mosaic virus (CMV) and SMV antisera. CPMV was newly isolated from soybean and had been characterized by host range and by serological and electron microscopic methods. Results of this study suggest that CPMV is the possible cause of mosaic disease in vegetable soybean and that based on sympto-matology, a difference between the typical mosaic and rugose symptoms caused by SMV and CPMV was observed. This is first report of CPMV from soybean in Korea.

• Research in Plant Disease
• /
• v.19 no.2
• /
• pp.114-117
• /
• 2013

To facilitate their spread, plant viruses have developed several methods for dispersal including insect and seed transmission. While insect transmission requires virus stability against insect digestion, seed-transmitted viruses have to overcome barriers to entry into embryos. Bean pod mottle virus (BPMV) is transmitted through seed at levels typically below 0.1%, but co-infection with Soybean mosaic virus (SMV) enhanced the seed transmission rate of BPMV in one experiment. In contrast, the rate of SMV seed transmission was not affected by BPMV co-infection. In a second preliminary study, the rate of SMV transmission was lower in an isoline of Williams 82 that contained a null mutation for the Kunitz trypsin inhibitor gene than in Williams 82. In this preliminary study, we observed that factors such as protease inhibitor expression and dual infection may affect the frequency of seed transmission of BPMV and SMV.

• The Journal of the Acoustical Society of Korea
• /
• v.27 no.8
• /
• pp.427-434
• /
• 2008

In this paper, a transcoding algorithm for SMV and AMR speech coder is proposed. In the application requiring the interoperability of different networks, two speech coders must work together with the structure of cascaded connection, tandem. The tandem which is one of the simplest methods has several problems such as long delay, high complexity and the quality degradation due to twice complete encoding/decoding process. These problems can be solved by using transcoding algorithm. The proposed algorithm consists of LSP (Line Spectral Pair) conversion, pitch delay conversion, and fast fixed codebook search. The evaluation results show that the proposed algorithm achieves equivalent speech quality to that of tandem with reduced computational complexity and delay.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• pp.939-942
• /
• 2003

Design verification problem is emerging as an important issue to detect any design errors at the early stage of the design. Conventionally, design verifications have been done using a simulation technique. However, this technique has been proved not to cover all potential design errors. Therefore, formal technique is often used to verify digital circuits as an alternative. In this paper we adopted formal verification technique and verified some important properties derived from our pipelined digital systems, using SMV (Symbolic Model Verifier). Our example shows that model checking method (one of formal verification techniques) can be effectively performed in verifying the large digital systems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.358-360
• /
• 2003

모델검사는 시스템과 그 시스템이 만족해야할 속성을 입력받아서 시스템이 속성을 만족하는지를 자동으로 보여주는 기술이다. 시스템이 속성을 만족한다면 참을, 만족하지 않는다면 왜 만족하지 않는지에 대한 반례를 보여준다. 모델검사에서 반례는 시스템의 오류를 발견하는데 중요하게 사용된다. 또한 모델검사를 이용해서 게임시스템을 모델링하고 반례를 이용해서 게임에 대한 풀이를 알 수 있게 되었다. 하지만 이런 반례가 최적의 풀이인지는 알 수 없었다. 이 논문은 모델검사에서 나온 게임 풀이가 최단 풀이 경로인지를 살펴본다. 그리고 최단 풀이경로를 출력하도록 NuSMV를 수정하여 원래 NuSMV에서 생성된 게임 풀이와 길이를 비교해 본다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1578-1580
• /
• 2012

모델 검증은 시스템이 만족해야 하는 속성을 자동으로 검사하는 정형 검증 기법으로써, 많은 도메인에서 활용되고 있다. 특히 모델 검증 도구들에 따라 상태 공간 탐색 방식이 다르고, 상태 공간 탐색 방식에 따라서 생성되는 반례도 달라진다. 본 논문에서는 모델 검증의 대표적인 도구인 SPIN과 SMV에서 생성하는 반례를 상호 비교한다.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.44 no.3
• /
• pp.253-255
• /
• 1999

Reverse transcription and polymerase chain reaction (RT-PCR) assay was used to detect SMV strains. A pair of oligonucleotide primers were designed to include the cylindrical inclusion (CI) coding region between 4,176 to 5,560 nt. Amplification from the total RNA extracted from infected plants with SMV yielded a 1,385 bp DNA fragment. RT-PCR was shown to be $10^3$ times more sensitive than the ELISA assay and it could detect a virus in $10^{-6}$ dilution. Restriction enzyme analysis of RT- PCR products using EcoR I showed that SMV isolates were classified into six groups according to the patterns of restriction fragments.

• Proceedings of the IEEK Conference
• /
• 2003.07e
• /
• pp.2236-2239
• /
• 2003

본 논문에서는 G.729A 와 SMV 음성 부호화기를 위한 새로운 파라미터 직접 변환 방식의 상호 부호화 알고리즘을 제안한다. 상호 부호화를 위하여 부가적인 복호화, 부호화 과정을 거쳐야하는 기존의 tandem 방식과 달리 제안된 파라미터 직접 변환 방식에서는 양 음성부호화기에서 공통적으로 사용하는 파라미터들이 직접 변환된다. SMV에서 G.729A로의 상호 부호화에서는 LSP 변환, 피치 지연 변환, 낮은 전송률에서의 상호 부호화 둥의 알고리즘을 제안하고, G.729A에서 SMV로의 상호 부호화에서는 LSP 변환, 피치 지연 변환, 전송률 결정 등의 알고리즘을 제안한다. 제안된 알고리즘을 다양한 방법으로 평가해본 결과 기존의 tandem 방식과 비교하여 계산량과 지연 시간을 줄이면서도 동등한 음질 또는 향상된 음질을 구현함을 확인할 수 있었다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.166-169
• /
• 2002

In this paper, implements the abstract interpretation of the imperative language While in SMV model-checker and explain how to apply the logic of CTL which example the security of information flow. And show the way to translate the abstract program of While into SMV program and explain the derive process of CTL logic to test the security of the information flow. For the various security test, it is suitable to use the model-checking than to implements the abstract interpretation.

• The Plant Pathology Journal
• /
• v.27 no.4
• /
• pp.315-323
• /
• 2011

Soybean plants infected with Bean pod mottle virus (BPMV) develop acute symptoms that usually decrease in severity over time. In other plant-virus interactions, this type of symptom recovery has been associated with degradation of viral RNAs by RNA silencing, which is accompanied by the accumulation of virus-derived small interfering RNAs (siRNAs). In this study, changes in the accumulation of BPMV siRNAs were investigated in soybean plants infected with BPMV alone, or infected with both BPMV and Soybean mosaic virus (SMV) and in transgenic soybean plants expressing SMV helper component-protease (HC-Pro). In many potyviruses, HC-Pro is a potent suppressor of RNA silencing. In plants infected with BPMV alone, accumulation of siRNAs was positively correlated with symptom severity and accumulation of BPMV genomic RNAs. Plants infected with both BPMV and SMV and BPMV-infected transgenic soybean plants expressing SMV HC-Pro exhibited severe symptoms characteristic of BPMVSMV synergism, and showed enhanced accumulation of BPMV RNAs and siRNAs compared to plants infected with BPMV alone and nontransgenic plants. Likewise, SMV HC-Pro enhanced the accumulation of siRNAs produced from a silenced green fluorescent protein gene in transient expression assays, while the P19 silencing suppressor of Tomato bushy stunt virus did not. Consistent with the modes of action of HC-Pro in other systems, which have shown that HC-Pro suppresses RNA silencing by preventing the unwinding of duplex siRNAs and inhibiting siRNA methylation, these studies showed that SMV HC-Pro interfered with the activities of RNA-induced silencing complexes, but not the activities of Dicer-like enzymes in antiviral defenses.