• 제목/요약/키워드: SMV

검색결과 141건 처리시간 0.024초

TC2SMV: UML State Chart Diagram에서 생성된 테스트 케이스를 SMV 입력 프로그램으로 변환하는 CASE 도구 (TC2SMV: A CASE tool for Translating SMV Input Program from Test Cases Generated from State Chart Diagram in UML)

  • 윤상현;조재연;유준범
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
    • /
    • pp.126-128
    • /
    • 2012
  • 소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

콩모자익바이러스 계통의 포장전염 (Field Spread of Soy bean Mosaic Virus Strains)

  • 조의규
    • 한국응용곤충학회지
    • /
    • 제21권2호
    • /
    • pp.53-60
    • /
    • 1982
  • 콩모자익바이러스(SMV) 7계통의 진딧물 전염여부를 시험한 결과 SMV 7계통 전부가 전염되었으며 SMV의 진딧물 전염에 의한 대두판별품종의 반응도 침액접종에 의하여 SMV 계통을 분류하였을 때의 반응과 일치하였다. 공시한 5종의 진딧물중에서 복숭아혹진딧물, 아카시아진딧물, Aphis citricola는 SMV 7계통을 모두 잘 전명시키는 매개충이었으나 옥수수테두리진딧물과 기장테두리진딧물은 SMV계통 G3을 전염시키지 못하는 경우도 있었다. 포장에서 SMV 계통 G2, G3, G6 및 G7을 22.5m 이랑의 1m 내에 심겨진 콩 품종 Williams에 접종한 후 80cm 떨어진 이랑의 1m내 Williams의 발병율을 조사하였다. 공시한 SMV 4계통중 6G의 전염율이 가장 높았고 조사기간에 채집된 206 마리의 진딧물중 A. citricola가 $68\%$로서 우점종이었다. Williams의 수량은 G2로 접종하였을 때 가장 낮았다.

  • PDF

콩모자이크바이러스병의 역학적 연구 (Epidemiology of Soybean Mosaic Virus Diseases)

  • 조의규;최성호;황창연
    • 한국응용곤충학회지
    • /
    • 제23권4호
    • /
    • pp.197-202
    • /
    • 1984
  • 콩 모자이크 바이러스계통 SMV-G7의 감염에 의하여 모자이크 병징이 나타나는 함안 품종과 괴저병징이 나타나는 광교를 공시하여 $320.7m^2$(99평)의 포장 중앙 $2.2m^2$ (1평)에 함안을 파종, 접종한 후 주변 시험구(1평씩 99구)에는 광교를 파종하여 SMV의 발생생태를 조사하였다. 광교에서 SMV 이병주율은 7월 13일에 가장 심하였고 황색수반으로 채집한 진딧물 밀도는 6월 22일에 가장 높게 나타났으며 함안과 인접한 시험구의 SMV 이병주율은 평균 $56\%$, 포장전체의 이병주율은 평균 $20.4\%$로 나타났다. 풍향과 바이러스 이병율을 분석한 결과 SMV의 전파는 바람부는 쪽으로 일정한 gradient를 형성하여 SMV 전파에 중요한 요인으로 나타났다.

  • PDF

변별적 가중치 학습을 이용한 3GPP2 SVM의 실시간 음성/음악 분류 성능 향상 (Enhancement of Speech/Music Classification for 3GPP2 SMV Codec Employing Discriminative Weight Training)

  • 강상익;장준혁;이성로
    • 한국음향학회지
    • /
    • 제27권6호
    • /
    • pp.319-324
    • /
    • 2008
  • 본 논문에서는 변별적 가중치 학습 (discriminative weight training) 기반의 3GPP2 Selectable Mode Vocoder (SMV) 실시간 음성/음악 분류 성능을 향상 시키는 방법을 제안한다. SMV의 음성/음악 실시간 분류 알고리즘에서 사용된 특징벡터와 분류방법을 분석하고, 이를 기반으로 분류성능향상을 위해 MCE (minimum classification error)방법을 도입하여, 각 특징 백터별로 다른 가중치를 적용하는 음성/음악 결정법 (decision rule)을 제시한다. 구체적으로 SMV의 음성/음악 분류알고리즘에서 사용되어진 특징벡터만을 선택적으로 사용하여 가중치를 적용한 값을 기하 평균한 값을 문턱값과 비교하는 실시간 분류기법이 제시되었다. SMV의 음성/음악 분류에 제안한 방법의 성능 평가를 위해 SMV 원래의 분류알고리즘과 비교하였으며, 다양한 음악장르에 대해 시스템의 성능을 평가한 결과 가중치를 적용하였을 때 기존의 SMV의 방법보다 우수한 음성/음악 분류 성능을 보였다.

대두모자이크 바이러스 감염이 대두유근형성에 미치는 영향 (Effects of Soybena Mosaic Virus Infection on Nodule Formation)

  • 이정호
    • Journal of Plant Biology
    • /
    • 제16권3_4호
    • /
    • pp.35-39
    • /
    • 1973
  • This investigation was conducted to study the effect of soybean mosaic virus (SMV) on various parameters of nodule formation at different stage of soybean plants. Differences in nodule formation were marked between soybean varieties tested, but nodules were small within soybean varieties infected with SMV. SMV-infection on soybeans were greatly reduced the number, size and weight of nodules, and the earlier the infection of SMV, the greater the reduction of nodules. Maximum reduction(83%) of nodules observed when "Kumkang-Daerip" soybeans were inoculated 2 weeks after seeding, but none occurred 8 weeks or later. Prominent decreases in number of nodules often resulted in an increase in nodu'e sizes in SMV-infected soybean plants.an plants.

  • PDF

Evaluation in Korean Soybean Cultivars of Resistance to Soybean Mosaic Virus

  • Kim, Yul-Ho;Kim, Ok-Sun;Moon, Jung-Kyeong;Roh, Jae-Hwan;Im, Dae-Joon;Hur, Il-Bong;Lee, Sang-Chul
    • 한국작물학회지
    • /
    • 제46권1호
    • /
    • pp.17-21
    • /
    • 2001
  • Soybean mosaic virus (SMV) resistance of Korean recommended soybeans was evaluated naturally and by mechanical inoculation in Suwon. Based on the differential reaction of forty-four soybean genotypes tested to nine different SMV strains, soybeans were classified into twenty-four groups. Myeongjunamulkong and Ilpumgeom-jeongkong showed a high degree of resistance to nine SMV strains, having no symptom. The other cultivars produced various reactions according to inoculation of each SMV strain: symptomless, mosaic or systemic necrosis. Only five cultivars such as Kwangankong, Eunhakong, Tawonkong, Namhaekong, Sobaegnamulkong were totally susceptible to every strain. There was variation in disease incidence. Soybeans, having the highest levels of resistance to G5H and G7H in the greenhouse, showed the lowest levels of SMV incidence in the field of Suwon. Myeong-junamulkong, Ilpumgeomjeongkong, Soyangkong, Pungsannamulkong, Sodamkong, Jangmikong, Geomjeong-kong2, Pureunkong, Sinpaldalkong2, Duyoukong, and Geumgangkong were fairly resistant to SMV. And SMV incidence of Taekwangkong, Saealkong and Baegunkong was over 45% with symptom of bud necrosis. And soybeans, highly resistant to SMV in the field and the greenhouse, were mainly derived from Jangyeobkong and Hwang-keumkong resistant to G1-G7.

  • PDF

RT-RPA Assay Combined with a Lateral Flow Strip to Detect Soybean Mosaic Virus

  • Bong Geun Oh;Ju-Yeon Yoon;Ho-Jong Ju
    • The Plant Pathology Journal
    • /
    • 제40권4호
    • /
    • pp.337-345
    • /
    • 2024
  • Soybean (Glycine max L.) is one of the most widely planted and used legumes in the world, being used for food, animal feed products, and industrial production. The soybean mosaic virus (SMV) is the most prevalent virus infecting soybean plants. This study developed a diagnostic method for the rapid and sensitive detection of SMV using a reverse transcription-recombinase polymerase amplification (RT-RPA) technique combined with a lateral flow strip (LFS). The RT-RPA and RT-RPA-LFS conditions to detect the SMV were optimized using the selected primer set that amplified part of the VPg protein gene. The optimized reaction temperature for the RT-RPA primer and RT-RPA-LFS primer used in this study was 38℃ for both, and the minimum reaction time was 10 min and 5 min, respectively. The RT-RPA-LFS was as sensitive as RT-PCR to detect SMV with 10 pg/µl of total RNA. The reliability of the developed RT-RPA-LFS assay was evaluated using leaves collected from soybean fields. The RT-RPA-LFS diagnostic method developed in this study will be useful as a diagnostic method that can quickly and precisely detect SMV in the epidemiological investigation of SMV, in the selection process of SMV-resistant varieties, on local farms with limited resources.

Complete Genome Sequences of the Genomic RNA of Soybean mosaic virus Strains G7B and G5

  • Kim, Kook-Hyung;Lim, Won-Seok;Kim, Yul-Ho
    • The Plant Pathology Journal
    • /
    • 제19권3호
    • /
    • pp.171-176
    • /
    • 2003
  • The complete nucleotide sequences of the genomic RNAs of Soybean mosaic virus strains GS (SMV-G5) and G7H (SMV-G7H) were determined and compared with sequences of other SMV strains. Each viral RNA was determined to be 9588 nucleotides in length excluding the poly (A) tail and contained an open reading frame to encode a polyprotein subsequently processed into up to ten proteins by proteolytic cleavage. Com-parison of the amino acid sequences with those of other SMV strains showed high percentage of amino acid sequence homology with the same genome organization. The nucleotide and the deduced amino acid sequences between SMV-G5 and SMV-G7H were greater than 99% identity. When compared with those of other SMV strains in a phylogenetic analysis of the nucleotide and deduced amino acid sequences, they formed a distinct virus clade showing over 97% amino acid identity, but were more distantly related to the other potyvirus (44.1-69.6% identity). Interestingly, SMV G7H strain caused a severe mosaic or necrosis symptom in soybean cultivars including Jinpum-1, Jinpum-2, and Sodam, whereas, no symptom was observed in SMV-G5 inoculation. Complete nucleotide sequences of these strains will give clues for determining symptom determinant(s) in future research.

이하두정 방사선 사진을 이용한 악교정수술 계획의 유용성에 대한 평가 (EVALUATION OF THE AVAILABILITY OF SURGICAL TREATMENT OBJECTIVE(STO) USING SUBMENTOVERTEX(SMV) VIEW)

  • 김범수;김종완;김영균;윤필영
    • Journal of the Korean Association of Oral and Maxillofacial Surgeons
    • /
    • 제35권5호
    • /
    • pp.324-328
    • /
    • 2009
  • Submentovertex(SMV) projection shows the base of skull, positions of mandibular condyle and zygomatic arches. We would like to investigate how to use SMV and evaluate its availability for the construction of the plan for orthognathic surgery of mandible prognathism and asymmetry. Preoperative Surgical Treatment Objective(STO) using SMV was performed to 12 patients, who visited to Seoul National University Bundang Hospital with chief complaints like mandible prognathism or asymmetry from Dec 2007 to Feb 2009. Surgical splint was made of stone model repositioned according to STO using SMV. We estimate the change in skeletal midline and the stability of occlusion through superposition between preoperative and postoperative SMV. It was effective on the amount of mandible movement and the correction of mandibular asymmetry, while the facial asymmetry involved with maxilla was excluded. It was concluded that STO using SMV is available and predictable method for not only the setback of prognathic mandible but also the correction of mandible asymmetry accurately.

Verilog HDL로 기술된 조합 논리회로의 Cadence SMV 기반 정형 검증 방법 (A Cadence SMV Based Formal Verification Method for Combinational Logics Written in Verilog HDL)

  • 조성득;김영규;문병인;최윤자
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2015년도 추계학술발표대회
    • /
    • pp.1027-1030
    • /
    • 2015
  • 하드웨어 디자인 설계에서 초기 단계의 설계 오류 발견은 개발 비용 감소 및 설계 시간 단축 측면에서 그 효과가 매우 크다. 이러한 초기 설계 오류 발견을 위한 대표적인 방법으로는 정형 검증(formal verification)이 있으며, Cadence SMV(Symbolic Model Verifier)는 정형 검증을 위해 Verilog HDL(Hardware Description Language)을 SMV로 자동 변환 해주는 장점이 있지만, 사건 기반 구조(event based structures)의 sensitivity list에 대한 지원을 하지 않는 한계가 있다. 이에 본 논문에서는 Cadence SMV에서 디지털회로(digital circuit) 중 하나인 조합 논리회로(combinational logic circuit)를 sensitivity list가 고려된 검증이 가능하도록 하는 방법을 제안한다. 신뢰성 있는 실험을 위해 본 논문에서는 제안하는 방법의 일반적인 규칙을 도출하였고, 도출된 규칙이 적용된 SMV 파일을 생성하는 자동화 프로그램을 구현하여 실험하였다. 실험결과 제안한 방법을 적용한 경우 기존 Cadence SMV가 발견하지 못한 설계상의 오류를 발견할 수 있었다.