• 대한공업교육학회지
• /
• 제33권2호
• /
• pp.170-191
• /
• 2008

알고리즘 학습이 학습자의 창의적 문제해결력, 논리적사고력과 같은 고차원적인 인지 능력 향상에 도움이 되지만, 알고리즘 학습을 처음 접하는 어린 학습자들의 경우 인지적 부담으로 작용할 수 있다. 따라서 프로그래밍을 통한 알고리즘 학습에서 학습자의 인지적 부담을 감소시켜주고 알고리즘 학습에 대한 흥미와 동기 유발을 위한 새로운 교수 설계가 필요하다. 본 연구에서는 중학생의 알고리즘 학습을 위한 프로그래밍 도구로 비주얼 기반 교육용 프로그래밍 언어인 Squeak Etoys를 선정하고 이를 활용한 알고리즘 학습 프로그램을 설계하였다. 설계한 학습 프로그램을 실제 중학교 학습자들에게 적용한 결과, Squeak Etoys 활용 알고리즘 학습이 프로그래밍을 처음 접하는 초보 학습자들의 문제해결성향과 자기효능감, 논리적사고력 향상에 유의미한 영향을 주었음을 확인하였다. 특히 논리적사고력의 경우, 실험집단과 통제집단모두 유의미한 향상을 보였다. 이는 알고리즘을 설계하고 표현하는 과정에 대한 학습경험 자체가 논리적사고력 신장에 효과적임을 의미한다. 따라서 초 중등교육에서의 알고리즘 교육은 의미 있는 학습내용이라고 볼 수 있다. 그러나 Squeak Etoys 활용 알고리즘 학습을 진행한 집단이 통제집단에 비해 논리적사고력 향상의 정도가 유의미하게 높은 것은 Squeak Etoys와 같은 비주얼 기반 프로그래밍 학습 환경이 알고리즘 학습에 대한 외생적 인지부하를 감소시켜주고 문제해결성향 및 자기효능감에 긍정적인 영향을 줌으로써 논리적사고력과 같은 고등정신능력 향상에 도움을 준 것으로 해석할 수 있다. 이러한 연구 결과는 향후 새로운 교육과정 시행될 경우, 알고리즘 학습을 위한 교육용 프로그래밍 언어의 선정 및 교수 학습 설계에 유용한 지침을 제공해 줄 수 있을 것이다.

• 한국경영과학회지
• /
• 제39권3호
• /
• pp.7-22
• /
• 2014

By the publications of RDF and OWL, the Semantic Web is confirmed as a technology through which information in the Internet can be processed by machines. The focus of the Semantic Web study after then has moved to how to provide more useful information to users for their decision making beyond simple use of the structured data in ontologies. SWRL that makes logical inference possible by rules, and SWCL that formulates constraints under the Semantic Web environment are some of many efforts toward the achievement of that goal. Constraint represents a connection or a relationship between individual data in ontology. Based on SWCL, this paper tries to extend the language by adding one more type of constraint, implication constaint, in its repertoire. When users use binary variables to represent logical relationships in mathematical models, it requires and knowledge on the solver to solve the models. The use of implication constraint ease this difficulty. Its need, definition and relevant technical description is presented by the use of the optimal common attribute selection problem in product design.

• 컴퓨터교육학회논문지
• /
• 제14권2호
• /
• pp.13-22
• /
• 2011

창의적 문제해결 능력을 위한 알고리즘 교육의 중요성이 강조되고 있다. 특히 수학 과학과 연계된 논리적 사고력 증진을 위한 알고리즘 교재 개발이 추진 중 이다. 그러나 교육현장에서 적용 가능한 교수-학습 모형에 대한 제시가 미비한 실정이다. 따라서 본 연구는 효과적인 알고리즘 교육을 위한 교수-학습 모형을 제시한다. 나선형 모형으로 학습 진도를 진행하며, 논리적 사고력을 기반으로 하는 알고리즘 교육의 특성을 반영하여 교수-학습 모형을 개발하였다. 또한 학습자의 만족도를 위하여 설문을 실시하였으며, 그 결과로 설계된 교수-학습 모형은 PBL과 자기주도학습 및 동료교수법의 혼합 모형이다. 제시된 모형에 근거하여 수학과 과학의 수업 예시를 구성하여 적용 가능성을 보였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제43권3호
• /
• pp.275-289
• /
• 2004

The purpose of the study is to investigate how children and preservice teachers would make a progress in solving the open-problems related to area. In knowledge-based information age, information inquiry, information construction, and problem solving are required. At the level of elementary school mathematics, area is mainly focused on the shape of polygon such as square, rectangle. However, the shape which we need to figure out at some point would not be always polygon-shape. With this perspective, many open-problems are introduced to children as well as preservice teacher. Then their responses are analyzed in terms of their logical thinking and their understanding of area. In order to make students improve their critical thinking and problem solving ability in real situation, the use of open problems could be one of the valuable methods to apply.

• 한국정보기술학회 영문논문지
• /
• 제9권1호
• /
• pp.77-87
• /
• 2019

The Butterfly model, which aims to solve contradiction problems, defines the type of contradiction for given problems and finds the problem-solving objectives and their strategies. Unlike the ARIZ algorithm in TRIZ, the Butterfly model is based on logical proposition, which helps to reduce trial and errors and quickly narrows the problem space for solutions. However, it is hard for problem solvers to define the right propositional relations in the previous Butterfly algorithm. In this research, we propose a contradiction solving algorithm which determines the right problem-solving strategy just with yes or no simple questions. Also, we implement the Butterfly Chatbot based on the proposed algorithm that provides visual and auditory information at the same time and help people solve the contradiction problems. The Butterfly Chatbot can solve contradictions effectively in a short period of time by eliminating arbitrary alternative choices and reducing the problem space.

• 한국멀티미디어학회논문지
• /
• 제6권1호
• /
• pp.15-27
• /
• 2003

Recently, the volume of data is increasing rapidly in server for multimedia service, according to development of multimedia application environment. In recent research for storage technology the technology like of the SAN(Storage Area Network) advantages in scalibility of storage devices, and can read data from multiple disk arrays through RAID 0, 5. The RAID 0 and 5 translate to logical address to physical address using equation, but in case of adding disks at the system with equation -based mapping, the problem that we must rearrange the whole data in the previous disks happens. We use the mapping table to solve this problem in recent, but we can not load the whole mapping table in main memory because it occupies too large space. Therefore the extra I/Os are demanded to evaluate real physical address of data, so total performance of the system is degraded. In this paper, we propose the mapping method that supports the scalibility in RAID 0 or 5 system. The proposing method applies small metadata, so- called SZIT and simple equation, so it is possible that we make translate logical address to physical address rapidly and it is scalable in disk extending simultaneously Our suggesting method, if we add disks to the striping system for expanding of storage capacity, has an advantage of never stop service. So, SZlT-based mapping method can do online-disk-expanding in real-time service.

• 컴퓨터교육학회논문지
• /
• 제17권1호
• /
• pp.97-105
• /
• 2014

공교육 현장에서 일어나고 있는 각종 정량적 평가의 문제점을 고려하고, 학생들의 교과목 점수 외의 개별 특성을 반영하여 평가에 적용 할 수 있는 정성적 평가 기법을 제안하기 위해 지능형 퍼지논리 추론의 적응성과 가능성을 이용하는 방법론적 고찰을 연구하였다. 각 급 학교의 평가에서 정량적 점수에 추가하여 평어평가를 활용하여 개인의 정성적 특징을 반영하는 기법을 제안하고, 한편으로, 교육정책 관련 사안으로서의 실제적인 실혐 환경구축 및 구현의 어려움으로 인해 가상적인 환경에서의 실험결과를 제시하였다.

• 한국컴퓨터정보학회논문지
• /
• 제11권1호
• /
• pp.11-18
• /
• 2006

LAD(Logical Analysis of Data)는 Boolean-logic에 기반을 둔 데이터 마이닝 방법론이다. LAD에 의한 데이터 분석 시 중요한 과정은 데이터 집합에 숨겨진 구조적 정보를 패턴의 형식으로 발견해내는 패턴 생성 단계이다. 기존의 패턴 생성 방법은 열거법에 기반을 두고 있어 높은 차수의 패턴을 생성하는 것은 실질적으로 불가능하였다. 본 논문에서는 최적화에 기반을 둔 패턴 생성 방법론을 제안하고 혼합 정수 선형 모형과 SCP(Set Covering Problem)의 두 가지 모형을 제안한다. 기계학습 분야에서 널리 쓰이는 데이터 집합에 대해 제안된 패턴 생성 방법을 이용한 분석 실험을 통하여 기존의 패턴 생성 방법으로는 생성될 수 없는 패턴을 쉽게 생성하는 효율성을 입증하였다.

• 한국과학교육학회지
• /
• 제28권2호
• /
• pp.111-119
• /
• 2008

과학 영재교육 대상자 선발방법으로써의 교사 추천제를 객관적으로 분석하기 위해, 과학 교사가 추천한 학생들의 과학적 태도, 탐구력, 논리적 사고력, 창의적 문제 해결력, 창의성 점수를 과학 영재원 재학생 및 일반학급 학생들의 점수와 비교하였다. 분석 결과, 과학 영재원 재학생과 교사 추천 학생은 일반 중학교 학생보다 모든 영역에서 높은 점수를 얻었으며, 과학 영재원 재학생과 교사 추천 학생 사이에는 유의미한 차이가 없었다. 이는 과학 영재학생 선발을 위해 교사 추천제를 적극적으로 활용할 필요가 있음을 시사한다.

• 한국과학교육학회지
• /
• 제22권1호
• /
• pp.132-140
• /
• 2002

이 연구는 고등학교 학생들의 인지 양식과 인지 수준에 따른 화학 문제 해결 정도를 알아보는데 그 목적을 두었다. 고등학교 2학년 322명을 대상으로 인지 양식 검사, 인지 수준 검사, 그리고 화학 문제 해결검사를 실시하였다. 이 때 화학 문제 해결 검사는 오도 요소(불필요한 정보)가 없는 문항 5개 와 오도 요소가 있는 문항 5개로 구성되었다. 연구 결과에 의하면, 오도 요소가 없는 문항과 있는 문항의 경우 모두 인지 양식이 장독립적일수록, 인지 수준이 형식적 조작기일수록 성취도가 높았다. 학생의 두 가지 인지변인이 화학 문제 성취도를 설명하는 정도를 비교하였을 때, 오도 요소가 없는 문제에서는 인지 수준이. 오도 요소가 있는 문제에서는 인지 양식이 상대적으로 더 큰 설명력을 가지고 있었다. 오도 요소가 있는 5개 문항 중 2문항에서. 오도 요소에 이끌려 문제 해결에 실패한 학생의 인지 양식 검사 점수가 성공한 학생의 점수보다 통계적으로 유의미하게 낮았다.