• Communications of Mathematical Education
• /
• v.15
• /
• pp.153-159
• /
• 2003

수학 학습의 목표를 수학적 사고력의 신장이라는 측면에서 보았을 때 이를 위하여 문제에 대한 다양한 해법을 찾는 활동은 중요하다. 문제에 대한 다양한 접근은 문제해결의 전략을 학습시키고 사고의 유연성을 길러줄 수 있는 방법이 된다. 문제에 대한 다양한 해법을 찾는 과정에서 이미 알고 있는 지식이 어떻게 응용되는지를 알게 된다. 특히 기하 문제에 대한 다양한 접근은 문제해결의 전략을 학습시킬 수 있는 좋은 예가 된다. 본고에서는 문제해결을 통한 수학적 일반성을 발견하기 위한 방법으로서 문제에 대한 다양한 해법을 연역과 귀납에 의하여 일반화하는 과정을 탐색하고자 한다. 특히 수학 문제에 대한 다양한 해법을 찾는 것은 문제해결 전략으로서 뿐만 아니라 창의적 사고의 신장 측면에서 시사점을 던져준다.

• School Mathematics
• /
• v.15 no.4
• /
• pp.847-866
• /
• 2013

The purpose of this study was to analyze students' various solution methods revealed in the lessons of finding out the area of plane figures, and to explore instructional implications on how to draw meaningful formalization out of such multiple methods. The teacher in this study tended to select a few solution methods that were easy for students to understand and to induce formalization. An analysis of students' solution methods and the process of formalization showed that students need to understand what parts of the length of the given plane figure they should know, and to identify the base, height, and diagonal line of the figure. The analysis also showed that it was effective to choose the solution methods that were used by many students and that could be easily transformed into a concise formula. Based on these results, this paper provides instructional suggestions for a teacher to orchestrate classroom discussion toward formalization based on students' multiple solution methods.

• 한국정보교육학회:학술대회논문집
• /
• 2004.08a
• /
• pp.605-613
• /
• 2004

인터넷 등 각종 미디어의 발달은 정보에 대한 접근과 취득을 용이하게 만들었고 교육내용의 유용한 전달수단으로 자리 잡았다. 그러나 인터넷의 수많은 정보 중에서 단순한 정보의 취득만으로는 비구조적이고 복잡 다양한 여러 문제를 해결하는데 큰 효과를 발휘하지 못하므로 정보를 가공하여 도출되는 결과물인 지식을 취득하고 활용하여 문제를 해결하는 방안을 제시하였다. 인터넷의 엄청나 정보량은 어떤 정보가 학습자에게 필요한지 파악하기 어려우며 또, 원하는 정보를 적시에 손쉽게 취득하여 학습자가 원하는 지식으로 조합할 수 있는 방법에 익숙치 못하다. 지식검색 서비스는 간단한 키워드의 사용만으로 다양한 지식을 정보의 형태가 아니라 지식의 형태로 제공하기 때문에 빠르고 간편하게 문제를 해결하는 방법으로 지식검색 서비스 활용도는 매우 커지고 있다. 그러나 새로운 지식습득 방법으로 제시되는 지식검색 서비스가 과연 문제중심학습 등에서 문제를 해결할 수 있을 정도로 제공되는 지식이 정확성을 가지고 있는지, 다양한 범위를 가지는지, 손쉽게 사용할 수 있는지 등을 검증할 필요가 있다. 따라서 본 연구에서는 기존의 전통적인 검색방법을 이용한 지식습득과 지식검색 서비스를 이용한 지식의 습득에서 오는 차이를 분석하여 문제중심학습 등에 적용 가능한 현실적인 지식습득 방법과 개선책을 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.505-507
• /
• 2003

SAT 문제는 하드웨어/소프트웨어 검증과 모델 체킹 등 다양한 분야에서 유용하게 사용되고 있으나 복잡도가 NP-complete 라는 어려움을 가지고 있다. 다양한 알고리즘과 휴리스틱, 도구들이 개발되었지만 그럼에도 불구하고 해결할 수 없는 hard instance 들이 존재한다. 이 논문에서는 그러한 hard instance를 해결하기 위한 방법의 하나로 model accumulation을 제안한다.

• Communications of Mathematical Education
• /
• v.17
• /
• pp.115-126
• /
• 2003

수학사는 수학적 사실이나 수학자에 대한 연대기적 나열만을 의미하는 것은 아니다. 수학사에서는 수학적 개념들, 정리들, 연구 방법의 발생, 축적, 그리고 발전에 대한 폭넓은 견해를 접할 수 있다. 특히, 수학사에서 접할 수 있는 수학 문제해결의 다양한 방법은 수학 교수-학습 과정에서 교사의 올바른 교수학적 선택을 위한 중요한 기초 자료가 될 수 있다. 본 연구에서는 그리스의 수학자 아르키메데스가 구의 부피를 구하기 위해 사용했던 공학적 문제해결 방법을 살펴보고, 공학적 방법의 활용에 관련된 수학적 기초를 살펴보고, 공학적 문제해결 방법을 중등학교 수학 영재교육에 활용할 수 있는 가능성을 모색할 것이다.

• Proceedings of the Korea Institute of Convergence Signal Processing
• /
• 2003.06a
• /
• pp.30-33
• /
• 2003

영상 검지기를 통한 차량 탐지 방법은 날씨와 같은 환경에 민감하게 반응하여 차량의 미탐지 및 오탐지가 발생하게 된다. 이를 해결하기 위해 다양한 일기조건하에서 차량 추적 방법에 대해 제안한다. 다양한 일기 조건하에서의 차량 추적은 눈, 비, 안개 환경에서 각 날씨의 특징을 분석, 반영하여 차량을 탐지하고 추적한다. 눈이 내리는 환경에서는 눈이 카메라 가까이에서 차량 blob으로 잘못 탐지되는 blob을 제거하기 위해 카메라와의 거리에 따른 실제 크기를 구하는 size filtering 방법을 사용한다. 비, 안개 환경에서는 흐릿해진 영상 때문에 차량이 교통신호등에 의해 차량 정체시 여러 차량이 하나의 blob으로 탐지되는 문제점을 해결하기 위해 이전 영상에서의 차량 위치 정보를 이용한 재 blob화 방법을 사용한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.327-330
• /
• 2019

본 연구는 기존의 소프트웨어 교육 방법이 가지는 문제점을 분석하고, 이를 해결하기 위한 방안으로 존듀이와 프레네의 경험 중심 교육 방법에 기반을 둔 새로운 소프트웨어 교육 모델을 제안한다. 경험 중심 기반의 새로운 소프트웨어 교육 방법은 학습자들의 자율성을 보장하고, 학습자들 간의 상호작용을 통해 일상생활의 문제점을 해결할 수 있는 문제 해결력을 기르는데 중점을 두고 있다. 따라서 본 연구는 자유로운 사고방식으로 일상생활의 다양한 문제를 발견할 수 있는 능력과 다양한 경험을 통해 이를 해결할 수 있는 능력을 기르도록 체계화된 소프트웨어 교육 모델을 구성할 것이며 이를 통해 소프트웨어 교육의 발전에 기여하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1361-1364
• /
• 2012

현대 산업 발전에 따라 대량 생산 체제에서 소비자 개별 주문 요건을 반영하여 생산하는 대량맞춤 생산(Mass Customization) 체제로 변화해가고 있다. 이런 대량맞춤 생산 체제의 제품구성(Product Configuration) 시에 나타나는 CSP(Constraint Satisfaction Problem) 해결 방법론을 제시하고 있다. 기존 방법에서는 복잡 다양한 제약조건을 수학적으로 표현하여 제약 조건 검사에서 소요시간과 검색 공간을 최소화 할 수 있는 알고리즘이 제시했다. 그런데 소비자의 주문 요건들이 빠르게 변화되고 복잡 다양 해지고 있다. 그래서 대상 모델 및 제약조건이 변경이 되었을 경우 기존 방법에서 제시하고 있는 CSP 해결에서는 수정 관리 하기가 쉽지 않고 확장성이 낮다. 본 연구에서는 룰 기반 모델링으로 CSP 문제 해결 프로세스 정립을 하여 관리의 편리성을 제공하고 확장성을 향상시킨다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.18-20
• /
• 1998

본 논문은 EBL 기반의 제어지식형 계획기에서 다양한 목표확장 방법을 사용하여 MEA의 불완전한 계획생성을 해결하는 새로운 방법을 제안한다. 계획기의 문제 공간을 탐색하는 방법 중 하나인 MEA는 현재상태와 목표상태의 차이를 줄이기 위하여 연산자를 선택한 후에, 연산자의 조건절을 현재상태가 만족하는지의 여부에 따라서 조건절의 부목표화를 결정한다. 그러나 이러한 목표확장 방법은 현재상태에서 만족된 부목표에 대한 목표확장을 하지않음으로써 문제공간 탐색에서 제한된 범위만을 탐색하므로 목표를 만족하는 최적의 계획을 생성할 수 없으며, 또한 문제를 해결하는 계획이 있음에도 불구하고 탐색범위의 제한으로 인해 계획을 생성하지 못하는 경우도 발생한다. 이와 같이 현재 상태에서 만족되어 목표확장을 하지 않은 부목표를 Anycase Subgoal이라 한다. 본 논문에서 제안하는 목표확장 방법은 ELB기반의 제어지식형 계획기를 Anycase Subgoal을 위하여 확장하는 방법으로 서, 초기의 문제공간 탐색에서 사용된 목표확장 방법에서 문제를 해결하지 못할 경우 탐색공간을 확장하여 문제를 해결하고, 문제에 적합한 목표확장 방법을 제어지식형 규칙으로 학습하여 유사한 문제에 대하여 효율적으로 계획을 생성한다.

• Communications of Mathematical Education
• /
• v.11
• /
• pp.201-233
• /
• 2001

보통 문장제(일량, 거리, 속도 문제, 시계 문제, 농도 문제, 개수 세기, 측도 영역)는 초등학교부터 반복하며 나오며 대학 수학 능력 시험에서는 외적 문제 해결능력으로 측정되기도 한다. 문장제를 해결하는데는 사고가 여러 단계로 이루어져야 한다. 따라서 일반적으로 문장제는 난해하므로, 조직적이고 전문적인 학습지도가 이루어져야 한다. 하지만 입시위주의 교육 등 여러 여건상 잘 이루어지지 않고 있는 것이 현실이다. 본 연구에서는 문장제의 문제 해결에 필요한 해결요소를 발견하고 저해 요인을 없앨 수 있는 지도 방안으로서 소집단 토의학습에 문제해결 전략을 이용하여, 효율적인 문장제 지도 방안을 연구하고 상이한 문제에 접근하는 방법, 문제를 이용하는 방법 등을 토의학습을 통하여 다양한 풀이방법을 해결하면서 이를 통하여 사고력을 신장할 수 있도록 연구한다.