• Journal of the Korean Society of Safety
• /
• v.30 no.4
• /
• pp.99-105
• /
• 2015

In this study, displacement estimation algorithm, which is not requiring an absolute reference point unlike the conventional displacement measurement method, is developed using the geophone. To estimate displacement of the bridge, measured velocity time signal is integrated in the frequency domain. And, the estimated displacement is compared with the measured result using a conventional method. Based on the dynamic field test results, it was found that the estimated displacement by the present algorithm is similar to that of a conventional method. The displacement estimation algorithm proposed in this paper can be effectively applied to measure the displacement of a structure, which is difficult to install a displacement transducer at the fixed point.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.16 no.2 s.107
• /
• pp.176-182
• /
• 2006

Modeling and verification for stability analysis of axially oscillating cantilever beams are investigated in this paper Equations of motion for the axially oscillating beams are derived and transformed into dimensionless forms. The equations include harmonically oscillating parameters which are related to the motion-induced stiffness variation. stability diagram is obtained by using the multiple scale perturbation method. To verify the accuracy of the modeling method, several points in the plane of the stability diagram are presented and solved. The present modeling method proves to be as accurate as a nonlinear finite element modeling method.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.153-154
• /
• 2012

바디 센서 시스템 환경이란 사용자가 서기, 걷기, 뛰기 등의 행위를 통해 주기적으로 상황이 변하는 동적 환경이다. 이와 같은 시스템에서는 크기가 작고 저전력을 요구하는 센서가 탑재되기 때문에 효율적인 알고리즘을 적용하는 것은 매우 중요한 일이다. 모델체커는 최근 소프트웨어 모델 (Model)을 검증하는 도구로써 주어진 모델과 속성값을 통해 해당 모델의 검증 (Verification) 결과가 참인지 거짓인지 판별해 준다. 본 논문에서는 효율적인 바디 센서 시스템 구축을 위해 서기, 걷기, 뛰기라는 환경에서 개별적으로 동작되는 알고리즘을 모델링 하고 LTL(Linear Temporal Logic) 로 속성을 명세하여 NuSMV 모델 체커를 통해 해당 모델의 Safety와 Liveness를 검증한다.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2307-2309
• /
• 2002

A simulator had been developed and will be used for reliability verification on turbine control programs for boiler feed pump in power plant prior to its actual operation in field. A mathematical model on thermal dynamics pertaining to prime mover steam turbine and pump was realized and included in this simulator. Also, many design and operating data acquired from fields were utilized in order to decide mechanical and thermal dynamic characteristics such as friction loss windage loss and inertia. A user can decide closing or opening velocity of steam stop valves and steam regulation valves. This simulator is able to generate steam pressure, turbine speed, pump power.

• Proceedings of the SAREK Conference
• /
• 2005.11a
• /
• pp.217-222
• /
• 2005

Building energy consumption according to the ventilation has been considered to be an important subject. The purpose of this study is to investigate the cooling loads in a test space with a forced ventilating system. In the test space, on/off controlled air-conditioning and forced ventilating facility were operated between 8:30 to 21:00 during 4 days and some important data like temperatures and energy consumption were measured to obtain actual cooling loads. The simulation was carried out in a mode of temperature level control using a TRNSYS 15.3 with a precisely measured air change amount and performance data of air-conditioner. Cooling loads including sensible and latent were compared between by experiment and by simulation. Both of cooling loads associated with ventilation show a close agreement within an engineering tolerance.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2578-2580
• /
• 2000

A siumlator had been developed and used for reliability verification on medium size steam turbine control programs prior to its actual operation in field. A mathematical model on thermal dynamics pertaining to prime mover steam turbine and electrical generator was realized and included in this simulator. Also, many operating data acquired from fields was utilized in order to decide mechanical and thermal dynamic characteristics such as friction loss, windage loss and inertia. A user can decide closing or opening velocity of steam stop valve and steam regulation valve. This simulator is able to generate steam pressure, turbine speed, electrical power, and power system frequency.

• Proceedings of the KIEE Conference
• /
• 2001.07d
• /
• pp.2138-2140
• /
• 2001

A siumlator had been developed and will be used for reliability verification on large steam turbine control programs prior to its actual operation in field. A mathematical model on thermal dynamics pertaining to prime mover steam turbine and electrical generator was realized and included in this simulator. Also, many operating data acquired from fields was utilized in order to decide mechanical and thermal dynamic characteristics such as friction loss, windage loss and inertia. A user can decide closing or opening velocity of steam stop valves and steam regulation valves. This simulator is able to generate steam pressure, turbine speed, electrical power, and power system frequency.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.5
• /
• pp.593-602
• /
• 2004

We have developed a digital control rod control system not only to improve its performance but also to improve its reliability and speed of response so that it can replace the old fashioned analog system. However, a new developed digital control system should be tested to prove the validity by using any prototype or mock-up before application. The reliability prediction and the reliability block diagram analysis methods were adopted to verify the reliability of the developed hardware. For the case of software, especially fur a new developed control algorithm it has been tested to prove performances and validation by using a dynamic simulator and mock-up of control rod drive mechanism altogether. Here we want to present some key factors regarding to the new developed digital system with some verification procedures.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2005.11a
• /
• pp.708-713
• /
• 2005

Modeling and verification for stability analysis of axially oscillating cantilever beams are investigated in this paper. Equations of motion for the axially oscillating beams are derived and transformed into dimensionless forms. The equations include harmonically oscillating parameters which are related to the motion-induced stiffness variation. Stability diagram is obtained by using the multiple scale perturbation method. To verify the accuracy of the modeling method, several points in the plane of the stability diagram are presented and solved. The present modeling method proves to be as accurate as a nonlinear finite element modeling method.

• Journal of the Korea Society of Computer and Information
• /
• v.5 no.3
• /
• pp.91-98
• /
• 2000

In this paper we design implement the speaker verification system for verifying personal identification using voice. Filter bank magnitude was used as a feature parameter and code-book was made using LBG a1gorithm. The code book convert feature parameters into code sequence. The difference between reference pattern and input pattern measures using DTW(Dynamic Time Warping). The similarity measured using DTW and threshold value derived from deviation were used to discriminate impostor from client speaker.