• Journal for History of Mathematics
• /
• v.20 no.4
• /
• pp.23-48
• /
• 2007

This study begins from posing a problem, 'formal introduction of mathematical induction in school mathematics'. Most students may learn the mathematical induction at the level of instrumental understanding without meaningful understanding about its meaning and structure. To improve this didactical situation, we research on the historical progress of mathematical induction from implicit use in greek mathematics to formalization by Pascal and Fermat. And we identify various types of thinking included in the developmental process: recursion, regression, analytic thinking, synthetic thinking. In special, we focused on the role of regression in mathematical induction, and then from that role we induce the implications for teaching mathematical induction in school mathematics.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.6
• /
• pp.1399-1408
• /
• 2013

This paper proposes a new $H_{\infty}$ T-S fuzzy controller with a novel integral control for induction motors which have nonlinear dynamics. The $H_{\infty}$ T-S fuzzy controller is used for the nonlinearity and robustness and weighted integral is used for tracking problem and control performance. A T-S Fuzzy controller is the fuzzy combination of local linear controllers considering the overall stability, and LMI(Linear Matrix Inequlity) is used for determining the gains of linear controllers. The tracking problem of an induction motor is changed into regulator problem by introducing the integral control technique with weighting factor, diminishing the conservatism of $H_{\infty}$ T-S fuzzy controller.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2001.11a
• /
• pp.65-68
• /
• 2001

In the vector control methods of induction motor, the stator current is divided into the flux and torque component current. By controlling these components respectively, the methods control independently flux and torque as in the DC motor and improve the control effects. To apply the vector control methods, the position of the rotor current is identified. The indirect vector control use the parameters of the machine to identify the position of rotor flux. But due to the temperature rise during machine operation, the variation of rotor resistance degrades the vector control. To solve the problem, the q-axis is aligned to reference frame without phase difference by comparing the real flux component with the reference flux component. Then to compensate the slip, PI controller is used. The proposed method keeps a constant slip by compensating the gain of direct slip frequency when the rotor resistance of induction motor varies. To prove the validations of the proposed algorithm in the paper, computer simulations is executed.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.18 no.6
• /
• pp.540-546
• /
• 2013

The induction motor is used for driving the special equipments such as warship and submarine pump due to robust structure and simple maintenance. Domestic and foreign warships use a wide range of voltages and the DC voltage sources mainly from battery. In the low voltage level, the ${\Delta}$-connection operation of induction motor can be used for the maximum power. However, the temperature of the inverter increases because of the high input current. On the other hand, Y-connection operation of the induction motor does not cause a problem of temperature because of the low input current compared to the ${\Delta}$-connection. But the lack of the supply voltage can not be avoided. Therefore, this paper suggests the algorithm of the optimum field weakening control to extend the operating range of the induction motor with maximum power in a limited thermal and DC voltage condition.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.53 no.3
• /
• pp.103-109
• /
• 2004

This paper has presented, taking an example of a gas separation plant, dynamic analysis on frequency decline caused by the over-loading at the generator and the knee point causing voltage instability due to reactive power required by re-acceleration of large induction motors, resulting in phenomena of failure in the conventional frequency load shedding. In order to resolve the voltage instability problem, a design of load shedding system employing under-voltage relays has been proposed to the industrial power system containing large induction motors in addition to the conventional load shedding employing frequency relays. For the purpose of dynamic analysis, models of gas turbine and governor, synchronous generator, brushless exciter, and induction motor are introduced.

• Proceedings of the KIEE Conference
• /
• 2003.11b
• /
• pp.43-46
• /
• 2003

In this paper, a novel rotor flux estimation method of an induction motor using support vector machine(SVM) is presented. Two veil-known different flux models with respect to voltage and current are necessary to estimate the rotor flux of an induction motor. The theory of the SVM algorithm is based on statistical teaming theory. Training of SVH leads to a quadratic programming(QP) problem. The proposed SVM rotor flux estimator guarantees the improvement of performance in the transient and steady state in spite of parameter variation circumstance. The validity and the usefulness of Proposed algorithm are throughly verified through numerical simulation.

• Journal of Advanced Marine Engineering and Technology
• /
• v.22 no.4
• /
• pp.538-550
• /
• 1998

The variable frequency and variable voltage AC source made by a conventional inverter which is composed of power semi-conductors includes much noises in sine wave due to high frequency switching of DC source. In this paper the 3rd low pass LC filter for a variable speed 3 phase induction motor driven by a full bridge inverter is introduced to solve the EMI problem by serious noise current. The utility of a modified 3rd order Butterworth LC filter is confirmed through FFT analysis of sine waves and noiseless ACsource can be obtained by the proposed LC filter. The speed of a 3 phase induction motor driven by a full bridge inverter with a LC filter is satisfactorily controlled by a digital PID controller under the condition of stepwise load and setpoint changes.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.56 no.3
• /
• pp.547-555
• /
• 2007

In order to transmit energy generated through the stator winding of a doubly-fed induction generator (DFIG), we need to synchronize the generated voltage vector with the grid voltage vector. However, the existing synchronization methods work only when the encoder is installed at a specific position and equivalent constant is precise. In order to solve this problem, a new synchronization method has been proposed and a way of applying the method to existing doubly-fed induction generator control algorithm has been also proposed. The validities of the methods proposed were verified by using a prototype converter for a 1.5MW-class doubly-fed induction generator and experimental results showed the validity of that against variation of an encoder positions, generator parameters, and grid voltages.

• Journal of Advanced Marine Engineering and Technology
• /
• v.31 no.4
• /
• pp.433-440
• /
• 2007

In this paper a new dynamoelectric winch system is introduced which is widely applied in shipping. building, architecture and so on. Generally in the winch system the squirrel cage induction motor is used as prime mover and line voltage is directly applied to the induction motor during operation. So it is difficult to obtain the smoothing revolution. because of variation of the weight of cargo and system operating method. Based on above reasons, the switched reluctance motor (SRM) is proposed to replace the induction motor because of more reliable mechanical structure, better traction characteristic and higher efficiency compared to induction motor. And in order to solve smoothing revolution problem, instantaneous torque control method based on torque sharing function (TSF) is used. Finally the validity of the proposed method is verified through the simulation and experimental results.

• Journal of the Korean Society for Precision Engineering
• /
• v.22 no.2
• /
• pp.70-78
• /
• 2005

In this paper, a novel rotor flux estimation method of an induction motor using support vector regression(SVR) is presented. Two well-known different flux models with respect to voltage and current are necessary to estimate the rotor flux of an induction motor. Training of SVR which the theory of the SVR algorithm leads to a quadratic programming(QP) problem. The proposed SVR rotor flux estimator guarantees the improvement of performance in the transient and steady state in spite of parameter variation circumstance. The validity and the usefulness of proposed algorithm are throughly verified through numerical simulation.