• Journal of the Korean School Mathematics Society
• /
• v.13 no.3
• /
• pp.345-356
• /
• 2010

Variables and expressions are essential for doing mathematics. Especially abbreviations of the multiplication sign ${\times}$ and the division sign ${\div}$ are current rules that we usually follow. In this paper, we devised a Card-Game for exercising abbreviations of the multiplication sign ${\times}$ and the division sign ${\div}$ in calculating expressions, designed a teaching unit for the calculation of expressions using the Card-Game in the variables and expressions strand, and discussed the implications of using the Card-Game for motivating students, cooperative learning, diagnosis and correction of errors, and so on.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.1 no.1
• /
• pp.10-16
• /
• 2002

In this paper, a novel algorithm for segmentation of moving multiple vehicles in video sequences using logic operations is proposed. For the case of multiple vehicles in a scene, the proposed algorithm begins with a robust double-edge image derived from the difference between two successive frames using exclusive OR operation. After extracting only the edges of moving multiple vehicles using Laplacian filter, AND operation and dilation operation, the image is segmented into moving multiple vehicle image. The features of moving vehicles can be directly extracted from the segmented images. The proposed algorithm has no the two preprocessing steps, so it can reduce noises which are norm at in preprocessing of the original images. The algorithm is more simplified using logic operations. The proposed algorithm is evaluated on an outdoor video sequence with moving multiple vehicles in 90,000 frames of 30fps by a low-end video camera and produces promising results.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.217-219
• /
• 2006

본 연구는 정보입자와 유전알고리즘의 기호코딩을 통해 퍼지집합 기반 다항식 뉴럴네트워크(IG based gFSPNN)의 최적 설계 제안한다. 기존의 Furry Srt-based Polynomial Neural Networks의 최적설계를 위해 유전자 알고리즘의 이진코딩을 사용하였다. 이지코딩은 스티링 길이 때문에 연산시간이 급격히 증가되는 현상과 해밍절벽(Hamming Cliff)에 따른 급격한 비트변환이 힘들다는 단점이 내제 하였다. 이에 본 논문에서는 스티링 길이와 해밍절벽에 따른 문제를 해결 하기위해 기호코딩을 사용하였다._데이터들의 특성을 모델에 반영하기 위해 Hard C-Means(HCM)을 결합한 Information Granulation(IG)을 사용하여 최적모델 구축 속도를 빠르게 하였다. 실험적 예제를 통하여 제안된 모델의 성능을 평가한다.

• Journal of Elementary Mathematics Education in Korea
• /
• v.21 no.4
• /
• pp.643-662
• /
• 2017

The first appearance of the equations in elementary school mathematics is in the expression of the equal sign in the addition sentences without its definition. Most elementary school students have operational understanding of the equal sign in equations. Moreover, students' opportunities to have a clear concept of the properties of operations are limited because they are used implicitly in the textbooks. Based on this fact, it has been argued that it is necessary to introduce the properties of operations explicitly in terms of specific numbers and to deal with various types of equations for understanding a relational meaning of the equal sign. In this study, we use equations to represent the implicit properties of operations and the relational meaning of the equal sign in elementary school mathematics with respect to students' level of understanding. In addition, we give some explicit examples which show how to apply them to make efficient computations.

• Communications of Mathematical Education
• /
• v.28 no.3
• /
• pp.375-394
• /
• 2014

The purpose of this study is to examine the transition of mathematical representation in Joseon mathematics, which is focused on numbers and operations, letters and expressions. In Joseon mathematics, there had been two numeral systems, one by chinese character and the other by counting rods. These systems were changed into the decimal notation which used Indian-Arabic numerals in the late 19th century passing the stage of positional notation by Chinese character. The transition of the representation of operation and expressions was analogous to that of representation of numbers. In particular, Joseon mathematics represented the polynomials and equations by denoting the coefficients with counting rods. But the representation of European algebra was introduced in late Joseon Dynasty passing the transitional representation which used Chinese character. In conclusion, Joseon mathematics had the indigenous representation of numbers and mathematical symbols on our own. The transitional representation was found before the acceptance of European mathematical representations.

• Communications of Mathematical Education
• /
• v.12
• /
• pp.249-264
• /
• 2001

학교수학을 가르치고 배우는 과정에서 교사의 역할은 기술 공학의 활용으로 변화하고 있다. 기술공학의 역할은 학생들로 하여금 수학에 대한 태도를 변하게 하여, 탐구적이며 창의적인 방법으로 수학을 공부하는데 열의를 갖도록 한다. 반면에 현재의 수학교수는 여전히 보수적이며 환경의 변화에 더디게 적응하고 있으나, 세상이 상당히 빨리 변하고 있으므로 기술공학을 활용하여 현재의 교수를 개선해 나가야 하겠다. 변화에 대한 인식과 갈망은 학습자료, 재정 상태, 그리고 기타 여러 가지 요인보다도 훨씬 중요하며 가장 중요한 것은 교수관점 및 교수견해의 변화에 대한 의지이다. 교사가 기호연산 실행 조작이 가능한 수학 학습용 컴퓨터 응용 소프트웨어와 이들을 탑재한 휴대용 수학학습 전용기를 중등학교수학에 적용할 경우, 수학교육에서 신중히 고려해야 할 것은, 첫째 모든 수준의 학생들을 격려하며, 둘째 대상 영역의 수학학습 내용을 이해하도록 기술공학을 활용한 새로운 교수 기법에 접근할 수 있어야 한다는 점이다.

• Communications of Mathematical Education
• /
• v.10
• /
• pp.505-517
• /
• 2000

수학 학습에서 컴퓨터와 계산기의 활용은 시각화의 강화로부터 직관력과 사고력의 향상을 가져왔다. 컴퓨터 대수체계(Computer Algebra System)가 탑재된 수학 학습용 컴퓨터 프로그램과 계산기가 활발히 사용되고 있으며, 교수매체로서의 활용은 지식 정보전달 체계와 학습자의 지식 구성방법에 새로운 패러다임을 형성하였다. 특히 수학학습용 그래픽 계산기(Graphing Calculator)는 휴대형(Hand-held Technology)으로 학습공간의 이동(Mobil Education)이 가능하며, 수학학습 전용기라는데 의미를 둘 수 있다. Symbolic Graphing Calculator를 활용한 수업에서 학습자는 계산기를 가지고, 기호연산 실행 조작을 통해 자신의 사고과정을 표현하고, Symbolic Graphing Calculator는 실행 조작에 즉각적으로 과정과 결과를 제공하며, 다른 표상과 상호작용을 함으로써 학습자 스스로의 규제가 강화된 과정을 통해 지식을 구성하게 된다. 이때 교사는 지식 정보전달 체계인 대화형 실행매체(IMTs)를 작성하여 학습자의 지식 형성에 안내자의 역할을 하게 된다. 이번 워크샵에서는 CASIO fx 2.0을 활용한 교실 수업모형을 그래프 표상과 연계한 방정식의 풀이과정을 통해 알아본다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• fall
• /
• pp.149-151
• /
• 2021

최근 Kotlin, Swift 와 같은 목표 기능에대해 최적화된 다양한 고급 컴퓨터 언어들이 출범함에 따라 이에대한 중요도와 이해력이 필요하다. 그에따라 고급 컴퓨터 언어 제작의 프로토타입 제작에 의의를 두고, 전세계 사람들에게 통용되는 사칙연산에 기반한 수학기호 코드 언어를 해석하는 프로그램을 구현한다. 단순한 계산기라기보다는. 수학기호 문자를 컴파일하여 프로세스로 변환하는 컴파일러로 접근하고 특성파악, 구상, 구현 과정을거쳐 본 프로그램을 제작하고 고급 컴퓨터 언어에 대한 저자의 이해를 서술한다.

• Annual Conference of KIPS
• /
• 2003.05b
• /
• pp.1015-1018
• /
• 2003

본 논문은 날로 증가하는 데이터 처리 요구를 데이터 처리 전용 칩을 이용하여 데이터베이스, 데이터 마이닝, 또는 전문가 시스템 통과 같이 데이터 비교연산에 시간을 많이 소모하는 응용 소프트웨어의 처리 속도를 최소화 할 수 있는 시스템을 제안한다. 본 시스템은 기존의 숫자처리(numeric processing)보다는 기호처리(symbolic processing)를 위해서 관계 연산(relation operation) 모듈을 이용하여 입력된 데이터들을 하드웨어 레벨에서 고속으로 처리한다. 본 시스템은 칩으로 설계되어 하드디스크 레벨에서 시스템을 가속 시린 수도 있고, IP(Intellectual Property)로 구현되어 SoC(System-on-a-chip)의 한 모듈로서 프로세서 레벨에서 시스템을 가속시킬 수도 있다.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.35D no.10
• /
• pp.107-115
• /
• 1998

A multiplier bit-pair recoding technique derived from Booth algorithm is used as an effective method that can carry out a fast binary multiplication regardless of a sign of both multiplicand and multiplier. In this paper, we propose an implementation of an optical high-speed multiplier which consists of a symbolic substitution adder and an optical multiplication algorithm, which transforms and enhances the multiplier bit-pair recoding algorithm to be fit for optical characteristics. Specially, a symbolic substitution addition rules are coded with a dual-rail logic, and so the complement of the logic of the symbolic substitution adder is easily obtained with a shift operation because it is always present. We also construct the symbolic substitution system which makes superposition image by superimposing two shifted images in a serial connection and recognizes a reference image by feeding this superimposed image to a mask. Thus, the optical multiplier, which is compared with a typical system, is implemented to the smaller system by reducing the number of optical passive elements and the size of this system.