• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1991년도 하계학술대회 논문집
• /
• pp.379-382
• /
• 1991

The dynamic characteristics and mathematical models of the KEPCO's generator control systems have been derived by on-line tests. Measuring the responses for small disturbances in the inputs, the parameters of governing systems, excitation systems, and power system stabilizers have been determined. An overview of the field tests, parameter identification, and model verification is presented.

• 소음진동
• /
• 제1권2호
• /
• pp.115-120
• /
• 1991

The impact hammer is extensively used in experimental modal analysis as a means to provide force over a broad range of frequencies. The hammer mass and the impact head are often changed to achieve a desired impact time duration with its corresponding input frequency spectrum, these mass changes affect the performance and sensitivity of the force transducer employed to measure the impact force. Both a mathematical model describing the effects of impact head and hammer mass on the performance of the force transducer and experimental verification of this model are presented here.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 추계학술대회 논문집 학회본부
• /
• pp.623-625
• /
• 1997

This paper deals with the simulator for the diagnosis systems of high speed train. The purpose of this simulator is the verification of diagnosis systems. In this paper, the configuration of high speed train is investigated and the implementation model of power car is proposed. According to the model, mathematical equation is constructed. Dynamic simulation is executed and analyzed.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.145-147
• /
• 2008

In this paper, the implementation of the Permanent Magnet Synchronous Machine (PMSM) model based on the Matlab/Simulink is described. Due to the analysis of the mathematical dq-modeling, a vector controlled PMSM drive simulation is approached. With the simulated system, unlike in black block models, all machine parameters are accessible for control and verification. Based on the Matlab/Simulink, the model of the PMSM with load torque is established, the simulation is studied and some conclusions are given.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제18권2호
• /
• pp.129-139
• /
• 2011

We consider an optimal trading rule in this paper. We assume that the underlying asset follows a mean-reverting process and the transaction consists of one buying and one selling. To maximize the profit, we find price levels to buy low and to sell high. Associated HJB equations are used to formulate the value function. A verification theorem is provided for sufficient conditions. We conclude the paper with a numerical example.

• Journal of Biosystems Engineering
• /
• 제14권3호
• /
• pp.151-157
• /
• 1989

A mathematical model was developed to predict traction forces of rigid wheels. The modeling was based on the energy principle that the total energy delivered to a driving wheel is equal to the works done by the useful traction force and motion resistance of that wheel. The effect of the wheel slippage was also included in the modeling. Verification of the proposed model was provided by comparing the tractive coefficients predicted by the model to those obtained experimentally at the in-door soil bin tests. The model predictions were found to be a reasonable agreement with the experimental results.

• Nuclear Engineering and Technology
• /
• 제37권1호
• /
• pp.11-24
• /
• 2005

A very important feature in the development of nuclear technology has been and will continue to be the flow of information from nuclear data production to the various applications fields in nuclear technology. Both, nuclear data and this communications flow are defined in this paper. Nuclear data result from specific technical activities including their production, evaluation, processing, verification, validation and applications. These activities are described, focusing on nuclear reactor calculations. Mathematical definitions of different types of nuclear data are introduced, and international forums involved in nuclear data activities are listed. Electronic links to various sources of information available on the web are specified, whenever possible.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1211-1215
• /
• 2003

Accurate mathematical models of spacecraft components are an essential of spacecraft attitude control system design, analysis and simulation. Gyro is one of the most important spacecraft components used for attitude propagation and control. Gyro errors may seriously degrade the accuracy of the calculated spacecraft angular rate and of attitude estimates due to inherent drift and bias errors. In order to validate this model, nominal case simulation has been performed and compared for the low range mode and high range mode, respectively. In this paper, a mathematical model of gyro containing the relationships for predicting spacecraft angular rate and disturbances is proposed.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2005년도 춘계학술대회논문집
• /
• pp.966-970
• /
• 2005

On the basis of the development of KSLV-1, KoDSat was designed and manufactured to demonstrate the performance of KSLV-1. KoDSat is exposed to a severe vibrational environment at launch. The structural reliability of KoDSat has to be verified using vibrational test. The structural compatibility and verification of components between analysis and test can be proved using environmental vibration test. In this paper, we review the structural characteristic of thruster control unit for a space launch vehicle and design TCU housing using mathematical model. In order to verify the structural compatibility and reliability, half-sine shock, random and sing sweep vibration test was performed. Especially, sing sweep vibration test result is compared with analysis result and mathematical model is verified.

• 한국소음진동공학회논문집
• /
• 제18권9호
• /
• pp.943-951
• /
• 2008

In this paper, the mathematical model on crosstalk effect between acoustic noise sources is presented. Based on this model, a theoretical value to quantitate crosstalk effect of sources can be defined on the authority of reverberation property of surrounding which sources are located, relative magnitudes of sources and phase deference between acoustic wave transferred from all of sources. In order to verify crosstalk effect factor, experiments are made for two cases, weak and strong crosstalk effect condition, by using toro representative transfer path analysis(TPA) methods.