• Journal of Educational Research in Mathematics
• /
• v.21 no.2
• /
• pp.135-148
• /
• 2011

Middle school mathematics treats axiom as mere fact verified by experiment or observation and doesn't mention it axiom. But axiom is very important to understand the difference between empirical verification and mathematical proof, intuitive geometry and deductive geometry, proof and nonproof. This study analysed textbooks and surveyed gifted students' conception of axiom. The results showed the problem and limitation of middle school mathematics on the treatment of axiom and proof.

• The Mathematical Education
• /
• v.49 no.1
• /
• pp.53-65
• /
• 2010

The congruent conditions of triangles' plays an important role to connect intuitive geometry with deductive geometry in school mathematics. It is induced by 'three determining conditions of triangles' which is justified by classical geometric construction. In this paper, we analyze the essential meaning and geometric position of 'congruent conditions of triangles in Euclidean Geometry and investigate introducing processes for them in the Elements of Euclid, Hilbert congruent axioms, Russian textbook and Korean textbook, respectively. Also, we give justifications of construction methods for triangle having three segments with fixed lengths and angle equivalent to given angle suggested in Korean textbooks, are discussed, which can be directly applicable to teaching geometric construction meaningfully.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.11b
• /
• pp.646-651
• /
• 2002

The flow field around a symmetrical airfoil in a uniform flow under the generation of noise was studied by experiments and numerical simulation. The experiments are conducted by visualizing the surface flow over the airfoil with a shear-sensitive liquid-crystal coating and by measuring the instantaneous velocity field around the trailing edge of the airfoil. The results indicate that the discrete frequency noise is generated when the separated laminar flow reattaches near the trailing edge of the pressure side and the turbulent boundary layer is formed over the suction side of the airfoil near the trailing edge. The periodic behavior of vortex formation was observed around the trailing edge and it persists further downstream in the wake. The frequency of the vortex formation in the wake was consistent with that of the discrete frequency noise.

• Journal for History of Mathematics
• /
• v.26 no.4
• /
• pp.219-232
• /
• 2013

Japanese mathematics, namely Wasan, was well-developed before the Meiji period. Seki Takakazu (1642?-1708) is the most famous one. Taking Seki's interpolation as an example, the similarities and differences are made between Wasan and Chinese mathematics. According to investigating the sources and attitudes to this problem which both Japanese and Chinese mathematicians dealt with, the paper tries to show how and why Japanese mathematicians accepted Chinese tradition and beyond. Professor Wu Wentsun says that, in the whole history of mathematics, there exist two different major trends which occupy the main stream alternately. The axiomatic deductive system of logic is the one which we are familiar with. Another, he believes, goes to the mechanical algorithm system of program. The latter featured traditional Chinese mathematics, as well as Wasan. As a typical sample of the succession of Chinese tradition, Wasan will help people to understand the real meaning of the mechanical algorithm system of program deeper.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.30 no.12
• /
• pp.26-34
• /
• 2012

지금까지 간략히 살펴본 것처럼 심리학에서 연역추리를 연구하는 이론과 가정이 변화하고 있는데, 크게 네 가지 흐름으로 요약할 수 있다[2,6,7]. 가장 큰 변화는 연역 추리와 귀납 추리의 구분이 점차로 흐려지고 있다는 것이다. 두 번째 변화는 연역 추리를 이해하는 관점이 달라지고 있다는 점이다. 심리학에서 연역추리를 본격적으로 다루기 시작한 1960년대에는 사람들이 논리적인 사고를 하느냐에 관심이 모아졌다. 그러다 1980년대와 1990년대에는 연역추리를 하는 기제에 관한 심성 논리 이론과 심성 모형 이론 간의 논쟁이 치열하게 전개되면서 내용효과와 같은 실용적 요인들에 대한 연구도 많이 수행되었다. 그리고 1990년대 들어서면서 연역추리를 정보 획득의 관점에서 접근하는 확률적 접근, 연역 추리 과정을 heuristic 처리 단계와 분석적 처리 단계로 나누어 접근하는 이중 과정 이론이 등장하면서 기본적인 이론틀의 변화도 일어나고 있다. 세 번째 변화는 연역 추리를 문제 해결이나 의사결정과 같은 다른 인지 처리와 연결하려는 시도들이 진행되고 있다는 점이다. 마지막으로 심리학의 다른 분야에서와 마찬가지로 연역 추리에 관여하는 뇌 부위를 알아보는 뇌 영상 연구들이 점차 증가하고 있다. 이런 연구들의 결과로 연역 추리 과정에 대한 다차원적인 이해가 증진되고 다른 인지과정과도 연동되는 종합적 이해가 가능해질 것으로 예상한다.

• Journal of the Korean housing association
• /
• v.10 no.4
• /
• pp.161-174
• /
• 1999

This study tried to search for solutions of present problems in architecture through interdisciplinary study which includes biology, literature, aesthetics, and psychology, and set up two models composed of the nature and the human perception which contemporary architecture has problems on. By nature-oriented approach through biology and romanticist literature, the five types of organic principles which could be obtained from structure and order in natural system and by human perception-oriented approach through aesthetic theory of Harold Osborne and perceptual and cognitive psychology the structure and order of perceptual arousal, perceptual balance, and perceptual order in human cognition based on perceptual appropriateness could be found. The unified and organic framework of architectural composition must be considered through a deductive and inductive study as this study was approached. The results of the present study can be applied to construct human-oriented design principles and factors in architectural space and form, and better environmental quality.

• Journal of Korean Elementary Science Education
• /
• v.17 no.1
• /
• pp.47-60
• /
• 1998

The purpose of this study was to analyze the problem solving strategies of elementary school students and to find out correlations between the functional mental capacity, the perseveration error and the Creature Card Task solving ability. To study this purpose, four categories were selected through pilot test. The sample consisted of 231, the 4th grade students and the 5th grade students in Inchon, Korea and selected 32 students among them. Three instruments were used in this study, Creature Card Task, FIT(Figural Intersection Test) and WCST(Wisconsin Card Sorting Test). Researcher interviewed 32 students about Creature Card Task solving strategies and tests with FIT, WCST. Major findings of the study are as follows: 1. Creature Card Task solving strategies of the selected 4th & 5th grade students were different. Some students solved problems during individual interviews. 2. Creature Card Task solving abilities were significantly correlated with the functional mental capacity and the perseveration error.

• Journal of Educational Research in Mathematics
• /
• v.11 no.2
• /
• pp.385-402
• /
• 2001

The purpose of this study is to conceptualize 'proof' school mathematics. We based on the assumption the following. (a) There are several different roles of 'proof' : verification, explanation, systematization, discovery, communication (b) Accepted criteria for the validity and rigor of a mathematical 'proof' is decided by negotiation of school mathematics community. (c) There are dynamic relations between mathematical proof and empirical theory. We need to rethink the nature of mathematical proof and give appropriate consideration to the different types of proof related to the cognitive development of the notion of proof. 'proof' in school mathematics should be conceptualized in the broader, psychological sense of justification rather than in the narrow sense of deductive, formal proof 'proof' has not been taught in elementary mathematics, traditionally, Most students have had little exposure to the ideas of proof before the geometry. However, 'proof' cannot simply be taught in a single unit. Rather, proof must be a consistent part of students' mathematical experience in all grades, in all mathematics.

• Journal of Korea Multimedia Society
• /
• v.21 no.9
• /
• pp.1099-1109
• /
• 2018

Most of the automotive electronic systems are equipped with control software. ISO 26262 standard has been published to prevent unreasonable risk due to E/E system malfunction. And many automotive companies apply ISO 26262 for safe series product. In ISO 26262 standard, the product quality improves through deductive and inductive safety analysis in all processes including system and software development phase. However, there are few studies on software safety analysis than systems. In the paper, we study the software FMEA(Failure Mode Effect Analysis) technique for product quality of vehicular embedded software. And we propose an effective guideline of software FMEA as EPB industrial practice.

• The Mathematical Education
• /
• v.50 no.4
• /
• pp.429-440
• /
• 2011

This paper analysed gifted middle students' conception of the definitions of point and line and the uses of definitions in proving. The findings of this paper suggest that the concept of mathematical definitions is very unnatural to students, therefore teachers and textbooks need to explain explicitly the characteristics of mathematical definitions which are different from dictionary definitions using common sense. Also introducing undefined terms in middle school geometry would give students a critical chance to deal with the transition from dictionary definitions to mathematical definitions.