• Communications of Mathematical Education
• /
• v.31 no.2
• /
• pp.103-121
• /
• 2017

Taxicab geometry was a typical non-Euclid geometry for mathematically gifted. Most educational material related quadratic curves on taxicab geometry for mathematically gifted served them to inquire the graph of the curves defined by focis and constant. In this study, we provide a shape of quadratic curves on taxicab geometry by applying three definitions(geometric algebraic definition, eccentricity definition, conic section definition).

• Journal for History of Mathematics
• /
• v.25 no.4
• /
• pp.83-99
• /
• 2012

The conic sections are defined as algebraic expressions using the focus and the directrix in the high school curriculum. However it is difficult that students understand the conic sections without environment which they can manipulate the conic sections. To make up for this weak point, we have found the evidence for generating method of a conic section through a sundial and investigated the history of terms 'focus', 'directrix' and the tool of drawing them continuously.

• Communications of Mathematical Education
• /
• v.18 no.2 s.19
• /
• pp.93-108
• /
• 2004

Wassily Leontief가 미국 경제의 모델에 선형 대수를 적용한 이론으로 1973년에 노벨 경제학상을 받은 후로는 인문${\cdot}$사회 과학(특히 상경(商經) 분야)을 전공하는 사람에게도 선형 대수는 큰 관심 분야가 되었다. 그래서 1980년대 부터는 대학의 기초 과목으로써 선형 대수를 가르치는 것은 유행처럼 퍼졌고 또 가르침에 관한 연구도 활발하여졌다. 현행 우리나라의 초${\cdot}$중${\cdot}$고등 학교의 수학과 교육과정(이른바 “제 7차 개정”) 속에는 선형대수의 내용이 어느 정도 있으나 학생들에게 확실한 개념을 갖도록 가르치고 있지 않다. 수직선, 순서 쌍, n-겹수, 직교 좌표, 벡터 등 해석기하적인 내용과 선형 방정식계의 풀이법(가우스${\cdot}$조르단 소거법을 쓰지 않는 풀이법) 등 일반 대수적인 내용은 다루지만 선형 변환, 벡터 공간의 구조 등은 다루지 않는다. m${\sim}$n 행렬은 수학II에 나와 있긴 하나 소개하는 정도에 그친다. 한편 과학 계열 고등학교 학생을 위한 "고급 수학"에는 비교적 많은 양의 선형 대수의 내용이 있다. 일반 계열 고등학교의 수학에서도 선형 대수의 내용을 확장하고 학생들에게 확실한 개념을 갖도록 가르쳐서 이들이 대학에 진학하여 전공 분야에서 아무 어려움이 없도록 하는 것이 바람직하다.

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.41-52
• /
• 2009

This study investigates a mathematical subject, 'triangles' in mathematics books of Chosun Dynasty, in special Muk Sa Jib San Bub(默思集算法), Gu Il Jib(九一集), San Hak Ib Mun(算學入門), Ju Hae Su Yong(籌解需用), and San Sul Gwan Gyun(算術管見). It is likely that they apt to avoid manipulating general triangles except the right triangles and the isosceles triangles etc. Our investigation says that the progress of triangle-related contents in Chosun mathematics can fall into three stages: measurement of the triangle-shaped fields, transition from the object of measurement to the object of geometrical study, and examination of definition, properties and validation influenced by western mathematics.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.7-10
• /
• 2001

웹의 특징인 조작의 간편함, 뛰어난 접근성 등으로 인해 웹을 통한 지리정보의 검색, 접근을 위한 웹 맵 서비스의 요구가 증대되고 있다. 지리정보 분야의 대표적인 컨소시움인 OGC 를 통해서 웹 맵 서비스를 위한 표준 인터페이스가 정의됨에 따라 향후 웹을 통한 지리정보의 공유가 활발히 진행될 것으로 예상된다. 그런데, 현재 정의된 웹 맵 서비스에는 3 차원 맵 서비스를 고려하고 있지 않다. 왜냐하면, 3 차원 데이터 모델에 따라 구축된 공간 데이터가 거의 없으며, 맵 출력을 위한 출력 요소 정의 언어인 SVG 또는 WebCGM 등이 3 차원 기하를 표현할 수 없기 때문이다. 이 논문에서는 OCG 의 웹 맵 서비스를 위한 표준 인터페이스를 준수하면서, 최소한의 확장을 통해 3 차원 맵 서비스를 지원하기 위한 웹 맵 서비스 컴포넌트를 제안한다. 3 차원 맵은 2 차원 공간 데이터와 속성 정보를 이용하여 생성하므로, 3 차원 공간 데이터베이스 구축을 위한 추가의 비용이 발생하지 않는다.

• Journal of the Korean Geotechnical Society
• /
• v.17 no.5
• /
• pp.17-27
• /
• 2001

지하 굴착공동의 천장면에 형성되는 잠재적 키블록의 존재성과 운동학적 거동 양상 및 안정성을 해석적으로 분석할 수 있는 시스템을 개발하였다. 천장에서 측정된 절리들의 상대적인 위치와 방향성 자료를 이용하여 데이타베이스를 구축하였으며, 굴착설계도와 연계된 전산절리도를 작성하였다. 잠재적 키블록의 존재성과 거동양상은 사면체로 가정된 블록 옆면의 3차원 공간에서의 평면식을 절리의 방향성에 의거하여 구성하며 대수학적으로 분석되었다. 블록의 안정성 분석은 자중에 의해 미끄러짐이 발생되는 블록면의 공간 기하학적 특성을 고려하여 수행하였다. 개발된 분석시스템의 현장활용성을 검증하기 위하여 언양 자수정동굴에서 키블록 형성 및 거동양상을 조사하여 분석결과와 비교하였다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.412-421
• /
• 2000

In spite that the main contents of mathematical and scientific learning are understanding principles and their applications, most of existing educational softwares are based on rote learning, thus resulting in limited educational effects. In the artificial intelligence research, some progress has been made in developing automatic tutors based on proving and simulation, by adapting the techniques of knowledge representation, search and inference to the design of tutors. However, these tutors still fall short of being practical and the turor, even a prototype model, for learning problem solving is yet to come out. The geometry problem-solving tutor proposed by this research involves dynamic inference performed in parallel with learning. As an ontology for composing the problem space within a real-time setting, we have employed the notions of propositions, hypotheses and operators. Then we investigated the mechanism of interactive learning of problem solving in which the main target of inference involves the generation and the test of these components. Major accomplishment from this research is a practical model of a problem tutor embedded with a series of inference techniques for algebraic manipulation, which is indispensable in geometry problem solving but overlooked by previous research. The proposed model is expected to be applicable to the design of problem tutors in other scientific areas such as physics and electric circuitry.

• Journal for History of Mathematics
• /
• v.21 no.2
• /
• pp.55-70
• /
• 2008

This study is about the Data which is one of Euclid's writing. It dealt with the organization of contents, formal system and mathematical meaning. First, we investigated the organization of contents of the Data. Second, on the basis of this investigation, we analyzed the formal system of the Data. It contains the analysis of described method of definition, proposition, proof and the meaning of 'given'. Third, we explored the mathematical meaning of the Data which can be classified as algebraic point of view, geometric point of view and the opposite point of view to 'The Elements'.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.5
• /
• pp.127-135
• /
• 2015

In this paper, we propose the semi-auto camera calibration method including user input. The proposed method estimates the vanishing points using user defined reference lines and defines the constraint for reducing outlier in vanishing points estimation process. The proposed camera calibration method based on both algebraic and geometric method improves a calibration performance for difficult condition, which represents that existing method can't calibrate a image. Experimental results show that the proposed method calibration accuracy higher than existing method.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.22 no.3
• /
• pp.171-180
• /
• 2010

Analysis on the temporal variation of the stratification is carried out by using the continuous water temperature and salinity data observed in the coastal monitoring buoy in Mikawa Bay, Japan. The main analysis results are as follows. The stratification pattern have an obvious and dominant 1-year period variation and the occurrence frequency (days) are exponentially decreased as the stratification intensity (SI) defined as the density difference between surface and bottom layers linearly increases. The frequency distribution function of the SI is presumably close to the log-normal function type or exponential function type. From the water temperature and salinity scatter diagram analysis, the line and loop type patterns are shown in the bottom and surface layers, respectively. In addition, the analysis of the SI estimation show that the error bound in case of using the weekly-monitoring data is about 4.45 times greater than that in case of using the continuous (daily) monitoring data.