• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 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개의 논리적 함의를 소개하고 이들 사이의 관계를 조사한다.

• 융합정보논문지
• /
• 제7권3호
• /
• pp.65-71
• /
• 2017

양자논리는 양자역학을 위한 수학적 구조인 힐버트 공간에서의 사영을 다루기 위해 Birkhoff와 von Neumann에 의해 소개되었고 Husimi는 이 양재논리를 보완하기 위해 직교모듈라의 성질과 직교모듈라 격자를 제안하였다. Abbott은 직교모듈라 격자에서의 함의를 연구하기 위해 직교함의 대수와 그 성질을 소개하였다. 직교모듈라 격자에서 가환관계는 분배법칙과 모듈라 성질 등과 관련된 중요한 성질이다. 본 논문에서는 직교함의 대수에서의 한 이항연산과 이를 이용한 최대하계를 정의하고 그 이항연산의 성질을 밝힌다. 또한 준동형사상을 정의하고 이를 이용하여 직교함의 대수에서의 가환관계를 특성화한다.

• 한국항행학회논문지
• /
• 제16권1호
• /
• pp.62-69
• /
• 2012

다중제어 Toffoli(multiple-control Toffoli, MCT) 게이트는 원시 게이트에 의존적인 양자 기술을 필요로 하는 매크로 레벨 다치(multiple-valued) 게이트이며, Galois Field sum-of-product(GFSOP)형 양자논리 함수의 합성에 사용되어 왔다. 가역 논리는 저전력 회로 설계를 위한 양자계산(quantum computing, QC)에서 매우 중요하다. 본 논문은 먼저 GF4 가역 승산기를 제안한 후 GF4 승산기 기반의 quaternary MCT 게이트 실현을 제안하였다. MCT 게이트 실현을 위한 비교에서 제안한 MCT 게이트가 다중제어 입력이 증가할수록 종전의 작은 MCT 게이트 합성 방법보다 원시 게이트 수와 게이트 지연을 상당량 줄일 수 있음을 보였다.

• 한국전자통신학회논문지
• /
• 제12권1호
• /
• pp.189-194
• /
• 2017

양자논리회로의 가역성은 정보 가역적 및 에너지 가역적 회로라는 두 가지 가역 조건을 만족할 때 실현될 수 있다. 본 논문은 다치 양자논리 회로에서 원래상태로의 정보가역성 회복에 필요한 연산 사이클을 모델링하였다. 모델링을 위해 유니터리 스위치를 산술 멱승 스위치로 사용하는 함수 임베딩 방법을 사용하였다. 양자논리회로에서 수반게이트 쌍이 대칭이면 유니터리 스위치함수가 균형함수 특성을 보임으로써 원래상태의 정보 가역성 회복에 1 사이클 연산이 소요되었다. 반대로 비대칭 구조이면 상수 함수에 의해 2 사이클 연산이 소요되었다. 본 논문은 ternary M-S 게이트로 hybrid MCT 게이트를 실현할 경우의 비대칭 구조에 따른 2 사이클 복원 문제는 비대칭 구조의 수반게이트들을 대칭구조의 수반게이트로 등가 변환하여 해결할 수 있음을 밝혔다.

• 한국전자통신학회논문지
• /
• 제11권1호
• /
• pp.29-36
• /
• 2016

최근 들어 양자 논리 회로의 저비용 실현 가능성을 가진 $NCV-{\mid}v_1$ >라이브러리라 불리는 새로운 종류의 양자 게이트가 주목을 받고 있다. $NCV-{\mid}v_1$ > MCT 게이트는 입력부에 타깃 입력을 제어하는 $CV-{\mid}v_1$ > 게이트와 정크 비트 제거를 위한 수반 게이트의 종속 AND 구조를 갖는다. 본 논문은 $NCV-{\mid}v_1$ >라이브러리에 대응하는 대칭적 쌍대 특성을 갖는 $NCV^{\dag}-{\mid}v_1$ >라이브러리라 불리는 새로운 게이트를 제안한다. 새로운 $NCV^{\dag}-{\mid}v_1$ >라이브러리는 특정 조건에서 OR 논리로 작동한다. $NCV-{\mid}v_1$ >라이브러리와 $NCV^{\dag}-{\mid}v_1$ >라이브러리를 함께 사용하면 MPMCT 게이트와 SOP 및 POS형 양자논리 회로의 저비용 실현이 가능하며, 순방향과 역방향 연산에 대한 상이한 연산 속성 때문에 듀얼 게이트 성질이 기대된다.

• 전자공학회논문지SC
• /
• 제47권1호
• /
• pp.29-34
• /
• 2010

본 논문에서는 새로운 패리티 보존형 가역 논리게이트를 제안한다. 패리티 보존형 가역 논리게이트는 입력 값과 출력 값의 패리티가 같은 가역 논리게이트를 의미한다. 최근 가역 논리 게이트가 저전력 CMOS 디자인, 양자 컴퓨팅 그리고 나노 테크놀로지와 같은 분야에서 전력을 효율적으로 사용하는 방법임을 알려졌다. 그리고 패리티 체크(parity-checking)는 디지털 시스템에서 오류 주입을 확인 하는 대표적인 방법 중 하나이다. 제안하는 새로운 패리티 보존형 가역 논리게이트는 모든 boolean 함수를 구성할 수 있고, 기존의 오류 확인 boolean 함수보다 가역 논리게이트 수, garbage-output의 수 그리고 하드웨어 연산량에서 효율적으로 구성할 수 있다.

• 과학과기술
• /
• 제32권1호통권356호
• /
• pp.26-28
• /
• 1999

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

• 한국과학교육학회지
• /
• 제42권1호
• /
• pp.1-18
• /
• 2022

오늘날 세계적으로 영향력을 미치고 있는 21세기 과학 교육과정 개혁의 두 논리는 핵심 역량 및 과학적 소양이라고 할 수 있다. 그런데 양자 간의 관계는 아직 면밀히 규명되지 않고 모호하게 남아 있으며, 이로 인하여 국가 교육과정 총론 수준의 혁신적 교육과정 구성 논리와 과학 교과의 고유한 교육과정 구성 논리가 조화되는 데 어려움이 발생하고 있다. 이에, 본 연구는 21세기 과학 교육과정 개혁 논리로서의 과학적 소양 및 핵심 역량 담론을 비교하여, 향후 과학 교육과정 개정에 대한 시사점을 제공하고자 하였다. 본 연구는 문헌 연구 방법을 취하였다. 이에 과학적 소양 및 핵심 역량 담론들을 구성해온 주요 연구 문헌들과 정책 보고서들을 두루 참조하였다. II장에서는 먼저 과학적 소양 및 핵심 역량 담론들이 영향력을 발휘하게 된 역사적 경로를 돌아본다. 이 과정에서 2000년대 초반부터 각 담론의 전개양상을 모양지운 OECD의 역할에 주목할 것이다. 그리고 국내에서 해당 담론들이 어떻게 수용되어왔는가 또한 살펴본다. III장과 IV장에서는 과학적 소양과 핵심 역량 담론의 교차를 살펴본다. III장에서는 양자 모두가 학생 위기 레토릭에 힘입어 성장하였다는 점, 개인 차원, 공동체 차원, 지구적 차원을 고려하는 다층적 의미를 지닌다는 점, 교과 내용 조직 및 학습 방법의 논리가 유사하다는 점, 고부담 평가가 교육과정 개혁을 촉구한다는 점이 제시된다. IV장에서는 과학적 소양과 핵심 역량 담론 각각이 과학 교육과정 개혁에 대하여 제공할 수 있는 차별화된 강점과 함께 약점 역시 비교한다. V장에서는 후기 Wittgenstein 및 Kuhn의 관점에서, 과학적 소양과 핵심 역량을 21세기 과학 교육과정 개혁 논리로서의 가족유사성을 지니는 언어로 이해할 수 있다고 제안한다. 이를 통해 우리나라 국가 교육과정 개발에서 반복되곤 하는 '총론과 각론의 괴리' 문제를 해소할 이론적 실마리와 함께, 2022 개정 교육과정을 비롯한 향후 과학 교육과정 담론이 위기 레토릭을 넘어 희망적인 목소리를 담아야 함을 제안한다.

• 한국정보통신학회논문지
• /
• 제9권3호
• /
• pp.676-683
• /
• 2005

본 논문에서는 퍼지논리 제어방식에서 전문가로부터 소속함수의 관계조정과 제어규칙 베이스 선정 등의 제어지식을 획득해야 하는 문제점을 해결하기 위하여 유전자 알고리즘으로 최적의 소속함수의 양자화와 제어규칙 베이스를 구성하여 우수한 제어성능을 갖는 방법을 제안하였다. 제안한 방식은 유전자 알고리즘을 이용하여 퍼지 소속함수의 변수 값들과 퍼지제어 규칙을 최적화한 값으로 구하고, 이렇게 구한 값들을 초기 값으로 하여 퍼지 제어기를 오프라인으로 구성하고 실제 하드웨어 상에서 온라인으로 적용하는 방식이다. 제안한 방식의 유용성을 확인하기 위해서 DC 서보 모터의 위치제어에 대하여 시뮬레이션 하였고, 단일링크 매니플레이터를 이용한 위치제어 실험을 통하여 제어성능이 우수함을 확인하였다.

• 철학연구
• /
• 제137권
• /
• pp.151-191
• /
• 2016

칸트와 라캉은 형식논리학의 인식론적 전제들에 대해서 강하게 비판했다. 그러나 양자는 주체, 대상, 인식 그리고 진리 등의 개념에 대해서 서로 상반되는 태도를 취한다. 우선 칸트의 입장에서 볼 때, 전통적인 형식논리학은 인식의 본질을 정확하게 번역할 수 있는 능력을 가지고 있지 않다. 그러나 라캉의 정신분석학적 관점에서 보면, 칸트의 선험적 논리학은 사태를 왜곡하거나 오직 부분적으로만 표상한다. 그러나 필자는 칸트의 선험적 논리학의 인식론적 전제와 라캉의 정신분석학적 논리학의 인식론적 전제를 동시에 비판하고자 한다. 모든 사유의 형식적 필연성을 탐구하는 형식논리학과 달리 모든 사유의 내용적인 필연성의 조건을 탐구하고자 하는 것이 선험논리학이다. 달리 말하면, 선험논리학은 우리의 사유를 지배하는 범주들의 원리를 탐색하고자 하는 범주 논리학이다. 그런데 칸트가 제시하는 12가지 범주는 사유의 필연성을 설명하기에 충분한가? 정신분석학적 입장에서 보면, 칸트의 범주들은 선천적 종합판단의 가능성을 설명하기 위한 일종의 가설일 뿐이다. 그렇다면, 라캉의 정신분석적 논리학은 과학의 가능성을 설명하기에 충분한가? 필자가 보기에 그의 논리학은 전적으로 은유와 환유의 원리에 의존하고 있다. 은유와 환유의 논리는 문학적 사태 또는 이것의 연장인 무의식적 차원을 설명하기에 유용할 수 있지만 과학의 엄격성과 객관성을 설명할 수는 없다. 그러나 편협한 과학이 아니라, 보다 포괄적이고 전체성을 지향하는 인문학적 이상의 관점에서 보면 칸트의 범주 논리학, 은유와 환유 법칙에 몰두하는 정신분석학적 논리 그리고 형식논리학, 이들 삼자는 보다 새로운 논리학, 즉 구조-구성주의 논리학에 의해 종합되어야 한다. 이런 맥락에서 본 논문은 칸트의 선험논리학의 한계와 라캉의 정신분석학적 논리학의 한계를 분석하는 데 집중하면서 양자의 종합의 필연성을 해명하고자 한다. 본 연구가 지향하는 결론적 내용은 이것이다. 칸트의 윤리학적 주장 및 미학적 주장들은 라캉의 정신분석학적 논리에 의해 수정되어야 한다면, 반대로 무의식의 본성에 대한 라캉의 주장들은 칸트의 선험논리에 의해 교정되어야 한다.