• Journal of the Korean School Mathematics Society
• /
• v.15 no.4
• /
• pp.643-671
• /
• 2012

The purpose of this study was to examine How the exploratory activities using Excel and GSP which are exploratory software, in learning analytic geometry affected on the underachievers' analytic geometry concept development process. The subjects of 5 students who received the 8th~9th grades from their examination of the last semester, participated in a total of 7 units based on Skemp's intelligent learning model. The results of the study showed that there were two important cases found to nearly achieve the category $R_2$. One was reflective thinking could happen through exploratory software in category $R_1$. The other was the exploratory activities which could have the same effectiveness as the relational understanding in category $I_2$, as Skemp mentioned that there is a room to be achieved in the elementary level when such relational understanding is achieved.

• Journal of the Korean School Mathematics Society
• /
• v.17 no.2
• /
• pp.251-274
• /
• 2014

The purpose of this study is to analyze characteristics of PCK before class, investigate how these characteristics are enacted in classrooms when beginning and experienced teachers teach mathematical functions, and provide pedagogical implications. Two beginning teachers and two experienced teachers participated in the study. In order to analyze characteristics of PCK before class, interviews and survey research were conducted. An investigation of classroom discourse was used to examine how the PCK characteristics appear in classrooms. Results show that experiences teachers enacted their PCK about learner, curriculum, teaching methods, and teaching environment in classrooms, whereas beginning teachers could not show their PCK. These results suggest practical implications for the developments of teacher education curriculum and teacher training program.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.34 no.3
• /
• pp.219-228
• /
• 2010

A two-dimensional mathematical model was developed to predict the temperature and moisture-content profiles of a tumble dryer during infrared drying. The model is based on the movements of liquid water and moisture in the object and on the fluid and heat transfer in the drying air. The model was solved by the finite volume analysis for the fluid, temperature, and radiation intensity fields. After deriving the governing equations and developing the two-dimensional tumble dryer models, numerical investigations were carried out to examine the effects of various parameters such as the heater temperature and the heating patterns on the drying mechanism of the tumble dryer. All the results show that the drying time can be reduced by using the IR heater.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.19 no.3
• /
• pp.245-252
• /
• 2007

The important problems from the point of view of preventing global warming are to save the power consumption of automotive air-conditioning systems and reduce the refrigerant amount filled. To achieve such requirements, integral receiver/dryer (R/D) condensers were developed recently. Typical integral R/D condensers have extra headers that play the role of R/D. Except an extra header and somewhat complex tube array resulting from the extra header, the most integral R/D condensers have almost the same specification that tube has multi channels, fin has louvers, flow in tube is parallel, etc. When integral condensers are applied, it is known that the refrigerating effect increases, resulting from the increase of subcooling degree in condenser, and the refrigerant amount used saves. In spite of several merits, integral condensers have not been applied a lot. That is why there is an uncertainty in performance, using integral condensers. The objective of this study is to theoretically optimize the tube array in an integral R/D condenser that is really being applied to some vehicles. The tube array has a great effect on the performance of the integral condenser as well as common ones. Through computer simulation, we could see that the tube array, 14-6-3-5-3-4, in the same condenser was the best, comparing heat release rate, pressure drop, etc. to the real array, 17-5-3-3-2-5. It should be noted that the optimization is based on the condenser performance only.

• Journal of the Korea Society for Simulation
• /
• v.22 no.1
• /
• pp.21-30
• /
• 2013

A hybrid system is a combination of sub systems which have different types of state and time: a typical example is a combination of discrete event and continuous systems. A HDEVS(Hybrid DEVS) formalism was proposed for modeling and analyzing a hybrid system. The HDEVS formalism allows modelers to construct a hierarchical and modular model based on the mathematical set theory. Because the HDEVS formalism was applied to the distributed and interoperated simulators, modelers should make several heterogenous models dividing a target system. Hence, this paper proposes an extended hybrid coupled model of HDEVS formalism and an integrated hybrid modeling methodology in contrast to the existing simulation framework on interoperable simulators. By applying the proposed modeling method, a target system can be translated to a hybrid model in a similar form as the target system. This paper also contains a simulation engine design for the proposed modeling methodlogy and a case study which simulates water tank control systems.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.5
• /
• pp.139-144
• /
• 2007

The mobile terminal's frequent changes to the access point introduce significant network overhead in mobile IP networks. To solve this problem, we introduce a hierarchical structure with consideration given to the dynamic value of neighbor scope in IP regional registration[1]. When a mobile terminal moves within the neighbor given by the scope value, it makes registration locally without registration with its home agent. We analyze the algorithm mathematically and show the numerical results. As a result, optimization of the scope value for the localized registration under the hierarchical structure makes the proposed scheme outperform the standard mobile IP protocol[2]. This can be explained from the fact that there is only local registration for terminal's movement within the scope region. Moreover, as the signaling cost for home agent increases, the proposed scheme becomes more advantageous.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.2
• /
• pp.31-39
• /
• 2013

In this paper, we propose a power-efficient scheduling scheme that stochastically minimizes the power consumption of a real-time parallel task while meeting the deadline on multicore processors. The proposed scheme applies the parallel processing that executes a task on multiple cores concurrently, and activates a part of all available cores with unused cores powered off, in order to save power consumption. It is proved that the proposed scheme minimizes the mean power consumption of a real-time parallel task with probabilistic computation amount on DVFS-enabled multicore processors with a finite set of discrete clock frequencies. Evaluation shows that the proposed scheme saves up to 81% power consumption of the previous method.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.8 no.4
• /
• pp.67-75
• /
• 2004

It is essential to develop a transient analysis model for the turbopump-fed type liquid rocket engine development, especially for deriving the number of test and its parameters. In this study we proposed a mathematical model of turbopump-fed type liquid rocket engine, and inspected transient mode changes of a rocket engine according to variations of thrust control valve opening ratio. To verify the results, we solved the same problem with AnaSyn software from Russia, and concluded that the results of transient code we developed deviated within 2% from AnaSyn results. Also, using the transient engine analysis code we showed the possibility to find out the system level design Parameters of the components. For example, we modeled a pressure stabilizer which is used to control the consistency of mixture ratio in the gas generator as forced damping system, and found the stability range of the natural frequency and the damping ratio with the transient engine system analysis code.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.11 no.5
• /
• pp.60-71
• /
• 2007

The startup characteristic of liquid propellant rocket engine should be focused on the stable ignition of combustion chamber and gas generator. Also, to lessen the propellants consumption during this period which doesn't contribute to the flight thrust, the engine has to be transferred to the nominal mode quickly. Because of the risk of test, it is impossible to develop all the startup cyclogram or the specifications of engine by test, so the precedent numerical approach is quite necessary. In this study we developed a mathematical model for the startup phenomena in a liquid rocket engine driven by gas generator-turbopump system based on the commercial 1-D flow system analysis program, Flowmaster. Using this program we proposed a methodology to obtain the specifications of turbine starter and the opening time of shutoff valves for the stable startup of the engine. To verify this methodology we qualitatively compared the analysis results to the typical startup curve of the published engine, then found it is quite well matched.

• Journal of the Korean Society for Railway
• /
• v.14 no.4
• /
• pp.320-326
• /
• 2011

This paper proposes a baseline-free SHM technique in which the time-reversal process of Lamb waves and the imaging method are used. The proposed SHM technique has three distinct features when compared with the authors' previously proposed one: (1) It use the reconstructed signal for damage diagnosis, without need to extract the damage signal as the difference between reconstructed signal and initial input signal; (2) It use the imaging method based on the time-offlight information from the reconstructed signal, instead of using a pattern comparison method; (3) In order to make the damage image more clear, the modified mathematical definition of damage image in a pixel is used. The proposed SHM technique is evaluated through the damage detection experiment for an aluminum plate with damage at different locations.