• 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개의 논리적 함의를 소개하고 이들 사이의 관계를 조사한다.

• Journal of Convergence for Information Technology
• /
• v.7 no.3
• /
• pp.65-71
• /
• 2017

The quantum logic was introduced by G. Birkhoff and 1. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.

• Journal of Advanced Navigation Technology
• /
• v.16 no.1
• /
• pp.62-69
• /
• 2012

Multiple-control Toffoli(MCT) gates are macro-level multiple-valued gates needing quantum technology dependent primitive gates, and have been used in Galois Field sum-of-product (GFSOP) based synthesis of quantum logic circuit. Reversible logic is very important in quantum computing for low-power circuit design. This paper presents a reversible GF4 multiplier at first, and GF4 multiplier based quaternary MCT gate realization is also proposed. In the comparisons of MCT gate realization, we show the proposed MCT gate can reduce considerably primitive gates and delays in contrast to the composite one of the smaller MCT gates in proportion to the multiple-control input increase.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.12 no.1
• /
• pp.189-194
• /
• 2017

The reversibility of a quantum logic circuit can be realized when two reversible conditions of information reversible and energy reversible circuits are satisfied. In this paper, we have modeled the computation cycle required to recover the information reversibility from the multivalued quantum logic to the original state. For modeling, we used a function embedding method that uses a unitary switch as an arithmetic exponentiation switch. In the quantum logic circuit, if the adjoint gate pair is symmetric, the unitary switch function shows the balance function characteristic, and it takes 1 cycle operation to recover the original information reversibility. Conversely, if it is an asymmetric structure, it takes two cycle operations by the constant function. In this paper, we show that the problem of 2-cycle restoration according to the asymmetric structure when the hybrid MCT gate is realized with the ternary M-S gate can be solved by equivalent conversion of the asymmetric gate to the gate of the symmetric structure.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.11 no.1
• /
• pp.29-36
• /
• 2016

Recently a new class of quantum gate called $NCV-{\mid}v_1$ > library with low cost realizable potentialities is being watched with keen interest. The $NCV-{\mid}v_1$ > MCT gate is composed of AND cascaded-$CV-{\mid}v_1$ > gates to control the target qudit and its adjoint gates to erase junk ones. This paper presents a new symmetrical duality library named $NCV^{\dag}-{\mid}v_1$ > library corresponding to $NCV-{\mid}v_1$ > library. The new $NCV^{\dag}-{\mid}v_1$ > library can be operated on OR logic under certain conditions. By using both the $NCV-{\mid}v_1$ > and $NCV^{\dag}-{\mid}v_1$ > libraries it is possible to realize MPMCT gates, SOP and POS type synthesis of quantum logic circuits with extremely low cost, and expect dual gate property caused by different operational attributes with respect to forward and backward operations.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.1
• /
• pp.29-34
• /
• 2010

This paper proposes a new parity-preserving reversible logic gate. It is a parity-preserving reversible logic gate, that is, the party of the outputs matches that of the inputs. In recent year, reversible logic gate has emerged as one of the important approaches for power optimization with its application in low CMOS design, quantum computing and nono-technology. We show that our proposed parity-preserving reversible logic gate is much better in terms of number of reversible logic gates, number of garbage-outputs and hardware complexity with compared ti the exiting counterpart.

• The Science & Technology
• /
• v.32 no.1 s.356
• /
• pp.26-28
• /
• 1999

'M-이론'의 등장으로 최근 물리학계에 새로운 혁명이 일고 있다. 'M-이론'은 지금까지 양자이론으로 설명하지 못했던 많은 문제들을 해결할 수 있는 길을 열었다. 특히 새로운 수학이나 물리학을 창조하고 새로운 논리와 사고방법을 허용하여 새로운 철학을 전개해 줄 것이라고 사람들은 기대하고 있다.

• Journal of The Korean Association For Science Education
• /
• v.42 no.1
• /
• pp.1-18
• /
• 2022

The two most influential rationales for the 21^st century science curriculum reform can be said to be core competence and scientific literacy. However, the relationship between the two has not been scrutinized but remained speculative - and this has made the harmonization of the general guideline and subject-matter curriculum difficult in Korean national curriculum system. This study compares the two discourses to derive implications for future science curriculum development. This study took a literature research approach. In chapter II, national curriculum or standards, position papers, and research articles were reviewed to delineate the historical development of the discourses. In chapter III and IV, the intersections of those two discourses are delineated. In chapter III, the commonalities of the two discourses are explicated with regard to crisis rhetoric, multi-faceted meanings (individual, community, and global aspects), organization of subject-matter content and teaching and learning method, and the role of high-stake exams. In chapter IV, their respective strengths and weaknesses are juxtaposed. In chapter V, it is suggested that understanding scientific literacy and core competence discourses to have a family resemblance as 21^st century science curriculum reform rationale, after Wittgenstein and Kuhn. Finally, the ways to resolve the conflict between the two ideas from the general guideline and subject-matter curriculum over crisis rhetoric were explored.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.3
• /
• pp.676-683
• /
• 2005

In this paper, we proposed a method that optimal values of fuzzy control rule base and quantization of membership function are searched by genetic algorithm. Proposed method searched the optimal values of membership function and control rules using genetic algorithm by off-line. Then fuzzy controller operates using these values by on-line. Proposed fuzzy control system is optimized the control rule base and membership function by genetic algorithm without expert's knowledge. We investigated proposed method through simulation and experiment using DC motor and one link manipulator, and confirmed the following usefulness.

• Journal of Korean Philosophical Society
• /
• v.137
• /
• pp.151-191
• /
• 2016

Kant and Lacan strongly criticized the epistemological premise of formal logic. However, Lacan was opposed to Kant in terms of subject, object, knowledge and truth. From the viewpoint of Kant's transcendental logic, formal logic does not have the ability to represent the nature of truth. On the other hand, from the viewpoint of Lacan's psychoanalytic logic, Kant's transcendental logic misunderstands or only partially represents the state of things. But I would like to try to criticize the epistemological premise of the two forms of logic. Transcendental logic takes the evident and new function in that it has studied the necessary condition of content rather than the form of thinking which formal logic considers as his object of study. Transcendental logic evidently studies the categories which dominate our way of thinking. Can we say that the 12 categories which Kant provided are sufficient in explaining the necessity of thinking? Lacan's psychoanalytic logics tells us that Kant's categories are only a kind of metaphor related with hypothesis that tries to explain the possibility of synthetical judge a priori. Is Lacan's psychoanalytic logic sufficient in explaining the possibility of science? It is not sufficient in explaining the objectivity and strictness of science, for it depends on metaphor and metonymy which are useful to literature and unconsciousness. I would like to try to synthesize Kant's transcendental and Lacan's psychoanalytic logic in terms of structure-constructivism which combines both formal and dialectical logic, which is consistent with the ideal of human science, and not blinkered science. My conclusion is that Kant's ethical and esthetical theory should be modified though Lacan's psychoanalytic logic, and Lacan's theory of the unconsciousness revised by Kant's transcendental logic.