• 제목/요약/키워드: 증명학습

검색결과 358건 처리시간 0.024초

도형의 최대 분할 과제에서 초등학교 수학 영재들이 보여주는 정당화의 유형 분석 (Analysis on the Types of Mathematically Gifted Students' Justification on the Tasks of Figure Division)

  • 송상헌;허지연;임재훈
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제16권1호
    • /
    • pp.79-94
    • /
    • 2006
  • 본 연구는 10명의 초등학교 5-6학년 수학영재들이 평면과 공간의 최대 분할이라는 과제를 해결하면서 보여주는 정당화 유형을 분석한 것이다 우선 문헌 연구를 통해 본 과제의 해결 과정에서 영재들이 보일 것으로 예상되는 정당화 유형 분석의 틀을 마련하고 실제로 초등 수학영재들이 자신의 능력에 따라 보여주는 정당화 과정의 특성을 분석하였다. 연구 결과, 초등 수학영재들 사이에도 정당화 수준에는 상당한 차이가 있는 것으로 나타났다. 초등 수학영재들에게서 외부적 정당화는 거의 나타나지 않았으며, 귀납적 정당화를 시도한 학생은 소수 있었다. 초등 수학영재들에게서 가장 많이 나타난 정당화 유형은 포괄적 정당화였으며, 형식적 정당화 수준에 이른 초등 수학영재도 일부 있었다. 이러한 결과는 초등 수학 영재들에게 패턴 찾기 탐구 주제를 제시할 때에 귀납적인 사례를 조사하도록 이끄는 방식이 그다지 적절하지 않으며, 일반화된 식의 산출보다는 정당화에 좀 더 초점을 맞춘 학습 지도가 필요함을 시사한다.

  • PDF

직접순차 확산 스펙트럼 시스템에서 데이터 재순환 적응 횡단선 필터의 LMS 알고리즘을 이용한 고속 수렴 속도 개선 (The Improvement of High Convergence Speed using LMS Algorithm of Data-Recycling Adaptive Transversal Filter in Direct Sequence Spread Spectrum)

  • 김광준;윤찬호;김천석
    • 한국정보통신학회논문지
    • /
    • 제9권1호
    • /
    • pp.22-33
    • /
    • 2005
  • 본 논문에서 직접순차 확산 스펙트럼 시스템의 적응 횡단선 필터에서 LMS 알고리즘의 수렴 속도를 향상시키기 위한 효율적인 신호간섭 제어기법을 제안한다. 수신 데이터를 재순환하여 심볼 시간주기에 계수들을 곱함으로써 적응되는 제안된 알고리즘의 수렴특성이 수렴 속도의 향상을 이론적으로 증명하기 위해 분석한다. 스텝-크기 매개변수 ${\mu}$가 증가됨에 따라 알고리즘의 수렴 속도가 제어된다. 또한, 스텝-크기 매개변수 ${\mu}$의 증가는 실험적으로 계산된 학습 곡선에서 분산을 감소시키는 효과를 갖는다. 고유치 확산을 증가시킴에 따라 즉응 등화기의 수렴속도를 천천히 제어하고 평균 자승 에러의 안정-상태 값을 증가시키는 효과를 나타내며 데이터-재사용 LMS 기술이 수렴속도를 (B+1)배만큼 증가시켜 필터 알고리즘에서 신호간섭제어의 우수성을 입증한다.

기울기 히스토그램 및 폐색 탐지를 통한 다중 보행자 추적 (Multiple Pedestrians Tracking using Histogram of Oriented Gradient and Occlusion Detection)

  • 정준용;정병만;이규원
    • 한국정보통신학회논문지
    • /
    • 제16권4호
    • /
    • pp.812-820
    • /
    • 2012
  • 본 논문에서는 지능형 감시 시스템에 부합하는 기울기 히스토그램 및 폐색 추적을 통한 다중보행자 추적 시스템을 제안한다. 먼저, 연속 영상에서 보행자의 특징을 이용하여 보행자를 검출한다. 보행자의 특징을 획득하기 위해 HOG(Histogram of Oriented Gradient)를 기반으로 기울기의 방향성을 이용한 블록별 히스토그램을 생성하고, Linear-SVM(Support Vector Machine)의 학습을 통해 보행자만을 분류한다. 다음으로 보행자의 위치정보를 이용하여 추적을 행한다. 마지막으로 추적이 끝날 경우 내용기반 검색이 가능한 움직임 궤적 디스크립터를 생성한다. 실험을 통해 제안한 방법이 기존 방법보다 빠르고 정확한 움직임 추적에 효과적임을 증명하였다.

능동적 조명을 이용한 실시간 복합 얼굴 검출 (Real-Time Multiple Face Detection Using Active illumination)

  • 한준희;심재창;설증보;나상동;배철수
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2003년도 춘계종합학술대회
    • /
    • pp.155-160
    • /
    • 2003
  • 본 논문에서는 동공 검출을 이용한 얼굴 검출 방법을 제안하고자 한다. 동공검출기는 눈의 역반사 특성을 이용한 능동적 조명을 사용하여 검출을 용이하도록 하였고. 제안된 방법의 검출 범위는 소형컴퓨터나 무인정보 단말기 등의 활용에 적합하도록 하였다. 동공 후보 영역을 계산하여 검출한 후, 학습 규칙을 사용하여 얼굴에 대응하는 두 개의 지점을 선택하도록 하였다. 얼굴 검출 성능을 증명하기 위하여, 얼굴의 최대 돌출 부위를 지정 할 수 있는 이중 모드의 얼굴 추적 장치를 개발하였다. 추정치와 복합 얼굴 검출기의 측정치를 결합하여 특징 관계를 추적함으로 처리의 안정성을 높였으며 또한, 실시간으로 서보의 제어 장치를 원격 조정하여 항상 카메라가 이미지의 중앙을 추적하도록 함으로서 얼굴의 위치를 추정할 수 있도록 하였다.

  • PDF

휴먼 컴퓨터 인터페이스를 위한 실시간 시선 식별 (Real Time Gaze Discrimination for Human Computer Interaction)

  • 박호식;배철수
    • 한국통신학회논문지
    • /
    • 제30권3C호
    • /
    • pp.125-132
    • /
    • 2005
  • 본 논문에서는 실시간 시선 식별을 위한 능동적 적외선 조명을 기반으로 한 컴퓨터 비전 시스템을 제안하고자 한다. 현존하는 대다수의 시선 식별 방법은 고정된 얼굴에서만 원활하게 동작하고 개개인에 대한 교정 절차를 필요로 한다. 그러므로 본 논문에서는 교정 작업 없이 얼굴 움직임이 있는 경우에도 견실하고 정확하게 동작하는 시선 식별 시스템을 제안하고 있다. 제안된 시스템은 추출된 변수로부터 시선을 스크린 좌표로 매핑하기 위해 GRNN을 이용하였다. 동공을 추적하여 GRNN을 사용함으로서, 시선 매핑에 분석적 기능이나 얼굴 움직임에 대한 계산이 필요 없을 뿐 아니라 다른 개개인에 대하여 학습과정에서 매핑 기능을 일반화 할 수 있었다. 시선 예측 정확도를 개선하고자 계층적 식별을 제안함으로써 오분류를 줄일 수 있었고, 공간 시선 해상도는 스크린에서 1m 정도 떨어진 거리에서 수평으로 10cm, 수직으로 약 13cm, 즉 수평으로 8도 수직으로 5도 이었다. 실험 결과, 재식별 하였을 경우 1차 시선 식별시 84%보다 약 9% 정도 정확성이 향상되어 93%를 나타냄으로써 제안된 시스템의 유효성을 증명하였다.

컴퓨터 인터페이스를 위한 실시간 시선 식별 (Real Time Gaze Discrimination for Computer Interface)

  • 황선기;김문환
    • 한국정보전자통신기술학회논문지
    • /
    • 제3권1호
    • /
    • pp.38-46
    • /
    • 2010
  • 본 논문에서는 실시간 시선 식별을 위한 능동적 적외선 조명을 기반으로 한 컴퓨터 비전 시스템을 제안 하고자 한다. 현존하는 대다수의 시선 식별 방법은 고정된 얼굴에서만 원활하게 동작하고 개개인에 대한 교정 절차를 필요로 한다. 그러므로 본 논문에서는 교정 작업 없이 얼굴 움직임이 있는 경우에도 견실하고 정확하게 동작하는 시선 식별 시스템을 제안하고 있다. 제안된 시스템은 추출된 변수로부터 시선을 스크린 좌표로 매핑하기 위해 GRNN을 이용하였다. 동공을 추적하여 GRNN을 사용함으로서, 시선 매핑에 분석적 기능이나 얼굴 움직임에 대한 계산이 필요 없을 뿐 아니라 다른 개개인에 대하여 학습과정에서 매핑 기능을 일반화 할 수 있었다. 시선 예측 정확도를 개선하고자 계층적 식별을 제안함으로써 오분류를 줄일 수 있었고, 공간 시선 해상도는 스크린에서 1m 정도 떨어진 거리에서 수평으로 10cm, 수직으로 약 13cm, 즉 수평으로 8도 수직으로 5도 이었다. 실험 결과, 재식별 하였을 경우 1차 시선 식별시 84%보다 약 9% 정도 정확성이 향상되어 93%를 나타냄으로써 제안된 시스템의 유효성을 증명하였다.

  • PDF

경우의 수를 활용한 리듬 교육 콘텐츠 (Using Number of Cases in Rhythmic Educational Contents)

  • 이창구;이승연
    • 한국콘텐츠학회논문지
    • /
    • 제15권8호
    • /
    • pp.186-193
    • /
    • 2015
  • 지금의 음악 교육 콘텐츠는 많은 부분에서 결과를 가지고 학습하는 형태를 갖추고 있으며 음악의 중요한 요소인 리듬의 교육 또한 만들어진 결과의 악보를 활용하여 대부분 이루어지고 있다. 이 연구는 리듬이 만들어 지는 과정의 원리인 수학의 경우의 수를 활용하여 두 개의 리듬 교육 콘텐츠를 도출해 내었다. 첫 번째는 한 박자 안에 3연음을 제외한 음표와 쉼표가 들어갈 수 있는 경우의 수를 계산하여 16가지 리듬 교육콘텐츠를 도출해 내었고 두 번째는 한 박자 단위의 교육 콘텐츠를 이어 주는 경우의 수를 계산하여 두 박자단위의 225가지 리듬 교육 콘텐츠를 도출해 내었다. 이 두 가지의 리듬 교육 콘텐츠를 활용하여 20대 초반의 음악 전공생들에게 리듬 교육을 하였고 리듬 능력 테스트를 통하여 그 효과를 증명하였다. 이처럼 리듬의 기초로 돌아가면 만들어지게 된 원리들이 존재하고 있으며 그것을 활용하여 한층 발전된 교육 콘텐츠를 제시한다.

의미 유사도를 활용한 Distant Supervision 기반의 트리플 생성 성능 향상 (Improving The Performance of Triple Generation Based on Distant Supervision By Using Semantic Similarity)

  • 윤희근;최수정;박성배
    • 정보과학회 논문지
    • /
    • 제43권6호
    • /
    • pp.653-661
    • /
    • 2016
  • 기존의 패턴기반 트리플 생성 시스템은 distant supervision의 가정으로 인해 오류 패턴을 생성하여 트리플 생성 시스템의 성능을 저하시키는 문제점이 있다. 이 문제점을 해결하기 위해 본 논문에서는 패턴과 프로퍼티 사이의 의미 유사도 기반의 패턴 신뢰도를 측정하여 오류 패턴을 제거하는 방법을 제안한다. 의미 유사도 측정은 비지도 학습 방법인 워드임베딩과 워드넷 기반의 어휘 의미 유사도 측정 방법을 결합하여 사용한다. 또한 한국어 패턴과 영어 프로퍼티 사이의 언어 및 어휘 불일치 문제를 해결하기 위해 정준 상관 분석과 사전 기반의 번역을 사용한다. 실험 결과에 따르면 제안한 의미 유사도 기반의 패턴 신뢰도 측정 방법이 기존의 방법보다 10% 높은 정확률의 트리플 집합을 생성하여, 트리플 생성 성능 향상을 증명하였다.

SVM 기반 음성/음악 분류기의 효율적인 임베디드 시스템 구현 (Efficient Implementation of SVM-Based Speech/Music Classification on Embedded Systems)

  • 임정수;장준혁
    • 한국음향학회지
    • /
    • 제30권8호
    • /
    • pp.461-467
    • /
    • 2011
  • 제한된 대역폭을 효율적으로 사용하기 위해서 도입된 가변 전송률은 먼저 신호의 정확한 분류를 필요로 한다. 특히 멀티미디어 서비스가 보편화 되면서 음성/음악 신호 분류의 중요성도 높아지게 되었다. 음성/음악 분류기 중, 서포트벡터머신 (SVM)을 이용한 분류기는 높은 분류 정확도로 주목받고 있다. 그러나 SVM는 많은 계산량과 저장 공간을 요구하므로 효율적인 구현이 요구되며, 특히 임베디드 시스템과 같이 자원이 제한 적인 경우에는 더욱 그러하다. 본 논문에서는 먼저 SVM을 이용한 음성/음악 분류기의 임베디드 시스템으로의 구현을 실행시간과 에너지소비의 관점에서 분석하고, 효율적인 구현을 위한 두가지 방법들을 제안한다. 서포트벡터의 판별결과에의 기여도를 바탕으로 기여도가 낮은 벡터들을 제외하는 방법과, 음성/음악 신호에 기본적으로 존재하는 각 프레임간의 상관관계를 이용하여 입력신호의 일부를 건너뛰는 방법이다. 이 기법들은 SVM의 학습 시 사용되는 다른 최적화 기법에 관계없이 적용이 가능하며, 실험을 통해 분류의 정확도, 실행시간, 그리고 에너지소비의 관점에서 그 성능을 증명하였다.

영·한 통번역 교육을 위한 클리셰(cliche) 분석 : 셰익스피어 극 텍스트를 중심으로 (Cliche Analysis for English-Korean Interpretation and Translation Training : Mainly on Shakespeare's Works Texts)

  • 유선영
    • 한국콘텐츠학회논문지
    • /
    • 제15권11호
    • /
    • pp.626-634
    • /
    • 2015
  • 이 연구는 그 중요성이 인식되지 못하고 깊이 있는 연구가 행해지지 않았던 클리셰(cliche)에 주목하여, 셰익스피어 극에 나타난 클리셰를 분석하고자 했다. 일반적으로 클리셰는 은유의 특성을 가진 관용어로만 여겨져 주목받지 못했으나, 은유라는 인지 기제를 갖춘 언어 표현으로써 관용어를 포함한 광의의 개념이다. 본 연구는 영어에서 클리셰의 개념과 범주를 명확히 하기 위해 먼저 클리셰의 개념과 관용어와의 차이점을 살펴보았다. 아울러 본 연구는 클리셰에 대한 깊이 있는 이론적 논의의 출발점이 되고자 하는 취지에서 영문학 작품의 비조이자 클리셰가 가장 많이 언급된 셰익스피어의 작품을 분석 대상으로 삼아, 셰익스피어의 총 20개의 작품에 나타난 클리셰 분석을 통해 셰익스피어의 작품 속에 쓰인 클리셰가 관용어로만 규정지어 질 수 없음을 증명하고자 했다. 본 연구는 클리셰를 셰익스피어의 작품을 통해 정리하여 실증적으로 분석함으로써 관용어와 클리셰의 개념을 명확히 함과 동시에, 두 용어의 사용에 기준을 마련하고, 클리셰를 효율적으로 이해하고 사용할 수 있도록 발판을 마련했다는 점에서 영어 학습자를 비롯한 영 한 통번역 교육 분야의 연구 확장에 기여할 것으로 기대한다.