• 대한수학교육학회지:학교수학
• /
• 제3권2호
• /
• pp.295-324
• /
• 2001

Until now, There have been few studies to investigate a degree of abilities or interesting about mathematical problem-posing of first and second grades in elementary school. This is due to the fact that this students(1st and 2nd grades) have a limited amount of study time and their minds are not fully developed, and are lacking in their representation of ability to use the national language. This being the case, it is difficult to investigate their Mathematical problem-posing in a practical manner. However, our 7th elementary school Mathematics curriculum emphasizes the teaching and learning of Mathematical problem-posing from a basic level of first and second grade with emphasis on activity in teaming Mathematics. Through this study, having analysed the problems those children posed, I have found out they improved in numbers and correctness of their posed problems. And I too could found out showing to their much interesting and confidence to mathematical problem-posing and could confirmed for the children to admit themselves its merits through analyzing some questions to ask their opinions to it. I expect that this study can help to develop the teaching and learning materials for mathematical problem-posing and also to improve its methods of elementary school mathematics. The next study task is, I think, that it is necessary to accumulate the studies to investigate and analyse the practical learning activities of children for problem-posing contents of mathematics text books.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제54권12호
• /
• pp.723-731
• /
• 2005

The $4{\times}4$ homogeneous transformation matrix is a compact representation of orientation and position of an object in robotics and computer graphics. A coordinate transformation is accomplished through the successive multiplications of homogeneous matrices, each of which represents the orientation and position of each corresponding link. Thus, for real time control applications in robotics or animation in computer graphics, the fast multiplication of homogeneous matrices is quite demanding. In this paper, a parallel-architecture vector processor is designed for this purpose. The processor has several key features. For the accuracy of computation for real application, the operands of the processors are floating point numbers based on the IEEE Standard 754. For the parallelism and reduction of hardware redundancy, the processor takes column vectors of homogeneous matrices as multiplication unit. To further improve the throughput, the processor structure and its control is based on a pipe-lined structure. Since the designed processor can be used as a special purpose coprocessor in robotics and computer graphics, additionally to special matrix/matrix or matrix/vector multiplication, several other useful instructions for various transformation algorithms are included for wide application of the new design. The suggested instruction set will serve as standard in future processor design for Robotics and Computer Graphics. The design is verified using FPGA implementation. Also a comparative performance improvement of the proposed design is studied compared to a uni-processor approach for possibilities of its real time application.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제8권2호
• /
• pp.107-114
• /
• 2004

University teachers of linear algebra often feel annoyed and disarmed when faced with the inability of their students to cope with concepts that they consider to be very simple. Usually, they lay the blame on the impossibility for the students to use geometrical intuition or the lack of practice in basic logic and set theory. J.-L. Dorier [(2002): Teaching Linear Algebra at University. In: T. Li (Ed.), Proceedings of the International Congress of Mathematicians (Beijing: August 20-28, 2002), Vol. III: Invited Lectures (pp. 875-884). Beijing: Higher Education Press] mentioned that the situation could not be improved substantially with the teaching of Cartesian geometry or/and logic and set theory prior to the linear algebra. In East Asian countries, science-orientated mathematics curricula of the high schools consist of calculus with many other materials. To understand differential and integral calculus efficiently or for other reasons, students have to learn a lot of content (and concepts) in linear algebra, such as ordered pairs, n-tuple numbers, planar and spatial coordinates, vectors, polynomials, matrices, etc., from an early age. The content of linear algebra is spread out from grades 7 to 12. When the high school teachers teach the content of linear algebra, however, they do not concern much about the concepts of content. With small effort, teachers can help the students to build concepts of vocabularies and languages of linear algebra.

• 전자공학회논문지CI
• /
• 제40권5호
• /
• pp.241-249
• /
• 2003

십진수를 위한 가산기 구현에서 지연시간을 줄일 수 있는 carry lookahead(CLA)을 이용한 십진수 가산 회로 선계를 제안한다. 이자 계산과 같은 십진 소수에 의한 반복계산에서 이진수 체계를 사용하면 절단오차는 누적된다. 이를 방지하기 위하여 BCD 회로 사용은 불가피하다. BCD 계산에서의 속도개선은 CLA 회로를 이용하여 개선될 수 있다. BCD 회로에서 CLA 회로 사용을 위해 제안된 캐리 생성 및 캐리 전파회로를 도출하여 가산기 설계에 사용하였다. 이 CLA 방식을 사용한 BCD 가산에서 기존의 BCD 가산회로와 지연시간을 비교하였을 때 상당한 속도개선이 이루어졌다. 또한 3초과 코드를 이용한 가산회로의 경우 CLA 방식 사용과 지연시간에 영향을 미치는 회로부분을 개선함으로써 CLA만 이용했을 때 보다 지연시간을 10게이트 지연시간만큼 더욱 줄일 수 있었다.

• 방송공학회논문지
• /
• 제26권7호
• /
• pp.838-843
• /
• 2021

This paper presents an algorithm for effective retrieval of score information to an input score image. The originality of the proposed algorithm is that it is designed to be robust to recognition errors by an OMR (Optical Music Recognition), while existing methods such as pitch histogram requires error induced OMR result be corrected before retrieval process. This approach helps people to retrieve score without training on music score for error correction. OMR takes a score image as input, recognizes musical symbols, and produces structural symbolic notation of the score as output, for example, in MusicXML format. Among the musical symbols on a score, it is observed that filled noteheads are rarely detected with errors with its simple black filled round shape for OMR processing. Barlines that separate measures also strong to OMR errors with its long uniform length vertical line characteristic. The proposed algorithm consists of a descriptor for a score and a similarity measure between a query score and a reference score. The descriptor is based on note-count, the number of filled noteheads in a measure. Each part of a score is represented by a sequence of note-count numbers. The descriptor is an n-gram sequence of the note-count sequence. Simulation results show that the proposed algorithm works successfully to a certain degree in score image-based retrieval for an erroneous OMR output.

• Journal of Positioning, Navigation, and Timing
• /
• 제10권2호
• /
• pp.75-82
• /
• 2021

Fields of high-precision positioning applications are growing fast across the mass market worldwide. Accordingly, the industry is focusing on developing methods of applying State-Space Representation (SSR) corrections on low-cost GNSS receivers. Among SSR correction types, this paper analyzes Safe Position Augmentation for Real Time Navigation (SPARTN) messages being offered by the SAfe and Precise CORrection DAta (SAPCORDA) company and validates positioning algorithms based on them. The first part of this paper introduces the SPARTN format in detail. Then, procedures on how to apply Basic-Precision Atmosphere Correction (BPAC) and High-Precision Atmosphere Correction (HPAC) messages are described. BPAC and HPAC messages are used for correcting satellite clock errors, satellite orbit errors, satellite signal biases and also ionospheric and tropospheric delays. Accuracies of positioning algorithms utilizing SPARTN messages were validated with two types of positioning strategies: Code-PPP using GPS pseudorange measurements and PPP-RTK including carrier phase measurements. In these performance checkups, only single-frequency measurements have been used and integer ambiguities were estimated as float numbers instead of fixed integers. The result shows that, with BPAC and HPAC corrections, the horizontal accuracy is 46% and 63% higher, respectively, compared to that obtained without application of SPARTN corrections. Also, the average horizontal and vertical RMSE values with HPAC are 17 cm and 27 cm, respectively.

• 대한수학교육학회지:학교수학
• /
• 제10권4호
• /
• pp.603-623
• /
• 2008

이 논문의 목적은 비와 비례 과제에서 가법적 전략을 사용하는 학생의 문제해결 과정에서 나타난 수학적 표현을 분석하여 가법적 전략을 사용하는 학생의 수학적 표현이 비와 비례 과제를 해결하는데 어떤 영향을 미치는지 탐구하기 위한 것이다. 가법적 전략은 비와 비례 문제를 해결하는 과정에서 학생에게 많이 나타나는 오류 중의 하나로, 한 양에서 다른 양을 빼어 그 차를 다른 양에 적용하는 전략이다. 학생의 응답을 분석한 결과 학생의 가법적 전략의 유형은 단위를 고려하지 않고 빼기, 전체에서 부분을 뺀 양과 부분 비교하기, 차만큼 더하기, 차만큼 빼기로 나눌 수 있었다. 학생의 가법적 전략을 승법적 전략으로 변화시키기 위해 단위량을 구하도록 유도하였고, 이 과정에서 다음과 같은 특징이 나타났다. 첫째, 두 수 사이의 관계가 정수배가 아닌 경우 똑같이 곱하고 빼어서 원하는 수를 만든다. 둘째, 자연수와 자연수 사이의 중간값으로 표현한다. 셋째, $a{\div}b$를 $\frac{a}{b}$가 아닌 소수로 표현한다. 넷째, 큰 수를 작은 수로 나눈다. 이상과 같은 결과는 나눗셈과 분수 표현을 잘 관련짓지 못하는 것이 가법적 전략에서 승법적 전략으로의 전환을 어렵게 하고 있음을 보여준다.

• 한국과학교육학회지
• /
• 제34권4호
• /
• pp.335-347
• /
• 2014

관찰과 측정을 기본으로 하는 과학의 교과에서 "크기(size)"와 그를 나타내는 "척도(scale)"는 물질의 물리적 속성과 과학적 현상을 이해하도록 돕는 중요한 개념이다. 또한, 사물의 수, 크기나 양을 어림잡거나 그것을 정확하게 표현하는 것은 수학에서 수의 개념 형성과 발달, 표현법의 습득, 나아가서는 연산에 관한 사고로의 발전과 관련되어있는 문제라고 볼 수 있어 "크기와 척도" 개념은 수학과 과학의 기본이며 동시에 두 교과를 연결하는 개념이다. 일반적으로 "크기와 척도"는 쉬운 개념이라 생각되지만, 실제 학생들은 물질의 크기를 제대로 이해하지 못하거나 척도로 나타내는 것을 어려워하는 것을 알 수 있다. 이는 단지 물질의 크기를 정확히 알지 못하는 정확성에 관한 오류로만 그치는 것이 아니라 종종 연관된 개념을 추론하거나 개념을 확장해 과학의 현상을 이해하는 과정에서의 어려움으로 이어진다. 이와 관련해 수와 연산에 관한 개념이해와 학습의 어려움에 관한 수학교육분야의 연구는 다양하게 진행되었지만, 과학교육분야에서의 연구는 많지 않았다. 본 연구에서는 "크기와 척도"에 관한 학생들의 사고를 더 잘 이해하고 과학 학습의 어려움에 관한 원인을 분석하기 위해 수학적 구조분석을 적용하였다. 수학교육에서 설명한 수 개념의 발달에 따른 사고유형(덧셈이전의 사고, 덧셈적 사고-additive reasoning, 곱셈적 사고-multiplicative reasoning)을 적용하여 7단계의 수학적 구조를 만들고 이를 이용하여 "크기와 척도"와 관련된 과제를 수행한 학생들의 인터뷰 데이터를 체계적으로 분석하였다. 수학적 구조를 바탕으로 한 개념 틀은 다양한 학생들의 사고를 분석하는 기준이 되었고, 또한 학생들이 겪는 개념이해의 어려움을 해석하는 도구가 되었다. 수 개념의 발달에 맞춘 수학적 사고구조를 적용한 분석은 학생들의 개념 유형의 구분을 명확히 하였고 설명이 모호했던 전환 단계(transition stage) 유형을 밝혀내어 수업에서 고려되어야 할 점들을 구체적으로 드러내었다. 이는 수학과 과학, 두 교과 간의 틈을 줄일 뿐 아니라 연결점을 찾아 학생들의 개념이해와 어려움의 원인을 분석하는데 폭넓은 시각을 제공한다는 점에서 최근 많은 관심을 받고 있는 STEM 혹은 수학과 과학의 융합 수업을 위한 소재로의 가능성을 제시해준다.

• 대한수학교육학회지:학교수학
• /
• 제7권2호
• /
• pp.139-168
• /
• 2005

본 연구에서는 분수의 곱셈에서 학생이 학교 수업을 받기 이전에 가지고 있는 비형식적 지식이 무엇인지를 알아보고, 그 지식을 형식화 할 수 있는 교수$\cdot$학습 방법을 추출하기 위해서 문헌 검토를 통해 6차시의 사전 교수$\cdot$학습안을 개발하고, 이를 바탕으로 초등학교 4학년 학생 7명에게 교수실험을 실시하였다. 교수실험 결과, 학생의 분수 곱셈에서의 비형식적 지식은 그림을 이용한 직접적 모델링 전략, 비형식적 언어에 의한 사고, 조작 가능한 수식에 의한 표상으로 나타났다. 또한, 교수실험과정에서 학생이 보인 반응을 분석하여 (분수)$\times$(자연수), (자연수)$\times$(분수), (단위분수)$\times$(단위분수), (진분수)$\times$(진분수)의 곱셈에서 비형식적 지식을 형식화하기 위한 교수$\cdot$학습 방법을 제시하였고, 이에 터하여 분수의 곱셈에서 학생의 비형식적 지식을 형식적 지식으로 연결하기 위한 교수$\cdot$학습 활동자료를 제시하였다. 본 연구에서 개발한 교수$\cdot$학습 활동자료는 학생이 가진 비형식적 지식에 기초하여 형식적 지식을 의미 있게 학습할 수 있도록 할뿐만 아니라 더 나아가 수학적 사고력과 긍정적인 수학 성향을 길러줄 수 있을 것으로 기대한다.

• Nuclear Engineering and Technology
• /
• 제52권9호
• /
• pp.1917-1925
• /
• 2020

New versions of ENDF/B and JEFF data libraries have been released during the past two years with significant updates in the neutron reaction sublibrary and the thermal neutron scattering sublibrary. In order to get a more comprehensive impression of the criticality quality of these two latest neutron data libraries, and to provide reference for the selection of the evaluated nuclear data libraries for the science and engineering applications of the Reactor Monte Carlo code RMC, the criticality benchmarking of the two latest neutron data libraries has been performed. RMC was employed as the computational tools, whose processing capability for the continuous representation ENDF/B-VIII.0 thermal neutron scattering laws was developed. The RMC criticality validation suite consisting of 116 benchmarks was established for the benchmarking work. The latest ACE format data libraries of the neutron reaction and the thermal neutron scattering laws for ENDF/B-VIII.0, ENDF/B-VII.1, and JEFF-3.3 were downloaded from the corresponding official sites. The ENDF/B-VII.0 data library was also employed to provide code-to-code validation for RMC. All the calculations for the four different data libraries were performed by using a parallel version of RMC, and all the calculated standard deviations are lower than 30pcm. Comprehensive analyses including the C/E values with uncertainties, the δk/σ values, and the metrics of χ² and < |Δ| >, were conducted and presented. The calculated keff eigenvalues based on the four data libraries generally agree well with the benchmark evaluations for most cases. Among the 116 criticality benchmarks, the numbers of the calculated keff eigenvalues which agree with the benchmark evaluations within 3σ interval (with a confidence level of 99.6%) are 107, 109, 112, and 113 for ENDF/B-VII.0, ENDF/B-VII.1, ENDF/B-VIII.0 and JEFF-3.3, respectively. The present results indicate that the ENDF/B-VIII.0 neutron data library has a better performance on average.