• Research in Plant Disease
• /
• v.10 no.4
• /
• pp.241-247
• /
• 2004

Recently, we reported a satellite RNA (Paf-satRNA) which is encapsidated in a pepper isolate of Cucumber mosaic virus (CMV-Paf) regulated symptom attenuation of the helper virus. To characterize mild symptom domain of Paf-satRNA, a series of chimeric cDNAs of satRNAs were created by using full-length cDNA clones of Paf-satRNA and a Pep-satRNA, chlorosis-inducing satRNA in pepper plants, and analyzed for determinants of symptom attenuation. When compared the nucleotide sequences, the 3' and 5' terminal sequences of the two wild-type (wt) satRNAs contained relatively conserved sequences which are the typical to CMV satRNA. Ten bases insertions were found in PepY-satRNA, and two variable regions, 81st to 113th and 183rd to 265th from the 5'-end, were located in the middle parts of the satRNAs. To delineate the attenuated symptom-related domain for the Paf-satRNA, in vitro transcripts RNAs transcribed from the wt cDNAs and constructed chimeric cDNAs were combined with genomic RNAs, RNA1, RNA2 and RNA3, of CMV-Fny and inoculated onto Nicotiana benthamiana plants. These transcripts were fully infectious onto the N. benthamiana and infectivity was confirmed by the RT-PCR. Chimeric Paf(H/N)-satRNA and PepY(N/A)-satRNA as well as Paf-satRNA induced very mild mosaic or symptomless infection on N. benthamiana. By contrast, typical mosaic symptom and stunting of infected plants were induced when PepY-satRNA, PepY(H/N)-satRNA and Paf(N/A)-satRNA were infected to N. benthamiana. Paf-satRNA coinfected with CMV-Fny RNAs induced very mild to sympomless on pepper plants whereas PepY-satRNA-infected pepper expressed typical chlorosis mosaic symptom. Two kinds of chimeric mutants, Paf(H/N)-satRNA and PepY(N/A)-satRNA, induced mild mosaic or symptomless infection onto pepper plants, while PepY(H/N)-satRNA and Paf(N/A)-satRNA showed typical chlorosis and mosaic symptom with stunting. This results suggest that mild symptom-related domain for the Paf-satRNA was located on HpaI-NarI region.

• Journal of KIISE:Software and Applications
• /
• v.34 no.7
• /
• pp.616-624
• /
• 2007

Sudoku can be regarded as a SAT problem. Various encodings are known for encoding Sudoku as a Conjunctive Normal Form (CNF) formula, which is the standard input for most SAT solvers. Using these encodings for large Sudoku, however, generates too many clauses, which impede the performance of state-of-the-art SAT solvers. This paper presents an optimized CNF encodings of Sudoku to deal with large instances of the puzzle. We use fixed cells in Sudoku to remove redundant clauses during the encoding phase. This results in reducing the number of clauses and a significant speedup in the SAT solving time.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.10
• /
• pp.1919-1926
• /
• 2016

Because of the enormous processing ability, General-Purpose Graphics Processing Unit(GPGPU) has been applied to many fields including electronics design automation. The SAT algorithm is one of the core algorithm in many electronics design automation tools. There has been some efforts to apply GPGPU to the SAT algorithm, but it is difficult to parallelize the SAT algorithm because of its characteristics. In this paper, I applied GPGPU to the SAT algorithm by parallelizing the propagation routine that is relatively suitable to parallel processing. On the basis of the similarity of the propagation routine to the sparse matrix multiplication, the data structure for the SAT problem is constituted, and the parallel propagation routine is described. To prevent data loss between paralllel threads, atomic operations are exploited. The experimental results for some benchmark SAT problems show that the proposed algorithm is superior to the previous GPGPU-based SAT solver.

• Journal of Positioning, Navigation, and Timing
• /
• v.10 no.2
• /
• pp.145-151
• /
• 2021

According to the Korea Augmentation Satellite System (KASS) system milestone, Site Acceptance Test (SAT) has three steps test until the end of the project. SAT#1 is the first time of SAT steps and verify the KASS Reference Station (KRS) and Sub System (S/S) for the monitoring and controllable. After the equipment and software were installed at the Mission Control Center (MCC) with Central Monitoring and Control Simulator (CMS) for the SAT#1, the 1:1 test was progressed when the KRS and S/S are ready to test. SAT#1 has a 10 steps test case and it was progressed each KRS sites. The test was finished throughout the real-time monitoring and the data collection including the data analysis all of the 7 KRS sites. Finally SAT#1 was completed on December 2020 with successfully.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.51 no.7
• /
• pp.658-668
• /
• 2006

The objective of this study was to develop a technique for the cultivar discrimination using SSR markers in soybean. A total of 91 soybean cultivars developed from 1913 to 2002 in Korea were evaluated by five polymorphic SSR markers (Sat_043, Sat_036, Sat_022, Sat_088 and Satt045). Five SSR markers generated a total of 64 alleles and the number of alleles for each SSR marker ranged from 10 to 15 with average of 12.8. Polymorphic information contents (PIC) by five markers of 91 cultivars were ranged from 0.790 to 0.905 with average of 0.857. A total of 82 cultivars (90%) among 91 soybean cultivars could be individually discriminated by combination of five SSR markers through five step analysis. A cultivar, Buseok, by Sat_043 at the first step, 34 cultivars including Hojangkong by Sat_036 at the second step, 29 cultivars including Dankyeongkong by Sat_022 at the third step, 12 cultivars including Sinpaldalkong 2 by Sat_088 at the fourth step, and 6 cultivars including Saebyeolkong by Satt045 at the fifth step were discriminated. Soybean cultivars which were not discriminated by SSR markers could be discriminated by morphological characteristics.

• Research in Plant Disease
• /
• v.7 no.3
• /
• pp.155-163
• /
• 2001

Two attenuated Cucumber mosaic virus (CMV) isolates, Paf-CMV and Rs2-CMV that had been selected from CMV isolates associated with satellite RNA (satRNA) were tested for cross-protection effect in pepper plants. The viruses selected as attenuated strains appeared to be identical serologically and physically to the challenge virus (Mf-CMV), but they were lower in the dilution end-point of infectivity of crude sap than Mf-CMV When symptoms were observed in several indicator plants after inoculation, Paf-CMV and Rs2-CMV were symptomless or showed mild mosaic symptoms while another satRNA isolate Ap-CMV developed severe mosaic symptoms on the leaves as Mf-CMV. The nucleotide sequences of the satRNAs were determined by sequencing full-length cDNA clones. Paf-, Rs2- and Ap-satRNAs were 386, 335, and 347 nucleotides long, respectively, The sequences were then compared with the other known Y-satRNA, revealing that nucleotide sequences of the satRNAs consisted of 5'- and 3'-terminal conserved regions. However variations occurred on the middle regions of the sequences, especially those related to symptom interference, showing significant differences between Paf-satRNA and other isolates. Infectious transcripts of Paf-satRNA and Rs2-satRNA induced mild mosaic symptoms in pepper plants when supported by genomic RNAs of Mf-CMV. Under greenhouse conditions, Paf-CMV and Rs2-CMV were tested for cross-protection effect in pepper and tobacco (Nicotiana tabacum cv, Xanthi nc) plants against Mf-CMV. No symptoms were developed on the plants vaccinated with Paf-CMV until 3 weeks after inoculation with the virulent strain; however another attenuated isolate, Rs2-CMV, showed less effectiveness in cross-protection. Depending on the concentration of the challenged virus, symptoms sometimes appeared later in the upper leaves. However, in plants challenged with low concentrations (below 0.2 mg/ml) of the challenge inoculum, symptoms caused by the virulent strain did not develop on the plants vaccinated with Paf-CMV. In the field experiments, the number of pepper plants with severe mosaic symptoms in the control plots was progressively increased after transplanting and reached approximately 50% after 50 days. On the other hand, the incidence of mosaic disease appeared very low on the plants that had received the protective inoculation with Paf-CMV.

• Journal of Soil and Groundwater Environment
• /
• v.10 no.5
• /
• pp.18-24
• /
• 2005

Water quality changes of wastewater effluent in the shallow aquifier condition was investigated using laboratory unsaturated and saturated SAT columns for over five months. Average DOC removal was 31.9% in the unsaturated SAT column whereas no removal occurred in the saturated SAT column. Under the shallow aquifer condition, nitrification was not completed in the unsaturated SAT column, releasing residual ammonium nitrogen into the saturated SAT column. Short retention time (one day) in the shallow unsaturated SAT column rendered DO of about 2 mg/L to the influent of the saturated SAT column. Phosphate was not removed at all in the unsaturated SAT column while complete removal was achieved in the saturated column. Consequently, organic and inorganic compounds were removed under the shallow aquifer condition as effectively as was in deep aquifer, except for the release of ammonium and relatively high DO into the saturated SAT column.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.12
• /
• pp.1222-1228
• /
• 2008

A small satellite, DubaiSat-1 FM(Flight Model), which is based on SI-200 standard bus platform and scheduled to be launched in 2008, is being developed by Satrec Initiative and EIAST(Emirates Institution for Advanced Science and Technology). The TCS(Thermal Control Subsystem) of DubaiSat-1 FM has been designed to mainly utilize passive thermal control in order to minimize power consumption, but the active control method using heaters has been applied to some critical parts. Also, thermal analysis has been performed for DubaiSat-1's mission orbit using a thermal analysis model. The thermal design is modified and optimized to satisfy the design temperature requirements for all parts according to the analysis result. The thermal control performance of DubaiSat-1 FM is verified by thermal vacuum space simulation, consisting of thermal cycling and thermal balance test. Also, to validate the thermal modeling of DubaiSat-1 FM, comparison of test results with analysis has been performed and model calibration has been completed.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.10a
• /
• pp.117-122
• /
• 2005

신기술을 개발하기 위해서는 다수의 단말기술들이 요구된다. 이 단말기술들은 ${\ulcorner}$SAT${\lrcorner}$ 구조에 의해 구성되는 것이 효율적이며, 이를 통해 다수의 기술컨셉대체안이 도출된다. 그러나, 평가의 투표양식 ( Ballot Form ) 과 ${\ulcorner}$SPN ( System Priority Number )${\lrcorner}$ 를 활용하는 ${\ulcorner}$SAT${\lrcorner}$ 평가방식으로는 평가자의 단편적인 선호도만이 분석가능하며, 투표과정이 번거롭다는 단점이 있다. 이러한 문제 해결을 위해 본 연구에서는 기술컨셉대체안이 요구기능과 실현수단의 순환계층구조로 표현되는 ${\ulcorner}$SAT${\lrcorner}$ 에, 전문기술집단의 선호구조를 정밀히 분석하기 위해 단말기술의 속성변수와 속성수준화를 규정하여 평가하도록 하는 ${\ulcorner}$컨조인트 분석${\lrcorner}$ 을 결합한 ${\ulcorner}$컨조인트 SAT모형 (CJ-SAT Model)${\lrcorner}$ 을 개발하였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.7
• /
• pp.636-645
• /
• 2012

This paper presented the CanSat competition as one of very small satellite programs for expending the space technology base. The CanSat was compared and characterized with a real satellite and the foreign CanSat competition cases and domestic CanSat development trends were summarized. On the basis of the above information, the organizational structure and function were suggested for domestic CanSat competition and the required technologies, such as satellite, launcher and ground station were described. And also, the prior plan for competition, including mission, education and schedule were suggested.