• Journal of IKEEE
• /
• v.17 no.4
• /
• pp.559-563
• /
• 2013

This paper analytically proves the equivalence between two main oscillator phase noise theories, which are based on the ISF, and Floquet vector, respectively. For this purpose, this study obtains the power spectral density matrix from the ISF-based phase noise theory. As a result, one can prove that the power spectral density matrix obtained from the ISF-based phase noise theory is essentially equivalent to the power spectral density matrix presented by the Floquet vector-based phase noise theory, which manifests the equivalence of the two main theories. This study is intended to provide deeper insight into the relations between the two main theories.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.5
• /
• pp.520-525
• /
• 2003

This paper concerns a design methodology of observer-based output-feedback digital controller for Takagi-Sugeno(TS) fuzzy systems using intelligent digital redesign (IDR). The term of IDR involves converting an analog fuzzy-mode-based controller into an equivalent digital one in the sense of state-matching. The considered IDR problem is viewed as convex minimization problems of the norm distances between linear operators to be matched. The stability condition is easily embedded and the separations principle is explicitly shown.

• The Mathematical Education
• /
• v.53 no.3
• /
• pp.383-397
• /
• 2014

This study aims to explore secondary students' thinking while doing proof in geometry. Two secondary students were interviewed and the interview data were analyzed. The results of the analysis suggest that the two students similarly showed as follows: a) tendencies to use the rules of congruent and similar triangles to solve a given problem, b) being confused about the rules of similar and congruent triangles, and c) being confused about the definitions, partition and hierarchical classification of quadrilaterals. Also, the results revealed that a relatively low achieving student has tendency to rely on intuitive information such as visual representations.

• Communications of Mathematical Education
• /
• v.22 no.4
• /
• pp.545-556
• /
• 2008

In this paper we study Gergonne's point and its adjoint points of triangle using the principle of the lever. We prove existence of Gergonne's point and its adjoint points, suggest new proof method of a equality related with Gergonne's point. We find new equalities related with adjoint points of Gergonne's points, and prove these using the principle of the lever.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.14 no.2
• /
• pp.31-35
• /
• 2000

An nonlinear observer-based longitudinal control law for vehicles is presented in this paper. It is assumed that for vehicle i knows only the distance between vehicle i and the preceding vehicle, i-1. An nonlinear state observer for vehicle I is developed to estimate the velocity and acceleration of the preceding vehicle, i-1. The communication of the position, velocity, and acceleration information is not used in the proposed method. It will be shown by mathematical analysis that the longitudinal control of vehicle can be implemented without an communication of the informations. It will be proven that the observation errors of the nonlinear states converge to zero asymptotically. To show the effectiveness of the proposed method, the simulation results are presented for the longitudinal control of the vehicle.

• Aerospace Industry
• /
• v.39
• /
• pp.46-49
• /
• 1996

전쟁의 양상이 점점 첨단 기술화 되는데 따라 군용 항공기의 용도 역시 다양하고 다기화 될 수 밖에 없다. 그래서 특수 임무를 수행하는 특별기가 만들어지고 실전에서 그 효력이 유감 없이 증명된 예가 허다하다. 여기 소개하는 전자 전술전용 항공기도 그런 특수 용도기 중의 하나이다. 미국이 개발하고 발전시킨 전자전술기의 전모를 소개해 본다.

• Proceedings of the Korea Society of Mathematical Education Conference
• /
• 2007.10a
• /
• pp.33-48
• /
• 2007

• Journal of the Korean School Mathematics Society
• /
• v.10 no.4
• /
• pp.519-533
• /
• 2007

In this paper we study a equality $\frac{1}{h_a}+\frac{1}{h_b}+\frac{1}{h_c}=\frac{1}{r}$ which contains altitudes and radius of inscribed circle of triangle. We search some paths for proving the equality, and find out 9 proof method of the equality which is related with descriptive geometry, coordinate geometry, and vector geometry.

• Communications of Mathematical Education
• /
• v.19 no.3 s.23
• /
• pp.485-502
• /
• 2005

한 가지 문제에 대한 다양한 풀이 방법을 탐색하는 것은 수학적 대상의 성질을 발명, 일반화하는 것 뿐만 아니라, 학생들의 지적인 유창성 및 유연성 계발, 수학에 대한 심미적 가치의 함양을 위한 의미 있는 교수학적 경험을 제공할 수 있을 것이다. 본 연구에서는 고등학교 '미분과 적분'에 제시된 사인의 덧셈정리에 대한 다양한 증명 방법을 제시하고, 이를 분석하여 수학교수학적으로 의미로운 시사점을 도출하였다. 이를 통해, 사인의 덧셈정리에 대한 새로운 증명 방법의 탐색, 사인의 덧셈정리의 수학교수학적 활용의 다양한 가능성을 모색할 수 있는 기초자료를 제공할 것이며, 제시된 증명 방법들은 '미분과 적분'의 지도에서 심화학습 자료로도 활용할 수 있을 것이다.

• Communications of Mathematical Education
• /
• v.14
• /
• pp.197-215
• /
• 2001

최근 수학적 사고력 연구가 구체적 수학내용에 기반한 활동과 조작에 대한 연구보다는 활동이나 조작을 통한 결과로 수학적 사고력에 접근하는 일회성 연구로 이루어지는 경향이 있다. 본고에서는 교육 내용을 선정하기 위해 학교수학에서 아동들이 어떤 수학적 사고를 하는데 장애을 겪는지에 주목하여, 이러한 장애를 극복하는 것을 통해 수학적 사고력의 신장을 생각해보고자 하였다. 이에 대수에서는 문자도입에 따른 추상적 상징의 수용과 이용부분에서, 기하에서는 논증기하의 증명도입과정에서 형식적, 연역적 사고 시작으로 아동이 수학적 사고에 어려움을 겪는다는 사살에 주목하였다. 특히 논증 기하의 연역적, 형식적 증명은 논리와 추론이 바탕이 되어야 한다. 그런데 논리와 추론은 고등학교 1학년과정 집합과 명제부분에 들어있어 아동은 논리와 추론에 대한 어떤 경험도, 교육도 받지 않은 상태에서 증명을 하게 된다. 이에 교육 내용으로 수학적 사고력을 신장을 위해 가장 필요한 내용이 논증 기하가 도입되기 이전에 초등학교 5,6학년 아동을 대상으로한 논리와 추론교육이라고 본다. 또한 교육 방법으로는 컴퓨터를 이용한 교육공학적 접근을 하고자 하였다. 교육공학적 접근이 적극 권장되는 교육적 현실과 정규교육과정에서 이를 받아들일만한 시간적 여유가 없음을 감안하여, 교과 내용과 연계된 컴퓨터 교육을 제안하는 바이다. 이에 논리 및 추론 교육은 컴퓨터 교육으로 초등학교의 특기적성 시간이나 정규수업 시간에 이용할 것을 제안한다. 논리와 추론교육을 위해 무엇을 어떻게 가르칠 것인가에 대한 답으로 논리와 추론교육에 적합한 수학적 내용으로 크게 이산수학과 중등 기하의 초등화하여 탐구하도록 하는 내용을, 교육 방법 측면에서는 논리와 추론 교육을 위한 LOGO 기반 마이크로월드를 설계, 이용하여 수학적 사고력을 신장시키고자 한다. 여기까지가 수학적 사고력을 위한 가능성을 모색한 것이라면 후속연구로 이러한 가능성을 실험연구로 검증하고자 한다.