• 한국컴퓨터정보학회논문지
• /
• 제19권3호
• /
• pp.109-117
• /
• 2014

본 논문은 회로 최소화 문제에 대한 Quine-McCluskey 법을 개선한 알고리즘을 제안하였다. Quine-McCluskey 법은 주 내포 항을 반복적인 방법으로 찾고, 회로 최소화 방법으로 시행착오법, 분기한정법 또는 Petrick 법을 적용한다. 반면에 제안된 알고리즘은 사전에 항표를 생성하여 주 내포 항을 간단히 찾는 방법을 제안하였으며, 집합피복을 결정하는 방법을 적용하여 1차와 2차 필수 주 내포 항을 간단히 찾는 방법을 제안하였다. 3-변수와 4-변수 실험 데이터에 적용한 결과 제안된 알고리즘이 Quine-McCluskey 법에 비해 보다 간단하면서도 정확히 해를 구할 수 있었다.

• 한국산업정보학회논문지
• /
• 제18권1호
• /
• pp.25-35
• /
• 2013

Automatically deriving only individual don't-care minterms that can effectively reduce a Boolean logic expressions are being investigated. Don't-care conditions play an important role in optimizing logic design. The type of unknown don't-care minterms that can always reduce the number of product terms in Boolean expression are referred as single hypothetical don't-care (S-HDC) minterms. This paper describes the Quasi Quine-McCluskey method that systematically derives S-HDC minterms. For the most part, this method is similar to the original Quine-McCluskey method in deriving the prime implicants. However, the Quasi Quine-McCluskey method further derives S-HDC minterms by applying so-called a combinatorial comparison operation. Upon completion of the procedure, the designer can review generated S-HDC minterms to test its appropriateness for a particular application.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제4권12호
• /
• pp.391-398
• /
• 2015

이 연구에서는 중등 심화 과정을 마치고 사사 과정에 진입한 최우수 정보과학 영재 교육을 위한 회로 최소화 알고리즘의 성능 개선 및 평가 과정을 보인다. 이 과정에서 학생들은 원하는 목표 기능을 얻기 위한 논리 회로는 꼭 한 가지가 아니고 다양하게 구성할 수 있다는 점과 이들 중 가장 간단한 회로를 찾을 수 있는 방법의 필요성을 인식하게 된다. 수작업으로 이루어지는 까르노 맵에서 회로 최소화를 위한 기본 원리를 터득하고, 그 과정을 소프트웨어로 수행하는 Quine-McCluskey 알고리즘을 탐구한다. Quine-McCluskey 알고리즘은 기본적으로 집합 연산의 반복에 의해 중복성을 도출하고 축약하는 과정을 반복한다. 집합 연산은 두 집합을 구성하는 원소들에 대한 비교 연산으로 이루어지므로 복잡도가 높다. 이를 해결하는 방법으로 원소 나열식 집합을 비트 정보로 표현하는 방안을 모색하고, 그 결과 약 36%의 성능 향상이 이루어짐을 보게 된다. 이 과정의 궁극적 목표는 영재 학생들이 전자 스위치, 논리 게이트, 논리 회로, 프로그래밍 언어, 데이터 구조, 알고리즘 등을 포괄하는 컴퓨터과학 학문에 대한 흥미와 지식 통합적 안목을 기르는 데 있다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2014년도 제49차 동계학술대회논문집 22권1호
• /
• pp.373-376
• /
• 2014

최근 모바일 기기 및 무선기기의 발달로 인하여 센서 네트워크가 다양한 분야에서 응용되고 있다. 따라서 센서에서 실시간으로 발생하는 스트리밍 데이터에서 이벤트를 감지하고 분석하는 것은 중요한 연구 분야로 부각되고 있다. 단순 이벤트의 발생 조건을 빠르게 판별하기 위해 비트맵 인덱스 기반 복합 이벤트 검출 기법 등 여러 가지 방법들이 사용되고 있지만, 아직까지 이기종 센서에서 발생하는 각기 다른 형태의 데이터를 융합하여 이벤트를 검출하는 복합 이벤트 처리에 대한 연구는 미비한 실정이다. 본 논문에서는 각기 다른 형태를 가지는 스트리밍 데이터에 멤버쉽 함수를 적용하여 퍼지화 함으로서 이기종 센서에서 발생하는 데이터를 융합 처리가능하며, Quine-Mccluskey 감축기법을 통하여 규칙의 신뢰도 및 속도가 향상된 의사결정을 하는 고속 이벤트 탐지기법을 제안한다.

• 논리연구
• /
• 제14권1호
• /
• pp.77-102
• /
• 2011

이 논문은 콰인의 존재론적 개입 기준이 유명론자에게 야기하는 문제에 관한 것이다. "존재한다는 것은 변항의 값이 된다는 것이다"는 것이 콰인의 분명한 존재론적 개입 기준이다. 이 기준에 의하면, 우리가 어떤 문장을 참이라고 여길 경우, 그 문장이 참이 되기 위해서 존재해야 하는 것들의 존재에 우리가 개입하게 된다. 그런데 이 기준은 유명론자에게 문제를 야기한다. "겸손은 미덕이다"라는 것을 참이라고 받아들이고 싶은 유명론자는, 겸손이라는 속성의 존재를 받아들여야 한다는 것이다. 그러나 유명론자는 "겸손은 미덕이다"라는 말이 의미하는 것은 받아들이고 싶지만, 겸손과 같은 속성의 존재를 받아들이고 싶어하지 않는다. 결국 유명론자는, 상식을 부정하든지, 속성의 존재를 받아들이든지 선택해야 하는 딜레마에 처해있는 것이다. 이러한 난국을 빠져나갈 수 있는 방법은, 속성에 대한 존재론적 개입을 피하면서도 원래 문장과 같은 뜻을 가지는 패러프레이즈를 제시하는 것이다. 그러나, 올바른 패러프레이즈를 제시하는 것은 항상 어려운 일이었다. 이와 같은 문장들에 대해서 패러프레이즈를 제시하려는 노력이 있었지만, 여러 어려움 때문에 모두 실패하고 말았다. 이 논문에서는, 기존의 문제점들을 모두 극복하는 성공적인 패러프레이즈가 제시될 것이다. 하지만 그전에 콰인의 기준에 관한 몇몇 주제들이 더 명확히 정리될 필요가 있다. 패러프레이즈가 아예 필요하지 않다는 루이스의 비판 역시 또한 다뤄질 것이다.

• 전자공학회논문지CI
• /
• 제41권4호
• /
• pp.51-58
• /
• 2004

본 논문에서는 fault tolerant 하드웨어에서 가장 기본이 되는 온라인 하드웨어 테스트 시스템 구현을 위하여 새로운 인공면역 알고리즘을 제안한다. 인공 면역 알고리즘은 알려진 자기(self) 정보만을 이용하여 항체 즉 tolerance condition을 가장 최적으로 생성하는 알고리즘이다. 이를 위하여 본 논문에서는 생체 면역 시스템의 중요한 원리인 antibody diversity 원리를 적용한 새로운 tolerance condition 생성 알고리즘을 제안한다. 또한 생체 면역 시스템에서의 중요한 세포인 APC (Antigen Presenting Cell)를 Quine-McCluskey 방법으로 구현한 후 유전자 알고리즘을 통해 tolerance condition을 자동 생성하는 알고리즘을 구현한다. 이렇게 제안된 알고리즘은 FSM(Finite State Machine)의 가장 전형적인 예인 십진카운터에 적용한 후 컴퓨터 모의 실험을 통해 그 성능을 확인한다.

• 대한수학회지
• /
• 제29권1호
• /
• pp.127-140
• /
• 1992

• 한국컴퓨터정보학회논문지
• /
• 제20권4호
• /
• pp.95-102
• /
• 2015

본 논문은 회로 최소화 문제를 간단하게 풀 수 있는 알고리즘을 제안하였다. 회로 최소화 문제는 수기식 방법인 카르노 맵과 전산화가 가능한 휴리스틱 방법인 Quine-McCluskey 알고리즘이 있다. 그러나 Quine-McCluskey 알고리즘은 변수 개수 n이 증가하면 $3^n/n$의 메모리와 수행횟수가 요구되는 단점을 갖고 있다. 제안된 방법은 빈도수에 기반하여 내포 항 표를 이용하여 주어진 부울 함수의 최소 항을 포함하는 주 내포 항을 빠르게 추출하는 방법을 적용하였다. 추출된 주 내포 항들 중에서 중복 선택된 여분의 주 내포 항을 빈도수를 적용하여 제거하는 방법을 제안하였다. 제안된 알고리즘은 비록 변수 개수 n이 증가하여도 다항시간으로 회로를 최소화시킬 수 있는 해를 구할수 있는 장점을 갖고 있다. 제안된 알고리즘을 3-변수와 4-변수의 다양한 사례들에 적용한 결과 해를 빠르고 정확하게 구할 수 있었다.

• 논리연구
• /
• 제16권2호
• /
• pp.233-271
• /
• 2013

본고에서는 콰인의 존재론적 기획의 윤곽을 보이고자 했다. 이 기획의 핵심에는 존재론적 개입의 기준이 있다. 그의 존재론적 개입의 기준에 관한 논의는 20세기 영미 철학계에서 존재론 탐구의 기준과 방법에 방향을 제시할 정도로 큰 영향을 주었으나, 다른 한편으로 더 큰 궁금증을 유발한다. 이 기준을 제시할 때 그는 진정으로 존재론에 종사한 것인가? 이런 의문에 답하기 위해서 본고에서는 존재론이 철학의 다른 분야와 마찬가지로 여러 층위를 갖고 있다는 점을 부각시켜, 콰인의 논의가 어떤 성격을 갖는지 밝히고자 한다. 이를테면, 존재론적 개입의 적절한 기준을 찾아나가는 일은 상위 존재론에 속하는 작업이며, 실질 존재론인 이런 기준을 이용하여 이루어진다. 전자를 위해서는 의미론적 상승이 필요하며, 후자를 위해서는 존재론적 하강이 필요하다고 주장했다. 그리고 이런 논의의 결과, 콰인의 존재론 관련 논의에 대한 몇 가지 사소하거나 중요한 오해도 제거될 수 있다. 존재론적 개입이 진리조건을 요구한다는 오해가 가장 심각하지만, 이 오해를 통해 성공한 존재론적 개입의 조건이 분명해질 것이다. 이런 해명이 진행되면서, 더 일반적으로는 존재론의 범위와 책무도 자연스럽게 드러날 것이다.

• 논리연구
• /
• 제8권1호
• /
• pp.1-22
• /
• 2005

This paper provides a comparison of three fundamentally different approaches to the issue of ontological commitment. It argues that despite superficial similarities on either side, Buridan's approach provides an intriguing third alternative to the two commonly recognized modern approaches.