• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.29 no.6
• /
• pp.521-527
• /
• 2016

This paper is concerned with the numerical analysis of dynamic response of floating offshore wind turbine subject to underwater explosion using an effective non-reflecting technique. An infinite sea water domain was truncated into a finite domain, and the non-reflecting technique called the perfectly matched layer(PML) was applied to the boundary of truncated finite domain to absorb the inherent reflection of out-going impact wave at the boundary. The generalized transport equations that govern the inviscid compressible water flow was split into three PML equations by introducing the direction-wise absorption coefficients and state variables. The fluid-structure interaction problem that is composed of the wind turbine and the sea water flow was solved by the iterative coupled Eulerian FVM and Largangian FEM. And, the explosion-induced hydrodynamic pressure was calculated by JWL(Jones-Wilkins-Lee) equation of state. Through the numerical experiment, the hydrodynamic pressure and the structural dynamic response were investigated. It has been confirmed that the case using PML technique provides more reliable numerical results than the case without using PML technique.

• Journal of Positioning, Navigation, and Timing
• /
• v.11 no.4
• /
• pp.305-316
• /
• 2022

Numerous research revealed a strong association between the ionospheric perturbations and various natural hazards. The ionospheric measurements from Global Navigation Satellite System (GNSS) observations provide the state of electron contents in the ionosphere that contributes to investigate the source events. In this study, two geophysical events occurred on 23 January 2018, the 7.9 Mw earthquake in Alaska and Kusatsu-Shiranesan volcanic eruption in Japan, are examined to characterize the fingerprint of each event in the ionosphere. Firstly, we extracted the Total Electron Content (TEC) from GNSS measurements, then isolated disturbed wave signatures from the TEC measurements that is referred to as a traveling ionospheric disturbance (TID). As TIDs are short-term ionospheric variations, the major trend of GNSS TEC measurements should be properly removed. We applied a natural neighbor interpolation method together with a leave-one-out cross validation technique for detrending. After detrending the TEC, the remaining signals are further enhanced by applying a band-pass filter and TIDs are detected from them. Finally, the detected TIDs are verified as the response of the ionosphere to Kusatsu-Shiranesan volcanic eruption and Gulf of Alaska earthquake which propagated through the ionosphere with an average velocity of 530 m/s and 724 m/s, respectively. In addition, a coherence analysis is conducted to discriminate between the signatures from a volcanic explosion and an earthquake. The analysis reveals the TID waveforms from each single event are highly correlated, while a low correlation is found between the TIDs from the earthquake and explosion. This study supports the claim that different geophysical events induce the distinctive characteristics of TIDs that are detectable by the ionospheric measurements of GNSS.

• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.111-116
• /
• 2006

Given a state, it is essential to for the finite state model analysis (such as model checking) to decide whether or not the state is reachable. W a site of the model is small, the whole state space is to be explored exhaustively. However, it is very difficult or even impossible if a size of the model is large. In this case, the model can be reduced into a smaller one via abstraction which does not allow e false positive error. this paper, we devise such an abstraction and apply it to the Nemorize game solving. As a result, unsolved game due to the state explosion problem is solved with the proposed abstraction.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.25 no.5
• /
• pp.340-344
• /
• 2012

Protected Circuit Module protects battery from over-charge and over-discharge, also prevents accidental explosion. Therefore, power MOSFET is essential to operate as a switch within the module. To reduce power loss of MOSFET, the on state voltage drop should be lowered and the switching time should be shorted. However there is trade-off between the breakdown voltage and the on state voltage drop. The TDMOS can reduce the on state voltage drop. In this paper, effect of design parameter variation on electrical properties of TDMOS, were analyzed by computer simulation. According to the analyzed results, the optimization was performed to get 65% higher breakdown voltage and 17.4% on resistance enhancement.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.3
• /
• pp.213-220
• /
• 2008

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.

• Nuclear Engineering and Technology
• /
• v.55 no.3
• /
• pp.861-869
• /
• 2023

This article proposes a novel approach to measure the performance of Safety-Critical Systems (SCS). Such systems contain multiple processing nodes that communicate with each other is modeled by a Petri nets (PN). The paper uses the PN for the performance evaluation of SCS. A set of ordinary differential equations (ODEs) is derived from the Petri net model that represent the state of the system, and the solutions can be used to measure the system's performance. The proposed method can avoid the state space explosion problem and also introduces new metrics of performance, along with their measurement: deadlock, liveness, stability, boundedness, and steady state. The proposed technique is applied to Shutdown System (SDS) of Nuclear Power Plant (NPP). We obtained 99.887% accuracy of performance measurement, which proves the effectiveness of our approach.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.205-205
• /
• 2000

In this paper, we are proposed an analysis method of the operation schedule in FMS using Time Petri Nets(TPN) unfolding. TPN's unfolding is one of the analysis methods after changed non-cyclic net from the concurrent net without to expand the state explosion. We are illustrated this proposed to analyze a schedule problem in Ratio-driven FMS modeling.

• Annual Conference of KIPS
• /
• 2009.11a
• /
• pp.873-874
• /
• 2009

$L^*$ 기반의 Assume-Guarantee Reasoning[1]은 시스템 검증 시의 상태 폭발(state explosion)을 줄이는 데 크게 기여하였다. 그러나 시스템 검증에 소모되는 시간은 일반적인 모델 체킹 도구를 사용할 때 보다 크게 증가시킨다. 본 논문에서는 시스템의 검증에 소모되는 시간을 줄이기 위하여 $L^*$ 기반의 Assume-Guarantee Reasoning의 개선안을 제안하였다.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• Current Optics and Photonics
• /
• v.7 no.6
• /
• pp.714-720
• /
• 2023

Laser cleaning has the advantages of environmental protection, precision, and high efficiency, and has good prospects for application in removing oxide films on the surface of aluminum alloy. This paper discusses the cleaning threshold and cleaning mechanism of aluminum alloy surface oxide film. A nanosecond pulsed laser was used to remove a 5-㎛-thick oxide film from the surface of 7A04 aluminum alloy, and the target surface temperature and cleaning depth were simulated. The effects of different laser energy densities on the surface morphology of the aluminum alloy were analyzed, and the plasma motion process was recorded using a high-speed camera. The temperature measurement results of the experiment are close to the simulation results. The results show that the laser cleaning of aluminum alloy oxide film is mainly based on the vaporization mechanism and the shock wave generated by the explosion.