• Journal of the Korean Society of Safety
• /
• v.37 no.2
• /
• pp.76-87
• /
• 2022

Lithium-ion batteries (LIBs) have attracted much interest for their high energy density (>150 mAh/g), high capacity, low self-discharge rate, and high coulombic efficiency. However, with the successful commercialization of LIBs, fire and explosion incidents are likely to increase. The thermal runaway is known as the major factor in battery-related accidents that can lead to a series of critical conditions. Considering this, recent studies have shown an increased interest in countering the safety issues associated with LIBs. Although safety standards for LIB use have recently been formulated, little attention has been paid to the safety around the manufacturing process for battery products. The present study introduces a risk assessment method suitable for assessing the safety of the LIB-manufacturing process. In the assessment method, a compensation parameter (Z-factor) is employed to correctly evaluate the process's safety on the basis of the type of material (e.g., metal anode, liquid electrolyte, solid-state electrolytes) utilized in a cell. The proposed method has been applied to an 18650 cell-manufacturing process, and three sub-processes have been identified as possibly vulnerable parts (risk index: >4). This study offers some crucial insights into the establishment of safety standards for battery-manufacturing processes.

• International Journal of Computer Science & Network Security
• /
• v.22 no.12
• /
• pp.229-238
• /
• 2022

Due to digitization, data has become a tsunami in almost every data-driven business sector. The information wave has been greatly boosted by man-to-machine (M2M) digital data management. An explosion in the use of ICT for farm management has pushed technical solutions into rural areas and benefited farmers and customers alike. This study discusses the benefits and possible pitfalls of using information and communication technology (ICT) in conventional farming. Information technology (IT), the Internet of Things (IoT), and robotics are discussed, along with the roles of Machine learning (ML), Artificial intelligence (AI), and sensors in farming. Drones are also being studied for crop surveillance and yield optimization management. Global and state-of-the-art Internet of Things (IoT) agricultural platforms are emphasized when relevant. This article analyse the most current publications pertaining to precision agriculture using ML and AI techniques. This study further details about current and future developments in AI and identify existing and prospective research concerns in AI for agriculture based on this thorough extensive literature evaluation.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.1
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• Journal of the Korean Institute of Gas
• /
• v.16 no.6
• /
• pp.29-33
• /
• 2012

This paper is an attempt to give a concise overview of the state-of-the-art in the recent liquid hydrogen safety researches with unwanted event progress. The vessel of liquified hydrogen may fail and liquid hydrogen spilled. The hydrogen will immediately start to evaporate above a pool and make a hydrogen cloud. The cloud will disperse and can produce a vapor cloud explosion. The vessel containing the liquid hydrogen may not be able to cope with the boil-off due to heat influx, especially in case of a fire, and a BLEVE may occur. In equipment where it exists as compressed gas, a leak generates a jet of gas that can self-ignite immediately or after a short delay and produce a jet flame, or in case it ignites at a source a certain distance from the leak (delayed ignition), a flash fire occurs in the open and with confinement a deflagration or even detonation may develop. The up-to-date knowledge in these events, recent progress and future research are discussed in brief.

• Journal of Korea Game Society
• /
• v.4 no.2
• /
• pp.13-20
• /
• 2004

We have been interested in solving escapee-chaser game. In this game, with avoiding chaser, the escapee must escape from given male. The winning strategies of the escapee are driving the chaser to an intended place and closely evading from chaser by using some walls. According to our experience, some stages of the game are too difficult to solve manually. So we take the model checking method to get a solution of the game. Because the model checking with breadth fist search manner exhaustively searches the all state space of the game, the solution using model checking is best solution, shortest path. Fortunately, during the process of finding solution path, the state space explosion problem didn't occur, and the results of the game solving was applied to embedded system, Lego Mindstorm. Two agents, escapee and chaser, were implemented into robots and several experiments conformed the correctness of our solution.

• 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 Safety
• /
• v.33 no.1
• /
• pp.22-27
• /
• 2018

Many electronic devices are powered by various rechargeable batteries such as lithium-ion recently, and occasionally the batteries undergo thermal runaway and cause fire, explosion, and other hazards. If a battery fire should occur in an electronic device of vehicle and aircraft cabin, it is important to quickly extinguish the fire and cool the batteries to minimize safety risks. Attempts to minimize these risks have been carried out by many researchers but the results have been still unsatisfied. Because most rechargeable batteries are operated on the ion state during charge and discharge of electricity and the combustion of ion state has big difference with normal combustion. Here we focused on the effect of ions including an electron during combustion process. The effects of an ionized fuel on the flame stability and the combustion products were experimentally investigated in the propane jet diffusion flames. The burner used in this experiment consisted of 7.5 mm diameter tube for fuel and the propane was ionized with th ionizer (SUNJE, SPN-11). The results show that toe overall flame stability and shape such as flame length has no significant difference even in the higher ion concentration. However the fuel ionization affects to the pollutant emissions such as NOx and soot. NOx and CO emissions measured in post flame region decreased by fuel ionization, especially high fuel velocity, i.e. high ion density. TGA analysis and morphology of soot by TEM indicates that the fuel ionization makes soot to be matured.

• Membrane Journal
• /
• v.29 no.1
• /
• pp.30-36
• /
• 2019

In this study, we reported a solid-state supercapacitor consisting of titanium nitride (TiN) nanofiber and poly(3,4-ethylenedioxythiophene) polystyrene sulfonate (PEDOT-PSS) conducting polymer electrode and poly(vinyl alcohol) (PVA)-based polymer electrolyte membrane. The TiN nanofiber was selected as electrode materials due to high electron conductivity and 2-dimensional structure which is beneficial for scaffold effect. PEDOT-PSS is suitable for organic/inorganic composites due to good redox reaction with hydrogen ions in electrolyte and good dispersion in solution. By synergetic effect of TiN nanofiber and PEDOT-PSS, the PEDOT-PSS/TiN electrode showed higher surface area than the flat Ti foil substrate. The PVA-based polymer electrolyte membrane could prevent leakage and explosion problem of conventional liquid electrolyte and possess high specific capacitance due to the fast ion diffusion of small $H^+$ ions. The specific capacitance of PEDOT-PSS/TiN supercapacitor reached 75 F/g, which was much higher than that of conventional carbon-based supercapacitors.

• Structural Engineering and Mechanics
• /
• v.77 no.1
• /
• pp.137-149
• /
• 2021

In engineering design, the axial equivalent elastic modulus of laminated FRP pipe was mostly calculated by the average elastic modulus method or the classical laminated plate theory method, which are based on relatively simplified assumptions, and may be not accurate enough sometimes. A new analytical calculation method for the axial equivalent elastic modulus of laminated FRP pipe was established based on three-dimensional stress state. By comparing the results calculated by this method with those by the above two traditional analytical methods and the finite element method, it is found that this method for the axial equivalent elastic modulus fits well not only for thin-walled pipes with orthotropic layers, but also for thick-walled pipes with arbitrary layers. Besides, the influence of the layer stacking on the axial equivalent elastic modulus was studied with this method. It is found that a proper content of circumferential layer is beneficial for improving the axial equivalent elastic modulus of the laminated FRP pipe with oblique layers, and then can reduce its material quantity under the premise that its axial stiffness remains unchanged. Finally, the meso-mechanical mechanism of this effect was analyzed. The improving effect of circumferential layer on the axial equivalent elastic modulus of the laminated FRP pipe with oblique layers is mainly because that, the circumferential fibers can restrain the rigid body rotations of the oblique fibers, which tend to cause the significant deformations of the pipe wall units and the relatively low axial equivalent elastic modulus of the pipe.

• Journal of the Korean Institute of Gas
• /
• v.23 no.6
• /
• pp.39-60
• /
• 2019

Korea Gas Safety Corporation is developing consequence analysis system for combustible materials release events to enhance risk assessment technology and its efficiency. Unlike general consequence analysis programs, the final consequence area was implemented through ETA analysis based on API-581 standard, and a convenient user interface was constructed based on HTML5-based responsive web technology. In addition, a phase equilibrium module using third-order state equations (such as Peng-Robinson, SRK, and RK) and fugecity was implemented to analyze the mixture quality. Also. using the consequence analysis algorithm introduced in CCPS books and TNO Yellow Book, we developed material leak analysis module, fireball, pool fire, jet fire, flash fire, and vapor cloud explosion consequence assessment module. In addition, the conditions for calculating the safety distance were prepared with using the control values in the EIGA standard, PAC, and Bevi Reference Book.