• Journal for History of Mathematics
• /
• v.33 no.2
• /
• pp.103-114
• /
• 2020

In 1607, Matteo Ricci and Xu Guangqi translated Euclid's 《Elements》 and published 《Jihe yuanben, 幾何原本》. Though 《Elements》 consists of 13 volumes (or 15 volumes according to its editions), they translated only the first 6 volumes on the plane geometry. Why did they do so? This paper discusses about the three questions which naturally arise: What might be the motive of the translation of the 《Elements》? What method did they adopt for the translation? And why did they translate the 6 volumes, especially, the first 6 volumes, not completing the whole?

• Journal of the KSME
• /
• v.28 no.3
• /
• pp.226-234
• /
• 1988

공작기계의 자동화에 적용되는 ACO, ACC 및 GAC 등에 대한 원리와 이용방안 그리고 연구개발 되어져야 할 점들에 대하여 수학적인 논술을 피하고 그 기본개념 등을 소개하였다. 궁극적인 자동화의 목표가 공작기계에 인공지능을 부여하여 경험이 없는 작업자라고 하더라도 생산공정을 관리 감독할 수 있도록 하기 위하여는 지능있는 공작기계의 개발이 이루어져야 하겠다. 지능 있는 공작기계의 개발시 고려되어져야 할 사항들을 고찰해 볼 때 공작기계의 ACO, ACC 및 GAC 등에 대한 연구개발에 앞서 절삭공정매카니즘 그 자체의 연구개발은 물론 절삭상황을 실 시간으로 측정 및 인식 할 수 있는 측정장치들에 대한 연구들이 선행되어져야 할 것이고, 선진국 대열에 들어서기 위해서는 공작기계 산업에 대한 육성은 물론 연구개발에 집중적인 투자가 이 루어져야 하겠다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 1998.10a
• /
• pp.8-8
• /
• 1998

액체 추진제를 사용하는 연소기관내의 연소 불안정 현상에 대하여 수치적인 해석을 수행하였다 비정상 다차원 다상 유동장에 대한 Eulerian-Lagrangian 방법에 기반을 두고 수학적으로 모델 하였으며 속도-압력-밀도에 대한 결합메커니즘은 개선된 PISO 알고리즘을 사용하여 처리하였다. 연소실의 기하학적 형상 및 추진제의 분무조건이 액체 연료 추진기관의 연소 불안정 현상에 미치는 영향을 체계적으로 해석하였으며 액체 추진제의 증발 특성이 연소 불안정 현상의 Driving Mechanism에 미치는 영향을 상세히 분석하였다.

• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 2002.04a
• /
• pp.117-118
• /
• 2002

본 연구에서는 지하수로부터 방출된 실내라돈오염을 해석하기 위한 수학적 모델에서 모델인자들의 불확실성을 고려하고 인체축적량을 정량적으로 해석하는 PBPK모델을 사용하여 호흡을 통한 라돈의 인체축적량을 보다 현실적으로 평가하려고 한다. 우선, 전에 사용한 3 구역모델을 샤워실과 화장실을 구분하는 경계가 없다는 국내실정을 감안하여 보다 현실적으로 개량한 2-구역 모델을 개발하였다. (중략)

• The Science & Technology
• /
• v.10 no.9 s.100
• /
• pp.60-63
• /
• 1977

우리나라 임학은 전후 황무지와도 같은 벌판을 개척해 왔다고 볼수 있다. 사실 광복직후는 사회질서 정치질서의 혼란으로 학계의 체통같은 것은 생각 할 수도 없었고 그 정리에 착수한다는 것도 쉽게 될수 없었다. 임업기술 같은 것은 멀리 이조의 실학에 까지 찾아 볼수 있으나 전전 우리나라에서 임학다운 교육이 실시된 곳은 현 서울대학교 농과대학의 전신인 수원고등농림학교 임학과라고 볼수 밖에 없다. 이밖에 주로 일본의 대학 또는 고등농림학굥서 수학한 분들이 임학의 초석으로서 개척이라는 어려운 시련앞에 서게 되었든 것이다. 소위 해방이란 것은 당시 모든것은 백지상황에서 출발시켰다. 이의 열외가 될수 없듯이 임학도 첫머리부터 실을 풀고 마디를 맺어나가지 않으면 안되었다. 전후 약 30년이 흘렀는데 일단 이것을 10년을 구분해서 그 간의 임학계의 성격을 살펴본다.

• East Asian mathematical journal
• /
• v.28 no.4
• /
• pp.475-485
• /
• 2012

In this paper, we research contents of the ancient book ; Dae-su-sul (Algebra) compiled by Heng-Fang Hua(華衡芳) and translated by John Fryer(傅蘭雅). We find methods of calculation and algorithm in the first and second volume of Dae-su-sul, and investigate the influence on modern Korean mathematical development.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

• Journal of the Korean School Mathematics Society
• /
• v.2 no.1
• /
• pp.79-91
• /
• 1999

The aim of this study focused on student-centered learning not teacher-centered teaching in middle school math classes. This study was performed to check the growth of students' problem-solving abilities, learning attitudes and changes in learning motivation among affective characteristics. The results of this study is as followings: 1) The controlled group a heterogeneous group which had classes in a math room, had more meaningful growth than the uncontrolled group. The results of the study show that the problem-solving abilities of the high-leveled group were better than those of the low-leveled group. 2) The controlled group has shown meaningful difference in their mean in learning aptitude test and attitude test converted their score into 100 points than uncontrolled group, and various kinds of learning materials suitable for problem solving are proved as a good learning factor to induce students' motivation and interest. 3) Students prefer to have classes in a math room to the small-sized and large-numbered classrooms. The atmosphere in a math room is more suitable to improving their problem-solving abilities. In this context, the classes performed in a math room are fairly positive. Consequently, students' leveled learning activities performed in a math room can get their learning motivation and attention from those who are lack of interest and think math is difficult and be effective to increase their problem-solving abilities as a learning method for acquiring the whole course of solving the problems.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.46 no.6
• /
• pp.73-79
• /
• 2009

For the shake of control for movement object, control theory like neural network, nonlinear model predictive control(NMPC) is realized on digital high speed computer. Predictor of flight control system(FCS) based nonlinear model predictive control has to be satisfied with response for hard real-time to perform applications on each module in the FCS. Simultaneously, It gives a serious consideration accuracy to give full play to FCS's performance. Error of mathematical aspect affects realization of whole algorithm. But factors of bring mathematical error is not considered to calculate final accuracy on parameter of predictor. In this paper, Predictor was made using load control model on the digital computer for design FCS at hard real-time and is shown response time on realization algorithm. And is shown realization algorithm of high effective predictor over the accuracy. The predictor was realized on the load control model using Euler method, Heun method, Runge-Kutta and Taylor method.

• Communications of Mathematical Education
• /
• v.31 no.2
• /
• pp.123-138
• /
• 2017

It is necessary to examine how operation and management of instruction in school field be affected by the curriculum. This study examines the actual conditions of instruction provided by teachers while expecting to be adjusted the curriculum with respect to the consideration given to individual student needs and regional specialization by focusing on the subject of mathematics. Ultimately, the purpose of this study is to assess and expect how well mathematics instruction would be being conducted in accordance with the goals of the curriculum. Furthermore, while reflecting the experimental result on teachers' opinions of the previous curriculum, this study suggests alternatives and supporting plans so that at the teacher level the curriculum might be successfully implemented.