• Journal of the Korean Institute of Telematics and Electronics
• /
• v.4 no.3
• /
• pp.2-8
• /
• 1967

A method is illustrated for minimizing the number of internal states in incompletely specified sequential networks. The starting point for minimizing technique in this paper is the set of maximal compatibility classes which covers the original flow table and the minimal covering can be obtained directly by employing three rules. The reduction techniques for prime implicant table or covering and closure table are not employed in this paper. Although the minimizing technique is applied to some specific problems, it is believed that the concepts are general in nature and can be applied to any type of incompletely specified flow tables.

• Korean Journal of Logic
• /
• v.4
• /
• pp.37-62
• /
• 2000

괴테의 불완전성 정리와 그것의 역사적 배경을 이루었던 힐베르트의 프로그램이 어떤 관계에 놓이느냐 하는 쟁점은 전자가 후자를 논박하느냐 하는 문제로 요약될 수 있다. 전자는 수리논리학에서의 한 정리이고 후자는 어떤 철학적 해석이 요구되는 요소를 지니고 있다. 따라서 전자는 '그 자체만으로는' 후자를 논박할 수 없으며, 어떤 철학적 해석이 부여될 때에만 그런 일은 가능할 수 있다. 후자가 지니고 있는 철학적 요소 중에서 가장 중요한 것은 힐베르트의 "유한주의"의 개념이다. 이 개념에 대해서 어떤 철학적 해석이 부여되느냐에 따라, 전자는 후자를 논박할 수도 있고 그렇지 않을 수도 있다. 특히, 힐베르트의 "유한주의"에 대한 철학적 해석은 괴델의 "특수한 유한주의적" 해석과 겐첸의 "구성주의적 해석"으로 대변할 수 있으며, 각각 논박설과 반논박설의 근거를 제공하고 있다. 결국, 문제는 그러한 철학적 해석들이 힐베르트의 사유에 비추어 얼마나 정당한가 하는 점이다. 이 글에서 나는 겐첸의 해석이 괴델의 해석에 대해 대등하게 경합적일 뿐만 아니라, 어떤 점에서는 힐베르트의 사유에 비추어 더 정당하다는 것을 보이고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.460-463
• /
• 2007

기존 공간 분류 시스템은 애매모호한 데이터나 불완전한 데이터, 결손 데이터의 처리에는 취약하다는 단점을 가지고 있다. 수치 형태의 애매모호성을 효과적으로 처리하기 위해 신경망을 이용할 수 있다. 그러나, 신경망을 이용한 공간 데이터 분류 방법은 불완전한 데이터나 결손 데이터들을 무시하지 않고 처리 할 수 있으나, 다양한 수치형태를 가지는 공간 데이터들로 인해 네트워크 구조의 복잡도가 증가하고 학습성능이 저하된다는 문제점을 야기한다. 본 논문에서는 이러한 문제점을 해결하기 위해서 퍼지 신경망을 적용한 새로운 공간 분류시스템을 제안하고 구현하였다. 실험 결과 기존의 방법에 비해 좋은 성능을 보임을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.998-1001
• /
• 2014

본 논문은 영상에서 불완전한 얼굴을 인식하는 방법으로 얼굴의 각 객체를 검출하여 특징을 비교하는 방법을 제안한다. 부분적 요소 즉, 얼굴의 눈, 코, 입을 각각 PCA(Principal component analysis)와 LDA(Linear discriminant analysis)를 이용해 특징을 추출한 등록된 데이터베이스와 비교하여 신원을 확인한다. 본 논문에서 제안하는 방법의 성능을 검증하기 위해 실험으로 증명하였으며, 기존에 제안된 방법들보다 현저히 높은 인식률을 보였다.

• Korean Journal of Microbiology
• /
• v.23 no.4
• /
• pp.248-251
• /
• 1985

An imperfect fungus recognized as a dermatophyte was isolated from soil samples and the macroscopic, microscopic and physiological characteristics were examined. From the comparisons of this isolate with the known species, the strain belonged to the genus Microsporum. She showed mant different characteristics from the related species, including colony color and shape, or number in a cell of macrocondium. This isolate was considered to be a novel species in the genus Microsporum. Therefore the name was given to her as Microsporum nigricans Yeeh sp. nov. because of dark blackish color from the macroscopic observation.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.543-544
• /
• 2012

객체 추적 및 모니터링 시스템에서 안개와 같은 환경적 불완전 요소는 비전 처리 성능에 많은 영향을 준다. 특히 안개는 빛의 산란과 흡수에 의한 감쇠로 탐지 영역내의 물체의 색상이 비슷해지고 채도가 매우 떨어지게 되어 객체의 형태를 구별하기 어려워진다. 따라서 실외에서 신뢰할 수 있는 비전 처리를 위해서는 안개와 같은 환경적 불완전 요소의 제거가 필수라 할 수 있다.

• KOREAN POULTRY JOURNAL
• /
• v.6 no.3 s.53
• /
• pp.111-115
• /
• 1974

결산을 함에 있어서는 먼저 계정기록의 불완전한 점을 고치기 위하여 기말에 한꺼번에 실제의 변화과정을 정확히 판단해서, 계정기록을 적절히 수정하지 않으면 안된다. 그러므로 결산시에는 실제의 변화가 있는 사항에 대하여 기말의 재산 재고조사를 행하고 그 결과에 따라서 극력 원장계정면을 기말의 실상에 맞추어 두지 않으면 안된다.

• 건강소식
• /
• v.36 no.3
• /
• pp.30-31
• /
• 2012

자녀의 건강과 두뇌 성장을 별개라고 생각하면 안 된다. 자녀의 몸은 미완성이다. 불완전한 신체 조직은 서로 정보를 주고받으며 성장하기 때문에 두되는 건강 상태에 민감할 수 밖에 없다. 쉽게 말해, 머리 좋은 아이를 만드는 일은 건강한 아이를 만드는 일과 같다.

• Proceedings of the Korea Society of Costume Conference
• /
• 2005.10a
• /
• pp.190-191
• /
• 2005

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1999.04a
• /
• pp.400-401
• /
• 1999