• Journal of Educational Research in Mathematics
• /
• v.18 no.4
• /
• pp.455-467
• /
• 2008

We need to reflect the establishment of meaning and level of 'proof and argumentation in middle school mathematics'. It should be considered as human activity through communication in community. Thus, we should design instruction from this standpoint. From this point of view, we had been operated 'Geometry Inquiry Class' aimed at middle school students in eighth grade for two years to improve current geometry class in middle school. In this study, we will observe how individual students' original proof schemes are developed and accepted to the class through the process of mutual negotiation between the teacher and students. The episode with four phases begins with the initial proof schemes students have offered. Through the negotiation of class participants, it gives birth to the proof scheme unique to the current geometry classroom. Why do we pay attention to the process? It is because we think that the value of this type of instruction lies in the process of communication and mutual understanding and mutual reference, not in the completeness of the final product. This is the very appropriate proof in the middle school mathematics classroom.

• The KSFM Journal of Fluid Machinery
• /
• v.6 no.1 s.18
• /
• pp.23-29
• /
• 2003

Three-dimensional flow through a tubular centrifugal fan with airfoil type blades is analyzed, and the effects of turbulence model and numerical scheme on the results are investigated. Standard $k-{\epsilon}$ model and k - w model are tested as turbulence closures. The numerical schemes for convection terms, i.e., Upwind Differencing Scheme (UDS), Mass Weighted Skewed upstream differencing scheme (MWS), Linear Profile Skewed upstream differencing scheme (LPS), and Modified Linear Profile Skewed upstream differencing scheme (MLPS) are also tested, and the performances of these schemes coupled with two turbulence models are evaluated. The static pressure distributions are compared with experimental data obtained in this work, which shows that the $k-{\epsilon}$ model gives better results than the k-w model.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.2
• /
• pp.467-474
• /
• 1993

Viscous flow and heat transfer phenomena in an axisymmetric cylinder which models a diesel engine have been numerically studied. In order to search for a way to minimize numerical diffusion, the effectiveness and the appropriateness of two selected numerical schemes for convective terms in the governing equations have been tested. They are Linear Upwind Difference Scheme and Hybrid Scheme. Using a standard k-.epsilon. turbulence model, the calculation has been carried out basically up to 180.deg. of crank angle. As a result, it was shown from comparison with previous experimental data that Linear Upwind Difference Scheme is less influenced than Hybrid Scheme by the numerical diffusion and it was suggested that these effects of numerical diffusion can be more significant than those due to turbulence modeling.

• Journal of computational fluids engineering
• /
• v.11 no.1 s.32
• /
• pp.36-42
• /
• 2006

The existing numerical approximations of convection flux, especially the spatial higher-order difference schemes, in unstructured cell-centered finite volume methods are examined in detail with each other and evaluated with respect to the accuracy through their application to a 2-D benchmark problem. Six higher-order schemes are examined, which include two second-order upwind schemes, two central difference schemes and two hybrid schemes. It is found that the 2nd-order upwind scheme by Mathur and Murthy(1997) and the central difference scheme by Demirdzic and Muzaferija(1995) have more accurate prediction performance than the other higher-order schemes used in unstructured cell-centered finite volume methods.

• School Mathematics
• /
• v.12 no.3
• /
• pp.439-454
• /
• 2010

This study presents how two eighth grade students generated their own algorithms in the context of fraction measurement division situations by modifications of unit-segmenting schemes. Teaching experiment was adopted as a research methodology and part of data from a year-long teaching experiment were used for this report. The present study indicates that the two participating students' construction of reciprocal relationship between the referent whole [one] and the divisor by using their unit- segmenting schemes and its strategic use finally led the students to establish an algorithm for fraction measurement division problems, which was on par with the traditional invert-and-multi- ply algorithm for fraction division. The results of the study imply that teachers' instruction based on understanding student-generated algorithms needs to be accounted as one of the crucial characteristics of good mathematics teaching.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.3
• /
• pp.527-539
• /
• 1992

본 연구에서는 터빈익렬의 입구유동면에 주어지는 끝벽 경계층유동에 의하여 익렬 내의 유동에서 발생하는 여러 와류들에 의한 2차 유동과 이와 연관된 여러가지 3차원 점성유동 현상 그리고 이에 따른 유동손실을 보다 정확히 예측하기 위한 수치해 석적 연구를 수행하였으며, 이에 필요한 수치해석적 연구를 수행하였으며, 이에 필요 한 수치해석코드를 작성하였다.유동특성에 대하여 상세한 연구결과가 보고되어 있 는 UTRC(United Technologies Research Center) 평면 터빈익렬을 연구대상으로 채택하 여 익렬 내의 3차원 유동특성을 연구하고 계산한 결과를 기존의 결과와 비교 검토하였 다. 강한 2차유동이 존재하는 경우에 발생하는 수치확산을 감소시키기 위하여 대류 항에 대하여 2차 정확도(second-order accuracy)의 선형상류도식(linear upwind sche- me)을 사용하여 일반적으로 널리 사용되는 하이브리드도식(hybrid scheme)에 의한 해 석결과와 비교하였다. 터빈익렬 내의 난류 유동은 익렬의 회전과 유선의 만곡 등에 의한 영향으로 복잡한 유동현상을 나타내지만, 터빈익렬 내의 난류유동 특성에 대한 실험결과가 아직까지는 부족하고 또한 본 연구에서는 평균유동값의 정확한 해석에 중 점을 두었으므로 표준 k-.epsilon. 모델을 사용하였다.

• Journal of KIISE:Information Networking
• /
• v.35 no.4
• /
• pp.251-267
• /
• 2008

In this paper, we present a distributed topology control algorithm for constructing an optimized topology having a minimal search-time in unstructured peer-to-peer network. According to the proposed algorithm, each node selects the best nodes having higher hit-ratio than other nodes as many as the number being exponentially proportional to the hit-ratio of the node itself, and then it connects to them. The ensemble behavior of the proposed algorithm is very similar to the recrystrallizing phenomenon that is observed in nature. There is a partial order relationship among the hit-ratios of most nodes of constructed topology. Therefore once query message visits a node, it has a higher hit-ratio than the node that was visited last by the message. The query message even sent from freeloader can escape to the node having high hit-ratio by one hop forwarding, and it never revisits any freeloader again. Thus the search can be completed within a limited search time. We also propose the Chain-reactive search scheme using the constructed topology. Such a controlled multicasting reduces the query messages by 43 percent compared to that of the naive Gnutella using broadcasting, while it saves the search time by 94 percent. The search success rate of the proposed scheme is 99 percent.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.4 no.4
• /
• pp.59-69
• /
• 2000

A numerical analysis based on two-dimensional, incompressible and compressible Navier-Stokes equations was carried out for double circular arc compressor cascade and the results are compared with available experimental data. The incompressible code based on SIMPLE algorithm adopts pressure weighted method and hybrid scheme for the convective terms. The compressible code with preconditioning method involves a upwind-biased scheme for the convective terms and LU-SGS scheme for temporal integration. Several turbulence models are evaluated by computing the turbulent viscous flows; Baldwin-Lomax, standard $\kappa$ -$\varepsilon$, $\kappa$ -$\varepsilon$ Lam. Bremhorst, standard $\kappa$-$\omega$, $\kappa$ -$\omega$ SST model.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.21 no.7
• /
• pp.873-881
• /
• 1997

A numerical simulation has been carried out for three-dimensional turbulent flows around an Ahmed body. The Reynolds-averaged Navier-Stokes equation is solved with the SIMPLE method in general curvilinear coordinates system. Several k-.epsilon. turbulence models with two convective difference schemes are evaluated for the performance such as drag coefficient, velocity and pressure fields. The drag coefficient, the velocity and pressure fields are found to be changed considerably with the adopted k-.epsilon. turbulence models as well as the finite difference schemes. The results of simulation prove that the RNG k-.epsilon. model with the QUICK scheme predicts fairly well the tendency of velocity and pressure fields and gives more reliable drag coefficient. It is also demonstrated that the large difference between simulations and experiment in the drag coefficient is due to relatively high predicted values of pressure drag from vertical rear end base.

• School Mathematics
• /
• v.18 no.1
• /
• pp.85-103
• /
• 2016

This study was to find characteristics of argumentation derived from a discourse in a math-gifted 5 grade class, which was held for finding a Pick's formula using Geoboard function of TI-73 calculator. For the analysis, a video record of the class, transcript of its voice record, and activity paper were used as data and Toulmin's argument schemes were applied as analysis standard. As a result of the study, we found that the graphing calculator helped the students to create an experimental environment that graphing a grid-polygon and figuring out its area. Furthermore, it also provided a basic demonstration through 'data->claim' composition and reasoning activities which consisted of guarantee, warrant, backing, qualifier and refutal for justifying. The basic argumentation during the process of deriving the Pick's theorem by the numbers of boundary points and inner points was developed into a 'collective argumentation' while a teacher took a role of a conductor of the argumentation and an authorizer on the knowledge at the same time.