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

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

• 전력전자학회논문지
• /
• 제12권4호
• /
• pp.324-331
• /
• 2007

본 연구에서는 슬라이딩 모드 관측기를 사용한 리튬 배터리의 충전량 예측방법에 대해서 논의한다. 배터리의 비선형 회로 모델링 기법이 소개되고 슬라이딩 모드 관측기를 사용한 충전량 예측기의 설계 방법이 논의된다. 기존의 복잡한 배터리 모델링 방법 대신, 단순화된 저항-커패시터 모델링 방법이 본 연구에서 사용되었다. 단순화된 모델에 의해 발생되는 오차나 불확실성은 슬라이딩 모드 관측기에 의해 보상되었다. 슬라이딩 모드 관측기의 구조는 단순하지만, 모델링 에러나 외란에 대해서 강인한 특성을 보여준다. 제안된 제어기의 수렴성은 등가제어 방법에 의해서 증명되었다. 제안된 시스템의 성능은 UDDS (Urban Dynamometer Driving Schedule) 시험에 의해서 증명되었다. 시험 결과 제안된 시스템은 실제 주행 환경에서도 우수한 추적 성능을 보여주었다.

• 항공우주산업기술동향
• /
• 제4권1호
• /
• pp.100-107
• /
• 2006

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

• 조명전기설비학회논문지
• /
• 제14권2호
• /
• pp.36-42
• /
• 2000

본 논문에서는 선형유도전동기를 이용한 전자기 펌프의 특성 해석에 대하여 제안한다. 전자기 펌프용으로 설계된 선형유도전동기의 특성을 해석하고 이를 실험에 의하여 증명하였다. 선형유도전동기의 특성은 단부효과를 고려한 등가회로법에 의해서 해석하였다. 해석 방법의 증명을 위해서 선형유도전동기의 구속 시험파 용융 주석에 의한 부하 시험에 의한 실험 결과를 시뮬레이션과 비교하였다. 용융 주석을 대상으로 한 실험에서는 공극 30[mm]에서 약 0.24[m/s]의 만족할 만한 속도를 얻었다.

• 정보보호학회논문지
• /
• 제11권3호
• /
• pp.13-22
• /
• 2001

유사난수성(pseudorandomness)은 진정한 난수성(true randomness)을 대신하여 실제 상황에서 사용되는 개념으로서 현대 암호학의 중요한 한 분야이다. 본 논문은 땋임이론(braid theory)에서의 어려운 문제 중 하나인 공액문제(conjugacy problem)에 기반하여 단순하고 실용적인 유사난수 생성기(pseudorandom generator)를 설계한다. 그리고 그 생성기가 암호 학적으로 공액문제를 변형한 또 하나의 어려운 문제 만큼 안전함을 증명한다.

• 대한수학교육학회지:학교수학
• /
• 제14권3호
• /
• pp.297-313
• /
• 2012

학생들에게 증명을 보다 이해하기 쉽게 전개하는 대안으로, 내러티브의 잠재력과 그 효과를 함수의 평행 이동이라는 사례에서 논의한다. 내러티브의 구성 요소를 고려하여, 평행 이동한 함수의 식을 유도하는 증명을 내러티브로 구성하였다. 두 집단의 학생들에게 내러티브와 형식적 증명을 각각 제시하고, 내러티브가 증명을 제시하는 것보다 함수의 평행 이동에 대한 도구적 및 관계적 이해라는 측면에서 유의미한 효과가 있는지를 살펴보았다. 실험집단과 비교집단에서 사후 도구적 및 관계적 이해 검사 결과의 차이가 통계적으로 유의하지는 않았으므로, 내러티브로 제시하는 것이 증명을 제시하는 것보다 함수의 평행 이동에 대한 도구적 및 관계적 이해의 측면에서 더 효과적이라는 결론을 내릴 수는 없었다. 그러나 학생들의 관계적 이해 반응과 수업 평가에 대한 질적 분석에서는 비교집단과 실험 집단사이에서 몇 가지 다른 양상을 발견할 수 있었으며, 형식적 증명을 보완할 수 있는 내러티브의 가능성을 찾아볼 수 있었다.

• 한국전자파학회논문지
• /
• 제21권8호
• /
• pp.893-899
• /
• 2010

본 논문에서는 변형된 원형 버섯 구조의 메타 재질을 이용하여 새로운 대역 통과 여파기의 설계법을 제안한다. 0차 공진(Zeroth-Order Resonance: ZOR) 특성을 보이는 반원 형태의 버섯 구조 셀을 공진기로 이용하며, 각각의 이웃하는 0차 공진기 사이에 갭을 두어 용량성 결합을 유도한다. 제안된 메타 재질 대역 통과 여파기 설계법은 회로 해석 및 3차원 모의 실험과 측정을 통하여 해석 및 설계 목표와 비교 분석되어 그 타당성을 증명하였다. 0차 공진의 특수한 전계 분포 및 분산도를 통하여 메타 재질임을 증명하였으며, 대역 통과 여파기의 소형화에 대하여도 논의된다.

• 전기전자학회논문지
• /
• 제7권2호
• /
• pp.156-165
• /
• 2003

본 논문은 불확실한 비선형 계통에 대해서 강인한 적응 퍼지 관측기를 설계하는 방법을 제시한다. 새로 제시하는 관측기는 관측기 설계시 관측오차의 동특성식이 SPR (strictly positive real)이어야 한다는 조건이 불필요하다. 또한 불확실한 항에 대한 유계상수도 추정하는 알고리듬을 사용하여 강인항의 이득값을 설계자가 미리 결정할 필요가 없게 된다. 설계된 관측기를 포함한 전체 폐루프 계통에 대해서 리아프노브 안정도를 증명하였으며 관측오차를 포함한 계통의 모든 신호들의 반전역적 유계(semi-global uniform ultimate boundedness)임을 증명하였다. 이론적으로 도출된 결과를 mass-spring-damper 계통에 대한 모의실험을 수행하여 제안된 관측기의 효율성과 성능을 보였다.

• 정보과학회지
• /
• 제30권2호
• /
• pp.29-33
• /
• 2012

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2019년도 추계학술대회
• /
• pp.40-42
• /
• 2019

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