• Journal for History of Mathematics
• /
• v.13 no.1
• /
• pp.99-112
• /
• 2000

In this paper we discuss the teaching methods about statistical inferences. Bayesian methods have the attractive feature that statistical conclusions can be stated using the language of subjective probability. Simple methods of teaching Bayes' rule described, and these methods are illustrated for inference and prediction problems for one proportions. Also, we discuss the advantages and disadvantages of traditional and Bayesian approachs in teaching inference.

• Communications of the Korean Mathematical Society
• /
• v.18 no.1
• /
• pp.1-20
• /
• 2003

본 요약논문에서는 단순 연결된 리만곡면들의 isometry군, 그 군의 이산부분군을 이용한 리 만곡면들의 tessellation 그리고 regular map에 대해 소개하고 그 응용과 상호연관성들에 대해 살펴본다. 그리고, 여러가지 관점에서의 regular map의 분류에 대해 소개하고, 최근까지 연구되어진 바에 대해 정리해 보고자 한다.

• Journal for History of Mathematics
• /
• v.27 no.3
• /
• pp.197-210
• /
• 2014

Species like insects and fishes have, in many cases, non-overlapping time intervals of one generation and their descendant one. So the population dynamics of such species can be formulated as discrete models. In this paper various discrete population models are introduced in chronological order. The author's investigation starts with the Malthusian model suggested in 1798, and continues through Verhulst model(the discrete logistic model), Ricker model, the Beverton-Holt stock-recruitment model, Shep-herd model, Hassell model and Sigmoid type Beverton-Holt model. We discuss the mathematical and practical significance of each model and analyze its properties. Also the stability properties of stationary solutions of the models are studied analytically and illustratively using GSP, a computer software. The visual outputs generated by GSP are compared with the analytical stability results.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.692-695
• /
• 2001

The EMFG(Extended Mark Flow Graph) is not only a powerful tool to. designing the discrete-event system conceptually or specifically but also a good representation tool for implementing the system directly. We present a transitions-firing process and automatic changes of the number of marks in each box as a firing determination algorithm with the incident matrix and the state transition equation. The convenient analysis and design of a system as well as Computer Aided Design is possible because the operations of an EMFG ran be represented in the mathematical analysis with ease.

• The Journal of Korean Association of Computer Education
• /
• v.9 no.1
• /
• pp.89-95
• /
• 2006

The local geometric properties such as curvatures and normal vectors play important roles for analyzing the local shape of objects in the fields of computer graphics and computer vision. The result of the geometric operations such as mesh simplification and mesh smoothing is dependent on how to compute the curvatures of meshes because there is no exact mathematical definition of curvature at vertices on 3D meshes. Therefore, In this paper, we indicate the fatal error in computing the sectional curvatures of the most previous discrete curvature estimations. Moreover, we present a discrete curvature estimation to overcome the error, which is based on the parabola interpolation and the geometric properties of Bezier curves. Therefore, We can well distinguish between the sharp vertices and the flat ones, so our method may be applied to a variety of geometric operations.

• Journal of the Korea Society for Simulation
• /
• v.19 no.2
• /
• pp.17-28
• /
• 2010

Since a homing torpedo system consists of various subsystems, organic interactions of which dictate the performance of the torpedo system, it is necessary to estimate the effects of individual subsystems in order to obtain an optimized design of the overall system. This paper attempts to gain some insight into the detection mechanism of a torpedo run, and analyze the relative importance of various parameters of a torpedo system. A database for the analysis was generated using a simulation model based on the combined discrete event and discrete time architecture. Multiple search schemes, including the snake-search method, were applied to the torpedo model, and some parameters of the torpedo were found to be stochastic. We then analyzed the effectiveness of torpedo’s detection capability according to the torpedo speed, the target speed, and the maximum detection range.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.19 no.6
• /
• pp.865-871
• /
• 2009

In this paper, a novel feedback linearization is proposed for discrete-time nonlinear systems described by discrete-time T-S fuzzy models. The local linear models of a T-S fuzzy model are transformed to a controllable canonical form respectively, and their T-S fuzzy combination results in a feedback linearizable Tagaki-Sugeno fuzzy model. Based on this model, a nonlinear state feedback linearizing input is determined. Nonlinear state transformation is inferred from the linear state transformations for the controllable canonical forms. The proposed method of this paper is more intuitive and easier to understand mathematically compared to the well-known feedback linearization technique which requires a profound mathematical background. The feedback linearizable condition of this paper is also weakened compared to the conventional feedback linearization. This means that larger class of nonlinear systems is linearizable compared to the case of classical linearization.

• Journal for History of Mathematics
• /
• v.21 no.3
• /
• pp.127-142
• /
• 2008

In this paper, we introduce four different approaches of proving Cayley formula, which counts the number of trees(acyclic connected simple graphs). The first proof was done by Cayley using recursive formulas. On the other hands the core idea of the other three proofs is the bijective method-find an one to one correspondence between the set of trees and a suitable family of combinatorial objects. Each of the three bijection gives its own generalization of Cayley formula. In particular, the last proof, done by Seo and Shin, has an application to computer science(theoretical computation), which is a typical example that pure mathematics supply powerful tools to other research fields.

• The Journal of the Korea Contents Association
• /
• v.8 no.5
• /
• pp.276-286
• /
• 2008

In this paper, we introduce an adaptive e-Learning system for engineering mathematics which is based on computer algebra system (Mathematica) and on-line authoring environment. The system provides an assessment tool for individual diagnosis using Bayesian inference network. Using this system, an instructor can easily develop mathematical web contents via web interface. Examples of such content development are illustrated in the area of linear algebra, differential equation and discrete mathematics. The diagnostic module traces a student's knowledge level based on statistical inference using the conditional probability and Bayesian updating algorithm via Netica. As part of formative evaluation, we brought this system into real university settings and analyzed students' feedback using survey.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.49 no.2
• /
• pp.17-25
• /
• 2012

A general discretization method for input-driven nonlinear continuous time-delay systems is proposed, which can be applied to general order sampling hold assumptions. It is based on a combination of Taylor series expansion and the theories of sampling and hold. The mathematical structure of the new discretization scheme is introduced in detail. The performance of the proposed discretization procedure is evaluated by two degrees of systems. The results show that the proposed scheme is applicable to control systems.