• 한국수학교육학회지시리즈A:수학교육
• /
• 제49권2호
• /
• pp.161-174
• /
• 2010

The purpose of the study is to analyze various types of errors appeared in true-false proof problems of matrix and to find out correction method. In order to achieve this purpose, error test was conducted to the subject of 87 second grade students who were chosen from D high schoool. It was shown from this test that the most frequent error type was caused by the lack of understanding about concepts and essential facts of matrix(35.3%), and then caused by the invalid logically reasoning (27.4%), and then caused by the misusing conditions(18.7%). Through three hours of correction lessons with 5 students, the following correction teaching method was proposed. First, it is stressed that the operation rules and properties satisfied in real number system can not be applied in matrix. Second, it is taught that the analytical proof method and the reductio ad absurdum method are useful in the proof problem of matrix. Third, it is explained that the counter example of E=$\begin{pmatrix}1\;0\\0\;1 \end{pmatrix}$, -E should be found in proof of the false statement. Fourth, it is taught that the determinant condition should be checked for the existence of the inverse matrix.

• Communications for Statistical Applications and Methods
• /
• 제3권3호
• /
• pp.75-81
• /
• 1996

Polynomial measurement error model(MEM) with one predictor is considered. It is briefly mentioned that Chan and Mak's generalized least squares estimator(GLSE) can be derived more easily if Hermite polynomial concept is applied. It is proved that GLSE derived using new procedure is equivalent to the estimator obtained from corrected score function. Finally, much simpler proof of the asymptotic behavior of GLSE than that of Chan and Mak is provided. Much simpler formula of asymptotic covariance matrix of GLSE is a part of that proof.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 C
• /
• pp.985-987
• /
• 1998

This paper presents a stability proof for the nonlinear feedback linearization-full order observer-based sliding mode controller (NFL-FOO-based SMC). The closed-loop stability is proved by a Lyapunov function candidate using an addition form of the sliding surface vector and the estimation error.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 C
• /
• pp.976-978
• /
• 1998

This paper presents the stability proof of a nonlinear feedback linearization-reduced order observer/sliding mode controller (NFL-ROO/SMC). The closed-loop stability is proved by a Lyapunov function candidate using an addition form of the sliding surface vector and the estimation error.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 C
• /
• pp.979-981
• /
• 1998

This paper presents a stability proof for the nonlinear feedback linearization-observer/sliding mode model following controller (NFL-O/SMMFC). The separation principle is derived, and the closed-loop stability is proved by a Lyapunov function candidate using an addition form of the sliding surface vector and the estimation error.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 C
• /
• pp.988-990
• /
• 1998

This paper presents the stability proof of a nonlinear feedback linearization-reduced order observer-based sliding mode controller (NFL-ROO-based SMC). The closed-loop stability is proved by a Lyapunov function candidate using an addition form of the sliding surface vector and the estimation error.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 C
• /
• pp.991-993
• /
• 1998

This paper presents a stability proof for the nonlinear feedback linearization-observer-based sliding mode model following controller (NFL-O-based SMMFC). The closed-loop stability is proved by a Lyapunov function candidate using an addition form of the sliding surface vector and the estimation error.

• 한국학교수학회논문집
• /
• 제11권1호
• /
• pp.55-68
• /
• 2008

이 연구에서는 중학생들이 '원의 성질' 단원의 증명학습 과정에서 어떤 어려움을 겪는지를 조사하여 GSP를 활용한 증명학습이 학생들의 어려움을 어떻게 완화시키는지를 탐구하였다. 진단검사를 통해, 학생들은 가정과 결론의 이해, 기호의 사용, 추론 과정 등에서 어려움을 겪고 있음을 확인하였다. 한편, 학생들은 GSP를 활용한 증명학습을 통해 자신의 추측이나 추론에 대한 피드백을 받을 수 있고, 구체적인 사례를 일반화하거나 증명에 필요한 아이디어를 능동적으로 찾는 탐구 태도를 형성할 수 있다는 것을 확인하였다.

• 대한수학교육학회지:학교수학
• /
• 제6권1호
• /
• pp.59-90
• /
• 2004

본 연구에서는 중학생들이 증명학습을 할 때 범하는 수학적 오류를 교수학적으로 처방할 뿐만 아니라 올바른 증명의 역할과 본질을 이해하여 증명과정을 스스로 구성할 수 있도록, '생성-수렴 모형에 의한 증명학습'이라는 증명 학습-지도 방법을 제시하였다. 이 수업모형을 8학년 학생 160명을 대상으로 10주 동안 40시간에 걸쳐 여러 가지 사각형의 성질과 관계를 학습할 때 적용하여 학생들의 증명능력 향상과 오류 교정에 미치는 효과 및 학생들의 정당화 유형 양상으로 세분화하여 그 결과를 살펴보았다. 첫째, 생성-수렴 모형에 의한 증명학습을 실시한 실험집단의 학생들은 통제집단의 학생들보다 증명능력 검사에서 평균점수는 높았다. 그러나 유의수준 .01에서 통계적 검정을 실시한 결과, 두 집단 간의 증명능력은 유의적인 차이가 없었다. 둘째, 학생들은 논증기하 영역에서 증명을 할 때 범하는 오류 교정율에 있어서 생성-수렴 모형에 의한 증명학습을 한 학생들의 오류 교정율이 통제집단보다 더 큰폭으로 감소하였다. 셋째, 학생들의 정당화 유형은 실험집단과 통제집단 모두 경험적 정당화에서 분석적 정당화로의 이행을 보였으나, 생성-수렴 모형에 의한 증명학습을 한 학생들이 통제집단의 학생들보다 분석적 정당화를 구성하는 학생들이 현저하게 증가하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 C
• /
• pp.973-975
• /
• 1998

For a nonlinear feedback linearization-full order observer/sliding mode controller (NFL-FOO/SMC), the separation principle is derived, and the closed-loop stability is proved by a Lyapunov function candidate using an addition form of the sliding surface vector and the estimation error.