• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.310-312
• /
• 2005

유한상태 기계는 신뢰성이 요구되는 내장형 시스템의 제어흐름을 표현하고 검증하는데 많이 사용되는 모델이다. 하지만 자체가 가지고 있는 단순함으로 인해 복잡한 시스템을 명세하기에는 부족하다. 이러한 유한상태 기계의 단점을 극복하기 위해 다양하게 확장시킨 유한상태 기계들이 나왔지만 이렇게 확장된 유한상태 기계들에 대한 정형 의미의 부재로 인해서 요구사항중 하나인 명세를 검증하는데 어려움이 따른다. 이에 우리는 확장된 유한상태 기계의 정형 단계 의미를 정의하고, 이를 사용하여 모델에 대한 정형검증을 수행하였다. 그 결과 레이스 조건(race condition)과 애매한 전이, 순환하는 전이 등의 버그들을 모델에서 정형적으로 검출 할 수 있었다.

• Korean Journal Plant Pathology
• /
• v.14 no.6
• /
• pp.563-566
• /
• 1998

Two soybean cultivars, Kwanggyo and Hwanggeum (soybean mosaic potyvirus (SMV)-resistant cultivars), that had been inoculated with a virulent strain (G-5H, 4) of soybean mosaic potyvirus produced necrotic lesions on inoculated leaves as well as on upper trifoliate leaves. Cells in the lesion area contained sparse numbers of virus particles and very few characteristic pinwheel inclusions. Although a hypersensitive-like cellular response occurred in the two resistant cultivars, this response did not prevent the virus from spreading systemically in these resistant hosts, indicating a different mechanism from the general hypersensitive reaction in relation to host resistance.

• Proceedings of the Korean Society of Plant Pathology Conference
• /
• 2002.11a
• /
• pp.89.2-89
• /
• 2002

• Korean journal of applied entomology
• /
• v.15 no.2 s.27
• /
• pp.61-68
• /
• 1976

Leading soybean cultivars such as Kwanggyo, Yugu No.3, Dongbugtae, Gangrim, and Eundaedu were heavily diseased by a virus in Korea. The disease was most severe in the northern provinces where soybean mosaic virus also occurrs, but the disease has also been observed in other provinces where soybean diseases are less prevalent. The disease symptoms were similar to bud blight caused by tobacco ringspot virus; but this was not confirmed in inoculation tests on indicator plants and serological experiments. There were some differences in varietal susceptibility to the disease, with symptom variation depending on the soybean cultivar and source of inoculm. Disease symptoms on infected soybean plants were mottling and necrosis. The present results, therefore, indicate some strains of SMV or a mixture of legume viruses may or may not be responsible for the disease.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.38 no.4
• /
• pp.336-342
• /
• 1993

To obtain the basic information necessary for the development of soybean varieties well adaptable to upland-paddy field rotational croppings, the difference of growth characteristics between upland and paddy-field including yield potentials of current recommending soybean varieties were evaluated. The growth characteristics, both above and under-ground, which were measured at flowering stage were generally greater in paddy-field but the number of root nodules was much greater in upland, thus the artificial inoculation was practically recommended for soybean growing in paddy-fields. Mean seed yield was generally higher in paddy-fields than in upland. All soybean varieties showed higher seed yield in the early planting date, April 20, were somewhat susceptible to soybean mosaic virus(SMV), thus they could be escaped from the disasterous endemic necrotic soybean mosaic virus(SMV-N). Soybean varieties showed over 4.0 tons/ha seed yield in the paddy-field were Williams 79, Union, SS77053, and Namhaekong. At the same time, Jangyeobkong and Danyeobkong were the most stable soybean varieties among the tested soybean varieties with less than 10% of coefficient variation values in all planting dates in paddy fields. Compared with Hwangkeumkong which is most widely being cultivated on farmer's fields, soybean varieties showed high yields in paddy-field were higher in plant height, less in the number of branches, and more in the number of nodes on main stem. At the same time, they had medium seed size which would bring the good germination and stands. Disease resistance especially for necrotic soybean mosaic virus was also one of the most decisive factors in seed yields for the early planted soybeans.

• Proceedings of the Zoological Society Korea Conference
• /
• 2003.08a
• /
• pp.207.1-207
• /
• 2003

No Abstract, See Full Text

• Journal of IKEEE
• /
• v.13 no.4
• /
• pp.43-46
• /
• 2009

This paper deals with feeling recognition from people's voice to fine feature vectors. Voice signals include the people's own information and but also people's feelings and fatigues. So, many researches are being progressed to fine the feelings from people's voice. In this paper, We analysis Selectable Mode Vocoder(SMV) that is one of the standard 3GPP2 codecs of ETSI. From the analyzed result, we propose voices features for recognizing feelings. And then, feeling recognition algorithm based on gaussian mixture model(GMM) is proposed. It uses feature vectors is suggested. We verify the performance of this algorithm from changing the mixture component.

• The KIPS Transactions:PartA
• /
• v.12A no.7 s.97
• /
• pp.563-570
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Cod sign Environment) allows to express both data flow and control flow. To formally verify an fFSM specification which expresses control flow in PeaCE, the step semantics of the model was defined. In this paper, we introduce the automatic verification tool developed by formal semantics of previous work. This tool uses the SMV as inner model checker md, through our tool, users can formally verify some important bugs such as race condition, ambiguous transition, and circulartransition without directly writing logical formulae.

• Broadcasting and Media Magazine
• /
• v.6 no.2
• /
• pp.84-101
• /
• 2001

In this paper, we present a primitive system design of a super multi-view(SMV) 3-D display system based on a focused light array(FLA) concept using reflective vibrating scanner array(ViSA). The parallel beam scanning using a vibrating scanner array is performed by moving left and right an array of curvature-compensated mirrors or diamond-ruled reflective grating attached to a vibrating membrane. The parallel laser beam scanner array can replace the polygon mirror scanner which has been used in the SMV 3-D display system based on the focused light array(FLA) concept proposed by Kajiki at TAO(Telecommunications) Advancement Organization). The proposed system has great advantages in the sense that it requires neither huge imaging optics nor mechanical scanning pals. Some mathematical analyses and fundamental limitations of the proposed system are presented. The proposed vibrating scanner array, after some modifications and refinements, may replace polygon mirror-based scanners in the near future.

• Preventive Nutrition and Food Science
• /
• v.22 no.1
• /
• pp.30-36
• /
• 2017

Physicochemical properties of Fujian Yongchun aged vinegar (FYAV) and Shanxi mature vinegar (SMV) were compared in terms of the fermentation methods applied and aging periods (3, 5, 8, and 10 years), and combined E-nose/E-tongue analyses were performed to assess their flavors. Compared with submerged fermentation-derived FYAV, solid-state fermentation-derived SMV showed higher values of pH, brix, soluble solids, total phenolic content, and antioxidant activity, but not total acidity or total organic acids. Aging period resulted in an increase in pH, total phenolic content, and antioxidant activity. Principal component analysis based on E-tongue/E-nose analyses was performed to distinguish between the vinegars produced by different fermentation methods and under aging periods. Solid-state fermentation and an aging process were considered good techniques for vinegar brewing, considering the various organic acids and high levels of total phenolics and antioxidant activity.