• Communications of Mathematical Education
• /
• v.18 no.1 s.18
• /
• pp.223-237
• /
• 2004

본 연구는 중학교 1학년을 대상으로 일차방정식의 풀이 과정에서 나타나는 오류를 분석하고 그래핑 계산기를 활용하여 오류의 교정 과정을 제시하였다. 오류의 유형을 개념적 이해 미흡 오류, 등식의 성질에 대한 오류, 이항에 대한 오류, 계산 착오로 인한 오류, 기호화에 의한 오류로 분류하였으며, 이 중에서 등식의 성질에 대한 오류와 개념적 이해 미흡으로 인한 오류를 많이 범하고 있었다. 학생들이 TI-92를 활용하여 일차방정식의 해를 구할 때, Home Mode에서 Solve 기능을 이용하여 단순히 결과만을 보는 것 보다 Symbolic Math Guide를 이용하여 풀이 과정을 선택하여 대수적 알고리즘을 형성하면서 해를 구하는 것을 선호하였다. 그리고 학생들의 정의적 및 기능적 측면을 고려해야 할 필요성을 느끼게 되었다.

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

본 논문에서는 연속적인 입력화상에서 움직임을 나타내는 객체(Object)를 적은 연산량을 사용하여 추출해 내는 알고리즘을 소개한다. 본 알고리즘은 두 가지 단계로 이루어진다. 첫번째 단계로, 이전의 영상과 현재의 영상을 비교하여 움직임의 변화를 보이는 영역을 찾는다. 이 단계에서는 영상을 비교하여 움직임을 추출하기 위하여 창조영상과 현재의 영상, 그리고 영상의 데이터로서 edge정보를 사용한다. 두 번째 단계에서는, 첫번째 단계에서 움직임으로 판단된 Object mask(변화를 가지는 영역)를 가지고 background 제거 및 Object의 정확한 shape을 만들기 위한 post-processing과정을 가지게 된다. 이 두 단계를 거친 후 입력영상에서 background를 떼어낸 최종적인 Object의 shape정보가 추출되게 된다. 이 알고리즘은 object를 기반으로 부호화함으로써 데이터의 압축률을 극대화 시키는 MPEG-4뿐만 아니라, video database, 무선 통신등과 같은 다양한 범위의 application에 적절하게 사용될 수 있을 것이다.

• The Korean Journal of Applied Statistics
• /
• v.32 no.4
• /
• pp.485-502
• /
• 2019

Theoretical statistics is a calculus based course. However, there are limitations to learn theoretical statistics when students do not know enough calculus techniques. Mathematical softwares (computer algebra systems) that enable calculus manipulations help students understand statistical concepts, by avoiding the difficulties of calculus. In this paper, we introduce mathematical software such as Maxima and Wolfram Alpha. To foster statistical concepts in theoretical statistics education, we present three examples that consist of mathematical derivations using wxMaxima and statistical simulations using R.

• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.3-32
• /
• 2005

Hilbert's rational ambition to establish consistency in Number theory and mathematics in general was frustrated by the fact that the statement itself claiming consistency is undecidable within its formal system by $G\ddot{o}del's$ second theorem. Hilbert's optimism that a mathematician should not say "Ignorabimus" ("We don't know") in any mathematical problem also collapses, due to the presence of a undecidable statement that is neither provable nor refutable. The failure of his program receives more shock, because his system excludes any ambiguity and is based on only mechanical operations concerning signs and strings of signs. Above all, $G\ddot{o}del's$ theorem demonstrates the limits of formalization. Now, the notion of provability in the dimension of syntax comes to have priority over that of semantic truth in mathematics. In spite of his failure, the notion of algorithm(mechanical processe) made a direct contribution to the emergence of programming languages. Consequently, we believe that his program is failure, but a great one.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.12 no.6
• /
• pp.1027-1034
• /
• 2017

In this paper, we propose a new function embedding method that can measure mathematical projections of probability amplitude, probability, average expectation and matrix elements of stationary-state unit matrix at all control operation points of quantum gates. The function embedding method in this paper is to embed orthogonal normalization condition of probability amplitude for each control operating point into a binary scalar operator by using Dirac symbol and Kronecker delta symbol. Such a function embedding method is a very effective means of controlling the arithmetic power function of a unitary gate in a unitary transformation which expresses a quantum gate function as a tensor product of a single quantum. We present the results of evolutionary operation and projective measurement when we apply the proposed function embedding method to the ternary 2-qutrit cNOT gate and compare it with the existing methods.

• The KIPS Transactions:PartA
• /
• v.14A no.6
• /
• pp.383-390
• /
• 2007

This paper describes the e-learning system for science and engineering mathematics using computer algebra system and Bayesian inference network. The best feature of this system is using one of the most recent mathematical dynamic web content authoring model which is called client independent dynamic web content authoring model and using the Bayesian inference network for diagnosing student's learning. The authoring module using computer algebra system provides teacher-user with easy way to make dynamic mathematical web contents. The diagnosis module using Bayesian inference network helps students know the weaker parts of their learning, in this way our system determines appropriate next learning sequences in order to provide supplementary learning feedback.

• Journal of the Korean School Mathematics Society
• /
• v.19 no.1
• /
• pp.1-19
• /
• 2016

This study investigated the mathematical notation used today in terms of skip ping the parenthesis. At first we have studied the elementary and secondary curriculum content related to omitted rules. As a result, it is difficult to find explicit evidence to answer that question 'What is the calculation of the $48{\div}2(9+3)$?'. In order to inquire the notation fundamentally, we checked the characteristics on prefix, infix and postfix, and looked into the advantages and disadvantages on infix. At the same time we illuminated the development of mathematical notation from the point of view of skipping the parenthesis. From this investigation, we could check that this interpretation was smooth in the point of view that skipping the parentheses are the image of the function. Through this we proposed some teaching methods including 'teaching mathematical notation based on historic genetic principle', 'reproduction of efforts to overcome the disadvantages of infix and understand the context to choose infix', 'finding the omitted parentheses to identify the fundamental formula' and 'specifying the viewpoint that skipping the multiplication notation can be considered as an image of the function'.

• Journal of IKEEE
• /
• v.15 no.3
• /
• pp.198-204
• /
• 2011

In this letter, another analytical approach for the opportunistic amplify-and-forward (OAF) relay systems is proposed over Rayleigh fading channels. Based on set-operation at the selected relay node, its selection probability as the best relay is derived and then, the probability density function (PDF) of the received instantaneous signal-to-noise ratio (SNR) is expressed as a more tractable form in which the number of summations and the length of each summation are specified. Then, the average error rate, outage probability, and average channel capacity are obtained as approximated closed-forms. Simulation results are finally presented to validate that the proposed analytical expressions can be a unified frame work covering all Rayleigh fading channel conditions. Furthermore, it is confirmed that OAF schemes can outperform the other non-selective schemes on the average error rate, outage probability, and average channel capacity.

• The KIPS Transactions:PartB
• /
• v.13B no.3 s.106
• /
• pp.223-230
• /
• 2006

A window-based image processing is an elementary part of image processing area. Because window-based image processing is computationally intensive and data intensive, it is hard to perform ail of the operations of a window-based image processing in real-time by using a software program on general-purpose computers. This paper proposes a parallel hardware architecture that can perform a window-based image processing in real-time using FPGA(Field Programmable Gate Array). A dynamic threshold circuit and a local histogram equalization circuit of the proposed architecture are designed using VHDL(VHSIC Hardware Description Language) and implemented with an FPGA. The performances of both implementations are measured.

• Annual Conference of KIPS
• /
• 2005.05a
• /
• pp.201-204
• /
• 2005

현재의 세계적인 트렌드인 HCI(Human Computer Interaction)에서 사용자의 기호나 의견 등을 반영하는 인터렉티브 미디어(Interactive Media)는 빠질 수 없는 주제다. 본 연구팀은 모바일 단말환경에서 사용자의 인터렉션을 통한 서비스를 제공할 수 있는 IMS(Interactive Media System)를 설계하고, 이를 PDA 상에 구현하였다. 기존의 연구들이 보여주는 링크의 형태로만 미디어를 지원하는 방식은 CPU 등의 자원이 부족한 모바일 환경에서는 부담이 될 수 있다. IMS 는 이를 벗어나 내부적으로 미디어 오브젝트를 지원하는 방식을 사용하여 모바일 환경에 적합하게 연산속도를 개선하고 있다. 또한 이러한 방식으로 인하여 생길 수 있는 문제인 미디어 포맷의 지원에 대한 제약을 극복하기 위해 확장성 있는 구조로 설계되어 이미지와 텍스트, 백터그래픽 만을 제공하던 단순한 시스템에서 H.264 와 MPEG4 AAC 와 같은 여러 모듈들이 더해졌다. 또한 OpenGL 모듈이 추가되고 3D 오브젝트들이 새롭게 정의됨으로써 IMS 는 IML 을 통해 마크업 언어차원에서 3D 그래픽을 지원할 수 있게 되었고 2D 와 3D 를 함깨 사용한 다양한 비쥬얼 구성이 가능하게 되었다. 본 논문에서는 IMS 의 확장성 있는 구조와 OpenGL 을 추가하고 새로운 미디어 오브젝트를 정의하는 과정 등을 다루며 언급한 내용을 자세히 소개한다.