• Journal of the Korean Institute of Gas
• /
• v.8 no.4 s.25
• /
• pp.62-69
• /
• 2004

It is necessary to eliminate the electric static for the prevention of disasters by electric static discharge, the improvement of production efficiency, the protection of a sensitive electronic devices in the variable manufacturing processes. Then it is handled for elimination of electric static in the painting plant, the film manufacturing plant, the producing semi-conductor factory. This study described on the ideal condition of electric static elimination efficiency by changing of the length of voltage input type eliminator's bar, the length of copper pipe and the gap of electrode and the existence of explosion by inflammable gas with that conditions. As the result, the electric static elimination efficiency has the most ideal value at the 8-11(mm) gap of the earth electrode and needle type electrode each elimination bar and there is not explode at the explosive experiment of inflammable gas with the ideal elimination bar. We can consider that there are some data which are needed for elimination efficiency and it will be able to protect the occurrence of explosion accident inflammable nas in the industrial fields.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.19 no.6
• /
• pp.88-94
• /
• 2015

Large-scale petrochemical and power plants has increased demanting wireless technology for continuous monitoring. However, the current USN technologies, such as ZigBee and Bluetooth, are lackof reliability and security. Therefore, there is a strong need to apply a new wireless technology standard of the ISA. In this study, a petrochemicalplant safety management system based on the ISA wireless transmitter isdeveloped. ISA100.11a communication module and LTE communication module equippedwith an explosion-proof wireless transmitter are developed. A petrochemicalplant safety management system is built based on the IoT technologies. Thedeveloped system is verified through a wide range of testing and thus, on-siteapplicability is proved.

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

The purpose of this study is to study the safety of a small LPG storage tank with a capacity less than 3 ton when it is exposed to an external fire. First, simulation studies were carried out using ASPEN Plus and PHAST to demonstrate that overpressurization in the tank can be relieved by discharging the LPG through an adequately sized safety valve, but the release may lead to the secondary risk of fire and explosion around the tank. Next, the temporal variations of the temperatures of the lading and tank wall were obtained using AFFTAC, which showed that the tank wall adjacent to the vapor space could be overheated in about 11 min to such a point that the weakened strength might cause a rupture of the tank and subsequent BLEVE. The consequences of the BLEVE were estimated using PHAST. Finally, several practical measures for preventing the hazards of overheating were suggested, including an anti-explosion device, sprinkling system, insulation, heat-proof coating, and enhanced safety factor for tank fabrication. The effectiveness of these measures were examined by simulations using AFFTAC and ASPEN Plus.

• Journal of the Korean Society of Safety
• /
• v.33 no.4
• /
• pp.21-29
• /
• 2018

In many companies handling flammable liquids, explosion-proof electrical equipment have been installed according to the Korean Industrial Standards (KS C IEC 60079-10-1). In these standards, hazardous area for explosive gas atmospheres has to be classified by the evaluation of the evaporation rate of flammable liquid leakage. The evaporation rate is an important factor to determine the zones classification and hazardous area distance. However, there is no systematic method or rule for the estimation of evaporation rate in these standards and the first principle equations of a evaporation rate are very difficult. Thus, it is really hard for industrial workplaces to employ these equations. Thus, this problem can trigger inaccurate results for evaluating evaporation range. In this study, empirical models for estimating an evaporation rate of flammable liquid have been developed to tackle this problem. Throughout the sensitivity analysis of the first principle equations, it can be found that main factors for the evaporation rate are wind speed and temperature and empirical models have to be nonlinear. Polynomial regression is employed to build empirical models. Methanol, benzene, para-xylene and toluene are selected as case studies to verify the accuracy of empirical models.

• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.436-437
• /
• 2006

Porcelain insulators have generally been used in Korea but polymer insulators which are superior in that they are light weight, explosion proof, impact proof, economical with construction characteristics, have been in use for the 154kV transmission line since 1999 following a worldwide trend towards the reduced weight, simplification and compact usage of new material insulators. However there have been approximately 500 cases of forest fires in Korea, so the transmission lines that for the most part pass through mountainous areas have been highly effected and the highly polymerized compound polymer insulator has raised concern about reliability in cases of exposure to forest fires. Therefore for the reliability assessment of the effect of forest fires on polymer insulators, mechanical and electrical characteristics are analyzed by an artificial flare test device and transmission facility surrounding conditions along with forest fire characteristics are surveyed. In addition to this, actual 90kV energized transmission line was tested with an artificial forest fire and the expanded usage of polymer insulators is presented through the analysis of mechanical and electrical characteristics and physical properties, and a study on the influence of forest fires on polymer insulators.

• Journal of the Korean Institute of Gas
• /
• v.22 no.4
• /
• pp.27-31
• /
• 2018

Classification of explosion hazard areas is very important in terms of cost and safety in the workplace handling flammable materials. This is because the radius of the hazardous area determines whether or not the explosion-proof equipment is installed in the electrical machinery and apparatus. From November 6, 2017, KS C IEC-60079-10-1: 2015 will be issued and applied as a new standard. It is important to understand and apply the difference between the existing standard and the new standard. Leakage coefficients and compression factors were added to the leakage calculation formula, and the formula of evaporation pool leakage, application of leakage ball size, and shape of explosion hazard area were applied. The range of the safety factor K has also been changed. Also, in the radius of the hazardous area, the existing standard applies the number of ventilation to the virtual volume, but the revised standard is calculated by using the leakage characteristic value. In this study, we investigated the differences from existing standards in terms of ventilation and dilution and examined the effect on the radius of the hazard area. Comparisons and analyzes were carried out by applying revised standards to workplaces where existing explosion hazard locations were selected. The results showed that even if the ventilation and dilution were successful, the risk radius was not substantially affected.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Journal of the Korean Society of Industry Convergence
• /
• v.25 no.6_3
• /
• pp.1147-1154
• /
• 2022

Now that the development of autonomous driving is progressing, LiDAR has become an indispensable element. However, LiDAR is a device that uses lasers, and laser side effects may occur. One of them is the much-talked-about eye-safety, and developers have been satisfying this through laser characteristics and operation methods. But eye-safety is just one of the problems lasers pose. For example, irradiating a laser with a specific energy level or higher in a dusty environment can cause deterioration of the dust particles, leading to a sudden explosion. For this reason, the dust ignition proof regulations clearly state that "a source with a pulse period of less than 5 seconds is considered a continuous light source, and the average energy does not exceed 5 mJ/mm 2 or 35 mW" [2]. Energy of output optical power is limited by the law. In this way, the manufacturer cannot define the usage environment of the LiDAR, and the development of a LiDAR that can be used in such an environment can increase the ripple effect in terms of use in application fields using the LiDAR. In this paper, we develop a LiDAR with low optical power that can be used in environments where high power lasers can cause problems, evaluate its performance. Also, we discuss and present one of the directions for the development of LiDAR with laser power limited by dust ignition proof regulations.

• Journal of the Korean Institute of Gas
• /
• v.23 no.4
• /
• pp.46-64
• /
• 2019

Technical practice code, KGS GC101 2018, for explosion hazard area selection and distance calculation of gas facility was enacted and implemented from July 12, 2018. This code includes whole contents of IEC60079-10-1 2015 (Explosive atmospheres Part 10-1: Classification of areas - Explosive gas atmospheres), and clarifies the interpretation of ambiguous standards or adds guidelines for standards. KGS GC101 is a method for classifying explosion hazard place types: (1) Determination of leak grade (2) Determination of leakage hole size (3) Determination of leakage flow (4) Determination of dilution class (5) Determination of ventilation effectiveness, finally (6) Determination of danger place (7) Explosion The range of dangerous places can be estimated. In order to easily calculate this process, the program (KGS-HAC v1.14, C-2018-020632) composed by Visual Basic for Application (Excel) language was produced by Korea Gas Safety Corporation. We will discuss how to use codes and programs to select and set up explosion hazard zones for field users.

• Proceedings of the KIEE Conference
• /
• 2003.07c
• /
• pp.1475-1477
• /
• 2003

본 논문에서는 LNG/LPG 센서와 솔벤트 센서를 국산화한 결과를 보고한다. LNG/LPG 센서는 $SnO_{2-}\;WO_3$ 모물질에 Pd, Pt 촉매를 첨가하여 제작하였다. 센서를 $400^{\circ}C$ 이상에서 동작시키면 CO가 촉매층에서 거의 $CO_2$로 산화되어 감지막의 저항변화에 아무런 기여도 못하기 때문에 팔라듐 촉매 센서부와 백금촉매 센서부의 신호로부터 탄화수소와 CO를 구별할 수 있다. 또한 촉매층 위에 다공성 보호층를 형성하여 촉매층과 감지막을 보호함으로써 장기 안정성이 크게 향상 되었다. 한편, 감지물질로 $BaSnO_3$를 사용해 제작된 솔벤트 센서는 에탄올에 매우 우수한 감도와 선택성을 나타내었다.