• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2018년도 추계학술논문요약집
• /
• pp.559-560
• /
• 2018

• 한국인터넷방송통신학회논문지
• /
• 제12권3호
• /
• pp.29-35
• /
• 2012

본 논문에서는 MPEG(Moving Picture Experts Group) 영상 디코더에서 영상을 압축, 비교, 복원, 저장한후 디코딩 처리하는 방법을 종래의 픽셀 단위로 처리하는 방법과는 다르게 영상의 단위 화소 주변을 군집화소로 분류한 후 이를 클러스터링하여 오버랩정도를 결정 한다. 오버랩 정도의 임계치값을 결정하는데는 패턴식별을 취한후 샘플 패턴에 대한 기하구조의 파악과 결정함수의 도출로 활용된다. 특징공간이 4차원 이상이면 주어진 패턴 구조를 시각적으로 관찰할 수 없다. 이 때, 분포구조를 고찰해 볼수 있는 방법은 군집중심간의 거리, 군집별 패턴의 수 및 표준편차 등을 이용하는 방법이다. 임계치 값을 넘는 중복화면은 소거되고 넘지않는 군집화면은 패턴인식으로 복원된후 동영상으로 구현된다. 이방법이 기존의 픽셀 단위 처리하는 방법 과는 20%정도의 메모리 감축과 15%정도의 화면 복원에 성능이 향상된 것으로 판정된다.

• 한국정보통신학회논문지
• /
• 제7권5호
• /
• pp.853-862
• /
• 2003

본 논문에서는 퍼지 이론을 이용한 학습 평가 방법을 제안하였다. 제안된 학습 평가 방법은 정보처리 데이터베이스 과목에 대한 기출문제의 출제 빈도수를 3등급으로 분류하고 이것을 중요도라 정의하였다. 학습 중요도에 따른 학습 횟수에 대한 퍼지 소속도와 형성평가 점수에 대한 퍼지 소속도를 각각 9개의 퍼지 추론 규칙에 적용하여 학습 이해도를 평가하였다. 최종적인 학습 평가는 각 장별 학습 이해도에 대한 퍼지 등급과 총괄평가 점수에 대한 소속도를 이용하여 퍼지 추론규칙에 적용하고 비퍼지화하여 평가하였다. 제시된 퍼지 이론을 이용한 학습 평가 방법은 학습자가 스스로 학습한 내용을 진단 할 수 있도록 도와주며, 학습목표의 성취여부를 종합적이고 객관적으로 판단할 수 있는 방법을 제공한다.

• 대한수학교육학회지:수학교육학연구
• /
• 제24권1호
• /
• pp.1-27
• /
• 2014

본 연구는 개방형 기하 문제에서 드래깅 활동을 통해 나타난 중학교 3학년 학생들의 사고 과정을 가추법, 귀납법, 연역법을 중심으로 분석하였다. 본 연구의 결과는 다음과 같다. 첫째, 학생들은 자신의 가설을 도입하기 위해 가추법을 사용하고, 다양한 사례를 통해 가설을 일반화하기 위해 귀납법을 사용하며, 가설의 근거를 설명하기 위해 연역법을 사용하였다. 둘째, '임의적 드래깅'과 '안내된 드래깅'은 학생들의 가추 과정에서 가설을 마련하는데 도움이 되었으며, '드래깅 검증'은 학생들의 귀납 과정에서 가설을 확신하고 일반화하는 데 사용되었다. 셋째, 학생들은 도형을 고정된 것으로 생각하거나 종속 관계나 경로의 개념을 쉽게 인식하지 못하거나 개연적 추론에서 연역법으로 부드럽게 나아가지 못하거나 순환논리에 빠지는 인지적 어려움을 겪었다.

• 대한수학교육학회지:학교수학
• /
• 제6권3호
• /
• pp.283-299
• /
• 2004

학생들이 실제 문제 상황에서 수학을 이용하고 문제를 해결하는 것은 수학교육의 중요한 목표이다. 이 연구는 수학적 모델링이 그러한 수학 학습의 목표에 적합하다고 보고 수학적 모델링을 통해서 학생들이 어떤 수학내용을 학습하고 어떤 추론을 경험하고 사용하는지 살펴보았다. 학생들은 수학적 모델링 과정에서 학교수학에서 강조되어 왔던 연역과, 규칙성을 찾는데 기여했던 귀납 뿐 아니라 여러 유형의 가추를 사용하였다. 하나의 사례 연구를 통해 일반화할 수는 없지만, 수학적 모델링에서 연역은 수학적 모델이 옳은지 현실에 비추어 확인하는 과정에서 그리고 수학적 결과를 유도하여 해를 구할 때, 귀납은 수학적 모델이 옳은지를 실험적으로 검증해 보고자 할 때 사용되었다. 가추는 현실 모델로부터 수학적 모델을 추상화하고, 수학적 결과에 대한 현실적 근거를 제시하는 해석을 하고, 현재의 수학적 모델을 수정하여 새로운 수학적 모델을 도출하는데 사용되었다.

• 과학교육연구지
• /
• 제43권1호
• /
• pp.79-93
• /
• 2019

귀납, 연역, 가설연역, 귀추는 과학의 방법, 혹은 그것의 토대를 이루는 논리로서 과학교육에서 주목받아왔다. 그런데 가설연역과 귀추가 갖는 논리적 유사성에서 확인할 수 있듯이 이들 용어들의 구분이 항상 명확한 것은 아니다. 본 연구는 귀납, 연역, 가설연역, 귀추에 대한 과학교육론 교재들의 서술을 조사하여 과학의 방법으로서, 혹은 과학 탐구의 맥락에서 이들 용어들이 사용되는 의미를 분석하였다. 이를 위해 7종의 과학교육학 교재들에서 관련된 서술을 추출하였고, 용어의 정의, 사용된 예시, 다른 용어들과의 관계를 검토하여 용어가 갖는 의미의 일관성과 용어간의 구별가능성을 조사하였다. 분석 결과 교재의 서술에서 용어가 갖는 의미가 일관성을 갖지 못하며, 관련 용어사이의 의미구별을 어렵게 하는 여러 논의들이 발견된다는 문제를 발견할 수 있었다. 이러한 혼선의 원인, 그리고 과학교육의 맥락에서 본 연구가 갖는 교육적 시사점도 논의하였다.

• 정보교육학회논문지
• /
• 제5권3호
• /
• pp.415-431
• /
• 2001

최근 국내 교육계의 최대 관심인 ICT 활용 교육은 활용 측면이 지나치게 강조되고 있고, ICT 활용 교육에 대한 연구도 실용적인 측면만이 부각됨에 따라 기능적인 활용으로 치우칠 수 있다는 우려를 낳고 있다. 본 연구는 이에 대한 대안으로서 ICT 활용을 이론적 차원에서 모색하여 효율적인 ICT 활용을 위한 구체적인 전략을 마련하고자 하였다. 먼저, 효율적 ICT 활용의 개념을 정의하였고, 전략 도출을 위한 기초 준거로 인간의 고등 사고를 설정하여 비판적 사고를 포함한 Iowa 교육부의 통합 사고 모형을 분석하였다. 이를 통해 효율적 ICT 활용을 위한 종합적 사고를 범주화하였다. 또한, 효율적 활용을 위한 ICT를 소프트웨어, 하드웨어, 활용 기술 영역으로 분류하여 각각의 개념과 상호 관계를 살펴보았다. 이렇게 분류한 ICT의 각 영역과 종합적 사고 범주와의 관련성을 규명하기 위해 '사고 영역과 ICT 영역간의 관련성 결정 준거'를 논의하였고, 이를 구체화한 'ICT-EUS 도출을 위한 분석 매트릭스'를 설정하여, 도출 과정의 타당성과 도출 결과의 명확성을 확보하고자 하였다. 이와 같은 과정을 통해 최종적으로 ICT의 영역 중 학습 자원, 학습 도구, 학습자, 탐색, 의사소통, 생산, 표현에 대한 ICT-EUS(Efficient-Use Strategy of ICT; 효율적 ICT 활용 전략)를 도출하였다. ICT-EUS는 ICT의 단순한 활용을 넘어서 학습 자원, 도구, 활용 기술 등에 대한 인지적 해석을 통해 학습 목표 달성의 효율성과 효과성을 제고할 수 있는 가능성을 제공할 수 있을 것으로 기대한다.

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 2003년도 가을학술발표대회
• /
• pp.48-49
• /
• 2003

• 한국수학사학회지
• /
• 제23권3호
• /
• pp.45-56
• /
• 2010

순차식 연산은 겐첸이 자연연역을 1934년 대칭적 버전으로 재구성한 것으로서, 여기에서 그는 '주정리' 를 소개한다. 이 논문에서 우리는 절단의 유용성에도 불구하고 증명이론에서 왜 절단정리가 이토록 중요한 위상을 차지하는지 검토할 것이다. 이어서 커리-하우어드 대응의 역동적 측면, 즉 절단 제거와 단순히 유형화된 람다-연산에서 ${\beta}$-환원의 대응이 연구될 것이다. 이러한 대응의 중요성은 프로그램의 세계와 수학 증명의 세계를 마주보게 함으로써 프로그램의 정확성을 보증해준다는 데에 있다.

• 전기학회논문지
• /
• 제67권11호
• /
• pp.1455-1462
• /
• 2018

As the interests in eco-friendly energy has increased, the interests in Electric Vehicles(EVs) are increasing as well. Moreover, due to the government's economic support for EVs, penetration level of it has rapidly increased. These sharp increases, however, induce various problems in distribution system, such as voltage/frequency variations, peak demand increasement, demand control, etc. To minimize these possible matters, lots of research have conducted. Nevertheless, most of it assumed extremely important factors, such as numbers and charging patterns of EVs. It inevitably results in errors in their research, and thus make it difficult to prevent the possible matters from EVs. In this paper, therefore, we use actual EVs charging data from KEPCO, and analysis and deduction of it were conducted. The simulations were carried out for four aspect(season, region, purpose).