• 대한미생물학회지
• /
• 제34권6호
• /
• pp.513-518
• /
• 1999

A total of 113 Vibrio sp. strains were examined for plasmid content which were subjected to digestion with restriction enzymes. About the 55% Vibrio spp. have the plasmid more than one. Most of these plasmid various derivatives ranged from $2.4\;kb{\sim}23\;kb$, especially two strains of V. mimicus and one strain of V. furnissii carried one high-molecular weight plasmid (molecular weight ranging between $70\;kb{\sim}100\;kb$). Results of restriction analysis for plasmid of this three strains were by no means the rule. For detection of tdh and ctx gene, the virulence factor involved in the pathogenesis, we carried out the TDH and CT assay, PCR amplification, and hybridization. A total 11 strains were produced TDH, involved in 9 strains of V. parahaemolyticus and 1 strain of V. alginolyticus from clinical isolates and 1 strains of V. mimicus from environmental isolates. In the experiments of tdh gene detection, in all, 3 strains of V. parahaemolyticus from clinical isolates and 2 strains from environmental isolates could be successfully amplified in 400 bp by PCR. The PCR results were consistent with DNA hybridization tests. In the experiments of CT assay, in all, 3 strains of V. cholerae from clinical isolate and 1 strain of V. cholerae from environmental isolates were observed CT-producing. These CT-producing strains amplified in 302 bp by PCR for the detection of ctx gene. All CT-producing strains hybridized with digoxigenin-labeled DNA probe, while CT-negative strains did not hybridize. Also hybridization tests results for detection of ctx gene consistent with PCR.

• 논리연구
• /
• 제21권1호
• /
• pp.59-96
• /
• 2018

순수하게 형식적인 견지에서 직관주의 논리는 거짓말쟁이 유형의 역설을 다루는데 어떠한 이점도 없다고 여겨진다. 이 글에서 우리는 표준 직관주의 자연연역체계가 거짓말쟁이 유형의 역설에 취약함을 논할 것이다. 다시 말해, 거짓말쟁이 유형의 문장을 수용함이 모순(${\perp}$)을 도출하는 추론을 야기한다는 것이다. 이러한 결과는 이중부정 제거규칙(DNE)에 대한 제약이 ${\perp}$을 도출하는 추론을 막지 못한다는 것을 보여준다. 하지만 이는 거짓말쟁이 유형의 역설에 대한 직관주의적 접근법이 잘못된 것이 아니라 표준 자연연역 체계의 표현력이 부족한 문제라고 할 수 있다. 우리는 주어진 체계 S에 대한 메타-레벨 부정 연산자 ⊬$_s$와 메타-레벨 모순 연산자 ⋏를 직관주의 체계에 도입할 것이다. 그리고 체계의 완전성에 대한 가정 없이는 이 체계에서 ${\perp}$에 대한 추론을 얻을 수 없음을 보일 것이다. 또한 우리는 이중 메타-레벨 부정 제거규칙(DMNE)을 고려할 것이다. 이 규칙은 체계의 완전성을 암묵적으로 가정하며 DMNE에 대한 제약은 ${\perp}$의 추론을 막을 수 있을 것이다.

• 한국안전학회지
• /
• 제35권2호
• /
• pp.8-16
• /
• 2020

In Article 311 of the Regulation on Occupational Safety and Health Standards requires the use of Korean Industrial Standards Act in accordance with the Industrial Standardization Act. However, the classification, inspection, maintenance, design, selection, and installation of explosion hazard locations for explosion and explosion prevention and internalization of 'safety' in the performance maintenance phase of electrical machinery and equipment There is no technical and institutional management plan for remodeling and alteration. Analysis of actual conditions and problems related to the installation, use, and maintenance of explosion-proof equipment, comparative analysis of domestic and international technical standards and systems, technical, institutional and administrative systems and systems related to installation, use, and maintenance of explosion-proof equipment, technical personnel and qualifications, etc. It is to propose legislation, system improvement, and technical standard establishment related to the maintenance of explosion-proof facility performance through improvement of the necessity and feasibility study for establishment of the legal status of the management site and management plan. As technical measures, KS standard revision (draft), KOSHA guide (draft) and explosion-proof facility performance maintenance manual were presented. In addition, the institutional management plan proposed the revised rule on occupational safety and health standards, the revised rule on the restriction of employment of hazardous work, and the manpower training program related to the maintenance of explosion-proof facilities and the qualification plan. Enhance safety at the installation, use, and maintenance stage of explosion-proof structured electrical machinery. It is expected to be used to classify explosion hazards, select related equipment, and to update and standardize standards related to installation, use and maintenance.

• 디지털콘텐츠학회 논문지
• /
• 제2권1호
• /
• pp.51-61
• /
• 2001

퍼지 제어기(FLC)는 고전적인 제어기 보다 외란에 강하고 초기치에 대한 과도응답도 우수할 뿐만 아니라 시스템의 수학적 모델과 파라메터 값을 알지 못하더라도 적절한 제어가 가능하다. 그러나 퍼지 제어기의 제어 규칙 생성은 전문가의 경험과 일단 결정된 제어 규칙은 고정됨으로 인해 제어 시스템의 환경변화에 적응할 수 없는 한계성이 있다. 또한 제어기의 출력값은 미세한 오차를 가지곤 있어 정확한 목표 값에 수렴할 수 없다. 이러한 미세한 오차를 없애기 위하여 여러 가지 방법이 연구되고 있는데, 본 논문에서는 FLC에 NN(Neural Network)과 GA(Genetic Algorithm)를 결합한 GA-FNNIC(유전알고리즘-퍼지 신경망 지능 제어기 : Genetic Algorithm - Fuzzy Neural network Intelligence Controller)를 제안한다. 제안된 GA-FNNIC와 FLC 제어기 간의 출력 특성, 수렴속도, 과도특성과 상승시간에 대해 비교 분석하고, 최종적으로 본 GA-FNNIC가 오차없이 목표치에 정확하게 수렴하는 것을 보인다.

• 대한두경부종양학회지
• /
• 제12권2호
• /
• pp.169-176
• /
• 1996

결핵의 진단은 특징적 병리조직양상, 항산균 염색에 의한 균 증명과 M. tuberculosis균 배양으로 이루어지나 형태적으로는 결핵이 의심되더라도 항산균이 조직표본이나 도말에서 검출되지 않거나 M. tuberculosis가 배양되지 않아 정확한 원인적 진단이 불가능할 경우가 많다. 이에 저자들은 경부 결핵성 임파선염으로 적출되어 보내어진 경부 임파선 조직의 신선한 조직이나 통상적으로 처리되어 제작된 파라핀 블록을 이용하여 M. tuberculosis에 특수한 반복성 DNA sequence인 IS986를 표적으로 한 primers을 사용하여 nested PCR방법을 이용하여 예민도가 높은 M. tuberculosis 검출로 빠른 시간 내에 결핵을 진단하고자 본 연구를 실시하였다. 최근 유전자 기술의 진보로 M. tuberculosis의 여러 항원들의 유전자가 클론화되고 그 염기 배열이 밝혀졌으며 이에 저자들은 결핵의 확진을 위하여 파라핀 포매조직을 대상으로 nested PCR에 의한 188bp의 DNA를 증폭한후 증폭한 DNA분절의 염기 배열을 결정한 후 Bst UI와 Hha I 효소를 이용한 소화과정을 거친 후 restriction fragment length polymorphism(RFLP)을 은염색에 의해 그 패턴에 의해 M. tuberculosis를 확인하고 또한 다른 종의 Mycobacteria를 배제시킬 수 있었다. 본 방법은 1$\sim$2일에 끝나며, 방사선물질을 사용하지 않으면서도 감도 및 특이성이 우수하여 일반 병리실힘실에서도 M. tuberculosis를 포함한 각종 항산균의 신속한 검출법으로 손쉽게 사용할 수 있다고 생각되어 이에 보고하였다.

• 펄프종이기술
• /
• 제41권1호
• /
• pp.44-51
• /
• 2009

Proper test methods and instruments for evaluating score or creasing crack have not been provided, although score crack trouble occurs frequently in manufacturing corrugated containers. Because existing creasability tester has the limitation of the available thickness of test piece and folding rate, it cannot be used for corrugated fiberboards with high thickness. In this study, we developed the laboratory test instrument and the method to determine the score or creasing crack of corrugated fiberboard. This instrument can evaluate folding resistance of corrugated board without restriction on the folding rate and thickness of specimen. Corrugated fiberboard had the different folding behavior from linerboard when it was creased. By using this test machine, score crack can be objectively determined by folding test piece to the certain folding angle with constant folding rate.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권1호
• /
• pp.242-259
• /
• 2015

Three-dimensional video coding is one of the main challenges restricting the widespread applications of 3D video and free viewpoint video. In this paper, a novel fractal coding algorithm with motion-vector-field-based motion estimation for depth map sequence is proposed. We firstly add pre-search restriction to rule the improper domain blocks out of the matching search process so that the number of blocks involved in the search process can be restricted to a smaller size. Some improvements for motion estimation including initial search point prediction, threshold transition condition and early termination condition are made based on the feature of fractal coding. The motion-vector-field-based adaptive hexagon search algorithm on the basis of center-biased distribution characteristics of depth motion vector is proposed to accelerate the search. Experimental results show that the proposed algorithm can reach optimum levels of quality and save the coding time. The PSNR of synthesized view is increased by 0.56 dB with 36.97% bit rate decrease on average compared with H.264 Full Search. And the depth encoding time is saved by up to 66.47%. Moreover, the proposed fractal depth map sequence codec outperforms the recent alternative codecs by improving the H.264/AVC, especially in much bitrate saving and encoding time reduction.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.282-296
• /
• 2010

OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

• Journal of Genetic Medicine
• /
• 제4권1호
• /
• pp.80-83
• /
• 2007

고리염색체(Ring chromosome)는 매우 낮은 빈도로 발견되는 염색체 이상으로 모든 번호에서 보고되고 있으며 특히 끝곁 매듭 염색체(acrocentric chromosome)에서 빈번하게 관찰 된다. 본 증례는 ring chromosome(고리염색체)11의 산전진단에 관한 것이다. 산모는 36세의 여성으로 모체혈청검사에서 에드워드 증후군의 표시인자가 증가되어, 태아의 염색체 검사를 위해 임신 19.5주에 양수천자술을 시행하였다. 결과는 46,XX,r(11)[65]/45,XX,-11[16]/46,XX[34]로 고리염색체(ring chromosome) 11이 mosaic으로 관찰되었다. 혈액을 이용한 부모 염색체 검사는 모두 정상이었다. 임신 20주에 실시된 정밀초음파 검사에서는 자궁내성장장애(IUGR) 소견을 보였다. 모자익시즘의 확인을 위해 임신 22주에 재대 혈액을 이용한 두번째 염색체 검사 결과는 46,XX,r(11)(p15.5q24.2)[229]/45,XX,-11 [15]이었으며 첫번째 검사에서 관찰되지 않았던 다양한 형태의 고리염색체(ring chromosome)가 소수의 세포에서 관찰되었다. 고리염색체(ring chromosome)11에 대한 FISH 검사에서는 11 염색체의 장완과 11 염색체의 단완의 subtelomeric 부위가 결실되어 있었다.

• 정보과학회 논문지
• /
• 제42권3호
• /
• pp.367-378
• /
• 2015

본 논문은 기계학습 방법과 필터링 방법을 결합해서 경쟁관계를 인식하는 방법에 대한 연구이다. 기존 연구들은 기계학습 방법에만 의존해서 관계유형을 인식하는 연구들이 대부분이며. 사용되는 자질도 일반적인 관계유형에 적합한 자질을 사용하고 특히 구문분석 정보가 매우 중요한 자질로 사용된다. 본 논문에서는 구문분석 등의 언어분석 결과를 이용하지 않고, 단순한 자질들(어휘, 거리, 위치, 단서단어)만을 사용해도 경쟁관계 인식에 효과적임을 확인하였다. 또한, 경쟁관계인식 긍정 정확도를 향상시킬 수 있는 문장별 경쟁유무 분류방법, 스팸분류 방법, 거리제약 기반 자질필터링 방법을 기계학습 방법과 결합한 방법론을 제안한다. 방법론 검증을 위해서 뉴스분야 2,565개 문장을 평가셋으로 구축하였고, 비교 평가를 위해서 규칙기반 경쟁관계 인식기와 기존연구의 관계추출 방법론에 기반한 일반 관계추출기를 적용해서 비교하였다. 성능평가 결과로 규칙기반 엔진이 긍정정확도와 전체정확도(accuracy)가 81.2%와 56.8% 성능을 보였고, 일반 관계추출기는 61.2%와 56.3%를 보였다. 그에 비해서 본 논문에서 제안하는 방법은 긍정 정확도 92.2%와 전체정확도 71.3% 성능을 보여서 경쟁관계 인식에 효과적임을 확인하였다.