• 정보처리학회논문지D
• /
• 제17D권4호
• /
• pp.283-296
• /
• 2010

Timing diagram은 시스템의 사양을 작성하는 도구로 많이 사용되고 있으나, Timing diagram을 이용하여 테스트 케이스를 생성하는 연구는 존재하지 않는다. 이와 같은 문제를 해결하기 위해 본 연구에서는 Timing diagram 으로부터 테스트 케이스를 생성하기 위해 다음과 같은 과정을 거쳤다. 1) Timing diagram을 형식적으로 기술하였다. 2) 정의된 Timing diagram의 의미로부터 이와 동치 관계에 있는 Stateflow 모델로 변환하는 방법을 기술하였다. 3) 변환된 Stateflow 모델에 대해 Simulink의 플러그 인 되어 있는 도구인 SDV를 사용하여 테스트 케이스를 생성했다. 이 접근 방법이 유용함을 보이기 위해서 도난 경보 모델과 임의의 Timing diagram모델들을 대상으로 실험을 수행하였다. 실험에서 Timing diagram 모델들로부터 Stateflow모델들로 변환하고 이를 SDV를 사용하여 테스트 케이스를 생성하였으며 그 결과에 대해 분석하였다. 이 연구를 통해 얻을 수 있는 결론은 Timing diagram이 더 이상 사양서를 작성하는 도구로만 사용되는 것이 아니라 모델 기반의 테스트 케이스를 생성하고자 하는 경우에도 유용한 도구가 된다는 점이다.

• 한국환경농학회지
• /
• 제17권3호
• /
• pp.239-245
• /
• 1998

부식형성과정에서 nitroaromatics와 그 환원산물들의 구조에 따른 bound residue형성 양상을 밝히기 위하여 nitrotoluene류, nitrophenol류와 그 환원형태의 화합물 및 nitro기를 가진 살충제 parathion과 amino기를 가진 제초제 asulam을 단독으로 또는 부식을 구성하는 humic monomer들이 존재하는 반응 조건에서 laccase와 HRP를 촉매로 사용하여 그 반응 양상을 조사하였다. Laccase와 HRP를 촉매로 하여 반응시킨 경우, humic monomer의 유무, 종류, nitro기의 결합위치와 수에 관계없이 nitrotoluene류와 nitrophenol류는 laccase와 HRP에 의해 거의 전환되지 않았고, aminotoluene류 및 amino-nitrophenol류는 전부 전환되었다. 일부가 환원된 형태인 amino-nitrotoluene류는 humic monomer에 따라 다른 전환율을 나타내는 데, catechol, syringaldehyde와 protocatechuic acid에서 가장 높은 전환율을 나타내었다. Nitro기가 있는 살충제 parathion은 humic monomer가 존재하는 반응 조건에서 거의 전환되지 않았고, 그 분해산물 4-nitrophenol의 경우도 protocatechuic acid를 제외하고는 거의 전환되지 않았다. Amino기가 있는 제초제 asulam의 경우, humic monomer가 존재하지 않는 조건에서는 거의 전환되지 않았지만 catechol, syringaldehyde, protocatechuic acid 및 caffeic acid의 경우, 비교적 높은 전환율을 나타났다.

• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1307-1316
• /
• 1996

본 논문에서는 인접블록들간의 높은 상관성을 이용한 동적 주소 사상에 의한 벡터 양자화 방법을 제안했다. 제안한 방법에서는 부호화할 입력블록에 대한 벡터 양자화의 주소를 사이드 메치 오차를 이용하여 재정렬된 부호책에서의 새로운 주소로 사상하는 주소 변환 함수를 저의하여 비트율을 효율적으로 감소하였다. 이러한 방법은 주소 변환 함수에 의한 새로운 주소가 주소 문턱값 이하인 낮은 주소로 사상된 경우에는 새롭게 사상된 주소를 부호화하고, 그렇지 않은 경우에는 재정립 되지않은 부호벡터 주소를 부호화하는 방법이다. 실험을 통하여, 제안한 방법에서의 복원영상의 화질은 일반적인 벡터 양자화 방법에서의 복원영상의 화질과 동일하고 비트율은 약 45∼50% 감소함을 확인하였다.

• 대한전자공학회논문지SD
• /
• 제40권9호
• /
• pp.692-701
• /
• 2003

본 논문에서는 저 전력소모와 높은 테스트용이성을 동시에 고려하기 위한 새로운 게이트 레벨 논리변환 방법을 제안한다. 주출력에서 관측될 확률이 낮은 CFF(Compact Fanout Free)를 찾아내고, 해당 CFF가 모든 주출력에서 관측불가능한 조건에서는 리던던트 연결을 첨가하여 내부에서 발생하는 스위칭 동작을 제거한다. 일반적으로 논리 변환된 회로의 테스트 용이성은 떨어지는 경향이 있다. 그러나 제안된 방법에서 첨가된 리던던트 연결은 테스트 모드에서 테스트 포인트로 동작하며 CFF의 제어도와 관측도를 동시에 향상시키게 된다. 따라서 논리 변환된 회로는 정상 모드에서는 전력 손실이 매우 낮으며, 테스트 모드에서는 높은 테스트용이성을 갖는다. 제안하는 논리 변환 방법의 효율성을 보이기 위하여 MCNC 벤치마크 테스트 회로에 대하여 실험을 수행하였다. 실험 결과로부터 변환된 회로의 전력소모는 최대 13%정도 감소하며, 고장 검출율은 오히려 증가함을 확인할 수 있다.

• Journal of Plant Biotechnology
• /
• 제3권2호
• /
• pp.107-112
• /
• 2001

The kinetics of Ti-transformed Salvia miltiorrhiza cell cultures was studied in 250-$m\ell$ shake flasks by using B5 medium with addition of 30 gfL of sucrose. In the cell cultures, the maximum cell mass obtained was 11.5 g DW/L on day 15. The highest amount of phenolic compounds - rosmarinic acid (RA) and lithospermic acid B (LAB) reached 871.3 mg/L (day 15) and 121.3 mg/L (day 13), respectively. The total tanshinone production, i.e., intracellular plus extracellular cryptotanshinone, tanshinone 1, and tanshinone IIA, was 5.3 mg/L on day 13. For the cultivations in 2.4-L stirred bioreactors, the residual sugar level and medium conductivity were a little higher in a small turbine impeller reactor ($T_s$) than those in a large turbine impeller reactor ($T_L$), while a higher cell density was obtained in the $T_L$. For the production of tanshinones and phenolics, better results were obtained in the $T_L$ than in the $T_s$. In the $T_L$, similar or even a little higher production titers of tanshinones and phenolic compounds were achieved compared to those in the flasks. The results suggest that the shake flask results could be successfully scaled up to the $T_L$ reactor. Such a large impeller reactor like $T_L$ may be better than a small impeller one for the large-scale production of the valuable metabolites by the suspension cultures of Ti transformed S.miltiorrhiza cells. This is considered due to the beneficial culture environment in the $T_L$, such as low shear rates as estimated theoretically.

• 한국멀티미디어학회논문지
• /
• 제9권1호
• /
• pp.23-32
• /
• 2006

본 논문에서는 언어모델과 음향모델을 개선함으로써 단위 숫자음의 인식성능 최적화에 대해 설명한다. 언어모델은 한국어 단위 숫자음 문장의 문법적 특징을 분석하고, Finile State Network(FSN) 노드를 두 음절로 구성하여 오 인식률을 감소시켰다. 음향모델은 단 음절로 구성되어 발성기간이 짧고 조음이 많이 생기는 불명확한 음소, 음절의 분할로 인한 오 인식을 줄이기 위해 인식단위를 반음절 쌍으로 하였다. 인식단위의 특징을 효과적으로 모델링하기 위해 특징부분에서 K-means 알고리즘으로 군집화 하여, 상태를 분할하는 변형된 연쇄 상태 분할방법을 이용하였다. 실험 결과 제안된 언어모델의 적용 후 동일 문맥종속 음소모델에서 10.5%, 음향모델에서 인식단위를 반음절 쌍으로 하였을 경우 문맥종속 음소모델에 비해 12.5%, 변형된 연쇄 상태분할을 하였을 경우 1.5%의 인식률을 향상시킬 수 있었다.

• Journal of Plant Biotechnology
• /
• 제30권1호
• /
• pp.97-102
• /
• 2003

hGM-CSF가 식물세포 현탁 배양을 통하여 생산이 가능한지를 조사하기 위하여 hGM-CSF를 포함하고 있는 A. tumerfaciens LBA4404를 가지고 상추에 형질전환시켰다. 형질전환된 상추로부터 캘러스를 유도하여 캘러스를 이용한 세포배양체계를 확립하였다. PCR과 Southern blot analysis 결과 상추에 hGM-CSF 유전자가 도입된 것을 확인하였으며, Northern blot analysis 결과 상추식물체에 hGM-CSF 유전자가 발현됨을 확인하였다. 현탁 배양 세포로부터 분비된 hGM-CSF를 ELISA를 이용하여 측정한 결과 149.0 $\mu\textrm{g}$/L가 생산됨 을 확인하였다 이러한 결과는 상추의 현탁 배양 세포가 hGM-CSF와 같은 치료용 단백질의 생산 숙주로 이용될 수 있음을 보여주었다.

• 한국측량학회지
• /
• 제13권2호
• /
• pp.153-162
• /
• 1995

국내에서 GPS를 효율적으로 활용하기 위해서는 WGS84와 벳셀 타원체간의 좌표변환 관계가 확립되어야 한다. 특히, 지역특성을 수렴하고 소요정도에 부응할 수 있는 좌표변환체계의 정립을 위해서는 변환지역에 적합한 지오이드고모형의 개발과 변환범위에 따른 기법별 좌표변환의 특성연구가 요망된다. 이에 본 연구에서는 남한지역을 대상으로한 광역망과 이를 4개의 지역권으로 나눈 지역망 및 인천시를 대상으로한 국소망을 구성, 벳셀지오이드고 기준값이 좌표변환에 미치는 영향을 고찰하여 벳셀지오이드고의 대표모형을 선정하고 변환기법별로 광역망의 변환, 지역망에 광역변환계수와 지역망의 변환계수를 적용한 경우 및 국소망의 변환결과들을 종합, 비교·검토하므로서 국내의 GPS측위범위에 따른 좌표변환의 특성을 고찰하였다.

• 한국약용작물학회지
• /
• 제10권2호
• /
• pp.88-92
• /
• 2002

대황(Rheum undulatum L.)의 형질전환된 뿌리의 기내(in vitro)배양으로부터 quinone계 알칼로이드 물질인 anthraquinone의 생산성을 확인하고자 하였다. 형질전환된 뿌리로부터 anthraquinone의 생산에 있어서 배지, 초기 pH, 탄소원의 농도, 광 그리고 elicitors의 영향을 조사 하였다. 형질전환된 뿌리는 6% sucrose와 0.5 mg/l $GA_3$ 그리고 50 mg/l chitosan이 첨가된 WPM 배지에 치상한 후 16/8의 광조건$(16{\mu}mol\;m^2s^1)$하에서 배양시 0.18 mg(생중량)의 anthraquinone의 생산성을 보여주었다. 이와같은 함량은 재배근의 약 1.3배에 해당된다.

• Journal of the Korean Data and Information Science Society
• /
• 제22권2호
• /
• pp.245-253
• /
• 2011

블럭이 존재하는 $2{\times}2$ 요인모형의 주 효과 및 상호작용효과를 검정하기 위한 순위변환 통계량의 검정력은 블럭크기, 효과들의 구성방법 및 지수분포, 이중지수분포, 정규분포, 균일 분포를 포함한 모든 모집단 분포하에서 모수적 통계량의 검정력보다 월등한 우위를 보인다. 이는 블럭이 추가된 요인 모형은 블럭과 요인의 상호작용들이 오차항을 증가시켜 모수적 통계량의 검정력을 감소시키는 보수적 성향을 보이나, 순위변환 통계량의 검정력은 상대적 우위를 유지함에 기인한다고 유추할 수 있다. 일반적으로 블럭크기가 작고, 효과크기가 클수록 순위변환 통계량의 검정력은 모수적 통계량의 검정력보다 상당히 큰 격차의 상대적 우위를 보임을 알 수 있다.