• Journal of the military operations research society of Korea
• /
• v.17 no.1
• /
• pp.105-129
• /
• 1991

Dynamic Time Warping(in short DTW) is a kind of sequence comparison method. It is widely used in human speech recognition. The timing difference between two speech patterns to be compared is removed by warping the time axes of the speech pattern by minimising the time-normalised distance between them. In the process of finding the minimum time-normalised distance. the efficient method is dynamic programming problem. This paper describes the concept of dynamic time warping method, mathematical formulation and an application.

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

In the previous paper, we presented a new guidance law for a missile during boost phase. Thus, this paper deals with the guidance law for a missile after the thrust cutoff against an accelerating and turning target. It is essentially based on the concept of proportional navigation. Some simulation studies were performed using a three dimensional mathematical model of an air-to-air missile and the effectiveness of the guidance law presented was shown.

• Journal of the Korean Data and Information Science Society
• /
• v.11 no.1
• /
• pp.91-101
• /
• 2000

We propose a new method for estimating the mean of a population which has a linear trend. The suggested estimator is based on the centered balanced systematic sampling method and the concept of interpolation and extrapolation. The efficiency of the proposed method is compared with that of existing methods.

• Journal of the Korean Institute of Navigation
• /
• v.23 no.2
• /
• pp.11-22
• /
• 1999

This paper is concerned with the development of a tractable model to assist liner shipping companies in the decision-making of empty container repositioning and leasing. A hybrid methodology is presented which properly accounts for the specific characteristics of empty container management. For this mathematical models are developed based on dynamic network models, covering both land and marine segment. Then a stochastic method is presented to deal with the uncertainty of the future demand and supply. Especially, the concept of opportunity cost has been introduced in order to explain interactions between the variation of the future demand and supply and the stock level at each depot.

• The Pure and Applied Mathematics
• /
• v.17 no.3
• /
• pp.205-209
• /
• 2010

We introduce the concept of semi-compatible and weak-compatible in $\cal{M}$-fuzzy metric space, and prove some fixed point theorem for four self maps satisfying some conditions in $\cal{M}$-fuzzy metric space.

• Journal for History of Mathematics
• /
• v.13 no.2
• /
• pp.95-104
• /
• 2000

This paper is a sequel to [24]. It is well known that the order structure plays the important role in the study of various mathematical structures. In 1972, Scott has introduced a concept of continuous lattices and has shown the equivalence between continuous lattices and injective $T_0-spaces$. There have been many efforts made to generalize continuous lattices and extend corresponding properties to them. We introduce another class of frames, namely countably approximating frames, generalizing continuous frames and study its basic properties.

• Korean Journal of Mathematics
• /
• v.24 no.2
• /
• pp.169-179
• /
• 2016

In this article, we introduce the concept of ordered dualistic partial metric spaces and establish an order relation on quasi dualistic partial metric spaces. Later on, using this order relation, we prove xed point theorems for single and multivalued mappings. We support our results with some illustrative examples.

• Korean Journal of Mathematics
• /
• v.23 no.1
• /
• pp.37-46
• /
• 2015

We in this note introduce the concept of semi-IFP rings which is a generalization of IFP rings. We study the basic structure of semi-IFP rings, and construct suitable examples to the situations raised naturally in the process. We also show that the semi-IFP does not go up to polynomial rings.

• Korean Journal of Mathematics
• /
• v.21 no.1
• /
• pp.29-34
• /
• 2013

Power-Armendariz is a unifying concept of Armendariz and commutative. Let R be a ring and I be a proper ideal of R such that R/I is a power-Armendariz ring. Han et al. proved that if I is a reduced ring without identity then R is power-Armendariz. We find another direct proof of this result to see the concrete forms of various kinds of subsets appearing in the process.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.24 no.2
• /
• pp.201-208
• /
• 2014

Park et al. introduced the concept of generalized intuitionistic fuzzy soft sets, which can be seen as an effective mathematical tool to deal with uncertainties. In this paper, we introduce new operations such as restricted union and restricted intersection and study their basic properties, and deal with the algebraic structure of generalized intuitionistic fuzzy soft sets. The lattice structures of generalized intuitionistic fuzzy soft sets are constructed.