• Journal of the Korean Geotechnical Society
• /
• v.21 no.2
• /
• pp.145-150
• /
• 2005

It is useful to select an appropriate mathematical model to predict landslide. Through observation and analysis of real-time measured time series, a reasonable mathematic model is chosen to do prediction of landslide. Two theoretical models, such as polynomial function and growth model, are suggested for the description and analysis of measured defermation from an active landslides. These models are applied herein to describe the main characteristics of defermation process for two types of landslide, namely polynomial and growth models. The TRS (tensiof rotation and settlement) sensors are applied to adopt two models, and the data analysis of two field (Neurpjae and Buksil) resulted in good coincidence between measured data and models.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.9
• /
• pp.4197-4219
• /
• 2017

Cloud computing is a new service to provide dynamic, scalable virtual resource services via the Internet. Cloud market is available to multiple cloud computing resource providers and users communicate with each other and participate in market transactions. However, since cloud computing is facing with more and more security issues, how to complete the allocation process effectively and securely become a problem urgently to be solved. In this paper, we firstly analyze the cloud resource allocation problem and propose a mathematic model based on combinatorial double auction. Secondly, we introduce a trust evaluation mechanism into our model and combine genetic algorithm with simulated annealing algorithm to increase the efficiency and security of cloud service. Finally, by doing the overall simulation, we prove that our model is highly effective in the allocation of cloud resources.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.4
• /
• pp.481-486
• /
• 2004

The biped robot has the better mobility than the conventional wheeled robot. Since a biped robot tends to tip over easily, it is necessary to take stability into account when determining a walking pattern. To ensure the dynamic stability of the biped robot, we have to adapt the ground conditions with a foot motion and maintain motion, and ensure its stability through the kinematics and dynamics analysis. But its mathematic model is not too easy. In this paper, in order to ensure the dynamic stability of a biped robot, we design the fuzzy model and confirm the realization possibility of the proposed method through some simulations.

• Journal of international Conference on Electrical Machines and Systems
• /
• v.3 no.2
• /
• pp.169-175
• /
• 2014

This paper presents an improved direct power control (DPC) strategy for grid-connected voltage source inverter (VSI) under unbalanced and harmonic grid voltage conditions. Based on the mathematic model of VSI with the negative sequence, 5th and 7th harmonic voltage components consideration, a PI controller is used in the proposed DPC strategy to achieve the average output power regulation. Furthermore, vector PI controller with the resonant frequency tuned at the two times and six times grid fundamental frequency is adopted to regulate both negative and harmonic components, and then two alternative targets of the balanced/sinusoidal current and smooth active/reactive output power can be achieved. Finally, simulation results based on MATLAB validate the availability of the proposed DPC strategy.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2000.11a
• /
• pp.448-451
• /
• 2000

Fuzzy control has been researched for application of industrial processes which have no accurate mathematical model and could not controlled by conventional methods because of a lack of quantitative input-output data. Intelligent control approach based on fuzzy logic could directly reflex human thinking and natural language to controller comparing with conventional methods. In this paper, the tested system is constructed for sending a ball to the goal position using wind from two DC motors in the path. This system contains non-linearity and uncertainty because of the characteristic of aerodynamics inside the path. The system used in this experiment could be hardly modeled by mathematic methods and could not be easily controlled by linear control manners. The controller, in this paper could control the system containing non-linearity and uncertainty because it is designed based on the input-output data and experimental knowledge obtained by trials.

• Proceedings of the KIEE Conference
• /
• 2006.11a
• /
• pp.164-166
• /
• 2006

Wien Automatic System Planning Package (WASP) which is used to draw out generation expansion planning applies Dynamic Programming in Korea power system panning. While this package has an advantage that computes annual capacity, it has a disadvantage that can't consider environmental constraints. With the effectuation of the Kyoto Protocol in February, 2005, it is expected that CO2 emission has a severe effect on Korean power system. Therefore, as the most important issue, the generation expansion planning considering environmental constraints is rising in power system. This paper develops a mathematic model including not only generation expansion planning but transmission planning and considering regional supply-demand and environmental constraints, especially CO2 emission, and verifies propriety through the case study.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.33 no.1
• /
• pp.42-48
• /
• 2009

A design methodology for control strategy and control structure gives a direct impact on wind turbine's performance and life cycle. A baseline control law which is a variable rotor speed and variable pitch control strategy is introduced, and a mathematic performance model of a wind turbine dynamics is derived. By using a numeric optimization algorithm, the steady state operating conditions of wind turbines are identified. Because aerodynamic interaction of winds with rotor blades is basically nonlinear, a linearization procedure is applied to analyze wind turbine dynamic variations for whole operating conditions. It turns out the wind turbine dynamics vary much depending on its operating condition.

• School Mathematics
• /
• v.3 no.1
• /
• pp.45-74
• /
• 2001

In this paper, an analysis of survey questions relating to educational technology which was extracted from a more general survey of 1-12 mathematics teachers in Korea is reported. The general survey was conducted to provide a baseline for evaluating and developing recommendations for mathematics curriculum that is consistent with the knowledge based information society model of the future. The basic requirements for technology based education are availability of hardware and the ability of teachers to use technology for education. Therefore, the availability and use of technology by mathematics teachers in today’s curriculum was analyzed. The computer ability of teachers, the amount of computer use in the classroom, and the attitude of teachers about the use of technology for education was analyzed. The analysis is intended to provide a baseline of information for understanding and developing plans for better implementing technology for mathematic education.

• Proceedings of the KIPE Conference
• /
• 2002.07a
• /
• pp.563-566
• /
• 2002

This paper presents the modeling and analysis of wind turbine generating system(WTGS) using doubly fed induction machine as a generator Generally, wind turbine generating system is composed of complicated machinery. So it is very difficult to present the mathematic model. This means that WTGS has a nonlinear system. Using the real output data from the WTGS for one year, it is simply possible to express the rotor and gear coupling system as a torque generator according to wind speed. Also, the modeling of electrical system can be able to present using the data sheet from the company. To analyze the proposed method, computer simulation using Psim program are presented to support the discussion.

• School Mathematics
• /
• v.4 no.4
• /
• pp.539-554
• /
• 2002

Mathematics is constructed by many signs, and learning mathematics involves the understanding and uses of them. This study reflects mathematical signs and their meanings, and considers how they can be introduced in learning. For these, we first investigated epistemological positions as Piaget, Vygotsky, anthropology, and interactionism. And we investigated semiotic models that Saussure and Peirce built each. Among these we adopted Peirce' triadic model that is consisted of interpretant, object (referent), and represen tamen(sign). In mathematic learning process, representations are transformed by translations and meanings are growed to the representation of another sign. And the meaning of sign grows by learner's interpretation. In terms of theoretical grounds, we settled that the understanding of mathematical signs involved the understanding of their representations and their meanings. On the foundation of above contents, we searched how we introduced signs to students and there were methods that approached to students representationally or inquiringly.