• 식물병연구
• /
• 제10권4호
• /
• pp.241-247
• /
• 2004

Cucumber mosaic virus(CMV)-Paf 계통에 포함된 satellite RNA(Paf-satRNA)는 CMV의 병징을 완화시키는 약독병징 관련 유전자로 작용하였다(Choi 등, 2001). 이 연구는 Paf-satRNA의 약독병징 관련 유전자의 도메인을 확인하기 위하여, 고추에서 chlorosis 병징을 발현하는 PepY-satRNA와 키메라 satRNA를 구축하여 분석하였다. 두 종의 satRNA의 염기서열을 비교한 결과, 분자크기가 큰 PepY-satRNA에서 10염기의 삽입이 발견되기는 하였지만, 양 말단영역의 염기는 비교적 안정된 conserved sequence를 보였다. 그러나 이들 satRNA의 중간영역에 존재하는 염기서열, 즉 5' 말단의 81번째 염기로부터 113번째, 그리고 183번째 염기부터 265번째 염기까지의 영역에서는 많은 변화를 나타냈다. 약독병징과 관련된 도메인을 확인하기 위하여 구축한 각 satRNA 및 키메라 satRNA의 cDNA로부터 transcript RNA를 전사시키고, 전사된 각 satRNA transcript를 CMV-Fny의 게놈RNA1, RNA2 및 RNA3의 transcript와 혼합한 후 N. benthamiana에 접종하였다. 그 결과 RT-PCR에 의해서 모든 satRNA-cDNA로부터 전사된 transcript의 감염성이 확인되었으며, Paf-satRNA 및 키메라 Paf(H/N)-satRNA와 PepY(N/A)-satRNA를 접종한 N. benthamiana에서는 모두 약한 모자이크 또는 무병징 감염의 특성을 보였다. 이와는 대조적으로 PepY-satRNA 및 키메라 PepY(H/N)-satRNA와 Paf(N/A)-satRNA를 접종한 식물에서는 전형적인 모자이크 증상과 식물체의 위축을 동반하였다. 이들 각 키메라 satRNA에 감염된 N. benthamiana를 접종원으로 고추에 접종한 결과, Paf-satRNA와 혼합한 CMV-Fny를 접종한 고추에서는 무병징에 가까운 약한 모자이크 증상이 발현되었고, PepY-satRNA를 접종한 고추는 뚜렷한 chlorosis의 모자이크 증상이 발현되었다. 한편 이들 두 종 satRNA의 키메라, Paf(H/N)-satRNA와 PepY(N/A)-satRNA를 접종한 고추에서는 모두 약한 모자이크 또는 무병징 감염의 특성을 보였고, PepY(H/N)-satRNA와 Paf(N/A)-satRNA를 접종한 식물에서는 전형적인 chlorosis의 모자이크 증상과 식물체의 위축을 동반하였다. 이와 같은 결과를 종합해 보았을 때, N. benthamiana에서와 마찬가지로 Paf-satRNA의 약독병징과 관련된 유전자의 도메인은 HpaI-NarI 영역에 존재한다는 것을 나타냈다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권7호
• /
• pp.616-624
• /
• 2007

SAT을 이용해서 수도쿠 퍼즐을 풀기 위해서는 수도쿠를 SAT 처리기의 표준 입력 언어인 CNF 논리식으로 인코딩 해야 한다. 기존에 제시된 인코딩 알고리즘으로 크기가 큰 수도쿠를 인코딩하면 현재 SAT 처리기의 처리 수준을 넘을 정도로 많은 논리식이 생성된다. 본 논문에서는 크기가 큰 수도쿠를 다루기 위해서 수도쿠의 고정 셀을 이용하여 최적화된 CNF 논리식을 생성하는 방법을 제시한다. 고정 셀에 배정된 숫자는 불변이기 때문에 이를 이용해서 일부 변수의 값을 인코딩 단계에서 미리 결정할 수 있고, 이들 변수의 값을 이용해서 SAT 처리에 영향을 주지 않는 절과 리터럴을 인코딩 단계에서 제거할 수 있다. 다양한 크기의 수도쿠 퍼즐에 적용한 결과 기존 인코딩 알고리즘에 비해서 우수한 성능을 보였다.

• 한국정보통신학회논문지
• /
• 제20권10호
• /
• pp.1919-1926
• /
• 2016

대량의 데이터를 병렬적으로 처리할 수 있는 General-Purpose Graphics Processing Unit(GPGPU)가 최근 많은 분야에서 적용되고 있으며, 이는 전자 설계 자동화 분야에서도 예외가 아니다. SAT 알고리즘은 다양한 전자 설계 자동화 문제에 적용되는 대표적인 알고리즘 중 하나이다. GPGPU를 이용해서 SAT 알고리즘을 가속화하기 위해 노력이 이루어져 왔으나, SAT 알고리즘 자체의 특성으로 인해 병렬화에 어려움이 있어왔다. 이 논문에서는 SAT 알고리즘의 내부 과정 중 비교적 병렬화가 용이한 전달 루틴을 병렬화함으로써 GPGPU 가속화를 적용하였다. 전달 루틴이 희소 행렬의 곱셈과 유사한 점에 착안하여 데이터 구조를 구성하고 이에 맞추어서 병렬적인 전달 루틴을 작성하였다. 병렬적으로 동작하는 쓰레드들 사이의 데이터 손실을 방지하기 위해 아토믹(atomic) 연산을 이용하였다. 벤치마크 SAT 문제들에 대해 기존의 GPGPU 기반 SAT solver에 비해 성능이 10배 이상 향상되었음을 확인하였다.

• Journal of Positioning, Navigation, and Timing
• /
• 제10권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.

• 한국작물학회지
• /
• 제51권7호
• /
• pp.658-668
• /
• 2006

SSR 마커를 이용하여 우리나라 콩의 품종판별 기술을 확립하기 위하여 1913년부터 2002년까지 국내에서 육성된 콩 91개 품종에 대하여 5개의 SSR마커(Sat_043, Sat_036, Sat_022, Sat_088 및 Satt045)를 이용하여 판별하였다. 판별용으로 이용된 SSR 5개 마커의 총 대립인자수는 64개이었고, 범위는 $10{\sim}15$개이었으며, 평균 대립인자 수는 12.8개이었다. PIC값은 $0.790(Satt045){\sim}0.905(Sat_043)$의 범위이었으며, 평균 PIC값은 0.857이었다. SSR 마커 5개의 조합으로 5단계의 판별을 통하여 총 91품종 중에서 82품종이 구별되어 약 90%가 판별되었다. 판별 1단계에서 Sat_043으로 판별하였을때 부석의 1품종이, 2단계의 Sat_036으로는 호장콩 등 34품종이, 3단계의 Sat_022로는 단경콩 등 29품종이, 4단계의 Sat_088로는 신팔달콩2호 등 12품종이, 5단계의 Satt045로는 새별콩 등 6품종이 판별되었다. 서로 간에 판별되지 않은 품종들은 형태적 특성에 의하여 구별이 가능하였다.

• 식물병연구
• /
• 제7권3호
• /
• pp.155-163
• /
• 2001

기주반응 실험을 통하여 무병징 또는 엷은 병징을 발현하는 satRNA 보유 Paf-CMV 및 Rs2-CMV를 고추 CMV병의 방제를 위한 약독바이러스로 공시하여 교차방어효과를 검정하였다. 공시한 satRNA-CMV는 모두 agar gel diffusion test에서 강독계로 공시한 Mf-CMV의 항원과 융합하는 침강선을 나타내 subgroup I의 혈청 형으로 판단되었다. 이들 약독계 satRNA-CMV의 물리적성질은 내희석성이 $10^{-4}$으로, 강독계 Mf-CMV나 satRNA를 보유하고 있는 Ap-CMV보다 낮게 나타났으나, 내열성 및 내보존성 은 차이를 보이지 않았다. 공시한 satRNA의 염기서열을 결정한 결과, Rs2-satRNA는 335염기, Ap-satRNA 347염기, Paf-satNA 386염기로 구성되어 있었다. 이들 염기서열을 이미 보고된 Y-CMV의 satRNA와 비교한 결과, 양 말단 영역 특히 5'말단으로부터 80염기 및 3'말단으로부터 174염기는 안정된 conserved sequence를 나타냈다. 그러나 중간영역의 염기서열에서는 .많은 변이를 나타냈고, 특히 병징과 관련된 domain으로 보고된 영역에서 Paf-satRNA의 염기서열은 다른 계통의 satRNA에 비하여 많은 차이를 보였다. 각 satRNA의 cDNA로부터 전사시킨 transcript RNA를 Mf-CMV의 게놈RNA와 혼합하여 고추에 접종한 결과, 본래의 각 satRNA-CMV를 접종하였을 때와 마찬가지로 Paf-satRNA 및 Rs2-satRNA의 transcript 와 혼합한 Mf-CMV에 감염된 고추의 병징이 약하게 발현되었다. 선발된 약독CMV의 강독계 바이러스에 대한 교차방어효과를 검정하기 위하여 Paf-CMV 및 Rs2-CMV를 접종한 고추와 담배에 강독 Mf-CMV를 challenge한 후 교차방어 지속효과를 검정한 결과, Paf-CMV를 접종한 고추와 담배는 모두 Mf-CMV를 challenge 접종한 3주후까지 병징이 발현되지 않았으나, Rs2-CMV를 접종한 식물은 challenge 2주 후에 약 반수의 개체에서 강독계 병징이 발현되었다. 또한 challenge바이러스의 농도별 교차방어효과에서도 Paf-CMV를 접종한 고추에 정제한 Mf-CMV를 0.2 mg/ml 이하의 농도로 challenge한 경우, 접종 30일이 되었을 때까지 병징이 발현되지 않았으나, Rs2-CMV에서는 일부의 개체에서 병징이 발현되어 강독계에 대한 교차방어의 효과가 일정하게 나타나지 않았다. 한편 고추의 유묘에 약독CMV를 접종한 다음, 포장에 재배하면서 바이러스병징이 발현되는 개체를 조사한 결과, 약독 CMV접종 30-60일 후에 Paf-CMV 접종구에서 1.8-6.4%, Rs2-CMV 접종구에서 8.2-18.3%그리고 무접종구에서 2.7-47.2%의 바이러스병징이 발현됨으로서 Paf-CMV의 강독계 CMV의 감염에 대한 교차방어효과가 안정되고 높게 나타났다..

• 한국지하수토양환경학회지:지하수토양환경
• /
• 제10권5호
• /
• pp.18-24
• /
• 2005

본 연구에서는 얕은 불포화 및 포화 대수층을 모사한 실험실 규모의 SAT 토양 칼럼을 약 5개월간 운전하면서 얕은 대수층 조건에서 하수처리장 방류수의 처리수질 변화를 알아보고자 하였다. 유기물 (DOC)의 평균 제거율은 불포화 (unsaturated SAT) 칼럼의 경우 31.9%굶 높게 나타난 반면, 포화(saturated SAT) 칼럼에서는 DOC가 거의 제거되지 않았다. 얕은 대수층 조건을 모사한 불포화 토양 칼럼에서의 질산화는 충분하지 않은 것으로 나타났으며 잔류 암모니아가 포화대수층으로 유입되었다. 또한 얕은 불포화 칼럼에서의 짧은 체류시간(1 day)으로 인해 포화 칼럼 유입수의 DO가 약 2 mg/L를 유지했다. 인 (phosphate)은 불포화 칼럼에서는 제거되지 않고 그대로 유출되는 특성을 보였고, 포화 칼럼에서는 100% 제거되는 특성을 보였다. 결론적으로, 암모니아성 질소가 포화층으로 유입되고, 포화층 유 입수의 DO가 상대적으로 높다는 점을 제외하면 얕은 대수층 조건에서도 유기물 및 질소, 인의 제거가 충분하게 일어남을 알 수 있었다.

• 한국항공우주학회지
• /
• 제36권12호
• /
• pp.1222-1228
• /
• 2008

㈜쎄트렉아이는 UAE의 EIAST와 함께 2008년 발사를 목표로 SI-200 표준버스시스템을 기반으로 하는 DubaiSat-1 비행모델을 개발하였다. DubaiSat-1 비행모델의 열제어계는 전력 소비의 최소화를 위해 수동 열제어를 기반으로 하되, 주요 부품에는 히터를 이용한 능동 열제어가 이뤄지도록 설계되었다. 또한 열해석 모델을 작성하여 DubaiSat-1의 임무궤도에 대해 열해석을 수행하였으며, 해석 결과를 토대로 모든 구성품이 설계 요구조건을 만족시킬 수 있도록 설계 보정 작업을 진행하였다. 또한 우주환경을 모사한 열진공시험을 수행하여 DubaiSat-1 비행모델의 열제어 성능에 대해 검토하였으며, 시험 결과와 해석 결과의 비교를 통한 열해석 모델의 보정 작업을 완료하였다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2005년도 추계학술대회 및 정기총회
• /
• 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}$ 을 개발하였다.

• 한국항공우주학회지
• /
• 제40권7호
• /
• pp.636-645
• /
• 2012

본 논문은 우주기술 저변확대를 위한 초소형위성 프로그램 중 하나로 캔위성 경연대회에 대해 살펴보았다. 먼저 캔위성과 인공위성의 차이점을 알아보고 해외 캔위성 경연대회 사례 및 국내 캔위성 개발 동향을 정리하였다. 이를 바탕으로 국내 캔위성 경연대회의 운영조직 및 역할을 제시하였으며, 캔위성, 발사체, 지상국 등과 같은 경연대회 소요기술의 요구조건 및 개발방안을 도출하였다. 또한 경연대회 수행임무, 사전교육, 진행일정 등 경연대회 추진방안을 마련하였다.