• Journal of the KSME
• /
• v.33 no.7
• /
• pp.600-613
• /
• 1993

유한요소법은 구조공학분야에서 발전하여 과학기술 전반에 통용되는 수치해석의 한 방법 또는 기술로서 각광받고 있다. 이 기법은 변분원리에 수학적 기초를 두는 미분 방정식의 수치해법의 하나라고 할 수 있다. 이 글에서는 고체역학 부문에 한정하여 유한요소법의 기본체계, 응력계산과 관련하여 중요 수치현상, 그리고 최근 국내외학계의 연구동향 및 상용 패키지 사용시 주의 사항에 관하여 언급한다.

• Journal of the Korean School Mathematics Society
• /
• v.23 no.2
• /
• pp.223-237
• /
• 2020

Artificial intelligence technology, which represents the era of the 4th Industrial Revolution, is now deeply involved in our lives, and future education places great emphasis on building students' capabilities for the principles and uses of artificial intelligence. Therefore, the purpose of this study is to develop the contents of AI related education in mathematics, which the relationship is closely connected to each other. To this end, I propose establishing two novel AI-related contents in mathematics education. One subject is related to learning the principle of machine learning based on mathematics foundation. In addition, I draw the core math contents dealt in following subject called 'Basic Mathematics for AI and Data Science.'

• Journal for History of Mathematics
• /
• v.22 no.3
• /
• pp.31-44
• /
• 2009

Anyone wishing to understand cognitive science, a converging science, need to become familiar with three major mathematical landmarks: Turing machines, Neural networks, and $G\ddot{o}del's$ incompleteness theorems. The present paper aims to explore the mathematical foundations of cognitive science, focusing especially on these historical landmarks. We begin by considering cognitive science as a metamathematics. The following parts addresses two mathematical models for cognitive systems; Turing machines as the computer system and Neural networks as the brain system. The last part investigates $G\ddot{o}del's$ achievements in cognitive science and its implications for the future of cognitive science.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.9
• /
• pp.5-21
• /
• 1995

공작기계의 가공 정밀도에 영향을 주는 주요 요인은 정적특성(Static behavior), 동적특성(Dynamic behavior), 그리고 열적특성(Thermal behavior)에 있다는 것은 이미 언급한 바 있다. 열적영향으로 인한 정밀도를 안정시키는 완전한 해결책은 아직 발견되지 못하고 있다. 그 이유는 공작기계 자체뿐만 아니라 부품들이 복잡하고 공작기계의 내부, 기계와 주위환경사이에 복잡한 열적상호작용이 존재하고 있기 때문이다. 그럼에도 불구하고 공작기계에는 더욱 높은 생산능력과 가공정도에 대한 요구가 점점 커지고 있다. 과거 40년 간에 걸쳐 공작기계의 열적거동에 대한 연구가 활발히 진행되어 왔지만 일반적으로 적용하여 만족할 만한 열적 불안정의 해결책은 아직 나오지 않고 있으며 단지 여러가지의 기계구성요소, 즉 Spindle, Column이나 Bed와 같은 본체의 구조나 Table이나 Slide에 대해서 열적 최적화를 얻는 노력이 집중적으로 행해지고 있다. 공작기계 의 열변형에 대한 연구는 1950년대부터 시작되었으며, 선반이나 연삭기의 열변형 측정기술과 해당하는 설계변경 방법 그리고 냉각을 함으로서 열적 불안정을 극복시키는 방법이 주요 연구과제였으나 1960년대 후반에는 구성 요소의 온도분포와 열의 흐름에 관한 수학적 모델을 한들어 해석적 수법올 열적 거동의 연구가 행하여졌었다.

• Communications of Mathematical Education
• /
• v.28 no.3
• /
• pp.339-352
• /
• 2014

In this paper we introduce mathematical modellings in teaching and learning differential equations which were adopted by 2009 revised curriculum. The textbook of 'Advanced Mathematics II' published in 2014 with one publisher includes the content of the second order differential equation y"+y=0 by the power series method. This paper discusses the issue of the power series and gives an alternative method to explain problems of differential equation. Also, we found that the textbook of 'Advanced Mathematics II' used the mechanical system not electrical system in solving differential equation problems. Thus this paper suggests a method using an electric circuit in teaching and learning the first order differential equation. Finally we suggest some terminologies in the teaching and learning of differential equations.

• Journal of Elementary Mathematics Education in Korea
• /
• v.20 no.3
• /
• pp.371-391
• /
• 2016

Long division was one of the major issues in math war II started from 1990's in US. In this paper, we investigated this concretely and examined present teaching condition of long division in Korea. Firstly, Long division is not only a mechanical way to get the answer but also a realization of core conception in elementary mathematics. Futhermore it is a connecting link between elementary and middle mathematics education. Secondly, it is needed to use the term 'long division' to provide the concrete teaching guidelines. Thirdly, a minor algorithm, like an 'partial quotient method', is necessary to introduce in order to help understanding long division.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• pp.1078-1082
• /
• 1996

기계적 구동장치와 연계된 메카트로닉스 시스템에 대한 개발 시험은 비용, 공간 및 시간 등의 측면에서 제약을 받는다. 이러한 제약은 에뮬레이터를 이용한 개발 과정을 통해서 개선의 효과를 얻을 수 있다. 본 연구에서 설계 제작된 에뮬레이터는 전자 제어식 변속기에 적용된 장치로서 기계적 메카니즘 없이 전자 제어 메카니즘을 완전하게 에뮬레이션 할 수 있는 가능성을 보여준 것이다. 이러한 에뮬레이터를 이용하여 전자 제어장치의 개발 기간을 단축시키고 문제점을 빠르게 찾아낼 수 있다. 에뮬레이터의 개발은 수학적 모델링에 의해서, 장치에 대한 검증은 실차 시험을 통해 얻을 결과와 비교하여 수행된다.

• Communications of Mathematical Education
• /
• v.32 no.1
• /
• pp.23-36
• /
• 2018

Recently, we are working to utilize it in various fields with the expectation of the potential of artificial intelligence. There is also interest in applying to the field of education. In the field of education, machine learning and deep learning, which are used in artificial intelligence technology, are deeply interested in how to learn on their own. We are interested in how artificial intelligence and artificial intelligence technologies can be used in education and we have an interest in how artificial intelligence can be applied to mathematics education. The purpose of this study is to investigate the direction of mathematics education as the change of education paradigm and the development of artificial intelligence according to the development of information and communication technology. Furthermore, we examined how artificial intelligence can be applied to mathematics education.

• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.3-32
• /
• 2005

Hilbert's rational ambition to establish consistency in Number theory and mathematics in general was frustrated by the fact that the statement itself claiming consistency is undecidable within its formal system by $G\ddot{o}del's$ second theorem. Hilbert's optimism that a mathematician should not say "Ignorabimus" ("We don't know") in any mathematical problem also collapses, due to the presence of a undecidable statement that is neither provable nor refutable. The failure of his program receives more shock, because his system excludes any ambiguity and is based on only mechanical operations concerning signs and strings of signs. Above all, $G\ddot{o}del's$ theorem demonstrates the limits of formalization. Now, the notion of provability in the dimension of syntax comes to have priority over that of semantic truth in mathematics. In spite of his failure, the notion of algorithm(mechanical processe) made a direct contribution to the emergence of programming languages. Consequently, we believe that his program is failure, but a great one.

• Communications of Mathematical Education
• /
• v.14
• /
• pp.273-295
• /
• 2001

통계는 연역적 사고를 강조하는 수학의 다른 영역과 달리 귀납적 추론과 직관적 사고를 요구한다. 따라서 학교 수업에서 학생들이 실제적인 상황을 모델링 할 수 있도록 하며, 주어진 상황에서 자료를 올바르게 산출하고 분석 할 수 있도록 적절한 지도 방법이 필요하다. 그렇지만 학교 수업은 대다수 알고리즘 연습 위주의 통계 학습-지도로 통계적 사고 교육이 제대로 이루어지지 못하고 있다. 이로 인해 학생들은 형식적인 통계 처리에는 익숙하지만 통계 교육의 궁극적 목적인 변이성과 자료를 현명하게 다루는 능력이 부족하다. 본고에서는 피상적인 기계적 계산위주의 통계교육에서 실제적인 자료를 수집하고, 이를 적절히 가공 처리하여 정보의 가치를 높일 수 있는 통계 지도 방향을 탐색해 보고자 한다.