• 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 the Korean Society of Safety
• /
• v.6 no.4
• /
• pp.21-27
• /
• 1991

Acoustic Emission was monitored during tensile test and loading-holding-unloa-ding cycle test for two types (notched and unnotched) of CFRP specimens. AE activities showed that the fiber breakage during tensile tests depended upon the specimen geometry. We obtained new AE parameter such as the ration (damage ratio= AE events during unloading test / AE events during loading test) and the felicity ratio from which we investigated dynamic fracture process of CFRP specimens. The damage ratio of AE events was shown to be a good indicator to distinguish the generated fracture mechanism, such as fiber breakage and delamination. Also, ultrasonic testing results after loading-holding-unloading cycle test were good agreement with AE test results to detect defects or fiber breakage.

• 한국전산유체공학회:학술대회논문집
• /
• 2008.03b
• /
• pp.280-283
• /
• 2008

This study is concerned with development of air supply system in 250kW MCFC fuel cell system. The turbo blower is decided as an air supply system to increase the efficiency of fuel cell system. The turbo blower consists of an impeller, two vaneless diffuser, a vaned diffuser and a volute. The cascade diffuser is used to raise the efficiency of turbo blower. An aerodynamic design was done by applying the repeating design procedure including a meanline design, a 3D geometry generation and fluid dynamic calculation. It is confirmed from meanline and 3D flow analysis results that the operating range is enough and design requirements are successfully achieved. The performance test results were also included in this paper.

• Journal of Mechanical Science and Technology
• /
• v.19 no.spc1
• /
• pp.411-421
• /
• 2005

The development and implementation of an appropriate methodology for the accurate geometric description of track models is proposed in the framework of multibody dynamics and it includes the representation of the track spatial geometry and its irregularities. The wheel and rail surfaces are parameterized to represent any wheel and rail profiles obtained from direct measurements or design requirements. A fully generic methodology to determine, online during the dynamic simulation, the coordinates of the contact points, even when the most general three dimensional motion of the wheelset with respect to the rails is proposed. This methodology is applied to study specific issues in railway dynamics such as the flange contact problem and lead and lag contact configurations. A formulation for the description of the normal contact forces, which result from the wheel-rail interaction, is also presented. The tangential creep forces and moments that develop in the wheel-rail contact area are evaluated using : Kalker linear theory ; Heuristic force method ; Polach formulation. The methodology is implemented in a general multibody code. The discussion is supported through the application of the methodology to the railway vehicle ML95, used by the Lisbon metro company.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.2
• /
• pp.281-289
• /
• 1992

In an attempt to simulate the flows in the computer hard disk storage system, flow visualization and quantification by image processing technique were applied. Model geometry was constructed while the dynamic similitude was maintained. Circumferential velocities were mapped out in the transient spin-up phase. During the spin-up phase, fluid close to the rotating inner hub approached the solid body rotation, while the fluid in the outer region showed the velocity deficit compared to the rotating speed of the disks. Effects of presence of read/write head arm assembly between the gap were studied by changing the location of the head. The experimental results could serve as a benchmark for the alidation of numerical codes.

• Journal of Electrical Engineering and Technology
• /
• v.9 no.1
• /
• pp.136-142
• /
• 2014

A major problem in Switched Reluctance Motor (SRM) is torque ripple, which causes undesirable acoustic noise and vibration. This work focuses on reducing the undesirable torque ripple in SRM by modifying stator and rotor geometry. This paper presents a comparative study on torque ripple minimization in SRM with modified pole shapes such as stator pole taper, stator pole face with non-uniform air gap and pole shoe attached to rotor pole. Further this paper presents a detailed sensitivity analysis of the effect of different geometrical parameters that alter the pole face shapes on the performance of SRM. The analysis is performed using finite-element method considering average torque and torque ripple as performance parameters. Based on the analysis, a design combining stator pole taper with non-uniform air gap is proposed to improve the torque characteristics of SRM. The dynamic characteristics of the proposed design are simulated and the results show satisfactory reduction in torque ripple.

• Proceedings of the KSRS Conference
• /
• 2007.10a
• /
• pp.390-393
• /
• 2007

KOMPSAT-2, the first Korean high resolution earth observing satellite, continuously acquires high resolution images since July 2006. The quality of satellite images should be geometrically and radiometrically ensured before distribution to users. This study focused on absolute radiometric calibration which is a prerequisite procedure to ensure the radiometric quality of optical satellite images. In this study, we performed reflectance-based vicarious calibration methods on several uniform targets collected through several field campaigns in 2007. The radiative transfer model, MODTRAN, was used to estimate the amount of energy received at the sensor. The energy reached at the sensor are affected by several factors such as reflectance of targets, atmospheric condition, geometry condition between Sun and the sensor, etc. This study proposes the absolute radiometric calibration coefficients of KOMPSAT-2 MSC images combining several types of collected data through field works and tried to compare dynamic range of sensor-detected energy with other commercial high resolution sensors.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2011.10a
• /
• pp.764-765
• /
• 2011

In this paper, rotordynamic analyses of the Campbell diagram, critical speeds, and harmonic responses for a TMP rotor system are performed. Since the finite element model of the TMP rotor system has a very large number of degrees of freedom because of its complex geometry, and dynamic analyses for investigating the critical speeds, stability, and harmonic response are repeated for various design parameters, model order reduction (MOR) is necessary to reduce the computational cost. The Krylov-based model order reduction via moment matching significantly speeds up the rotordynamic analyses for the TMP rotor system.

• Tribology and Lubricants
• /
• v.18 no.5
• /
• pp.364-370
• /
• 2002

In this paper, numerical analyses were undertaken to calculate the static and dynamic performances of step-pocket, inward pumping spiral grooved, outward pumping spiral grooved and herringbone grooved bearings. For each bearing, optimal values for various design parameters were obtained to maximize the load capacity and the stiffness and bearing performances were calculated. The optimized performances of these bearings were compared to conclude that the performance of step-pocket bearing is better than the other bearings.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.17 no.1 s.118
• /
• pp.10-16
• /
• 2007

In this paper, the dynamic stability of a cracked simply supported pipe conveying fluid is investigated. In addition, an analysis of the flutter and buckling instability of a cracked pipe conveying fluid due to the coupled mode(modes combined) is presented. Based on the Euler-Bernouli beam theory, the equation of motion can be constructed by using the Galerkin method. The crack section is represented by a local flexibility matrix connecting two undamaged pipe segments. The stiffness of the spring depends on the crack severity and the geometry of the cracked section. The crack is assumed to be in the first mode of fracture and to be always opened during the vibrations. This results of study will contribute to the safety test and a stability estimation of the structures of a cracked pipe conveying fluid.