• Journal of The Korean Association of Information Education
• /
• v.13 no.3
• /
• pp.341-349
• /
• 2009

In this paper, we proposed an Electric Circuit manipulation method to identify easily results of Digital Logic Circuits. Using this method for computer science educations, we can feasibly instruct and understand principles of a Digital Logic Circuit which is a basis of real Digital systems. Furthermore, we developed an PBL-based education program for Digital Logic Circuit concept and Boolean Algebra concept by applying the proposed Electric Circuit manipulation method and by explaining real life Digital Instrument examples. The experimental results are analyzed in views of the problem-solving ability and suitability of allocating degrees of difficulties to the developed Digital Logic Circuit problems.

• Journal of the Korean Chemical Society
• /
• v.46 no.6
• /
• pp.569-580
• /
• 2002

The purpose of this study was to analyze the problem-solving process of student's compensation con-cept.For this purpose, verbal interactions during activities were audio-taped, transcribed, and analyzed. And classroom observation and interview with students were carried out. Students who were superior in mathematical operations tended to explain compensation concept using proportionality. On the other hand, students who had low level of conservation concept can not connect 'relation of two variables' with 'conservation of equilibrium' at the formation process of com-pensation concept. Students who succeed in the formation of compensation concept showed high level of conservation concept. To promote the formation of compensation concept, it is necessary that how to develop proportional concept and conservation concept as closely related with compensation concept should be studied.

• The Journal of Korean Association of Computer Education
• /
• v.12 no.6
• /
• pp.11-19
• /
• 2009

In the knowledge-information-oriented society, it is difficult for students to solve lots of problems or adapt themselves to society just by using simple knowledge. Students have to develop individual problem solving ability and creative, logical thinking ability. They can develope these abilities by learning computer programming. This thesis studies the influences of a flow-chart learning on the logical thinking ability in Scratch using programming learning. The findings identify that the making algorithm by using flow-chart is more effective in developing logical thinking ability then the making algorithm by using pseudo-code.

• Journal of the Korean School Mathematics Society
• /
• v.3 no.1
• /
• pp.211-217
• /
• 2000

본 논문의 목적은 G. Cantor 에 의하여 출발된 집합론을 보통집합 이론이라고 구별하여 부를 때, 보통 집합 이론이 그 바탕에 깔고 있는 논리적 제한 점들 곧, 배중률이라든지 모순의 법칙 등을 어떻게 보완할 수 있을 것인가\ulcorner 하는 점과 그러한 점을 보완하여야 할 필요성에 대하여도 생각하고자 한다. 그런 관점에서 보통집합 이론과 퍼지집합 이론의 기본개념을 상호 비교함으로써 앞서 제기한 문제의 보완 요소를 찾아보려고 한다. 실제에 있어 인간의 사고 가운데에서는 중간을 배제하는 일이 없음에도 불구하고 이를 수학적으로 접근하고 표현하는 수단이 부족함으로 인하여 부자연스러운 논리의 법칙을 받아들일 수밖에 없었던 것도 사실이다. 특히, 논리적 응용력이 부족한 중등과정의 학생들에게 있어서 수학이 전적으로 2가 논리에 의하여 지배되고 있다는 방식으로만 지도하는 것은 여러 가지 측면에서 그 내용의 보완이 요구된다. 보다 다양한 수학적 표현의 여지를 열어주는 지도법은 쉼없이 연구되어야 할 것이다. 무엇보다도 배우는 학생들이 보다 폭 넓은 사고의 영역을 소유하고, 그를 바탕으로 창의적이고 자유로운 발상이 이어 질 수 있도록 하기 위하여는 교사의 수학적 시야가 보다 넓고 유연해져야 한다함은 재론할 필요가 없을 것이다. 그런 의미에서 본 논문이 작은 역할을 할 수 있기를 바란다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.40 no.9
• /
• pp.692-701
• /
• 2003

In this paper, a new logic transformation method to consider both low power consumption and high testability is proposed. We search the CFF(Compact Fanout Free) that has low probability of being observable at the primary outputs. Under the condition that the CFF is unobservable at all primary outputs, the switching operations in it can be removed by adding redundant connections into it. The testability of the transformed circuit generally tends to reduce. In our method, however, the inserted redundant connections operate as test points in the test mode and can improve not only the controllability but also the observability of the CFF. The transformed circuit consumes less power in the normal mode and also has higher testability in the test mode. To show the efficiency of the proposed logic transformation method, we perform some experiments on the MCNC benchmark test circuits. The results show that the power consumption of the transformed circuit is reduced by 13% maximally and the fault coverage of the transformed circuit is increased.

• The Journal of Korean Association of Computer Education
• /
• v.18 no.5
• /
• pp.1-13
• /
• 2015

In recent domestic and international curriculum it is emphasized that students should acquire 'problem solving' competence as a member of knowledge information society and various programming educational methods of improving problem solving competence have been studied. But there is no difference between programming problems in related research and traditional programming courses. Most methods of solving problems are focused on acquiring specific languages rather than enhancing problem solving ability. In this research, we developed a suitable programming problems and curriculum for fostering problem solving competence and designed and developed teaching and learning contents based on PSA(Problem Solving Activities). Furthermore, we obtained meaningful results of improving learners' problem solving ability and logical thinking ability by operating curriculum with developed contents as learning materials. The results of this research are expected to be used as a reference model or basic teaching materials for developing and operating the programming teaching and learning contents or curriculum to enhance problem solving competence.

• The Journal of Korean Association of Computer Education
• /
• v.19 no.1
• /
• pp.11-18
• /
• 2016

STEAM education introduced full-scale since 2011, it was reflected in the 2009 modified science curriculum. Partially it was decided not by result of study, but by the government policy. So practical study was needed for steam education. The researchers have studied effect of steam education based on physical computing from 2012 to 2014 on fourth grader. To study of effects of steam education, the researcher administer pre-to-post of science attitude test, science achievement test, logical ability test, psychological test for youth, satisfaction level test for school curriculum. The result shows that science attitude, logical ability, and satisfaction level for school curriculum of steam treatment group were enhanced. We conclude that steam education solve the proposed problem which low motivation and interest for science in comparison with science achievement.

• 대한공업교육학회지
• /
• v.33 no.2
• /
• pp.170-191
• /
• 2008

Many former researchers demonstrated that algorithm learning has a positive outcome on students' problem-solving abilities. One of the methods for algorithm learning, the 'programming learning' method is highly effective. However, there are numerous constraints in schools for programming learning. This study attempts to overcome these issues. Squeak Etoys, one of the educational visual programming languages for easy and interesting learning, has been selected as a learning tool. We developed the algorithm-learning curriculum for middle school students. They were divided into a control group and an experimental group. The students learned on the basis of equal curriculum but, they used other learning tools through over a total 6 sessions. The result showed that Squeak Etoys based Algorithm learning has a positive effect on improving middle school learners' problem solving abilities, self-efficacies and logical thinking abilities. Although the students' logical thinking abilities in the experimental group are improved a lot more than the students' abilities in control group, the students' logical think abilities in the both groups are improved. Therefore, algorithm education in secondary schools are necessary. In conclusion, Squeak Etoys based Algorithm learning has a positive effect on problem solving ability and self efficacy. The developed curriculum can be applicable as a basis for study on algorithm learning and educational programming language.

• Journal of the Korean Chemical Society
• /
• v.44 no.1
• /
• pp.68-73
• /
• 2000

In this study, tlhe relationships of high school students' abilities to solve chemistry problems with cognitive variables (logical thinking ability, mental capacity. and learning strategy) and affective variables(self-efficacy, self-concept of ability, learning goal, and attitude toward science) were investigated. The proportion of variance due to the variables for algorithmic and conceptual problem solving ability was studied by a multiple regression analysis. The results indicated that, among the cognitive variables, the logical thinking ability significantly predicted the algorithmic problem solving ability, and the learning strategy was the best predictor of conceptual problem solving ability although not significant. Among the affective variables studied, the self-concept of alility was the significant predictor of both algorithmic and conceptual problem solving abilities. The seif-efficacy was significantly correlated with conceptual problem solving ability, but it had no predictive power.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.9
• /
• pp.2294-2304
• /
• 1999

Our research purpose in this paper is to improve the performance of query processing in GIS(Geographic Information System) by enhancing the I/O performance exploiting parallel I/O and efficient disk access. By packing adjacent spatial data, which are very likely to be referenced concurrently, into one block or continuous disk blocks, the number of disk accesses and the disk access overhead for query processing can be decreased, and this eventually leads to the I/O time decrease. So, in this paper, we proposes EPR(Enhanced Parallel R-tree) indexing method which integrates the parallel I/O method of the previous Parallel R-tree method and a packing-based clustering method. The major characteristics of EPR method are as follows. First, EPR method arranges spatial data in the increasing order of proximity by using Hilbert space filling curve, and builds a packed R-tree by bottom-up manner. Second, with packing-based clustering in which arranged spatial data are clustered into continuous disk blocks, EPR method generates spatial data clusters. Third, EPR method distributes EPR index nodes and spatial data clusters on multiple disks through round-robin striping. Experimental results show that EPR method achieves up to 30% or more gains over PR method in query processing speed. In particular, the larger the size of disk blocks is and the smaller the size of spatial data objects is, the better the performance of query processing by EPR method is.