• Journal of the Korea Society of Computer and Information
• /
• v.13 no.1
• /
• pp.213-218
• /
• 2008

Through the development of computer and multimedia, many different kinds of theories about instructional method are presented. Especially, many lectures in associated with E-learning are done. In mathematics teaching, mathematica-algebra system lecturing, computer and Maple Matlab lecturing etc, are accomplished. There are many controversies among educators in problems originated by computer teaching. In this paper, we going to make a research about problems which are caused by mathematics computer-based education and present a desirable way of computer based education through studying comprehension rate and application ability among learner who uses omputer learning and other learner who uses exiting blackboard-based learning with statistical analysis after sampling test

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1521-1537
• /
• 2021

In this paper we consider the global well-posedness of compressible magnetohydrodynamic system in ℝ^d with d ≥ 2, in the framework of the critical Besov spaces. We can show that if the initial data, the shear viscosity and the magnetic diffusion coefficient are small comparing with the volume viscosity, then the compressible magnetohydrodynamic system has a unique global solution. Our result improves the previous one by Danchin and Mucha [10] who considered the compressible Navier-Stokes equations.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.149-156
• /
• 2006

The circular list coloring is a circular version of list colorings of graphs. Let $\chi_{c,l}$ denote the circular choosability(or the circular list chromatic number). In this paper, the circular choosability of outer planar graphs and odd wheel is discussed.

• Journal of applied mathematics & informatics
• /
• v.31 no.1_2
• /
• pp.277-284
• /
• 2013

In this paper, we investigate $h$-stability of the nonlinear perturbed difference system via $n_{\infty}$-similarity.

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.49-65
• /
• 2006

A robust numerical method for a singularly perturbed second-order ordinary differential equation having two parameters with a discontinuous source term is presented in this article. Theoretical bounds are derived for the derivatives of the solution and its smooth and singular components. An appropriate piecewise uniform mesh is constructed, and classical upwind finite difference schemes are used on this mesh to obtain the discrete system of equations. Parameter-uniform error bounds for the numerical approximations are established. Numerical results are provided to illustrate the convergence of the numerical approximations.

• Journal of applied mathematics & informatics
• /
• v.2 no.2
• /
• pp.21-46
• /
• 1995

Congestion and memory occupancy in computer system may be reduced further if new jobs are admitted only when the num-ber of jobs queued at CPU is below CPU run queue cutoff (RQ). In this paper we prove that response time of a job is invariant with respect to RQ if jobs do not communicate each other. We also demonstrate this invariance property numerically using marix-geometric methods and present an approximate method for the delay due to context switch-ing under time slicing. The approximation suggests that time slicing with constant overhead yields a throughput similar to an FCFS system without overhead.

• 제어로봇시스템학회:학술대회논문집
• /
• 1994.10a
• /
• pp.753-757
• /
• 1994

In control system design, whether the various subsystems are in discrete time or continuous time, the state space is usually regarded as a continuum. However, when the system is implemented, some subsystems may have a state space which is a subset of finite computer arithmetic. This is an important concern if a subsystem has chaotic behaviour, because it is theoretically possible for rich and varied motions in a continuum to collapse to trivial and degenerate behaviour in a finite and discrete state space [5]. This paper discusses new ways to describe these effects and reports on computer experiments which document and illustrate such collapsing behaviour.

• East Asian mathematical journal
• /
• v.28 no.5
• /
• pp.561-567
• /
• 2012

The approximate solvability of a generalized system for relaxed cocoercive extended general variational inequalities is studied by using the project operator technique. The results presented in this paper are more general and include many previously known results as special cases.

• Journal of the Korean School Mathematics Society
• /
• v.13 no.1
• /
• pp.125-141
• /
• 2010

The aim of this paper is to develop a web-based Virtual Learning System for discrete mathematics learning using CAS (Computer Algebra System), The system contains a series of contents that are common between secondary und university curriculum in discrete mathematics such as sets, relations, matrices, graphs etc. We designed and developed web-based virtual learning contents contained in the proposed system based on Mathematia, webMathematica and phpMath taking advantages of rapid computation and visualization. The virtual learning system for discrete math provides movie lectures and 'practice mode' authored with phpMath in order to enhance conceptual understanding of each movie lesson. In particular, matrix learning is facilitated with conceptual diagram that provides interactive quizzes. Once the quiz results are submitted, Bayesian inference network diagnoses strong and weak parts of learning nodes for generating diagnostic reports to facilitate personalized learning. As part of formative evaluation, the overall responses were collected for future revision of the system with 10 university students.

• Journal of applied mathematics & informatics
• /
• v.41 no.3
• /
• pp.647-656
• /
• 2023

In this work, we are concerned by the problem of identification of noisy terms which arise in singular problem as for remote sensing problems, and which are modeled by a linear singular parabolic equation. For the reason of missing some data that could be arisen when using the traditional sentinel method, the later will be changed by a new sentinel method for attaining the same purpose. Such new method is a particular least square-like method which permits one to distinguish between the missing terms and the pollution terms. In particular, a sentinel method will be given here in its more realistic setting for singular parabolic problems, where in this case, the observation and the control have their support in different open sets. The problem of finding a new sentinel is equivalent to finding singular optimality system of the least square control for the parabolic equation that we solve.