• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.259-262
• /
• 2007

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

• Proceedings of the Korea Contents Association Conference
• /
• 2017.05a
• /
• 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개의 논리적 함의를 소개하고 이들 사이의 관계를 조사한다.

• Corrugated packaging logistics
• /
• v.5 no.20
• /
• pp.131-144
• /
• 1997

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.12 no.6
• /
• pp.567-572
• /
• 2019

In this paper, we propose an algorithm to perform convolution, pooling, and ReLU operations in CNN using binary image and binary kernel. It decomposes 256 gray-scale images into 8 bit planes and uses a binary kernel consisting of -1 and 1. The convolution operation of binary image and binary kernel is performed by addition and subtraction. Logically, it is a binary operation algorithm using the XNOR and comparator. ReLU and pooling operations are performed by using XNOR and OR logic operations, respectively. Through the experiments to verify the usefulness of the proposed algorithm, We confirm that the CNN operation can be performed by converting it to binary logic operation. It is an algorithm that can implement deep running even in a system with weak computing power. It can be applied to a variety of embedded systems such as smart phones, intelligent CCTV, IoT system, and autonomous car.

• Korean Journal of Logic
• /
• v.22 no.3
• /
• pp.417-446
• /
• 2019

The operation theory of the Wittgenstein's Tractatus Logico-Philosophicus is the essential basis of the philosophy of mathematics of the Tractatus. Wittgenstein presents the definition of cardinal numbers on the basis of operation theory, and suggests the proof of "$2{\times}2=4$" by using the theory of operations in 6.241. Therefore, in order to explicate correctly the philosophy of mathematics, it is required to understand rigorously the theory of operations in the Tractatus. Accordingly in this paper, I will endeavor to explicate operation theory of the Tractatus as a preliminary study for explicating the philosophy of mathematics of the Tractatus. In this process, we can ascertain Frascolla's important contributions and fallacies in his reconstruction of 6.241. In particular, we can understand the background that in 6.241 Wittgenstein made mistakes and that there he dealt with the addition operation of the theory of operations, and on the basis of this, we can reconstruct correctly 6.241.

• School Mathematics
• /
• v.10 no.3
• /
• pp.357-374
• /
• 2008

The complex number system is supposed to introduce first chapter in the first grade of high school. When number system is expanded to complex numbers, the main aim is to understand preservation of algebraic structure with regard to the flow of curriculum and textbook. This research reviewed overall alternative articulation and treatment of textbooks from a logical viewpoint. Two research questions are developed below. First, in the structure of the current curriculum, when we consider student's 'level', how are the alternative articulation and treatment of textbooks in complex unit on a logical point of view? Second, What are more logical alternative articulation and treatment? What alternative articulation and treatment are suitable for a running goal? and what are the improvement which is definitive?

• Proceedings of the Optical Society of Korea Conference
• /
• 1999.08a
• /
• pp.42-43
• /
• 1999

• Journal of the Korea Computer Industry Society
• /
• v.3 no.2
• /
• pp.149-158
• /
• 2002

This paper deals with design and verification of an arithmetic logic unit(ALU) to be used for development of optical computers. The ALU is based on optical switching device, $LiNbO_3$, which is easy to interface with electronic technology and most common in the market. It consists of an arithmetic/logic circuit performing logic operations, memory devices storing operands and the results of operations, and supplementary circuits to select instruction codes, and operates in bit-serial manner. In addition, a simulator is developed for verification of the design, and a set of basic instructions are executed in sequence and step-by-step changes in the accumulator and the memory are examined through simulations, to show that various operations are performed correctly.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.5 no.1
• /
• pp.26-28
• /
• 2004

In spite of the presence of various kind of Integrated Circuits it's not always easy to get the right part. Besides, it is hard to find a vendor for a small quantity consumers like who develop prototype applications. In this study, we've tried to get the logical signals from the PC based device we've developed that correspondents with the real ICs. It can emulate decoder ICs, multiplexers, demultiplexers and basic logic gates.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.03a
• /
• pp.103-106
• /
• 1998

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