http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
파라핀 블록 PCR을 이용한 소 네오스포라 감염증의 진단법 확립
이중근,김재훈,김진현,이병천,황우석,윤희정,남호우,진영화,김대용,Lee, Jung-keun,Kim, Jae-Hoon,Kim, Jin-Hyun,Lee, Byung-chun,Hwang, Woo-suk,Youn, Hee-jeong,Nam, Hoo-woo,Jean, Young-wha,Kim, Dae-Yong 대한수의학회 2001 大韓獸醫學會誌 Vol.41 No.3
Neospora caninum infections have been associated with neonatal paresis as well as abortion around the world. Bovine abortion induced by N caninum was first reported in 1997 in Korea. Diagnosis of N caninum infection is usually based on histopathology and immunohistochemical detection of organism. However, often the tissues having lesion suggestive of N caninum infection were negative on immunohistochemistry. Here, we describe establishment of PCR-based diagnostic strategy for N caninum infection using DNA extracted from paraffin blocks containing the lesion. PCR was able to amplify N caninum-specific bands from the paraffin blocks containing at least moderate degree of inflammation. Compared to paraffin-blocks, DNA extracted from fresh tissues were less sensitive than that of paraffin blocks. This PCR-based method can be practically applicable for rapid diagnosis of bovine N caninum infection with high specificity and sensitivity. Based on this method, 17% of bovine abortion surveyed during a designated period was associated with N caninum infection.
이혁 ( Hyuk Lee ),이진호 ( Jean-ho Lee ),김진현 ( Jin-hyun Kim ),최진영 ( Jin-young Choi ) 한국정보처리학회 2008 한국정보처리학회 학술대회논문집 Vol.15 No.2
안전성 분석 활동으로 널리 쓰이는 폴트 트리 분석은 그 원인들의 관계를 논리게이트로 표현하고 원인을 자연어로 설명한다. 폴트 트리에서 자연어를 사용하여 사고의 원인을 나타내는 것은 폴트 트리 자체의 검증 뿐만 아니라, 동일한 대상의 시스템 명세에도 적용하기에 어려운 부분이다. 본 논문에서는 폴트 트리를 상태 차트로 변환하는 방법을 제안 하였으며, 상태차트로 변환된 폴트 트리를 상태차트로 명세 된 시스템의 기능적 요구사항과 결합함으로써 상태차트로 표현된 기능 명세가 안전성 분석활동을 통해 얻은 폴트 트리에 순응 되는지 여부를 볼 수 있었고, 폴트 트리에서의 분석 대상인 사고가 발생하기 까지를 추적할 수 있었다.
박명환(Myung-Whan Park),김영미(Young-Mi Kim),김진현(Jean-Hyun Kim),강인혜(Inhye Kang),최진영(Jin-Young Choi) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅰ
본 논문에서는 정형명세 언어인 Statechart의 의미론을 프로세스 알제브라로 설명하는 방법을 제시한다. 이렇게 함으로써 두개의 Statechart 명세간의 bisimulation 을 정의할 수 있게 된다.