• School Mathematics
• /
• v.6 no.1
• /
• pp.59-90
• /
• 2004

This study has been established with two purposes. The first one is to development the learning-teaching model for enhancing students' creative proof capacities in the domain of demonstrative geometry as subject content. The second one is to aim at experimentally testing its effectiveness. First, we develop the learning-teaching model for enhancing students' proof capacities. This model is named the generative-convergent model based instruction. It consists of the following components: warming-up activities, generative activities, convergent activities, reflective discussion, other high quality resources etc. Second, to investigate the effects of the generative-convergent model based instruction, 160 8th-grade students are selected and are assigned to experimental and control groups. We focused that the generative-convergent model based instruction would be more effective than the traditional teaching method for improving middle school students' proof-writing capacities and error remediation. In conclusion, the generative-convergent model based instruction would be useful for improving middle grade students' proof-writing capacities. We suggest the following: first, it is required to refine the generative-convergent model for enhancing proof-problem solving capacities; second, it is also required to develop teaching materials in the generative-convergent model based instruction.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.12 no.4
• /
• pp.324-331
• /
• 2007

This paper studies new estimation method for state of charge (SOC) of the hybrid electric vehicle lithium battery using sliding mode observer. A simple R-C Lithium battery modeling technique is established and the errors caused by simple modeling was compensated by the sliding mode observer. The structure of the sliding mode observer is simple, but it shows robust control property against modeling errors and uncertainties. The performance of the system has been verified by the UUDS test. The test results of the proposed observer system shows robust tracking performance under real driving environments.

• Current Industrial and Technological Trends in Aerospace
• /
• v.4 no.1
• /
• pp.100-107
• /
• 2006

민간 무인기의 용도는 수색 및 구조, 환경 및 공해감시, 기상 측정, 화재 및 재난의 조기감지, 국경 및 해양정찰, 항공촬영과 지도제작, 농약살포 그리고 교통감시 등 사람이 수행하기 힘든 3D 임무 및 우리의 실생활에 도움을 줄 수 있는 새로운 용도로 개발되고 있다. 그러나 향후 무인항공기의 상업적 성공 여부는 민간 공역으로의 진입 여부에 달려 있으며, 공역 내에서의 자유로운 임무수행을 위해서는 안전성 확보를 위한 감항당국의 인증이 필수요소이다. 이에 항공선진국 들은 민간 무인기의 신뢰성 누적과 인증을 위한 실현 가능한 방법부터 법제도 정비에까지 많은 연구를 수행 중에 있다. 본 글에서는 최근 항공선진국들의 무인항공시스템의 신뢰성 추세와 인증동향 그리고 향후 발전 방향에 대하여 제시한다.

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

This paper presents the characteristics analysis of electromagnetic pump using linear induction motors. The electromagnetic pump is designed to transfer the molten metals by the electromagnetic force of linear induction motors. The characteristics f a linear induction motor are analysed by the equivalent circuit method considering the end effects. For the verification of the analysis method, the locked test and load test with molten tin were made. The test results of locked test were compared with the simulations, and the velocity of the load test with molten zinc showed 0.24[m/x] with air gap 30[gap] which is sufficient for transferring molten tin.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.3
• /
• pp.13-22
• /
• 2001

The notion of pseudorandomness plays an important role in modem cryptography as well as computer science. We show a simple and practical construction of a pseudorandom generator based on the intractability of the problem in braid groups. The generator is proved as secure as a hard instance of a variant of the conjugacy problem.

• School Mathematics
• /
• v.14 no.3
• /
• pp.297-313
• /
• 2012

The purpose of this paper is to discuss the potential and to examine the effect of narrative, as an alternative approach to teach formal proof in more easier and comprehensible way. Identifying the key elements of narrative in proof, we constructed a narrative that derives the equation of function translation. We examined the effect of teaching through the narrative, in comparison with teaching the corresponding proof, on low-achieving students' instrumental understanding and relational understanding of function translation. Since we found no statistically significant differences between the experimental and the comparison group, this study could not conclude that teaching through the narrative was more effective than teaching the corresponding proof. But there were some qualitative differences in the relational understanding responses and the evaluation of the teaching between two groups. These findings suggested some potential of narratives that complement the formal proof.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.21 no.8
• /
• pp.893-899
• /
• 2010

In this paper, the design of a new bandpass filter based on the modified circular mushroom metamaterial structure is proposed. In detail, half circular mushroom cells are used as the zeroth order resonators(ZOR), and an intermediate gap is adopted to introduce the coupling between neighboring ZOR resonators. The proposed bandpass filter design is validated by the circuit and 3D EM simulations and measurements compared to the target specifications, and the metamaterial properties are proved by the ZOR field distributions and dispersion diagram. Also, the effect of size reduction is addressed.

• Journal of IKEEE
• /
• v.7 no.2 s.13
• /
• pp.156-165
• /
• 2003

This paper describes the design of a robust adaptive fuzzy observer for uncertain nonlinear dynamical system. We propose a new method in which no strictly positive real (SPR) condition is needed. No a priori knowledge of an upper bound on the lumped uncertainty is required. The Lyapunov synthesis approach is used to guarantee a semi-global uniform ultimate boundedness property of the state observation error, as well as of all other signals in the closed-loop system. The theoretical results are illustrated through a simulation example of a mass-spring-damper system.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.30 no.2
• /
• pp.29-33
• /
• 2012

• Proceedings of the KIPE Conference
• /
• 2019.11a
• /
• pp.40-42
• /
• 2019

절연형 전력변환기에서 사용되는 고주파 변압기는 반도체 소자의 스위칭 시간, 전압 강하, 게이트 신호의 불균형 등으로 인해 변압기의 양과 음의 전압-시간(volt-second)에 차이가 발생할 수 있다. 본 논문은 절연형 풀브리지 타입 전력변환기에서 DC 성분에 의한 변압기 코어의 포화문제를 방지하기 위해 사용되는 DC 블로킹 캐패시터(DC blocking capacitor)의 설계 방법에 대해 분석하고 실험을 통해 증명한다.