• 문화기술의 융합
• /
• 제7권4호
• /
• pp.113-122
• /
• 2021

이 연구는 자크 라캉(Jacques Lacan : 1901 ~ 1981)이 1945년 3월에 『예술노트 Les Cahiers d'Art』의 복 간호에 실은 논문 『논리적 시간과 선취된 확실성의 단언 : 한 가지 새로운 소피즘』을 토대로 시작한다. 이 논문에서 교도관이 세명의 죄수들에게 난해한 문제를 제시한다. 문제를 풀면 그 죄수는 석방된다. 문제를 풀기 위해 조건이 주어진다. 죄수들 상호 간의 대화 금지와 자신 등 뒤에 붙은 원반을 볼 수 없다. 이 시간과 공간 속에서 죄수들은 선택 받는 자가 되기 위해 '이해하는 시간'을 통하여 논리적 시간으로 자신들을 위치시킨다. 우리는 언제나 논리적 시간 속에 살고 있다. 필자는 라캉이 정신분석에서 논리적 시간을 파괴하는 지점을 주장할 것이다. 라캉 정신분석의 시간은 과거, 현재, 미래의 시간 구분을 초월한다. 우리의 시간은 언제나 현재 속의 과거이다. 라캉 정신분석에서 논리적 시간은 타자의 속의 시간이다. 라캉 정신분석 시간개념의 초월성은 논리적 시간의 일탈을 보여준다. 필자는 본문에서 라캉이 정신분석과 시간의 문제를 타자 속의 시간과 어떻게 대비시키는가를 증명해 보려 한다. 첫째, 정신분석에서 논리적 시간과 충동은 어떻게 연관되는가를 살펴볼 것이다. 둘째로 시니피앙(기표, signifiant)의 사후성을 논할 것이다. 셋째로 라캉 정신분석 시간의 초월성을 제시할 것이다. 결론에서 라캉 정신분석의 시간은 거꾸로 흐르고 있다는 관점을 제시할 것이다. 라캉 정신분석에서 논리적인 시간은 타자의 영토에 있으며, 무한대의 시간이라는 것을 증명하려 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.1082-1084
• /
• 2015

본 논문에서는 신호 시제 논리를 이용하여 순음 생성 시스템을 개발한다. 일반적으로 많이 알려지고 널리 쓰이는 시제 논리는 선형 시제 논리이다. 그러나, 선형 시제 논리로는 다양한 실수 값과 정량적인 시간을 다루지 못하는 문제점이 있다. 그러므로, 본 논문에서는 신호 시제 논리를 이용하여 이러한 문제점을 극복하고, 선형 시제 논리로는 어려웠던 순음 발생기를 신호 시제 논리를 사용하여 개발한다.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2006년도 춘계학술대회 논문집
• /
• pp.200-204
• /
• 2006

본 연구에서는 새로 고안된 NOT-AND 논리에 의한 방전 논리 gate PDP의 입력 DC 방전특성에 대해 고찰하고 동작특성을 해석하였다. 새로 고안된 방전 AND gate는 방전 경로에 따른 전극사이의 전위차의 변화로 AND 출력을 유도한다. 이러한 방전 논리 소자를 가지는 PDP에서는 직류방전이 논리게이트의 역할을 한다. 실험결과 이 DC 입력방전을 위해 priming 방전을 인가한 경우가 인가하지 않은 경우에 비해 방전지연시간이 1/3로 단축되며 방전개시전압은 1/2로 감소하였다. 또한 이 priming 방전은 방전종료후 $30{\mu}s$ 정도까지 영향을 미친다. 그리고 이 직류방전의 시간적, 위치적 방전특성을 측정한 결과, 방전에 따른 시간적 거리의 변화는 상당한 영향을 미치나 인접 전극들의 위치적인 영향은 거의 미미하다는 결론을 얻었다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제14권
• /
• pp.197-215
• /
• 2001

최근 수학적 사고력 연구가 구체적 수학내용에 기반한 활동과 조작에 대한 연구보다는 활동이나 조작을 통한 결과로 수학적 사고력에 접근하는 일회성 연구로 이루어지는 경향이 있다. 본고에서는 교육 내용을 선정하기 위해 학교수학에서 아동들이 어떤 수학적 사고를 하는데 장애을 겪는지에 주목하여, 이러한 장애를 극복하는 것을 통해 수학적 사고력의 신장을 생각해보고자 하였다. 이에 대수에서는 문자도입에 따른 추상적 상징의 수용과 이용부분에서, 기하에서는 논증기하의 증명도입과정에서 형식적, 연역적 사고 시작으로 아동이 수학적 사고에 어려움을 겪는다는 사살에 주목하였다. 특히 논증 기하의 연역적, 형식적 증명은 논리와 추론이 바탕이 되어야 한다. 그런데 논리와 추론은 고등학교 1학년과정 집합과 명제부분에 들어있어 아동은 논리와 추론에 대한 어떤 경험도, 교육도 받지 않은 상태에서 증명을 하게 된다. 이에 교육 내용으로 수학적 사고력을 신장을 위해 가장 필요한 내용이 논증 기하가 도입되기 이전에 초등학교 5,6학년 아동을 대상으로한 논리와 추론교육이라고 본다. 또한 교육 방법으로는 컴퓨터를 이용한 교육공학적 접근을 하고자 하였다. 교육공학적 접근이 적극 권장되는 교육적 현실과 정규교육과정에서 이를 받아들일만한 시간적 여유가 없음을 감안하여, 교과 내용과 연계된 컴퓨터 교육을 제안하는 바이다. 이에 논리 및 추론 교육은 컴퓨터 교육으로 초등학교의 특기적성 시간이나 정규수업 시간에 이용할 것을 제안한다. 논리와 추론교육을 위해 무엇을 어떻게 가르칠 것인가에 대한 답으로 논리와 추론교육에 적합한 수학적 내용으로 크게 이산수학과 중등 기하의 초등화하여 탐구하도록 하는 내용을, 교육 방법 측면에서는 논리와 추론 교육을 위한 LOGO 기반 마이크로월드를 설계, 이용하여 수학적 사고력을 신장시키고자 한다. 여기까지가 수학적 사고력을 위한 가능성을 모색한 것이라면 후속연구로 이러한 가능성을 실험연구로 검증하고자 한다.

• 한국ITS학회:학술대회논문집
• /
• 한국ITS학회 2005년도 제4회 추계학술대회 및 정기총회
• /
• pp.135-140
• /
• 2005

• 논리연구
• /
• 제9권1호
• /
• pp.173-204
• /
• 2006

최근의 시간에 관한 철학적 논의에서 새로운 무시제 이론가들은 시제 문장들의 진리조건을 무시제 문장들을 통해 부여할 수 있다는 언어철학적 결과를 통해, 시제 사실들과 같은 것들을 받아들일 필요가 없다고 주장함으로써 A-이론을 비판해 왔다. 이 논문에서는 형이상학적 논변을 새롭게 제시함으로써, 언어 철학적인 논변과 달리 B-이론은 유지될 수 없으며, 오히려 A-이론이 시간에 대한 올바른 이론임을 논증하게 된다. 그리고 이러한 논의가 이루어지는 가운데 존속과 변화에 관한 흥미로운 문제들이 다루어지며, 시간 철학에서의 몇몇 개념에 관한 명료화 작업이 이루어진다. 나아가 이를 바탕으로 A-이론과도 B-이론과도 다른 새로운 대안적인 시간 이론이 제시되고, 이 이론이 지니는 특징들과 장점들이 이야기된다.

• 한국가스학회지
• /
• 제5권1호
• /
• pp.37-44
• /
• 2001

운전절차 활성 시스템은 운전절차 합성에 필요한 시간과 노력을 줄여주고 좀더 자세하게 운전절차를 분석해 줄 뿐 아니라 인적오류를 줄여주거나 제거해주는 역할을 수행한다. 또한 운전절차를 생성하는데 필요한 전문가들의 지식을 가지고 있어 새로운 상황에 사용할 수 있도록 한다. 그러나 기존의 시스템들은 많은 한계성을 가지고 있다. 따라서 본 연구에서는 이러한 문제를 해결하기 위해 시간논리와 표현논리로 공정의 특성지식과 시간적인 제약조건을 다루는 새로운 접근방법을 제안하여 보일러 공장에 적용하여 그 유효성을 입증하였다.

• 한국시뮬레이션학회논문지
• /
• 제26권2호
• /
• pp.59-65
• /
• 2017

M&S의 발전과 더불어 국방 M&S등 인간의 의사결정을 포함하는 분야의 요구가 증대되는 현실에서 AI기술을 활용한 모델링 연구가 각광받고 있다. AI는 복잡한 문제 해결을 위한 방법임은 분명하나 M&S에서 요구되는 입력시점과 처리시간 등의 논리적 시간을 고려하지 않았다. 따라서 본 논문에서는 대표적인 AI 기술인 규칙기반 전문가시스템을 논리적 시간을 고려한 규칙구조 "IF-THEN-AFTER"와 추론엔진으로 재설계한 시간기반의 전문가 시스템을 제안하고, 기존의 규칙기반 전문가 시스템과의 차이를 설명하기 위한 간단한 예제를 들어 논리적 분석을 시도하였다. 그 결과로 제안하는 시간기반의 전문가 시스템 모델은 일반적인 규칙기반 전문가시스템과 다르게 입력시점과 추론시간에 따라 다른 결과를 보임을 알 수 있으며, 이는 M&S에서 요구되는 논리적 시간을 고려한 AI의 문제해결이 가능함을 의미한다.

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

유고란 도로상에서 교통량의 주기적인 집중에 의한 혼잡과는 구별되는 개념으로 교통사고, 도로보수 그리고 자연재해와 같은 비 반복적인 정체의 상황을 일컫는다. 이러한 유고는 막대한 통행시간이 추가로 발생하고 연료소모, 환경피해 등의 문제가 발생하므로 이러한 교통손실을 최소화하기 위하여 자동유고감지 알고리즘의 개발이 필수적이다. 이를 위하여 현재 다양한 검지기에서 수집된 교통 데이터를 바탕으로 유고를 감지하는 연구가 많이 진행되고 있다. 본 논문에서는 각종 유고 상황을 인지하여 제2의 사고를 예방할 수 있는 효율적인 유고감지 알고리즘을 개발하기 위하여 퍼지논리와 패턴을 함께 사용하였다. 먼저 퍼지논리와 패턴에 사용되는 데이터는 루프 검지기에서 5분 마다 수집된 교통정보(교통량, 점유율, 속도)를 이용하였다. 교통정보를 이용하여 구축된 요일 및 시간대별 패턴과 함께 퍼지논리를 이용하여 도출된 유고 소속도를 가지고 유고를 감지하였다.

• 대한전자공학회논문지
• /
• 제22권2호
• /
• pp.25-30
• /
• 1985

본 논문은 PLA 면적랑적화화를 위한 논리최소화에 대한 새로운 알고리즘을 제안한다. 계산기 처리시간이 변수의 수에 직접적으로 의존하는 종래구식과는 달리, 준 구식은 논리함수에서 base minterm과 consensus가 되지않는 민텀들의 집합을 그 함수로부터 제거하여 줌으로써 계산기 처리시간은 base minterm의 consensus의 차수에 의존하여 변수의 수가 증가할수록 종래형식에 비하여 행산시간치의 차가 커진다. 실제 계산기 실험을 통하여 종래수식과의 계산기 달행시문 비교치의 예를 제시한다.