• 대한수학회보
• /
• 제43권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년도 ICCAS
• /
• 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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 합동 추계학술대회 논문집 정보 및 제어부문
• /
• 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.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제57권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.

• 한국항행학회논문지
• /
• 제25권6호
• /
• pp.543-549
• /
• 2021

본 논문에서는 불확실성의 크기가 유한한 파라미터를 갖는 스트랩다운 관성항법시스템에 대한 강인한 전달정렬 기법을 제안하였다. 크레인 공간을 이용하면 에너지가 유한한 불확실성을 갖는 강인한 필터는 일반적인 칼만필터와 동일한 구조를 갖게 된다. 단지 측정 행렬과 측정 잡음의 공분산값을 수정하면 된다. 본 논문에서 제안한 강인한 전달정렬 기법의 성능을 분석하기 위해서 항체가 고기동 운항을 하면서 측정치에 시간 지연이 발생하는 경우를 가정하여 시뮬레이션을 수행하였고 제안한 기법의 강인성을 검증하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권3호
• /
• pp.290-301
• /
• 2000

일반적으로 형태소 분석 방법은 실행시에 매 어절마다 코드 변환, 형태소 분리, 원형 복원 규칙 적용을 통한 분석 후보 생성, 사전 탐색을 통한 분석 후보의 여과 등의 절차를 거쳐 형태소 분석을 수행하기 때문에 실행 효율의 관점에서 효율적이지 못하다. 이러한 문제점을 완화시키기 위해 도입된 어절단위 기분석 사전에 의한 분석은 실행시 처리에 소요되는 계산 부하를 크게 줄일 수는 있지만 어절의 수가 사실상 무한하므로 사전의 크기 문제 때문에 완전한 처리 방법이 될 수 없다는 단점이 있다. 본 논문에서는 이상과 같은 문제점을 해결하기 위해 두가지 대비되는 방법론을 결합하여 부분 어절별로 기분석 결과를 구축하여 형태소를 분석하는 방법에 대해 기술하고 있다. 이 방법에 의하면, 형태소 분리, 원형 복원 등 형태소 분석에 필요한 계산의 대부분을 실행시에 행하지 않고 기분석 결과의 구축 시에 행함으로써 실행시 계산 부하를 크게 줄일 수 있고 불필요한 중간 결과가 생성되지 않아 사전 탐색 횟수가 크게 절감되는 효과가 있으므로, 실행 효율을 크게 개선할 수 있다. 아울러 음소별 연산을 하지 않으므로 코드 변환 등에 소요되는 계산량도 전혀 필요치 않다는 특징도 있다.