• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.259-262
• /
• 2007

수학, 물리학, 전자전기공학에서 취급하는 수치 자료는 매우 크거나 정밀도가 높을 수 있고, 이 경우 계산과정에서 흔히 오버플로우나 언더플로우가 발생한다. 본 연구는 이런 현상을 최소화하기 위하여 겁수(Kalpa Number) 표현 방법을 제안하고, 정수형 겁수의 사칙연산과 논리연산을 구현하였다. 겁수를 이용할 경우 실행속도는 느리지만 매우 큰 수의 연산이 가능하다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2017년도 춘계 종합학술대회 논문집
• /
• pp.431-432
• /
• 2017

고전 논리의 연산이 집합의 연산과 밀접하게 관련되어 있는 것과 같이 양자논리(quantum logic)는 힐버트 공간(Hilbert space)의 닫힌부분공간(closed subspace)의 연산과 관련되어 있다. 닫힌부분공간들의 집합은 직교모듈로 격자(orthomodular lattice)를 이루고, von Neumann과 Birkhoff를 포함하여 많은 수학자들은 양자논리의 수학적 체계를 만들기 위해 직교모듈로 격자를 이용하였다. 일반 격자(lattice)에서 논리적 함의(implication)는 $x{\rightarrow}y={\neg}x{\vee}y$에 의해 일의적으로 정의되지만 직교모듈로 격자에서는 6개의 서로 다른 논리적 함의가 정의되는 것으로 알려져 있다. 본 논문에서는 직교모듈로 격자에서 정의되는 3개의 논리적 함의를 소개하고 이들 사이의 관계를 조사한다.

• 골판지포장물류
• /
• 제5권20호
• /
• pp.131-144
• /
• 1997

• 한국정보전자통신기술학회논문지
• /
• 제12권6호
• /
• pp.567-572
• /
• 2019

본 논문에서는 이진영상과 이진커널을 사용하여 컨볼루션, 풀링, ReLU 연산을 수행하는 이진 CNN 연산 알고리즘을 제안한다. 256 그레이스케일 영상을 8개의 비트평면으로 분해하고, -1과 1로 구성되는 이진커널을 사용하는 방법이다. 이진영상과 이진커널의 컨볼루션 연산은 가산과 감산으로 수행한다. 논리적으로는 XNOR 연산과 비교기로 구성되는 이진연산 알고리즘이다. ReLU와 풀링 연산은 각각 XNOR와 OR 논리연산으로 수행한다. 본 논문에서 제안한 알고리즘의 유용성을 증명하기 위한 실험을 통해, CNN 연산을 이진 논리연산으로 변환하여 수행할 수 있음을 확인한다. 이진 CNN 알고리즘은 컴퓨팅 파워가 약한 시스템에서도 딥러닝을 구현할 수 있는 알고리즘으로 스마트 폰, 지능형 CCTV, IoT 시스템, 자율주행 자동차 등의 임베디드 시스템에서 다양하게 적용될 수 있는 시스템이다.

• 논리연구
• /
• 제22권3호
• /
• pp.417-446
• /
• 2019

비트겐슈타인의 "논리-철학 논고"에서 "연산 이론"은 "논고"의 수학 철학의 핵심적 토대다. 비트겐슈타인은 연산 이론을 바탕으로 6.02에서 기수의 정의를 제시하고 있고, 6.241에서 연산 이론을 이용하여 "$2{\times}2=4$"의 증명을 제시한다. 그렇기 때문에 "논고"의 수학 철학을 정확하게 해명하기 위해서는 "논고"의 연산 이론에 대한 철저한 이해가 요구된다. 그리하여 나는 이글에서 "논고"의 수학 철학을 해명하기 위한 예비적인 작업으로서 "논고"의 연산 이론을 해명하고자 한다. 이러한 과정에서 우리는 6.241에 대한 프래스콜라의 재구성과 해석에서 그의 중요한 기여와 오류들을 확인할 수 있다. 특히 우리는 6.241에서 비트겐슈타인이 실수를 하게 된 배경과 그가 6.241에서 연산이론의 덧셈 연산을 다루었다는 것을 이해할 수 있고 이를 토대로 6.241을 올바르게 재구성할 수 있다.

• 대한수학교육학회지:학교수학
• /
• 제10권3호
• /
• pp.357-374
• /
• 2008

본 연구는 현재 고등학교 1학년에서 처음 소개되는 복소수 단원의 복소수의 정의와 연산, 그 연산에 대한 성질 등 교과서의 서술 방식이 학생들의 '수준'과 교육과정의 흐름에 맞게 논리적으로 서술되어 있는지 알아보고자 하였다. 여기서 학생들의 '수준'이란 실수에서 복소수로의 새로운 수 체계의 확장에 따른 대수적 구조를 파악하고 이해할 수 있는 수준으로 가정한다. 즉, 고등학교 1학년 교과서 전반의 전체적인 흐름을 볼 때 복소수 단원의 목표는 새로운 수의 확장에 따른 대수적 구조의 보존을 이해하고 파악하는 것이므로 이러한 목표에 맞게 복소수의 정의와 연산, 그 연산에 대한 성질이 교과서에서 서술되는 방식이 수학적인 입장에서 보았을 때 논리적인 비약(gap)이나 순환논증의 오류를 가지지 않고 적절하게 서술하고 있는지를 살펴보고자 한 것이다. 본 연구는 이런 관점에서 16종 교과서를 분석하여 크게 다섯까지의 분석 대상을 찾아내었다. 첫째는 허수 단위 i의 도입과 음수의 제곱근, 둘째는 복소수의 정서방식에서 실수와 순허수의 정의 방식, 셋째는 복소수의 사칙 연산, 넷째는 복소소의 연산에 관한 성질에서의 대소 관계와 역원의 표현 방법, 마지막으로 대수적 구조의 보존에 관한 것이다. 본 연구에서 주요 관점에서 살펴본 위의 5가지 대상에 관한 교과서의 서술방식은 논리적 정확성의 문제와 순환논리의 오류가 생길 수 있는 가능성이 있다고 판단되었고, 연구자가 일부 논리적 비약(gap)으로 판단한 것이 있는데, 이는 오류가 아닐 수 있으나 학생들이 이해하는 데에 있어 논리적으로 전후가 맞지 않는 전개과정 이라고 판단되었기 때문이다.

• 한국광학회:학술대회논문집
• /
• 한국광학회 1999년도 제16회 광학 및 양자전자 학술발표회Proceedings of 16th Optics and Quantum Electronics Conference, 1999
• /
• pp.42-43
• /
• 1999

• 한국컴퓨터산업학회논문지
• /
• 제3권2호
• /
• pp.149-158
• /
• 2002

본 논문에서는 광컴퓨터의 개발에 이용될 수 있는 산술논리연산회로(ALU)를 설계하고 검증한다. 전자회로 기술의 접목이 용이하고 가장 상용화가 잘된 $LiNbO_3$ 광스위칭 소자에 기반한 이 ALU는 산술논리 동작을 실행하는 연산회로, 오퍼런드와 연산결과를 저장하는 메모리 소자 그리고 명령어 선택을 위한 부가회로로 구성되며, 비트 단위 직렬 방식으로 동작하는 것이다. 본 논문에서는 또한 설계한 ALU 회로의 정확성을 검증할 수 있는 시뮬레이터를 구현하고, 일련의 기본 명령어들을 순차적으로 실행하면서 메모리와 누산기에 저장된 값의 단계적 변화를 확인하는 시뮬레이션을 통하여 설계한 ALU가 정확함을 보인다.

• 한국산학기술학회논문지
• /
• 제5권1호
• /
• pp.26-28
• /
• 2004

본 논문에서는 유연성 있는 신호처리 방법으로 디지털 로직을 컴퓨터 논리연산 명령으로 구성하여 외부에서의 입력신호에 대응하는 논리연산의 결과를 입출력 채널을 통해 외부로 출력해 줄 수 있는 드라이브에 관한 연구이다. 이는 Decoder IC Multiolexer & Demulti Plexer, 기본 로직 IC 등의 가상구현 및 BIT출력이 가능한 디지털 신호원으로서의 기능이 가능하며 일반 산업체에서 유용하게 사용될 수 있으리라 사료된다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 춘계학술대회 학술발표 논문집
• /
• pp.103-106
• /
• 1998

본 논문은 다치논리와 신경망을 융합한 다치 뉴로 모델을 제안한다. 다치논리를 이용하여 다치 연산을 위한 알고리즘을 제안하고, 다치-OR, 다치-AND, 다치-NOT 회로를 이용한 다치 뉴로 시스템을 구성하고, 모의 실험을 통하여 확인하였다.