• East Asian mathematical journal
• /
• v.19 no.1
• /
• pp.17-26
• /
• 2003

This paper demonstrates the CAS technique of analyzing the nature and the structure of the numerical error for education and research purposes. This also illustrates the CAS approach in experimenting with the numerical operations in an arbitrary computer number system and also in doing error analysis in a visual manner.

• Journal of applied mathematics & informatics
• /
• v.42 no.2
• /
• pp.291-303
• /
• 2024

In this paper, we consider a feedforward network of overloaded multiclass processor sharing queues and we give a fluid model solution under the condition that the system is initially empty. The main theorem of the paper provides sufficient conditions for a fluid model solution to be linear with time. The results are illustrated through examples.

• Communications of Mathematical Education
• /
• v.23 no.4
• /
• pp.961-976
• /
• 2009

The purpose of this study is to revise the curriculum of mathematics, which is the basic for the engineering studies, especially for the disciplines of the electronic engineering, computer science, computer engineering, mechanical engineering, environmental engineering, civil engineering and architecture. Another goal of this research was to integrate a computer software, MATLAB into a mathematics course so that the mathematical concepts and theories in the course can be visualized to help students understand some difficult subjects and enhance their interest in mathematics.

• Journal of applied mathematics & informatics
• /
• v.26 no.5_6
• /
• pp.1057-1069
• /
• 2008

We consider singularly perturbed Boundary Value Problems (BVPs) for third and fourth order Ordinary Differential Equations(ODEs) of convection-diffusion type with discontinuous source term and a small positive parameter multiplying the highest derivative. Because of the type of Boundary Conditions(BCs) imposed on these equations these problems can be transformed into weakly coupled systems. In this system, the first equation does not have the small parameter but the second contains it. In this paper a computational method named as 'An asymptotic finite element method' for solving these systems is presented. In this method we first find an zero order asymptotic approximation to the solution and then the system is decoupled by replacing the first component of the solution by this approximation in the second equation. Then the second equation is independently solved by a fitted mesh Finite Element Method (FEM). Numerical experiments support our theoritical results.

• Communications of Mathematical Education
• /
• v.28 no.1
• /
• pp.65-79
• /
• 2014

The present study seeks to provide an easy path to differential perceptions of students at the upper high school level by applying a story telling method and also, characteristically, to earn some time for class discussion by reducing learning time for simple calculational procedure through Computer Algebra System(CAS) tools. This study offers a clear example of storytelling textbooks through Sage. Hence, the study aims at enabling students who have practiced contents with Sage tools to deal with diverse and complicated calculation problems, if they learn to build up mathematical formulas for those problems.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.11a
• /
• pp.82-84
• /
• 2022

최초 블록체인 시스템 비트코인이 나온 이후 현재 이를 활용한 다양한 기술들이 나오고 있다. 블록체인은 탈중앙성, 무결성, 보안성, 투명성 등 여러 가지 특성들을 가지고 있다. 블록체인의 투명성은 블록체인의 모든 데이터가 모두에게 공개된다는 특징으로 많은 관심을 가졌으나 이러한 특징은 블록체인이 실생활 도입의 활용도를 낮추고 있는 추세이다. 그래서 이를 보완하기 위해서 블록체인 시스템에서 프라이버시 보호 기술들 즉, 링서명, 영지식 증명, 프라이빗 샌드 등을 활용한 다양한 프로토콜이 등장하고 있다. 이에 본 논문에서는 이러한 기술들의 특징과 장단점을 분석하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.11a
• /
• pp.80-81
• /
• 2022

최근 소셜 미디어 서비스의 성장과 접근성이 편해짐에 따라 피싱 URL 자동 분류가 필요하다. 그런데 단축 URL 서비스가 대중화되면서 피싱 URL 또한 단축 URL 서비스를 이용하여 피싱 사이트로 통하는지 정상적인 사이트로 통하는지 알 수 없게 되었다. 이런 경우 콘텐츠 기반 탐지를 통해 확인할 수 있지만 URL 기반 방법보다 느리고 리소스를 많이 차지한다는 단점이 있어 본 논문에서는 단축 URL 여부를 판단하고 좀더 효율적으로 피싱 사이트를 탐지 기법을 제안한다.

• Journal of Educational Research in Mathematics
• /
• v.9 no.1
• /
• pp.321-332
• /
• 1999

This article made overtures of the relationship between interactive mathematics texts nd the prototype design of computer application with Computer Algebra System Math. Engine, linking together in the school mathematics. School teachers and researchers would try to construct mathematical materials with computers in educating students in the middle and high school grades. As the individual users come to manage hyper-media materials, so they meet with the problem of 'Who does control?'A mass user would be concerned with interactive mathematics materials directly or off-line at realtime and manipulate the process of problem-solving symbolically with MathView/sup 11)/ and ON-Math/sup 12)/. Discussion was made in developing the factor in the domestic situation and reaching out their hands for it. In conclusion, a user may reform the information of math-curriculum limitedly.

• Kyungpook Mathematical Journal
• /
• v.56 no.1
• /
• pp.47-55
• /
• 2016

In this paper, we consider a discrete predator-prey system obtained from a continuous Beddington-DeAngelis type predator-prey system by using the method in [9]. In order to investigate dynamical behaviors of this discrete system, we find out all equilibrium points of the system and study their stability by using eigenvalues of a Jacobian matrix for each equilibrium points. In addition, we illustrate some numerical examples in order to substantiate theoretical results.

• 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.