• The Journal of the Convergence on Culture Technology
• /
• v.7 no.4
• /
• pp.113-122
• /
• 2021

This study begins on the basis of Jacques Lacan's article 『Logical Time and Assertions of Preemptive Certainty: A New Sophism』 published in the reissue of 『Art Note Les Cahiers d'Art』 in March 1945. In this paper, a guard presents an esoteric problem to three prisoners. If the problem is solved, the prisoner is released. A condition is given to solve a problem. Conversation between prisoners is prohibited, and the disc behind them cannot be seen. In this time and space, prisoners place themselves in logical time through the 'time of understanding' in order to become the chosen ones. We always live in logical time. We will argue the point at which Lacan destroys logical time in psychoanalysis. Time in Lacanian psychoanalysis transcends time divisions of the past, present, and future. Our time is always the past in the present. In Lacanian psychoanalysis, logical time is the time in the Other. The transcendence of the Lacanian psychoanalysis concept of time shows the deviation of logical time. In this text, We try to prove how Lacan contrasts psychoanalysis and the problem of time with time in the other. First, we will examine how logical time and impulse are related in psychoanalysis. Second, the postmortemity of the signifient (signifier) will be discussed. Third, Lacan psychoanalysis will present the transcendence of time. In conclusion, We will present the view that the time of Lacan psychoanalysis is flowing backwards. In Lacanian psychoanalysis, we try to prove that logical time is in the territory of the Other and is infinite time.

• Annual Conference of KIPS
• /
• 2015.10a
• /
• pp.1082-1084
• /
• 2015

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

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2006.05a
• /
• pp.200-204
• /
• 2006

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

• Communications of Mathematical Education
• /
• v.14
• /
• pp.197-215
• /
• 2001

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

• 한국ITS학회:학술대회논문집
• /
• 2005.11a
• /
• pp.135-140
• /
• 2005

• Korean Journal of Logic
• /
• v.9 no.1
• /
• pp.173-204
• /
• 2006

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

• Journal of the Korean Institute of Gas
• /
• v.5 no.1
• /
• pp.37-44
• /
• 2001

OPS(Operating Procedure Synthesis) systems can reduce the time and effort involved in OPS, make the analysis more thorough and detailed, and minimize or eliminate human errors. And OPS systems capture the expertise needed to create operating procedures and allow this experience to be used in the new situations. But there are the limitations of the OPS techniques that have been used. So in order to resolve this Problem, in this work we have proposed a new approach to utilize temporal constraints and specific process knowledge in temporal logic and description logic. We have demonstrated its remarkable effectiveness in a boiler plant.

• Journal of the Korea Society for Simulation
• /
• v.26 no.2
• /
• pp.59-65
• /
• 2017

Along with the development of M&S, modeling research utilizing AI technology is attracting attention because of the fact that the needs of fields including human decision making such as defense M&S are increased. Obviously AI is a way to solve complex problems. However, AI did not consider logical time such as input time and processing time required by M&S. Therefore, in this paper we proposed a "time-based expert system" which redesigned the representative AI technology rule-based expert system. It consists of a rule structure "IF-THEN-AFTER" and an inference engine, takes logical time into consideration. We also tried logical analysis using a simple example. As a result of the analysis, the proposal Time-based Expert System proved that the result changes according to the input time point and inference time.

• Annual Conference of KIPS
• /
• 2006.05a
• /
• pp.341-344
• /
• 2006

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

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.22 no.2
• /
• pp.25-30
• /
• 1985

This paper proposes an algorithm to simplify Boolean functions into near minimal sum-of-products for Programmable Logic Arrays. In contrast to the conventional procedures, where the execution time depends on the number of variables, the execution time by this procedure depends on the degree of consensus of base minterms. Thus as the number of variables is increased, the difference of CPU time becomes larger using this new Procedure than using other procedures and consequently the executable range of input function increasing. The algorithm has been implemented on CYEER 170-740 and it's results were compared with those using Arvalo's algorithm.