• 한국수학사학회지
• /
• 제27권2호
• /
• pp.139-152
• /
• 2014

This paper aims to compare and contrast Kierkegaard and Turing, whose birth dates were one hundred years apart, analyzing them from the perspective of the limit. The model of analysis is two concentric circles and movement in them and on the boundary of outer circle. In the model, Kierkegaard's existential stages have 1:1 correspondences: aesthetic stage, ethical stage, religious stage A and religious stage B correspond to inside of the inner circle, outside of the inner circle, the boundary of the outer circle and the outside of the outer circle, respectively. This paper claims that Turing belongs to inside of the outer circle and moves to the center while Kierkegaard belongs to outside of the outer circle and moves to the infinity. Both of them have movement of potential infinity but their directions are opposite.

• 한국생산제조학회지
• /
• 제6권4호
• /
• pp.101-107
• /
• 1997

In order to detect and suppress chatter in turning process, a stability control methodology was studied through manipulation of spindle speeds regarding to chatter frequencies, The chatter frequency was identified by monitoring and signal processing of sound pressure during turing on a lathe. The stability control methodology can select stable spindle speeds without knowing a prior knowledge of machine compliances and cutting dynamics. Reliability of the developed stability control methodology was verified through turing experiments on an engine lathe. Experimental results show that a microphone is an excellent sensor for chatter detection and control .

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2001년도 춘계학술대회 논문집
• /
• pp.496-500
• /
• 2001

When we cut a key way on the axial or on the boss, we generally use a slotter or a broach. To do the key seating, turing operations have to be preceded and then the key on the axial or on the boss can be seated. For this reason, the production process of key way cutting becomes complicated. If is necessary to simplify the process and we have developed a small practical machine for key way cutting. The machine is located on the carriage of the lathe. Using this small and practical key way machine, after operation the turing, you do not have to remove the workpiece from the chuck of the lathe to carry on the key seating process. The developed machine will save cutting time and the cost.

• 대한수학회보
• /
• 제54권2호
• /
• pp.655-666
• /
• 2017

In this paper, we study the pattern formation to a general Degn-Harrison reaction model. We show Turing instability happens by analyzing the stability of the unique positive equilibrium with respect to the PDE model and the corresponding ODE model, which indicate the existence of the non-constant steady state solutions. We also show the existence periodic solutions of the PDE model and the ODE model by using Hopf bifurcation theory. Numerical simulations are presented to verify and illustrate the theoretical results.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제15권2호
• /
• pp.137-142
• /
• 2011

In this paper we formulate a predator-prey system in two patches in which the per capita migration rate of each species is influenced only by its own density, i.e. there is no response to the density of the other one. Numerical studies show that at a critical value of the bifurcation parameter the system undergoes a Turing bifurcation, i. e. the stable constant steady state loses its stability and spatially non-constant stationary solutions, a pattern emerge.

• 대한수학회지
• /
• 제57권1호
• /
• pp.249-281
• /
• 2020

A reaction-diffusion model with spatiotemporal delay modeling the dynamical behavior of a single species is investigated. The parameter regions for the local stability, global stability and instability of the unique positive constant steady state solution are derived. The conditions of the occurrence of Turing (diffusion-driven) instability are obtained. The existence of time-periodic solutions, the existence and nonexistence of nonconstant positive steady state solutions are proved by bifurcation method and energy method. Numerical simulations are presented to verify and illustrate the theoretical results.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제23권2호
• /
• pp.139-155
• /
• 2019

In this paper, we study the asymptotic behavior and Hopf bifurcation of the modified Holling-Tanner models for the predator-prey interactions in the absence of diffusion. Further the direction of Hopf bifurcation and stability of bifurcating periodic solutions are investigated. Diffusion driven instability of the positive equilibrium solutions and Turing instability region regarding the parameters are established. Finally we illustrate the theoretical results with some numerical examples.

• 인지과학
• /
• 제6권3호
• /
• pp.5-23
• /
• 1995

루카스의 이른바 괴델 논변에 의하면,괴델의 정리는 기계론 논제 즉 인간 인지 체계가 튜링 기계라는 논제를 반박한다.이 논문에서는 필자는 이 논변이 성공적이지 못하다는 것을 보이려고 한다.그러나 필자는 또한 괴델 논변에 대한 기존의 많은 반론들 역시 받아들일 만하지 않다는 것을 주장한다.그리고 나서 필자는 괴델 논변에 대한 "일관성" 반론을 강화한다. 그렇게 해서 얻어진 필자의 딜레마 반론에 의하면, 괴델 논변은 (1) 우리가 "전반적" 진리 개념을 가질 경우 거짓 전제를 가지고 (2) 우리가 그러한 진리 개념을 갖지 않을 경우 진술될 수 없으므로, 어떤 경우이든 성공적이지 못하다.

• 한국수학사학회지
• /
• 제22권3호
• /
• pp.31-44
• /
• 2009

현재 융합과학의 모델로 주목받고 있는 인지과학을 이해하기 위해서는 세 가지의 중대한 수학적 업적을 살펴볼 필요가 있다. 본 논문에서는 이 세 가지의 역사적 업적에 해당하는 튜링기계, 신경망, 괴델의 불완전성 정리를 중심으로 인지과학의 수학적 기틀을 연구한다. 먼저, 메타수학으로서의 인지과학을 고찰한다. 다음으로 컴퓨터의 수학적 모델로서 튜링기계와 그 발전을 탐구하고, 뇌의 수학적 모델로서 신경망과 그 발전을 탐구하고자 한다. 마지막으로는 인지과학의 미래를 위한 괴델의 불완전성 정리의 함의를 논의하고 양자인지과학을 전망한다.

• 인지과학
• /
• 제8권1호
• /
• pp.37-56
• /
• 1997

컴퓨터는 인간처럼 생각하고 이해할 수 있는가? 이 논문은 인공지능의 가능성을 지지하는 논의와 반대하는 논의들을 분석한다. 컴퓨터의 이해능력에 대한 인정과 부인은 기본적으로 튜링과 써얼의 입장으로 대변된다. 여기서 필자는 그들의 논증을 비판적으로 검토함으로써, 인공지능의 사고 및 이해 개념을 무엇이며, 그러한 이해 개념은 인간의 이해능력에 어느정도 상응하는 개념인지 논의하려고 한다. 특히 주관적 의식의 문제에 있어서, 인공지능논제는 어떤 어려움을 가지며 그 이유는 무엇인지를 논의할 것이다. 물론 주관적 의식이 이해능력의 필수조건이라고 보기는 어렵다.그러나 언어를 갖는 인간의 조건과 관련하여 이문제를 고려해 볼때, 우리는 신체와 의식의 통일체로서의 인간을 전제하며, 인간의 신체 행동과 더불어 주관적 의식은 인격의 징표로 작용한다.