• 정보보호학회논문지
• /
• 제14권4호
• /
• pp.49-59
• /
• 2004

공개되지 않은 함수에 대한 입력과 그에 따른 출력을 이용하여 그 함수와 같은 입출력을 가지는 부울함수표현을 찾아내는 것이 부울함수 합성문제이다. 전자공학 및 암호학 분야에서는 이 문제가 수리계획법의 한 부류인 0-1 integer programming 문제로 귀결되며, 본 논문에서는 부울함수 합성문제를 해결하는 하나의 예로 DES 의 비공개 논리인 입력 6비트, 출력 4비트의 S-box에 대한 부울함수표현을 찾는다. 이러한 결과는 임의의 함수에 대한 효율적인 하드웨어 구현과 블록암호 알고리즘의 대수적 구조를 이용한 암호분석기법에 이용될 수 있다.

• 정보교육학회논문지
• /
• 제13권3호
• /
• pp.341-349
• /
• 2009

본 논문에서는 정보 과학교육에서 디지털 시스템의 동작 원리를 이해하는데 기초가 되는 디지털 논리 회로에 대한 내용을 쉽게 이해할 수 있도록, 전기회로 실험 조작 활동을 통한 논리회로 결과 검증 방법을 제안하였다. 그리고 제안한 검증방법을 활용하고 실생활 디지털 기기 예제를 통해 PBL 기법에 기반한 논리회로의 개념교육 방법 및 부울 논리 교육 방법을 제안하고 실제 수업에 적용한 결과를 난이도 할당의 적절성 및 학생들의 문제해결력 측면에서 분석하였다.

• 정보관리학회지
• /
• 제13권1호
• /
• pp.173-185
• /
• 1996

본 논문에서는 부울검색시스템에서 사용자로부터 입력되는 부울 질의를 효율적으로 연산하기 위한 부울 질의 최적화 방법 4가지를 기술한다. 첫째, 프로그래밍 언어에서 논리식의 계산에 사용되는 단거리계산 방법을 적용한다. 둘째, AND, NOT과 같은 특정 연산자를 효율적으로 연산하기 위하여 색인어 출현 빈도의 차이를 이용한다. 세째, 분배법칙이 적용된 질의를 원래의 식으로 변환하여 연산의 수를 감소시킨다. 마지막으로 반복되는 식을 포함하는 질의에 대하여 중복 연산을 회피한다. 또한 위의 4가지 방법들을 UNIX환경에서 개발된 KRISTAL-II 시스템에 구현하여, 제시된 방법들이 특정 경우에 검색 속도를 향상시킬 수 있음을 검증하였다.

• 논리연구
• /
• 제2권
• /
• pp.91-118
• /
• 1998

라이프니츠는 일반적으로 현대논리학의 선각자라고 부른다. 그래서 라이프니츠 논리학에서는 현대 논리학을 이해함에 있어서 중요한 단초들을 발견할 수 있다. 라이프니츠의 논리학을 대표하는 개념으로는 흔히 보편수학, 보편기호학 그리고 논리연산학을 들곤한다. 라이프니츠의 보편수학의 이념은 연대 논리학이 논리학과 수학의 통일에서 출발할 수 있는 결정적인 근거를 제공했다. 이러한 현대 논리학의 출발에 있어서는 상이한 두 입장을 발견할 수 있는데, 부울, 슈레더의 논리대수학과 프레게의 논리학주의가 바로 그것이다. 이 두 입장은 "논리학과 수학의 통일"에 있어서는 공통적인 관심을 보이지만, 논리학의 본질을 라이프니츠의 보편기호학에서 찾느냐 또는 라이프니츠의 논리연산학에서 찾느냐에 따라 상이한 입장을 취한다. 이외에도 보편과학이나 조합술을 이해하지 않고는 라이프니츠 논리학에 대한 총체적인 시각을 갖기 힘들다. 이 두 개념은 특히 타과학이나 과학적 방법론과 관련지어 논리학이란 과연 무엇인가라는 논리철학적인 조명에 있어서 중요한 실마리를 제공한다.

• 한국통신학회논문지
• /
• 제7권1호
• /
• pp.25-28
• /
• 1982

본 논문에서는 조합논리회로의 기호적 신뢰도 계정식을 구하는 한 방법을 제시하였다. 한 회로의 모든 입력이(0,1) 값을 갖는 확율변수로 나타내어지고 출력이 부울 적의합(sum of product)식으로 표시되어 지면 출력확률의 계정은 sharp 산법이라고 명명되는 부울 대수 산법에 의하여 기호적으로 계정된다.

• 대한전자공학회논문지
• /
• 제18권1호
• /
• pp.25-34
• /
• 1981

부울 미분의 개념을 응용하여, Allen-Givone implementation oriented algebra에 의한 다치 논리 회로내의 결함을 해석했다. 회로내의 모든 라인을 그 성질에 따라 다섯 가지 유형으로 분류하였으며 각 유형별로 완전한 테스트 세트를 표현하는 식을 유도하고 증명했다. 이들 식의 실제 응용예의 결과는 진리표와의 비교에 따라 옳음이 확인되었다.

• 대한공간정보학회지
• /
• 제8권2호
• /
• pp.117-127
• /
• 2000

평균수명의 증가와 생활수준의 향상으로 인해 경제적 여유가 있는 노인층에서는 자신의 경제력을 이용하여 적정한 비용을 지불하더라도 안락하고 수준 높은 서비스를 받으려는 경향이 뚜렷해지고 있다. 본 연구에서는 이러한 요구에 부응하여 전주시 외곽지역을 대상으로 하여 전원 휴양형 실버타운의 개발시 합리적이고 쾌적한 주거환경을 갖게 하는데 중점을 두어 그 적지를 선정하였다. 적지선정의 방법으로는 인공신경망이론의 학습을 통하여 각 셀에 각각의 등급 값을 부여함으로써 유연성 있는 의사결정으로 개선하였으며 또한, 지형공간정보 시스템에서 기존에 사용하던 적지 선정 방법인 부울논리의 중첩기법과 비교 분석함으로써 부울논리에 의한 정보의 손실과 인공신경망을 이용한 적지선정 방법의 타당성을 입증하였다.

• 정보보호학회논문지
• /
• 제9권1호
• /
• pp.127-134
• /
• 1999

부울 함수는 정보 보호 기술 구현의 핵심 기본 논리로서 암호학적으로 우수한 특성을 가지는 부울 함수 설계 방법 및 부울 함수의 자체 특성에 관하여 많은 연구가 추진되고 있다 본 논문은 참고 문헌[2,5]에서 제안된 균등 함수이며 2개의 상관값만을 가지는 semi-bent 함수의 상관 무결 특성에 관한 것으로 상관값이 0인 선형 함수를 결정할 수 있으며, 상관값이 0이 아닌 경우에는 상관값이 균일한 최적의 상관 특성을 가지는 semi-bent 함수 설계 방법을 제안하고, 제안 함수의 암호학적 특성을 분석한다.

• 한국산학기술학회논문지
• /
• 제12권7호
• /
• pp.3251-3257
• /
• 2011

본 논문에서는 논리합성을 위한 공통식 추출 방법을 새롭게 제안한다. 제안하는 방법은 주어진 각 논리식들에서 커널/커널 쌍들과 코커널/커널 쌍을 추출한다. 커널/커널 쌍은 주어진 논리식을 부울 나눗셈에 의해 제수, 몫, 나머지로 논리식을 다시 표현하게 된다. 다음, 여러 논리식에서 산출된 제수, 몫들에서 공통식을 추출하는 커널 교집합에 의해 공통식을 구하는 방법을 제안한다. 실험 결과 기존의 공통식 산출 결과들과 비교했을 때 제안한 방법은 리터럴 개수를 줄일 수 있었다.

• 한국수학사학회지
• /
• 제21권1호
• /
• pp.17-28
• /
• 2008

이 글의 목적은 수리논리학의 역사적 배경을 소개하려는 것이다. 각각 발전해온 수학과 논리학이 19세기 중엽에 하나로 합쳐지면서 엄청난 시너지 효과를 가져왔다. 그 후 논리학의 '수학화'는 탄력을 받아 진행되었고, 다른 한편으로는 수학도 논리로 환원시키려는 움직임이 일어났다. 이러한 흐름 속에서 괴델은 산수를 포함하는 무모순인 형식체계는 불완전하다는 것을 증명함으로써 형식주의의 한계를 보여주었다.