• Proceedings of the KIEE Conference
• /
• 2004.04a
• /
• pp.262-265
• /
• 2004

프로토콜 명세의 검정과 적합성 시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS:Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지의 검사를 실험적으로 증명하였다. 구현되어진 형식 검정기는 Modal mu-calculus를 사용하며 Modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 HO(Unique Input Output) 방법fl 의한 적합성 시험 계열 생성 방법을 제시하였다.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.25 no.2
• /
• pp.195-201
• /
• 2001

An inverse heat conduction problem(IHCP) arises when unknown heat fluxes and whole temperature field are to be found with temperature measurements of a few points. In this paper, observers are proposed as solution algorithm for the IHCP. A 1-dimensional heat transfer problem is modeled with modal analysis and state space equations. Position of the heat source is estimated through test heat inputs and the autocorrelation among a few of temperature data. The modified Bass-Gura method is used to design a state observer to estimate the intensity of heat source and the whole temperature field of a 1-dimensional body. To verify the reliability of this estimator, analytic solutions obtained from the proposed method are compared.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.19 no.2
• /
• pp.282-287
• /
• 2010

This paper gives a description of an experimental study of the ultrasonic welding of metals. In ultrasonic metal welding, high frequency vibrations are combined with pressure to join two materials together quickly and securely, without producing significant amount of heat. Ultrasonic metal welder consists of Transducer, Booster, and horn that are designed very accurately to get the natural frequencies and vibration mode. In this study, The horn was designed and analyzed the natural frequency by the modal analysis and harmonic analysis. And using a fiber optic sensor, we measured the amplitude and analyzed the Fast Fourier Transformed result. Using the horn, Ultrasonic metal welding between Cu sheet and Cu sheet of 0.1mm thickness was accomplished under the optimal conditions of static pressure 0.15MPa, vibration amplitude 30% and welding time of 0.28s. This result can be used for ultrasonic metal welding in manufacturing industry.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.911-916
• /
• 2008

Impact noise caused by the collision of bodies is difficult to estimate because of the complexity of impact phenomenon. In this study, impact noise is estimated using two different methods when the noise is caused by the vibration due to impact. First, impact noise is analyzed using impact analysis and boundary element analysis. Second, modal expansion technique is applied to the estimation of impact noise. Experiment is carried out to validate the analysis results.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.16 no.3
• /
• pp.102-110
• /
• 2008

It is well known that the acoustic cavity inside the tire-wheel assembly contributes to vehicle interior noise and ride comfort. In this paper, we performed acoustic and structural modal testings by varying the temperature ranging from $20^{\circ}\;to\;45^{\circ}C$ to investigate the effects of temperature on acoustic cavity resonance and structural vibration characteristics for unloaded and loaded tires. The testing has given us some findings, which are reported in this paper.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.14 no.10
• /
• pp.1035-1040
• /
• 2004

The vibration of an electric hand grinder originates from the motor, gear, bearing, and fan. Its excessive vibration can be harmful to workers. To reduce the vibration of an electric hand grinder. frequency analysis for the vibration signals of a running electric hand grinder and modal test for the each part were done. The results show that the vibration is due to the resonance of the case. To remove the resonance, the case structure was modified and the bearing cap was replaced on a basis of the results of the rotor dynamic analysis using SAMCEF. As a result, the vibration of the electric hand grinder was reduced greatly.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.05a
• /
• pp.241-246
• /
• 2002

Usually vibration properties are obtained from frequency response functions or impulse response functions of a system. Since the contact type sensors can affect the characteristics of vibrating systems, the non-contact type sensors such as laser Doppler vibrometer (LDV) are being widely used. Currently researches are being carried out in terms of modal analysis using a scanning vibrometer. For the continuous scan; the Chebyshev demodulation (or polynomial) is apparently suggested to extract the mode shapes. With single frequency sinusoidal excitation, this approach is well fitted. In this research, the Chebyshev demodulation technique has been applied to the impact excitation case. The vibration of the tested structure is modeled using impulse response functions. The technique is also adopted to the random excitation case. In order to verify the technique, a simply supported beam was chosen as the test rig. The calculation modules are developed by using MATLAB$\^$(R)/ in WindowsNT$\^$(R)/ environment.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2006.05a
• /
• pp.232-237
• /
• 2006

Operation deflection shapes(ODS) is defined as a motion of structure at particular frequency. The ODS is eligible to show any types of structural motions while the modes supply solutions only to linear and stationary motion. The principal vibration source of an auto teller machine(ATM) case was occurred due to resonance which was found by modal analysis. To reduce the vibration of ATM case, the motion of the case was visualized using ODS analysis, which can suggest how to modify the structure. As a result the vibration of the ATM case was greatly reduced with a stiffening bar between the opposite plates.

• The Bulletin of The Korean Astronomical Society
• /
• v.38 no.1
• /
• pp.45-45
• /
• 2013

We present a test of the emission statistics of active galactic nuclei (AGN), probing the connection between the red-noise temporal power spectra and multi-modal flux distributions known from observations. We simulate AGN lightcurves under the assumption of uniform stochastic emission processes for different power-law indices of their respective power spectra. For sufficiently shallow slopes (power-law indices beta ${\leq}$ 1.0), the flux distributions (histograms) of the resulting lightcurves are approximately Gaussian. For indices corresponding to steeper slopes (beta ${\geq}$ 1.0), the flux distributions become multi-modal. This finding disagrees systematically with result of recent mm/radio observations. Accordingly, we conclude that the emission from AGN does not necessarily originate from uniform stochastic processes even if their power spectra suggest otherwise. Possible mechanisms include transitions between different activity states and/or the presence of multiple, spatially disconnected, emission regions.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.4 no.4
• /
• pp.83-91
• /
• 2000

합리적인 기기의 활률론적 지진위험도 평가를 위해서는 모델의 동특성에 대한 보다 현실적인 정보가 제공되어야 한다. 이 연구에서는 심한 비선형 동적 거동을 보일 것으로 예상되는 철제 전기 캐비넷의 동특성 시험결과 및 분석 절차를 제시하였다. 특히, 이 연구에서는 가진 강도의 크기에 따른 동특성의 비선형 집중분석하고, 그 비선형성의 원인을 고찰하였다. 시험 결과 및 이 논문에 제시된 분석 절차를 이용하여 시험체의 동특성이 효과적으로 도출될 수 있으며, 대상 시험체는 가진 강도에 따라 심한 비선형 거동을 함을 입증하였다. 비선형성의 원인은 일반적인 재료 비선형이라기 보다는 각 부품들의 마찰력과 기하학적인 비선형성에 기인함을 발견하였다. 또한, 캐비넷 형식의 기긱에 대한 합리적인 내진안전성 평가를 위해서는 각 방향별로 서로 다른 감쇠값을 적용할 것을 추천하였다. 또한, 캐비넷 형식의 기기에 대한 합리적인 내진안전성 평가를 위해서는 각 방향별로 서로 다른 감쇠값을 적용할 것을 추천하였다.