• 한국항공우주학회지
• /
• 제34권2호
• /
• pp.48-55
• /
• 2006

본 논문에서는 실시간 동적 차분 위성항법과 관련하여 근래에 제안된 위치영역 Hatch 필터의 오차 특성을 해석하였다. 위치영역 Hatch 필터에 의하여 생성되는 잉여값 순열 (residual sequence)이 고장검출에 유용한 백색잡음 (white noise) 특성을 가짐을 보였으며, 위치영역 Hatch 필터는 기존에 알려진 위치영역 Kalman 형 필터에 비하여 전 상태 추정치 (a priori state estimate) 의 정확도 면에서 오히려 더 우수함을 해석적으로 보였다. 이와 같은 특성에 의하면 차분 위성항법의 다양한 응용분야에서 위치영역 Hatch 필터가 고장검출 및 정밀측위에 효율적으로 사용될 수 있음을 알 수 있다.

• 정보처리학회논문지D
• /
• 제10D권2호
• /
• pp.343-350
• /
• 2003

본 연구는 음성 인터넷 서비스를 위하여 기존의 HTML 컨텐츠를 자동으로 VXML 컨텐츠로 변환하여 사용하는 방법에 관한 것이다. 문서 변환은 HTML 문서의 해석과 내용 분리에 앞서 컨텐츠의 선택이 필수적으로 요구되지만, 이미 알고 있고, 관심이 있는 내용의 집단적 선택에 대하여는 아직까지 좋은 해법이 없어 보인다. 본 논문에서는 비구조적 데이터로 구성된 웹 문서로부터 필요한 정보 묶음을 선택하기 위하여 웹 문서에 포함된 문자열, 구조에 대한 사용자의 사전 지식을 상호 반응적으로 사용하는 방법을 제안하며, 이를 구현하여 그 타당성을 입증하였다. 제안하는 방식은 기존의 구조적 방식에 의한 선택보다 사용자의 의도를 정확히 반영하며, 문서 표현의 구현 기법의 변화에 강건한 장점이 있다. 또한 컨텐츠 분리 측면에서는 XML또는 XHTML 문서변환을 중간 과정으로 사용하는 방식에 비하여 시간적으로 빠르며, 변환 과정의 부담이 작다.

• 한국초등수학교육학회지
• /
• 제18권1호
• /
• pp.1-17
• /
• 2014

초등학교에서 곱셈의 교환법칙의 지도는 $3{\times}4=12$, $4{\times}3=12$와 같이 $a{\times}b$와 $b{\times}a$ 의 값을 계산하고 실제로 그 값이 같은지를 확인하는 활동을 바탕으로 하는 것이 보통이다. 이 논문에서는 첫째로, 순수이성비판에 나타난 수학적 지식에 관한 칸트의 견해를 바탕으로, 곱셈의 교환법칙의 취급 방법을 비판적으로 고찰한다. 칸트에 의하면, 수학적 지식은 선험성과 도식성이라는 특징을 지니고 있다. 두 곱셈의 계산 결과를 비교하는 방법은 선험성과 도식성이라는 수학적 지식의 특성을 충족하지 못한다. 칸트의 관점에서 볼 때, $a{\times}b$를 $b{\times}a$ 로 변환하는 필연적이고 일반적인 도식이 드러나게 교환법칙을 취급하는 것이 적절하다. 둘째로, 곱셈의 교환법칙의 도식과 관련된 기본구성단위로의 분배 전략은 (자연수)${\times}$(10의 거듭제곱), 몫 분수 맥락에서 분수의 복합적 의미, 분수의 곱셈과 같은 학습 내용을 관통하는 일반적인 성격의 것임을 논한다. 끝으로, 이상의 두 논의를 바탕으로 초등 수학교과서에서 곱셈의 교환법칙이 다루어지는 방식을 비판적으로 고찰한다.

• Korean Journal of Mathematics
• /
• 제26권4호
• /
• pp.747-756
• /
• 2018

We study a maximum principle for a uniformly elliptic second order differential operator in nondivergence form. We allow a bounded positive zeroth order coefficient in a certain type of unbounded domains. The results extend a result by J. Busca in a sense of domains, and we present a simple proof based on local maximum principle by Gilbarg and Trudinger with iterations.

• Journal of applied mathematics & informatics
• /
• 제30권3_4호
• /
• pp.677-683
• /
• 2012

W.Choi([1]) obtains a complete description of ergodic property and several property by making use of the semigroup method. In this note, we shall consider separately the martingale problems for two operators A and B as a detail decomposition of operator L. A key point is that the (K, L, $p$)-martingale problem in population genetics model is related to diffusion processes, so we begin with some a priori estimates and we shall show existence of contraction semigroup {$T_t$} associated with decomposition operator A.

• 한국지능시스템학회논문지
• /
• 제2권2호
• /
• pp.34-41
• /
• 1992

A robust and reliable learning and reasoning mechanism is addressed based upon fuzzy set theory and fuzzy associative memories. The mechanism stores a priori an initial knowledge base via approximate learning and utilizes this information for decision-making systems via fuzzy inferencing. We called this fuzzy computer architecture a 'fuzzy hypercube' processing all the rules in one clock period in parallel. Fuzzy hypercubes can be applied to control of a class of complex and highly nonlinear systems which suffer from vagueness uncertainty. Moreover, evidential aspects of a fuzzy hypercube are treated to assess the degree of certainty or reliability together with parameter sensitivity.

• International Journal of Contents
• /
• 제2권1호
• /
• pp.5-8
• /
• 2006

This paper describes a new mechanism of detecting object of interest from a noisy image, without using any a-priori knowledge about the target. It employs a parallel set of filters inspired upon biological findings of mammalian vision. In our proposed system, several basic features are extracted directly from original input visual stimuli, and these features are integrated based on their local competitive relations and statistical information. Through integration process, unnecessary features for detecting the target are spontaneously decreased, while useful features are enhanced. Experiments have been performed on a set of computer generated and real images corrupted with noise.

• The Journal of Korean Physical Therapy
• /
• 제22권1호
• /
• pp.75-81
• /
• 2010

Purpose: The purpose of this study was to apply association rule mining to explore the labyrinthine network of cerebral infarction comorbidity and basic data supply to develop cutting-edge physical therapy protocols for cerebral infarction with comorbidity Methods: From clinic records of enrollees of A Hospital in D city, patients over 18 years of age with cerebral infarction and cerebral infarction comorbidity were recruited as a case group. All diagnoses of that hospital were categorized according to the "International Classification of Disease (ICD)" diagnosis system. We extracted code I63 from the "Korea Classification of Disease (KCD)-4". Associated rule mining was done with a priori modeling and Web nodes to examine the strengths of associations among those diagnoses. The support and confidence values of associated rule mining results were examined. Results: The subjects of this study were 2,267 cerebral infarction patients. E11 (Non-insulin-dependent diabetes mellitus), E78 (Disorders of lipoprotein metabolism and other lipidaemias), G81 (Hemiplegia), I10 (Essential hypertension), and K29 (Gastritis and duodenitis) were high frequency diagnoses, being found in 10% or more of total diagnoses of cerebral infarction from frequency analysis results. The highest frequency diagnosis was 1,042 (46.0%) for I10. The second most frequent diagnosis was for E11(21.5%) while the third most frequent diagnosis was E78 (20.2%). Results from a priori modeling and Web nodes indicated that cerebral infarction has a strong association withessential hypertension, non-insulin-dependent diabetes mellitus, disorders of lipoprotein metabolism and other lipidaemias. Conclusion: Cerebral infarction is associated with hypertension, diabetes mellitus, and disorders of lipoprotein metabolism and other lipidaemias. The result of this study will be helpful to clinicians treating patients with cerebral infarction.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1992년도 학술논문발표회 논문집 제11권 1호
• /
• pp.123-126
• /
• 1992

A new class of data transformation matri is introduced for estimation of angles of arrivals by the rank reduction of multiple wideband sources. The proposed unitary focusing matri minimizes the average of the squared norm of focusing error over the angles of interest without a priori knowledge of source locations. The merit that result as a consequence is a lower resolution threshold. These matrices can be applied to the case of the multigroup sources. Simulations and the comparison of statistical performance are compared with the algorithms (especially, spatial resampling method) which does not require the pre-estimation.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제53권4호
• /
• pp.207-211
• /
• 2004

We consider a class of uncertain nonlinear systems containing the uncertainties without a priori information except that they are bounded. For such systems, we assume that the upper bound of the uncertainties is represented as a Fredholm integral equation of the first kind and we propose an adaptation law that is capable of estimating the upper bound. Using this adaptive upper bound, a continuous robust control which renders uncertain nonlinear systems uniformly ultimately bounded is designed.