• 제목/요약/키워드: 기하 증명

검색결과 926건 처리시간 0.023초

ISF와 Floquet 벡터에 기초한 발진기 위상잡음 이론의 등가성에 대한 해석적 증명 (Analytical Proof of Equivalence of ISF, and Floquet Vector-Based Oscillator Phase Noise Theories)

  • 전만영
    • 전기전자학회논문지
    • /
    • 제17권4호
    • /
    • pp.559-563
    • /
    • 2013
  • 본 논문에서는 ISF와 Floquet 벡터에 각각 기초하는 두 개의 주요한 발진기 위상잡음 이론의 등가성을 해석적으로 증명한다. 이를 위해 본 연구에서는 ISF에 기초하는 위상잡음 이론으로부터 전력 스펙트럼 밀도 행렬을 구한다. 이렇게 함으로써 ISF에 기초한 위상잡음 이론의 전력 스펙트럼 밀도 행렬과 Floquet 벡터에 기초한 위상잡음 이론의 전력 스펙트럼 밀도 행렬이 같다는 사실을 해석적으로 증명할 수 있으며 이는 두 이론이 본질적으로 등가임을 증명한다. 본 연구의 목적은 현재까지 널리 알려진 상기 두 위상잡음 이론사이의 관계에 대한 보다 깊은 통찰력을 제공하는데 있다.

디지털 재설계를 이용한 관측기 기반 디지털 퍼지 제어기 설계 (Observer-Based Digital fuzzy Controller Design Using Digital Redesign)

  • 이호재;주영훈;박진배
    • 한국지능시스템학회논문지
    • /
    • 제13권5호
    • /
    • pp.520-525
    • /
    • 2003
  • 본 논문은 지능형 디지털 재설계 기법을 이용한 Takagi-Sugeno (T-S) 퍼지 시스템의 관측기 기반 출력 궤환 디지털 제어기 설계 기법을 제안한다. 지능형 디지털 재설계란 아날로그 퍼지 모델 기반 제어기를 등가의 성능을 발휘하는 퍼지 모델 기반 디지털 제어기로 변환하는 기법을 일컫는다. 여기서 등가의 성능은 상태 정합의 정확도를 의미한다. 본 연구에서 고려된 지능형 디지털 재설계 기법은 정합되어야 할 두개의 선형 작용소의 놈(norm)을 최소화하는 볼록 최적화 문제로 간주한다. 선형 행렬 부등식의 형태로 문제를 구성함으로써 재설계된 디지털 제어기에 의한 시스템의 안정가능성을 증명할 수 있다. 또한 제어기와 관측기의 재설계는 독립적으로 설계될 수 있음을 증명한다.

기하 증명 구성에 나타나는 학생들의 사고과정 탐색 (Exploring students' thinking in proof production in geometry)

  • 안선영;김구연
    • 한국수학교육학회지시리즈A:수학교육
    • /
    • 제53권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.

지렛대 원리를 이용한 삼각형의 Gergonne점과 딸림점에 대한 연구 (A Study on Gergonne's Point and Its Adjoint Points of Triangle Using the Principle of the Lever)

  • 한인기
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제22권4호
    • /
    • pp.545-556
    • /
    • 2008
  • 삼각형은 가장 단순한 기하학적 도형이지만, 기하학 탐구에서 삼각형은 훌륭한 연구 대상이며 후속적인 기하학 연구의 중요한 도구라고 할 수 있다. 본 연구에서는 지렛대 원리를 이용하여 삼각형의 Gergonne 점과 Gergonne 점의 딸림점들의 존재성, Gergonne 점에 관련된 등식을 증명하였고, Gergonne 점의 딸림점들에 대한 새로운 등식을 증명하였다.

  • PDF

지능 직선주행 제어기 설계에 관한 연구 (A Study on the Design of Intelligent Cruise Controller)

  • 이욱
    • 조명전기설비학회논문지
    • /
    • 제14권2호
    • /
    • pp.31-35
    • /
    • 2000
  • 본 논문에서는 차량의 추종 주행 제어기를 비선형 상태관측자를 이용하여 설계한다. i 번째 차량(추종차량}과 i-1 번째 차량(선행차량) 간의 거리(상대거리)만을 측정하여 아는 것으로 간주 한다. 선행차량의 속도 및 가속도를 추정하기 위한 비션형 상태관측자를 설계하여 추종차량의 추종 주행 제어기에 이용할 수 있도록 한다. 본 논문에서 제안하는 방법이 차간 통신이 필요 없음을 수학적으로 증명한다. 또한 비선형 상태관측자를 이용하여 추정한 선행 차량간의 상대속도 및 상대가속도 오차가 '0' 으로 수렴함을 증명한다. 제안한 방법의 타당성은 수학적인 증명과 더불어 컴퓨터 시뮬레이션을 통하여 검증한다.

  • PDF

최첨단 전자 전술기 - 그루먼 EA-6B PROWLER를 본다

  • 한국항공우주산업진흥협회
    • 항공우주
    • /
    • 제39권
    • /
    • pp.46-49
    • /
    • 1996
  • 전쟁의 양상이 점점 첨단 기술화 되는데 따라 군용 항공기의 용도 역시 다양하고 다기화 될 수 밖에 없다. 그래서 특수 임무를 수행하는 특별기가 만들어지고 실전에서 그 효력이 유감 없이 증명된 예가 허다하다. 여기 소개하는 전자 전술전용 항공기도 그런 특수 용도기 중의 하나이다. 미국이 개발하고 발전시킨 전자전술기의 전모를 소개해 본다.

  • PDF

등식 $\frac{1}{h_a}+\frac{1}{h_b}+\frac{1}{h_c}=\frac{1}{r}$의 다양한 증명방법에 대한 연구 (A Study on Various Proofs of Equality $\frac{1}{h_a}+\frac{1}{h_b}+\frac{1}{h_c}=\frac{1}{r}$)

  • 이재갑;한인기
    • 한국학교수학회논문집
    • /
    • 제10권4호
    • /
    • pp.519-533
    • /
    • 2007
  • 본 연구에서는 삼각형의 높이 및 내접원의 반지름에 대한 한 등식을 증명하기 위한 다양한 탐색수행의 방향을 기술하였고, 이를 바탕으로 등식에 대한 다양한 증명방법을 제시하였다. 이를 통해, 체계적인 탐색수행을 통한 다양한 풀이방법 발명의 한 예를 제시하였으며, 다양한 풀이방법에 대한 수학교수학적 논의의 방향과 폭을 확장시킬 수 있는 기초 자료가 될 것으로 기대된다.

  • PDF

사인의 덧셈정리에 대한 다양한 증명방법 연구

  • 한인기;김태호;유익승;김대의;서보억
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제19권3호
    • /
    • pp.485-502
    • /
    • 2005
  • 한 가지 문제에 대한 다양한 풀이 방법을 탐색하는 것은 수학적 대상의 성질을 발명, 일반화하는 것 뿐만 아니라, 학생들의 지적인 유창성 및 유연성 계발, 수학에 대한 심미적 가치의 함양을 위한 의미 있는 교수학적 경험을 제공할 수 있을 것이다. 본 연구에서는 고등학교 '미분과 적분'에 제시된 사인의 덧셈정리에 대한 다양한 증명 방법을 제시하고, 이를 분석하여 수학교수학적으로 의미로운 시사점을 도출하였다. 이를 통해, 사인의 덧셈정리에 대한 새로운 증명 방법의 탐색, 사인의 덧셈정리의 수학교수학적 활용의 다양한 가능성을 모색할 수 있는 기초자료를 제공할 것이며, 제시된 증명 방법들은 '미분과 적분'의 지도에서 심화학습 자료로도 활용할 수 있을 것이다.

  • PDF

컴퓨터를 통한 수학적 사고력 신장의 가능성 모색

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

  • PDF