• Bulletin of the Korean Mathematical Society
• /
• v.43 no.2
• /
• pp.253-263
• /
• 2006

In this paper we introduce a new concept, a 'periodicizing' function for the linear differential equation with the periodic forcing function. Moreover, we construct this function, which is closely related with the solution of a difference equation and an indefinite sum. Using this function, we can obtain a representation of solutions from which we see immediately the asymptotic behavior of the solutions.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.45.2-45
• /
• 2002

$\textbullet$ Uncertainties are described by sum quadratic constraint(SQC) $\textbullet$ SQC is converted into an indefinite quadratic cost function $\textbullet$ A Kalman filter developed in indefinite inner product space is Krein space Kalman filter $\textbullet$ To minimize the SQC, the Krein space Kalman filter is used $\textbullet$ The proposed robust filter outperforms the standard Kalman filter and existing robust Kalman filter $\textbullet$ The proposed filter has the same recursive, simple structure as the standard Kalman filter $\textbullet$ Easy to design, adequate for on-line implementation

• Proceedings of the KIEE Conference
• /
• 2002.11c
• /
• pp.104-109
• /
• 2002

A new robust Kalman filter is designed for the linear discrete-time system with norm-bounded parametric uncertainties. Sum quadratic constraint, which describes the uncertainties of the system, is converted into an indefinite quadratic form to be minimized in indefinite inner product space. This minimization problem is solved by the new robust Kalman filter. Since the new filter is obtained by simply modifying the conventional Kalman filter, robust filtering scheme can be more readily designed using the proposed method in comparison with the existing robust Kalman filters. A numerical example demonstrates the robustness and the improvement of the proposed filter compared with the existing filters.

• The Mathematical Education
• /
• v.57 no.2
• /
• pp.157-177
• /
• 2018

The students in secondary schools have been taught calculus as an important subject in mathematics. The order of chapters-the limit of a sequence followed by limit of a function, and differentiation and integration- is because the limit of a function and the limit of a sequence are required as prerequisites of differentiation and integration. Specifically, the limit of a sequence is used to define definite integral as the limit of the Riemann Sum. However, many researchers identified that students had difficulty in understanding the concept of definite integral defined as the limit of the Riemann Sum. Consequently, they suggested alternative ways to introduce definite integral. Based on these researches, the definition of definite integral in the 2015-Revised Curriculum is not a concept of the limit of the Riemann Sum, which was the definition of definite integral in the previous curriculum, but "F(b)-F(a)" for an indefinite integral F(x) of a function f(x) and real numbers a and b. This change gives rise to differences among ways of introducing definite integral and explaining the relationship between definite integral and area in each textbook. As a result of this study, we have identified that there are a variety of ways of introducing definite integral in each textbook and that ways of explaining the relationship between definite integral and area are affected by ways of introducing definite integral. We expect that this change can reduce the difficulties students face when learning the concept of definite integral.

• Journal of Advanced Navigation Technology
• /
• v.25 no.6
• /
• pp.543-549
• /
• 2021

In this paper, a robust transfer alignment method is proposed for a strapdown inertial navigation system(SDINS) with norm-bounded parametric uncertainties. The uncertainties are described by the energy bound constraint, i.e., sum quadratic constraint(SQC). It is shown that the SQC can be coverted into an indefinite quadratic cost function in the Krein space. Krein space Kalman filter is designed by modifying the measurement matrix and the variance of measurement noises in the conventional Kalman filter. Since the proposed Krein space Kalman filter has the same recursive structure as a conventional Kalman filter, the proposed filter can easily be designed. The simulation results show that the proposed filter achieves robustness against measurement time delay and high dynamic environment of the vehicle.

• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.290-301
• /
• 2000

Most morphological analysis methods require repetitive procedures of input character code conversion, segmentation and lemmatization of constituent morphemes, filtering of candidate results through looking up lexicons, which causes run-time inefficiency. To alleviate such problem of run-time inefficiency, many systems have introduced the notion of 'pre-analysis' of words. However, this method based on pre-analysis dictionary of surface also has a critical drawback in its practical application because the size of the dictionaries increases indefinite to cover all words. This paper hybridizes both extreme approaches methodologically to overcome the problems of the two, and presents a method of morphological analysis based on pre-analysis of partial words. Under such hybridized scheme, most computational overheads, such as segmentation and lemmatization of morphemes, are shifted to building-up processes of the pre-analysis dictionaries and the run-time dictionary look-ups are greatly reduced, so as to enhance the run-time performance of the system. Moreover, additional computing overheads such as input character code conversion can also be avoided because this method relies upon no graphemic processing.