• 제목/요약/키워드: 형식적 증명

검색결과 119건 처리시간 0.03초

역동기하 환경에서 "끌기(dragging)"의 역할에 대한 고찰 (Review of the Role of Dragging in Dynamic Geometry Environments)

  • 조정수;이은숙
    • 대한수학교육학회지:학교수학
    • /
    • 제15권2호
    • /
    • pp.481-501
    • /
    • 2013
  • 본 연구는 역동기하 환경에서 "끌기"의 역할을 고찰하고자 한다. 끌기는 도형을 역동적으로 변화시키면서 기하 도형의 숨겨진 성질과 이들 사이의 관계를 나타내는 불변성을 탐색 가능하게 하는 중요한 역할을 한다. 따라서 본 연구는 선행 연구의 분석을 통해 역동기하 환경에서 끌기의 사용이 세 가지 관점으로, 즉 역동적 표상, 도구유발행위, 그리고 어포던스로 구분될 수 있다는 결론을 도출하였다. 본 연구에서는 끌기의 사용에 대한 이들 각각의 관점을 선행 연구를 중심으로 살펴보았다. 그리고 이로부터 (1) 연역적, 공리적, 형식적 지필기하를 실험수학으로 접근할 수 있게 하는 끌기의 가능성 탐구, (2) 추측과 증명 사이에서 끌기의 유형에 따른 작용 분석, (3) 학생과 DGS 사이의 도구발생 과정에 따른 기하 학습의 차이 분석, (4) 끌기에 의한 의사소통이나 담화 유형의 분석, (5) 어포던스로서 끌기에 의해 수반되는 측정 기능의 역할 분석, 그리고 (6) 끌기에 의한 기하 개념의 정의에 대한 학생들의 인식론적 변화를 기하의 교수-학습과 후속연구를 위한 제언으로 제시하고 있다.

  • PDF

e-VTOL 항공기의 감항기술기준 적용 연구 (Study on the Application of Airworthiness Standard for the e-VTOL)

  • 최주원;황창전;석진영
    • 한국항공우주학회지
    • /
    • 제49권7호
    • /
    • pp.593-599
    • /
    • 2021
  • e-VTOL 항공기는 전기동력으로 인한 운용유지비의 절감, 친환경성, 수직이착륙으로 인한 도심운용, 자동화로 인한 조종의 편리성 등 미래 교통수단으로 향후 수요가 급증할 것으로 예상된다. 이에 전 세계적으로 활발한 연구 개발이 진행 중에 있으나 상용화를 위해서 필수적으로 요구되는 안전성 확보와 인증에 있어 기술적으로 해결해야 할 문제점들이 상존한다. 이러한 어려움으로 운송사업용 형식증명 및 표준감항증명을 받은 e-VTOL 항공기는 아직까지 전 세계적으로 없는 상태이다. 현행 항공기 감항기술기준에서 요구되는 안전도 수준은 상당히 높고 이를 입증하는 과정도 상당히 까다롭다. e-VTOL 항공기 인증도 현행 감항기술기준에서 요구하는 안전도 수준을 만족해야 하나 현행 기준의 적용성과 동등한 안전성 확보에 필요한 기술적인 한계와 문제점이 존재한다. 본 연구에서는 이러한 기술적 한계와 문제점들을 e-VTOL 항공기의 특징과 함께 제시하고자 한다.

전송선로 기반 찰현 모델 (Transmission line based bowed string model)

  • 이진걸
    • 한국음향학회지
    • /
    • 제38권6호
    • /
    • pp.710-715
    • /
    • 2019
  • 진동하는 현을 전기적 전송선로에 비유하고 디지털 활에 의해 주어지는 활과 현간 마찰력에 대한 계산을 회로로 구현하여 전송선로 기반 찰현 모델을 구축하였다. 제안된 모델의 성능은 활이 현에 접촉하는 위치에서 현의 속도가 찰현에 대한 파동방정식의 차분형식(finite difference form)으로 구한 속도와 일치함을 보임으로서 증명하였다.

스크린 콘텐츠의 하위 영상 검출을 위한 AdaBoost의 활용 (Utilization of AdaBoost for Sub-image Detection in Screen Content)

  • 길종인;김만배
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2015년도 춘계학술발표대회
    • /
    • pp.864-865
    • /
    • 2015
  • 웹페이지와 같은 스크린 콘텐츠는 카메라로부터 획득할 수 있는 자연영상과 달리 텍스트, 로고, 아이콘 및 하위 영상과 같은 여러 가지 요소들을 포함하고 있고, 각 요소들은 서로 다른 형식의 정보를 사용자에게 전달한다. 본 논문에서는 윈도우 영상을 지역적인 특성에 따라 다수의 블록으로 분할한 후, 분할된 각 영역을 배경, 텍스트, 하위영상으로 분류하였고, 기계학습 기반의 알고리즘이 하위 영상 검출에도 좋은 접근법이 될 수 있음을 증명하기 위해 AdaBoost를 이용하였다. 실험결과로부터 93.4%의 검출률, 13%의 거짓 긍정률을 보임으로서, 제안방법이 효과적임을 입증하였다.

민간항공분야 품질시스템 평가에 대한 연구 (A Study on the Quality System Evaluation for Civil Aviation)

  • 김유광;박근영;이경철
    • 항공우주기술
    • /
    • 제7권1호
    • /
    • pp.245-253
    • /
    • 2008
  • 민간항공분야의 품질은 제품 및 공공의 안전을 유지하기 위해서 매우 중요하며, 항공기 설계와 생산 및 운항에 있어서도 엄격한 인증제도를 법적으로 규정하고 있다. 본 연구에서는 미국 FAA의 항공산업체의 품질시스템 평가프로그램인 ACSEP의 전반적인 검토를 통하여 항공기 및 항공부품에 대한 품질시스템 요구조건을 제시하고, 항공분야 품질시스템 평가에 대한 정책을 확인하였다.

  • PDF

대기압 플라즈마 도핑 공정 시 그라운드 형태에 따른 전류 패스 경향성 분석에 관한 연구

  • 김상훈;윤명수;조태훈;박종인;박혜진;조광섭;최은하;권기청
    • 한국진공학회:학술대회논문집
    • /
    • 한국진공학회 2014년도 제46회 동계 정기학술대회 초록집
    • /
    • pp.265-265
    • /
    • 2014
  • 일반적으로 태양전지 및 반도체 공정에서 불순물 주입 과정인 도핑(Doping)공정은 크게 몇 가지 방법으로 구분해 볼 수 있다. 소성로(Furnace)를 이용하여 열을 통해 불순물을 웨이퍼 내부로 확산시키는 열확산 방법과 진공 챔버 내부에서 전자기장을 걸어 이온을 극도로 가속시켜 진행하는 이온 주입(Ion implantation)이나 이온 샤워(Ion shower)를 이용한 도핑 방법이 있다. 또한 최근 자외영역 파장의 레이저광을 조사하여 광화학 반응에 의해 도펀트 물질를 분해하는 동시에 조사 부분을 용해하여 불순물을 도포하는 기법인 레이져 도핑(Laser doping) 방법이 개발중이다. 그러나 레이져나 이온 도핑 공정기술은 고가의 복잡한 장비가 필요하여 매출 수익성 및 대량생산에 비효율적이며 이온 주입에 의한 박막의 손상을 치료하기 위한 후속 어닐링(Post-annealing) 과정이 요구되는 단점을 가지고 있고 열확산 도핑 방법은 정량적인 불순물 주입 제어가 어렵고 시간 대비 생산량의 한계가 있다. 반면 대기압 플라즈마로 도핑을 할 경우 기존에 진공개념을 벗어나 공정상에서 보다 저가의 생산을 가능케 할 뿐아니라 멀티 플라즈마 소스 개발로 이어진다면 시간적인 측면에서도 단연 단축시킬 수가 있어 보다 대량 생산 공정에 효과적이다. 따라서 본 연구에서는 새로운 도핑 방법인 대기압 플라즈마를 이용한 도핑 공정기술의 가능성을 제안하고자 도핑 공정 시 웨이퍼 내 전류 패스(Current path)에 대한 메카니즘을 연구하였다. 대기압 플라즈마 방전 시 전류가 웨이퍼 내부에 흐를 때 발생되는 열을 이용하여 도핑이 되는 형식이란 점을 가정하고 이 점에 대한 원리를 증명하고자 실험을 진행하였다. 실험 방식은 그라운드(Ground) 내 웨이퍼의 위치와 웨이퍼 내 방전 위치에 따라 적외선 화상(IR image: Infrared image) 화상을 서로 비교하였다. 적외선 화상은 실험 조건에 따라 화상 내 고온의 표식이 상이하게 변하는 경향성을 나타내었다. 이 고온의 표식이 전류 패스라는 점을 증명하고자 시뮬레이션을 통해 자기장의 전산모사를 한 결과 전류 패스의 수직 방향으로 자기장이 형성이 됨을 확인하였으며 이는 즉 웨이퍼 내부 전류 패스에 따라 도핑이 된다는 사실을 명백히 말해주는 것이며 전류 패스 제어의 가능성과 이에 따라 SE(Selective Emitter) 공정 분야 응용 가능성을 보여준다.

  • PDF

현실을 패러디한 인디게임의 희비극성 연구 (Analysis of Parody Game as Tragicomedy)

  • 한혜원;김수진
    • 한국게임학회 논문지
    • /
    • 제16권2호
    • /
    • pp.97-110
    • /
    • 2016
  • 디지털 게임은 엔터테인먼트 콘텐츠인 동시에 현대 사회의 문제를 재현하고 메시지를 전달할 수 있는 문화 콘텐츠이다. 본 연구는 현실을 패러디한 인디게임의 서사와 플레이의 특징을 곤잘로 프라스카의 확장 모델 개념을 적용해 분석하고, 이를 토대로 디지털 게임이 현실의 문제를 인식하고 반영하는데 있어서 효과적인 예술 양식임을 증명했다. 현실 패러디 게임의 경우, 이면적으로는 개발자가 실제 세계의 사회 문화적 문제들을 비극적으로 인식하되, 표면적으로 플레이어에게는 희극적인 패러디와 반복적 플레이를 통해서 풍자와 아이러니로 전달한다. 특히 디지털 게임의 경우 '플레이'라는 과정추론적 형식을 통해서 '패러디'의 내용을 재현하고 전달한다는 점에서 특이할 만하다. 이처럼 현실 패러디 게임에서 플레이어는 진지한 주제(serious theme)를 1인칭 입장의 캐주얼 플레이(casual play)를 통해서 경험하며, 희극적인 서사를 통해 비극적인 현실을 직접적으로 인지하게 된다.

도형의 최대 분할 과제에서 초등학교 수학 영재들이 보여주는 정당화의 유형 분석 (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

객체지향 어플리케이션의 확장을 위한 클래스 계층 구조의 재구성에 대한 정형기법 (A Formal Approach for the Reorganization of Class Hierarchies for the Extension of Object Oriented Applications)

  • 황석형;김대원;양해술
    • 한국정보처리학회논문지
    • /
    • 제6권3호
    • /
    • pp.589-602
    • /
    • 1999
  • 객체 지향 개념에 토대를 둔 어플리케이션 개발에는 여러 가지 이점이 있으나, 그 중 하나로서, 기존 성과물의 재이용을 들 수 있다. 유효한 재이용 수법 중의 하나로서, 본 논문에서는 클래스 계층 구조를 바탕으로 하는 확장 재구성법에 대해 논한다 우선, 클래스 계층 구조를 보다 형식적인 형태로 정의하고 이론적인 논술이 가능토록 하기 위해서, 클래스 계층 구조를 유한 유방향 그래프 형태인 클래스 계층 그래프로 나타낸다 또한, 클래스 계층 그래프간의 순서관계로써 객체 확장관계 를 정의한다. 객체 확장관계를 만족하는 클래스 계층 그래프의 재구성법으로써, 다섯가지 기본조작을 정의하고, 정의된 기본 조작만을 이용하여 클래스계층 그래프를 확장 재구성할 수 있음을 보이기위해, 기본 조작의 정당성 및 완전성을 증명한다. 본 논문에서 제안한 객체 확장관계 및 기본 재구성기법은, 기존의 객체 지향 어플리케이션을 확장 재구성하고자 할 때 이론 적인 토대로서 이용할 수 있다.

  • PDF

무지로부터의 논증, 모두 오류인가? (Is Every Argument from Ignorance Fallacious?)

  • 송하석
    • 논리연구
    • /
    • 제13권2호
    • /
    • pp.61-82
    • /
    • 2010
  • X가 참(거짓)이라는 사실이 알려지지 않았다는 무지전제로부터 X는 거짓(참)이라는 지식결론을 추론하는 논증을 일반적으로 무지로부터의 논증이라고 하는데, 코피 등을 비롯한 많은 논리학자들은 이를 오류 논증의 하나라고 설명하고 있다. 그들의 주장에 따르면, 무지로부터의 논증처럼 보이지만 오류논증이 아니고 설득력 있는 받아들일 만한 논증은 사실은 무지로부터의 논증이 아니고, 조건적 지식전제가 암암리에 포함된 논증이다. 이 논문은 그러한 주장에 반대해서 모든 무지로부터의 논증은 암암리에 조건적 지식전제가 포함된 것으로 해석될 수 있고, 또 모든 무지로부터의 논증이 다 오류는 아니라는 점을 논증한다. 무지로부터의 논증 형식을 지닌 논증 중에서 오류논증과 그렇지 않은 논증의 기준을 제시하고, 특히 실천논증의 경우, 사회적 맥락이 오류논증과 설득력 있는 논증을 가르는 중요한 기준임을 논증한다.

  • PDF