• Journal of the Korean Society for Precision Engineering
• /
• v.21 no.6
• /
• pp.84-93
• /
• 2004

This study carries out the performance improvement and simplification of hydraulic modulator that plays an important role in vehicle stability control systems. The mathematical models for each component of a modulator, such as pump, wheel cylinder, check and solenoid valve, accumulator, damper are derived in detail. All the mathematical models are combined to form a modulator system and implemented through a computer program, which can be controlled by a user friendly GUI. To verity the simulation, comparison between simulation and experiments has been made. After the verification of the validity of the simulation, the effects of the design parameters of the modulator on the wheel cylinder pressure is investigated. The results show that the modulator without MPA has advantage in early time pressure rise rate, and it can be simplified.

• Journal of Educational Research in Mathematics
• /
• v.27 no.3
• /
• pp.491-510
• /
• 2017

This study analyzes on conjecturing tasks in elementary mathematics textbook. We adopted Peircean semiotic perspective and variation theory to analyze conjecturing tasks in elementary mathematics textbook. We specifically analyzed mathematical tasks designed to support students' inquiries into definitions and properties of quardrilaterals. As a result, we found that conjecturing tasks in textbooks do not focus on supporting students' diagrammatic reasoning and inductive verification on provisional abductions. These tasks were mainly designed to support students' conjecturing on commonalities of mathematical objects rather than differences between objects.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.23 no.8
• /
• pp.681-689
• /
• 2013

The commercial tools to simulate the non-linear dynamic characteristics of wind turbine system are various but, the tool take much time to simulate the control algorithm and require many input variables. In this paper, the procedures to derive the simplified 4-degree-of-freedom mathematical model of a 2-MW wind turbine which could be used at the initial design stage of the controller are proposed based on RISO's suggested method. In this model, the 1st tower fore-after bending motion and 1st blade flapping motion are also considered in addition to the rotor-generator rotation motion in the 2-DOF model. The effectiveness of the 4-DOF model is examined comparing with the 2-DOF model and verification of the simplified model is accomplished through modal analysis for whole wind turbine system.

• Journal of Gifted/Talented Education
• /
• v.16 no.1
• /
• pp.81-100
• /
• 2006

In this paper, it conducted the following works to develop the selective test for the gifted of information science in elementary schools. First, it presented the discrete mathematical thinking as an essential competence of elementary information science gifted, through theoretical research with many expert's studies, in order to investigate the definition and characteristics of information science gifted. Second, it developed a test to measure the discrete mathematical thinking, according to the results of analysis of discrete mathematical elements, appeared in the 7th national mathematics curriculum, in order to extract the characteristics of selective test for elementary information science gifted. Third, regarding the verification of items in a newly developed test, it adjusted the difficulty and discrimination by conducting 2 sessions of preliminary test, and then finally confirmed that the standards of items in the test, by testifying sufficient level of validity after the application to a main experiment.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.10
• /
• pp.872-881
• /
• 2012

The Flight Model (FM) of a high-resolution electro-optical camera (EOS-C Ver.3.0), the mission payload of an Earth observation satellite, was successfully developed by Satrec Initiative. We designed it to give improved thermal representatives compared with the Structural-Thermal Model (STM) by optimizing the thermal characteristics based on the STM thermal vacuum test results. We developed the FM and verified the workmanship by performing the acceptance level thermal vacuum test. We also conducted the verification of its Thermal Mathematical Model (TMM) by the thermal balance test. As the result, it was confirmed that TMM faithfully represents the thermal characteristics of the EOS-C Ver.3.0 FM.

• Journal of Mechanical Science and Technology
• /
• v.17 no.9
• /
• pp.1349-1357
• /
• 2003

This paper deals with verification of the theoretical model for dynamic behavior of Pipeline Inspection Gauge (PIG) traveling through high pressure natural gas pipeline. The dynamic behavior of the PIG depends on the differential pressure across its body. This differential pressure is generated by injected gas flow behind the tail of the PIG and expelled gas flow in front of its nose. To analyze the dynamic behavior characteristics such as gas flow in pipeline, and the PIG position and velocity, not only the mathematical models are derived, but also the theoretical models must be certified by actual pigging experiment. But there is not any found results of research on the experimental certification for dynamic behavior of the PIG. The reason is why the fabrication of the PIG as well as, a field application are very difficult. In this research, the effectiveness of the introduced solution using the method of characteristics (MOC) was certified through field application. In-line inspection tool, 30" geometry PIG, was fabricated and actual pigging was carried out at the pipeline segment in Korea Gas Corporation (KOGAS) high pressure system, Incheon LT (LNG Terminal) -Namdong GS (Governor Station) line. Pigging is fulfilled successfully. Comparison of simulation results with experimental results show that the derived mathematical models and the proposed computational schemes are effective for predicting the position and velocity of the PIG with a given operational conditions of pipeline.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.38 no.12
• /
• pp.1232-1239
• /
• 2010

A high-resolution electro-optical camera (EOS-C Ver.3.0), the mission payload of an Earth observation satellite, is under development in Satrec Initiative. We designed this system to give improved thermal performance compared with the EOS-C Ver.2.0 which is the main payload of DubaiSat-1 by optimizing the active and passive thermal control design. We developed the Structural-Thermal Model (STM) and verified the design margin by performing the qualification level thermal vacuum test. We also conducted the verification of its Thermal Mathematical Model (TMM) through the thermal balance test. As a result, it was confirmed that TMM faithfully represents the thermal characteristics of the EOS-C Ver.3.0.

• The Mathematical Education
• /
• v.56 no.4
• /
• pp.407-434
• /
• 2017

The purpose of this study is to develop and verify the TPACK measurement tool for middle and high school mathematics teachers in the Korean context. Also, by clarifying the relationship between subordinate factors of Mathematics teachers' TPACK, an attempt was made to provide suggestions on the designs and directions for the in-service and pre-service teacher education and the programs for improving mathematics teachers' TPACK in the future. In order to achieve this goal, TPACK factors of mathematics teachers were extracted by reviewing literature on PCK, MKT, and TPACK. Then, content validity, basic statistical survey, reliability verification, exploratory factor analysis, confirmatory factor analysis, and structural equation model verification were conducted sequentially. At first, preliminary analysis was carried out on 79 mathematics teachers, and 76 items excluding the items with extreme value and reliability were included in the basic statistical analysis. And secondly, an exploratory factor analysis was conducted on 376 mathematics teachers, and this instrument consisted of 7 subordinate factors(CK, PK, TK, PCK, TCK, TPK, TPACK) and 61 items. Also by conducting confirmatory factor analysis and structural equation model test with 254 mathematics teachers, the measurement tool was confirmed the validity and reliability through statistically significant analysis. Then, the importance of integrated knowledge was confirmed by looking at the relationship between the TPACK factors of in-service mathematics teachers. The integrated knowledge(PCK, TCK, TPK) has played a crucial role in the formation of TPACK rather than the knowledge of CK, PK, and TK alone. Finally, the validity of TCK was confirmed through the structural equation modeling of TPACK. TCK not only directly affected TPACK, but also indirectly through TPK. According to these affirmative results, this measurement tool is claimed to be suitable for measuring the factors of Mathematics teachers' TPACK, and also the structural equation model can be regarded as a suitable model for analyzing the structural relationship of mathematics teachers' TPACK.

• Journal of Korean Society of Transportation
• /
• v.28 no.6
• /
• pp.109-120
• /
• 2010

This study aims to develop mathematical models for estimating saturation flow rates at the stop line of signalized intersection due to Workzones in the vicinity, since the saturation flow rate is the most critical parameter in capacity analysis for signalized intersections. It was found by reference review that saturation flow rates are sensitively influenced by the location of Workzone, the number of lanes, cycle length and effective green time. Extensive microscopic simulation runs were also performed and compared to the those of mathematical models for model verification. Mathematical models were developed based on traffic flow theory and dualizing them by the location of workzones. And then each result produced by changing important parameter values was carefully examined and analyzed. Small but consistent differences in saturation flow rate values between mathematical models and simulations exist. However, the pattern of changes in saturation flow rates depending on each variable was similar.

• The Mathematical Education
• /
• v.50 no.2
• /
• pp.247-261
• /
• 2011

In this study, the researchers developed an inventory which can measure the affective achievement in mathematical learning especially targeted to Korean students. By using EFA and CFA, the six affective factors of mathematical learning such as learning directivity, self control, anxiety, interest, cognizing value and confidence are distinguished. Also, the content validity of this inventory was examined by the experts groups, composed of mathematics education professors, high school mathematics teachers, and measurement experts. The reliability of the instrument was high enough to trust the results. Through a large scaled sampling, the reliability and validity of this inventory were verified. In addition, this inventory was developed not by a partial aspects of a certain theory but based on the recent theories. Due to these reasons, the results of this study can be respected that it plays a leading part in understanding the affective achievement of Korean students.