• Fire Science and Engineering
• /
• v.25 no.2
• /
• pp.114-119
• /
• 2011

Explosion limit and flash point are the major combustion properties used to determine the fire and explosion hazards of the flammable substances. In this study, in order to predict upper explosion limits (UEL) for acids and ketones, the upper flash point of these were measured under the VLE (vaporliquid equilibrium) state by using Setaflash closed cup tester (ASTM D3278). The UELs calculated by Antoine equation by using the experimental upper flash point are usually lower than the several reported UELs. From the given results, using the proposed experimental and predicted method, it is possible to research the upper explosion limits of the other flammable substances.

• 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.

• Fire Science and Engineering
• /
• v.17 no.4
• /
• pp.111-116
• /
• 2003

LPG explosion characteristics in non-uniform concentration was investigated with a 270 liter explosion vessel of which the scale is 100 cm${\times}$60 cm${\times}$45 cm. Vented explosion and closed explosion system were used. Experimental parameter were position of ignition source, nozzle diameter and flow rate of gas. Non uniform concentration was controlled by the nozzle diameter and flow rate. Explosion pressure were measured with strain type pressure sensor and the flame behavior was pictured with the video camera. Based on this experimental result, it was found that the flow rate of gas and the duration of gas injection are important factor for mixing the gas in the vessel. And as the increase the non-uniformity of gas concentration, explosion pressure and pressure rise rate Is decrease but the flame resident time in the vessel is increase. Therefore gas explosion to fire transition possibility will increase in non-uniform concentration gas explosion.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.03a
• /
• pp.43-49
• /
• 1998

본 논문에서는 이산사건 시스템의 무시간 DEVS/DEVS 명세에 대한 계층적인 설계/검증 방법을 제안하고자 한다. 제안된 방법의 가장 큰 장점은 DEVS 상위모델과 DEVS 하위 모델간의 반복적인 설계/검증 시 계층적 인 방식을 채택하여 검증 시 일반적으로 문제가 되는 상태폭발 문제를 크게 완화시켰다는 점이다. 간단한 예제를 통하여 제안된 방법론을 자세히 보여주고자 한다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2001.11a
• /
• pp.67-72
• /
• 2001

오랜 동안의 경험으로부터 조건설정이 표준화되어 있는 석유화학공업과는 달리 정밀화학공업에 있어서는 대상이 되는 공정의 반응조건 등을 제조자 스스로 결정해야 하는 경우가 많다. 또한, 취급하는 화학물질의 열분해 또는 반응위험성에 대한 위험성평가는 물론 물질안전자료(MSDS)도 확보되지 않은 상태에서 취급되는 경우가 많아 폭발ㆍ화재로 인한 중대재해의 잠재적 위험성이 매우 높은 상태이다.(중략)

• Journal of Korea Game Society
• /
• v.4 no.1
• /
• pp.58-66
• /
• 2004

This paper uses counterexamples for solving reachability games. An objective. of the game we consider here is to find out a minimal path from an initial state to the goal state. We represent initial states and game rules as finite state model and the goal state as temporal logic formula. Then, model checking is used to determine whether the model satisfies the formula. In case the model does not satisfy the formula, model checking generates a counterexample that shows how to reach the goal state from an initial state. In this way, we solve many of small-sized Push Push games. However, we cannot handle larger-sized games due to the state explosion problem. To mitigate the problem, abstraction is used to reduce the state space to be che cked. As a result, unsolved games are solved with the abstraction technique we propose inthis paper.

• Journal of KIISE:Software and Applications
• /
• v.35 no.1
• /
• pp.12-21
• /
• 2008

As the usage of computer systems is increasing in our lives, the reliability and safely of these systems need to be thoroughly checked through the verification techniques. As a basic formalism for several modeling methods, the finite state machine (FSM) is widely used in specification and verification of system models. And there is a technique for ing internal events of FSM in order to effectively analyze the system. However, this technique does not handle the state explosion problem since it can be applied after completely generating all the state space of the system. In this research, we provide a new approach for efficiently representing concurrent properties of FSM, the slice model and provide an efficient transition reduction method based on the slice model. Our approach is effective in time and space perspective since it is peformed by partially generating the needed system states while the existing abstraction technique can be applied to all the system states.

• Nuclear Engineering and Technology
• /
• v.25 no.2
• /
• pp.215-221
• /
• 1993

A required initial condition for a steam explosion to occur following core meltdown accidents of a nuclear power plant is the formation of a coarse mixture of molten fuel and water. The extent of a premixing is the measure of efficiency of steam explosion that may follow. A simple one-dimensional, transient model and the flooding criteria have been applied to evaluate the fuel/coolant mixing limit. Also, both instant breakup and dynamic breakup models for the mixing process have been separately used here and compared each other. The results indicate that fuel temperature, ambient pressure, mixing diameter, water depth, and pouring diameter are the important parameters affecting the mixing behavior.

• Journal of the Korean Institute of Gas
• /
• v.18 no.5
• /
• pp.20-25
• /
• 2014

Explosion characteristics of micro-sized aluminum dusts had been studied by many researchers, but the research of nano-sized aluminum dusts were very insufficient. In this study, an experimental investigation was carried out on the influences of nano and micro-sized aluminum dusts (70 nm, 100 nm, $6{\mu}m$, $15{\mu}m$) on dust explosion properties of aluminum particles by using 20 L explosion apparatus. With decreasing of particle size in suspended aluminum dusts, the LEC (lower explosion concentration) of nano-sized aluminum is lower than that of micro-sized aluminum. The particle size change of nano-sized aluminum dusts seems no obvious explosion differences than that of micro-sized aluminum dusts. From the observation of nano-sized aluminum particles by TEM (Transmission Electron Microscopy), it is estimated that increase of particles aggregation may have effects on the explosion characteristics of aluminum nanopowders.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 2009.05a
• /
• pp.58.2-58.2
• /
• 2009

금속 와이어를 전기폭발법에 의해 증기 상태로 만든 후 응축시킬 때 제조되는 금속나노분말의 크기특성을 파악하기 위하여 제조장치에 샘플링 포트를 삽입하여 실시간 입자 측정기(Scanning Mobility Particle Sizer; SMPS) 로 14~615 nm 범위의 크기분포를 측정하였다. SMPS는 입자의 크기에 따라 전기적 이동도가 달라지는 원리를 이용하여 공기 중에 부유된 나노입자의 크기분포를 수 분내에 측정하는 실시간 입자 측정기이다. 금속나노분말 제조장치 내부는 약 0.5 bar 수준으로 불활성가스로 채워져 있어서 대기압보다 높은 고압조건이므로 SMPS 전단에 작은 노즐이 삽입된 pressure reducer를 부착하여 적정한 압력 수준으로 낮춘 후 SMPS로 나노분말의 크기분포를 실시간으로 측정하였다. 제조공정이 진행되면서 전기폭발이 주기적으로 발생하는 동안에 SMPS로 측정한 14~615 nm 범위 입자의 총 수농도는 약 $10^7$ 개/$cm^3$ 수준으로 매우 높았고, 약 100 nm와 200 nm에서 고농도 피크를 나타내는 bimodal 분포를 나타냈다. 반면 전기폭발이 잠시 중단되는 경우 입자의 총 수 농도는 약 $10^4$ 개/$cm^3$ 수준으로 낮아지고, 약 20 nm 이하의 입자가 대부분을 차지하면서 입자의 크기가 커질수록 농도가 낮아지는 형태의 크기분포로 바뀌었다. 본 연구를 통해 얻어진 제조장치 내부의 나노분말 크기분포 자료는 고품질 제품을 생산하기 위해 나노분말의 크기분포를 제어하는 분급장치 개발에 활용될 수 있을 것으로 기대된다.