• 제목/요약/키워드: 수리논리

검색결과 69건 처리시간 0.02초

프로젝트 수행 활동을 통한 영재들의 창의성 신장에 대한 연구 (Study on Improving of Creativity of Gifted Students using the Project-based Task)

  • 양희선;홍진구;심규철
    • 영재교육연구
    • /
    • 제18권1호
    • /
    • pp.111-137
    • /
    • 2008
  • 본 연구는 중학교 영재학급에서 활용할 수 있는 영재교육 자료를 개발하고 이의 적용을 통해 창의성 신장 효과를 알아보고자 하였다. 연구 대상은 충남교육청 지정 보령영재교육원 영재학급 학생 129명이다. 영재학급 학생들은 7학년과 8학년 학생으로 논리사고 분야, 과학분야, 수리분야, 외국어 분야로 구분하여 교육하였다. 영재교육 자료는 프로젝트 수행 활동을 기반으로 하고 있다. 프로젝트 수행 활동 수업은 영재들의 창의성 향상에 효과적인 것으로 나타났으며, 특히 과학분야의 경우 정교성, 유창성, 독창성 등에서 매우 효과적인 것을 알 수 있었다. 프로그램에 대한 설문조사에서는 영재들과 교사들 모두 체험중심의 프로젝트 수행 활동 수업에 대해 큰 만족감과 흥미를 나타내고 있었다. 결론적으로 본 연구에서 활용한 프로젝트 기반의 수행 중심의 프로그램은 영재교육에 적극 활용할 필요가 있음을 시사한다고 할 것이다.

연구 프로그램으로서의 힐버트 계획 (Hilbert's Program as Research Program)

  • 정계섭
    • 한국수학사학회지
    • /
    • 제24권3호
    • /
    • pp.37-58
    • /
    • 2011
  • 수리 논리학의 발전은 상당 부분 힐버트 (D. Hilbert, 1862~1943)의 증명이론(Beweistheorie)에 뿌리를 두고 있다. 흔히 '힐버트 계획' (Hilbert's program)으로 불리는 이 계획의 목표는 형식적 공리론적 방법에 의해 수학의 모든 명제와 증명을 형식화하고 이 형식 체계의 완비성과 무모순성 증명을 통해 고전 수학을 '구원' 하고, 수학의 토대를 공고히 하자는 데에 있다. 1931년 괴델의 제 1정리에 의해 결정불가능 명제의 존재가 드러나면서 완전성이 위기를 맞고, 제 2정리에 의해 무모순성의 확립이 무산될 위기에 처한다. 그러나 '상대적' 내지 '부분적' 힐버트 계획은 효과적인 연구 프로그램으로서 살아 있다고 말하는 학자들이 적지 않다. 우리는 특히 힐버트 계획 이 오늘날 구성주의 수학의 발전에 동력을 제공하고 있다는 점을 커리-하워드 대응 (Curry-Howard Correspondence)을 통하여 부각시키고자 했다. 자연연역에서 증명 (proof) 이 바로 컴퓨터 프로그램 (computer program) 에 다름 아니라는 사실에 의해 수학의 형식화 (formalization)는 새로운 조명을 받게 된 것이다. 요컨대 힐버트 계획은 컴퓨터 과학에서 알고리듬 (algorithm) 이라는 핵심개념에 가장 잘 부합되는 것이다.

고등학생들의 뇌반구 우세성과 학업성취도, 자아개념 및 성취동기와의 관계 (Relationships between Brain Hemispheric Dominance and Academic Achievement, Self Concept and Achievement Motivation in High School Students)

  • 김남일
    • 감성과학
    • /
    • 제8권1호
    • /
    • pp.55-61
    • /
    • 2005
  • 본 연구는 뇌반구 이론에 입각해 뇌반구 우세성에 따라 학업성취, 자아개념 및 성취동기의 차이를 밝히고자 하였다. 연구대상은 대전광역시 소재 고등학교 1개교의 2학년 학생 189명이었다. 본 연구에서는 측정도구로 뇌반구 우세검사, 자아개념 검사, 성취동기검사를 사용하였다. 뇌반구 우세성은 좌뇌 우세형, 우뇌 우세형, 전뇌형 세집단으로 분류하였다. 주된 연구 결과는 다음과 같다. 우뇌 우세형이 좌뇌 우세형 및 전뇌형에 비해 학업 성취도 및 능력에 대한 자아개념이 낮게 나타났다. 우뇌 우세형이 좌뇌형에 비해 성취동기가 낮게 나타났다. 이런 결과는 현재 학교에서 수리, 논리 중심의 좌뇌형 주제, 과목에 초점을 맞춘 교육을 하기 때문인 것으로 생각된다.

  • PDF

유도무기체계 RAM분석을 위한 ILS M&S 설계 (Design of ILS M&S for RAM Analysis in Guided Weapon System)

  • 이용빈;이동욱;이주형;엄천섭;박장원
    • 한국시뮬레이션학회논문지
    • /
    • 제24권2호
    • /
    • pp.19-29
    • /
    • 2015
  • 국방분야에서 M&S 기법은 분석, 훈련, 획득 등 다양한 목적으로 활용되고 있으며 그 중요성은 더욱 증가하고 있다. 무기체계의 종합군수지원(ILS)요소 개발을 위한 RAM분석 시 M&S 기법을 활용하면 수리적인 기법만으로는 분석하기 어려운 시스템의 다양한 변수와 제약사항을 고려한 분석이 가능하다. 무기체계의 RAM분석을 위한 ILS M&S도구를 설계하기 위해서는 M&S의 목적 설정, 무기체계의 특성 및 유사 M&S Tool 기능 분석 등의 활동이 선행되어야 하며 이를 바탕으로 실제 현실을 프로그램으로 구현하기 용이한 형태의 수학적, 논리적 언어로 모델링해야 한다. 본 논문에서는 'OO유도무기체계'의 배치부터 폐기 시까지 발생하는 운용, 저장, 점검, 고장발생, 정비 등 제반 군수지원활동을 모의하여 유도무기체계의 수명주기 동안의 RAM 특성을 예측, 분석할 수 있는 M&S 도구의 모델링 과정을 제시하고자 하며 이는 유사 M&S 도구의 개발 시 참고자료로도 활용 가능할 것이다.

수학 내러티브의 교육적 활용 (An Educational Application of Mathematics Narrative)

  • 이기돈;최영기
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제24권3호
    • /
    • pp.443-465
    • /
    • 2014
  • 수학 교수학습은 수리 논리적인 수학적 사고의 신장에 초점을 맞추어왔다. 그러나 최근 '서사적 방향 전환'과 함께 수학교육의 분야에서도 이야기의 활용에 대한 관심이 높아지고 있다. 본 연구에서는 서사학, Bruner의 논의, 교육 분야에서 내러티브에 대한 논의 등을 바탕으로, 만들어낸 이야기 또는 다른 사람이 겪은 이야기로서의 '이야기'와 저자 또는 화자가 경험한 수학적 사실들의 스토리 형식을 갖춘 재현으로서의 '수학 내러티브'를 구분하고, 수학 내러티브와 수학적 사실들에 대한 내러티브 사고 양식의 적용을 통해 인지적 의미와 정서적 의미를 구성하는 과정을 논의하였다. 이를 통해 수학 내러티브의 활용이 이야기 활용의 제한점을 보완하는 방식으로 수학에 대한 흥미와 의미를 형성시킬 수 있음을 논의하였다. 끝으로 수학 내러티브의 활용이 수학 교과와 학습자의 통합에 기여할 수 있음을 논의하고 이러한 관점에서 수학 교수학습을 재음미하였다.

  • PDF

군 정비시설 운용 최적화를 위한 시뮬레이션 분석 연구 (Simulation Analysis to Optimize the Management of Military Maintenance Facility)

  • 김경록;이종문
    • 한국산학기술학회논문지
    • /
    • 제15권5호
    • /
    • pp.2724-2731
    • /
    • 2014
  • 최근 국가의 향후 국방 계획이 첨단 무기체계로 향하는 만큼, 이를 위한 군 정비시설도 점점 중요해지고 있다. 하지만 현재 군 정비시설은 관리자의 경험적인 방법과 단순 수리적 계산으로 운용되고 있다. 그래서 본 연구에서는 좀 더 과학적이고 논리적인 방법을 이용하여 군 정비시설 운용 최적화 방법을 제시한다. 연구는 다음과 같은 절차를 따른다. 첫째, 군 정비시설 운용을 분석하여 시뮬레이션을 설계한다. 둘째, 최적화를 위해 독립변수와 종속변수를 정의한다. 독립변수는 군 정비시설 운용 세부사항으로 볼 수 있는 정비장비, 운반장비, 그리고 작업자 수이고, 종속변수는 독립변수에 영향을 받는 총 정비시간으로 결정한다. 셋째, 설계된 시뮬레이션 모델을 기준으로 Warmup 기간을 얻기 위해 Warmup 분석 한다. 넷째, 군 정비시설 운용 최적화를 위해 독립변수의 최적 조합을 메타휴리스틱인 진화전략을 이용하여 산출한다. 이 최적 조합을 통해 군 정비시설 운용은 제한된 비용 내 최대 효과를 얻을 수 있다. 향후 복수의 무기체계 장비를 정비하는 군 정비시설의 다목적 분석 연구를 할 것이다.

람베르트 해를 이용한 행성 간 궤도 설계 (Design of Interplanetary Orbit by Lambert Solution )

  • 김동선
    • 항공우주시스템공학회지
    • /
    • 제18권1호
    • /
    • pp.72-78
    • /
    • 2024
  • 공전하는 행성 간 천이 궤도 설계에서 우주 탐사기의 위치는 목표 행성의 미래 도착 시점에 변경된 위치와 일치되어야 한다. 람베르트 문제의 해를 얻는 것은 우주 탐사기 초기 위치벡터, 비행시간, 최종 위치벡터로부터 천이궤도 요소들을 결정할 수 있기 때문이다. 두 지점 경계치 궤도 문제이며 지정된 제한 조건이 최적화되는 적절한 원하는 행성 간 천이궤도를 선택 할 수 있다. 이와 같은 논리에서 람베르트 해로 얻을 수 있는 행성 간 천이 궤도는 출발 속도에 제한이 없다면 수리적으로 무한히 존재한다. 현재까지 우주 탐사기의 출발 시점 초기 속도는 우주 발사체 역량에 크게 의존하고 있다. 본 논문에서는 미국 엠브리 리들 항공대학의 하워드 교수의 알고리즘을 사용하여 람베르트 해와 천이 궤도 요소를 결정하였다.

헬리콥터 주로터 블레이드의 동적밸런싱 시험에 대한 데이터베이스 설계 및 적용 (Design and Application of Database System for Dynamic Balancing Test of Helicopter Main Rotor Blade)

  • 윤병일;백승길;송근웅;김덕관
    • 한국항공우주학회지
    • /
    • 제47권8호
    • /
    • pp.582-589
    • /
    • 2019
  • 헬리콥터 주로터 블레이드의 동적 밸런싱 시험은 헬리콥터의 비행시험 전 각 블레이드의 트랙과 피치로드 하중을 동일한 수준으로 조절하기 위해 수행되는 지상회전시험이다. 이러한 동적밸런싱 시험의 목적은 블레이드 간 특성차이로 인해 나타나는 주로터 시스템 진동을 감소시키기 위함이다. 고흥 항공센터의 훨타워 시험설비에서는 오랜 기간에 걸쳐 수리온 주로터 블레이드에 대한 동적밸런싱 시험을 수행하고 데이터를 축적해 왔다. 이에 데이터양이 점차 방대해짐에 따라 시험결과를 효율적으로 관리하기 위한 데이터베이스 프로그램의 개발의 필요성이 제기되어 왔다. 본 연구에서는 훨타워 시험설비에서 수행한 동적밸런싱 시험결과를 바탕으로 구축한 데이터베이스 시스템에 대해 기술하였다. 본 연구에서 구현된 데이터베이스 시스템은 동적밸런싱 시험 결과를 각 정보별로 논리적으로 모델링하고 각각의 데이터가 상호 관계를 이룰 수 있도록 연결하여 관계형 구조를 이루도록 설계되었다. 아울러 본 논문을 통해 기 설계된 데이터베이스 시스템이 동적밸런싱 시험 결과의 축적과 시험 결과 분석에 효과적으로 활용될 수 있음을 보였다.

국내 자동차산업의 적정부채비율 추정을 위한 실증연구 (The Study on the Estimation of Optimal Debt Ratio in Korean Automobile Industry)

  • 서범;김일곤;박지훈;임인섭
    • 한국산학기술학회논문지
    • /
    • 제19권3호
    • /
    • pp.301-308
    • /
    • 2018
  • 본 연구는 다른 산업에 비해 국가경제에 미치는 영향이 매우 높은 자동차산업의 적정부채비율 추정을 위하여 이론적으로 도출 가능한 분석적 수리모형을 수립하고 객관적인 자료를 이용하여 적정부채비율을 추론하는데 목적이 있다. 분석모형은 부채비율을 독립변수로 하는 총자산순영업이익률, 자기자본순영업이익률의 두 계산식으로부터 출발하고 관련 모수는 총자산회전율, 매출액영업이익률, 순금융비용율로 구성하였다. 이 가운데 순금융비용율의 경우 부채비율과 1차 선형관계를 고려한 방정식을 분석모형에 추가하는 등의 분석적 절차에 따라 적정부채비율 기준을 총자산순영업이익률과 자기자본순영업이익률을 극대화하는 부채비율 수준으로 정의하였다. 이는 적정부채비율 수준을 두가지 이상의 계산식으로부터 도출된 일정 범위내의 추정값을 제시함으로써 한 개의 계산식으로 출발한 단일 추정값이 가지는 신뢰성의 문제를 어느 정도 해소할 수 있을 것이라고 판단됐기 때문이다. 이에 본 연구에서는 적정부채비율 추정을 위하여 총자산순영업이익률, 자기자본순영업 이익률에 대해서 부채비율을 독립변수로 하는 2차함수로 나타냈다. 이러한 분석절차에 의해 우리나라 자동차산업의 16개년 자료를 토대로 적정부채비율을 도출한 결과 총자산순영업이익률의 경우 188%의 부채비율과 자기자본순영업이익률의 경우 213%의 부채비율이 자동차산업의 이익을 제고하는 것으로 나타났다. 이러한 결과는 본 연구의 논리적인 이론모형에도 불구하고 그 추정값이 가지는 신뢰성의 문제를 극복하고자 도출된 결과로써 188%에서 213%의 부채비율이 자동차산업의 이익 극대화와 부채사용에 대한 위험성을 해소할 수 있다는 의미로 해석할 수 있을 것이다. 뿐만 아니라 그동안의 자동차산업의 부채비율이 추정된 범위내의 적정부채비율에 비해 비교적 낮게 형성되어 있음을 의미하는 것으로 기업이 부채비율을 관리하는 목적이 안전성 유지뿐만 아니라 수익성 확대 및 해당 업종의 특성을 고려한 대응이라고 했을 때 자동차산업 발전을 위한 장기적 관점에서 차입증대를 통한 적극적인 투자를 고려해야 할 필요가 있음을 시사한다.