• Journal for History of Mathematics
• /
• v.9 no.1
• /
• pp.12-31
• /
• 1996

주판은 지난 수천년동안 인류가 애용했던 산판(abacus)의 일종으로서, 휴대용 계산기(Calculator)가 보편화되기 전까지 덧셈이나 곱셈 등의의 사칙연산을 수행하는 데에 사용된 대표적인 산술도구이다. 한편, 자동화를 위한 단순한 계산기계로부터 발전되어 온 컴퓨터는 오늘날 디지털 시대를 주도하면서 불과 수십년만에 우리의 삶과 생각을 완전히 새로운 모습으로 바꾸어 놓은 또 하나의 산술도구인 것이다. 본 논문에서는 주판에 적용된 여러 가지 산술원리들을 역사적으로 살펴본뒤, 산술의 발전과 컴퓨터 사이에 어떠한 상관관계가 있는 지를 살펴보고자 한다. 이를 위하여, 새로운 산술원리를 컴퓨터에 도입하게 된 동기와 파급효과를 주판의 경우와 대비하여 설명하고, 현재 진행중인 컴퓨터 산술(computer arithmetic)분야의 연구동향을 토대로 미래의 컴퓨터를 전망한다.

• Journal of Educational Research in Mathematics
• /
• v.27 no.4
• /
• pp.727-745
• /
• 2017

This study investigated the Aristotle's continuity and the historical development of continuity of function to explore the differences between the concepts of mathematics and students' thinking about continuity of functions. Aristotle, who sought the essence of continuity, characterized continuity as an 'indivisible unit as a whole.' Before the nineteenth century, mathematicians considered the continuity of functions based on space, and after the arithmetization of nineteenth century modern ${\epsilon}-{\delta}$ definition appeared. Some scholars thought the process was revolutionary. Students tended to think of the continuity of functions similar to that of Aristotle and mathematicians before the arithmetization, and it is inappropriate to regard students' conceptions simply as errors. This study on the continuity of functions examined that some conceptions which have been perceived as misconceptions of students could be viewed as paradigmatic thoughts rather than as errors.

• Journal for History of Mathematics
• /
• v.17 no.3
• /
• pp.61-72
• /
• 2004

In this paper, we investigate several values of the Nine Chapters on the Mathematical Art on mathematics educational viewpoint. We study them with four points of view: mathematical approach through problems of real life, algorithmization of concept and type, significance of affective domain and application of arithmetic. The result shows that the Nine Chapters on the Mathematical Art have great meaning of today's Korean mathematics education and possibility of application.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.12
• /
• pp.1494-1502
• /
• 1992

이 논문에서는 디지털 영상 데이터의 가역 부호화 방법을 제안하였다. 정보원 모델을 위하여 인접 화소간의 차분을 이용한 차분모델과 마르코프 모델의 구성법을 보였다. 모델링에서 얻어지는 확률 구간의 변경을 이용한 다치 산술부호화의 고속화 알고리즘을 제시하였다. 제안방식의 성능을 계산량의 비교와 컴퓨터 시뮬레이션을 통하여 평가하였다. 그 결과 상태의 그룹화에 의한 차분모델이 기존의 여러방식에 비하여 적은 계산량으로 동등 이상의 평균부호 길이의 달성할 수 있어 효과적임을 알 수 있었다. 또한 제안한 고속화 방식은 차분모델에 적용이 용이하며 128계조를 갖는 영상에 있어서 평균 5배 이상의 고속효과를 얻었다.

• Journal of Advanced Navigation Technology
• /
• v.19 no.6
• /
• pp.614-622
• /
• 2015

Binary MQ arithmetic coding is widely used recently as a basic entropy coder in multimedia coding system. MQ coder esteems high in compression efficiency to be used in JBIG2 and JPEG2000. The importance of arithmetic coding is increasing after it is adopted as an unique entropy coder in HEVC standard. In the binary MQ coder, arithmetic approximation without multiplication is used in the process of recursive subdivision of range interval. Because of the MPS/LPS exchange activity happened in MQ coder, output byte tends to increase. This paper proposes an enhanced binary MQ arithmetic coder to make use of a lookup table for AQe using quantization skill in order to reduce the deficiency. Experimental results show that about 4% improvement of compression in case of JBIG2 for bi-level image compression standard. And also, about 1% improvement of compression ratio is obtained in case of lossless JPEG2000 coding. For the lossy JPEG2000 coding, about 1% improvement of PSNR at the same compression ratio. Additionally, computational complexity is not increasing.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 1999.06b
• /
• pp.45-50
• /
• 1999

이진 영상의 압축은 디지털 도서관, 팩시밀리 전송, 문서 입출력 시스템과 같이 한정된 대역폭과 저장 공간을 가진 응용 분야에서 절실히 요구되고 있다. 현재 많은 영상 압축 알고리즘이 채택하고 있는 대역분할 기법을 문서와 같은 이진 영상의 압축에 적용한다면, 점진적 전송, 축소영상을 통한 빠른 검색 등의 장점을 얻을 수 있다. 그러나, 이진 영상 신호가 두 단계의 휘도 값을 가지므로, 이에 적합한 대역분할 방법과 산술부호기를 선택하여야 한다. 본 논문에서는 표본화-XOR 대역분할 기법을 선택하여, 알파벳 수의 증가를 막고 공간영역에서 국부적인 성질을 얻을 수 있다 또한, 넓은 단일-색 영역을 Zerotree로 대표하여 부호화 되는 신호의 수를 줄이고, 대역분할 구조에서 예측성의 저하를 막기 위한 적절한 조건화문맥과 새로운 부호를 선택한다. 이진 영상에 적합한 대역분할 방법과 산술부호기를 선택하여, 대역분할의 장점과 우수한 압축 성능을 달성할 수 있다.

• Journal of IKEEE
• /
• v.20 no.4
• /
• pp.435-438
• /
• 2016

HEVC CABAC binary arithmetic decoder operates in three decoding modes i.e. regular, bypass, and termination modes, where their decoding operations and time differ a lot. Furthermore, when renormalization occurs, its internal feedback loop induces large delay. In this paper, a binary arithmetic decoder was designed to solve this problem. In advance, it checks all range values with possible renormalization. When renormalization occurs, it immediately updates range value and finishes all calculation in a cycle. When implemented in 0.18 um process technology, its maximum operating frequency and gate counts are 215 MHz and 5,423 gates, respectively.

• The Mathematical Education
• /
• v.49 no.2
• /
• pp.199-221
• /
• 2010

The purpose of the study were to investigate how secondary pre-service teachers conceptualize arithmetic mean and how their conceptualization was formed for solving the problems involving arithmetic mean. As a result, pre-service teachers' conceptualization of arithmetic mean was categorized into conceptualization by "mathematical knowledge(mathematical procedural knowledge, mathematical conceptual knowledge)", "analog knowledge(fair-share, center-of-balance)", and "statistical knowledge". Most pre-service teachers conceptualized the arithmetic mean using mathematical procedural knowledge which involves the rules, algorithm, and procedures of calculating the mean. There were a few pre-service teachers who used analog or statistical knowledge to conceptualize the arithmetic mean, respectively. Finally, we identified the relationship between problem types and conceptualization of arithmetic mean.

• Journal of Korea Multimedia Society
• /
• v.6 no.7
• /
• pp.1169-1177
• /
• 2003

The blocking effect results from independent coding of each image block and becomes highly visible, especially coded at very low bit rates. In this paper, a blocking effect reduction circuit is designed which is composed of a memory, arithmetic and logic unit, and control block. The circuit is based on a rational open uniform B-spline curve that uses to produce a smooth curve through a set of control points. The weight values and the modified pixel values in a rational open uniform B-spline curve are calculated using arithmetic and logic circuits. The simulation results show that the circuit has excellent performance for ail pattern of the blocking effects.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.214-216
• /
• 2003

아날로그 NTSC 비디오 디코더 신호를 디코딩하여 디지털화된 컬러 값을 얻기 위해서는 컬러 버스트 신호를 동기화 해야 한다. 이 버스트 신호를 이용하여 Y. I. O의 값을 분리하기 때문이다. 아날로그 디코더의 경우에는 내부에 버스트 신호와 동기화 한 클럭을 PLL이나 DLL등을 이용하여 발생시켜서 I의 위치를 알아낸다. 비디오 신호 해독을 위한 전용의 PLL을 위해 아날로그 방식의 VLSI설계를 하는 것은 많은 노력이 들어갈 뿐만 아니라 특정 Fab에 종속되어 전체 칩의 이식성을 떨어뜨리게 된다. 본 논문에서는 아날로그 PLL이 없이도 디지털 입력데이터의 산술 연산을 통해서 컬러 버스트 동기화를 검출하는 방법을 제안한다.