• Explosives and Blasting
• /
• v.41 no.4
• /
• pp.17-28
• /
• 2023

Recently, the utilization of underground space for research facilities and resource development has been on the rise, expanding development from shallow to deep underground. The establishment of deep underground spaces necessitates a thorough examination of rock stability under conditions of elevated stress and temperature. In instances of greater depth, the stability is influenced not only by the geological structure and discontinuity of rock but also by the propagation of ground vibrations resulting from earthquakes and rock blasting during excavation, causing stress changes in the underground cavity and impacting rock stability. In terms of blasting engineering, empirical regression models and numerical analysis methods are used to predict ground vibration through statistical regression analysis based on measured data. In this study, single-hole blasting was conducted, and the pressure of the blast hole and observation hole and ground vibration were measured. Based on the experimental results, the blast pressure blasting vibration at a distance, and the response characteristics of the tunnel floor, side walls, and ceiling were analyzed.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2017.05a
• /
• pp.864-870
• /
• 2017

The propellants are burned in the pre-burner of the staged combustion cycle engine, and the resulting hot gas drives the turbine, and the turbine operates the turbo pump. The burned gas passing through the turbo pump is supplied to the combustor at high temperature and high pressure, where the gas is supplied in an excess of fuel or an excess of oxidant depending on the amount of fuel or oxidant. When the cycle works at oxidizer-rich staged combustion, its metal pipe can ignite or explode by the impact of even small particles. In this study, we develop the powder combinations for anti-oxidation coating through the analysis of other coating materials and establish the coating process.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.22 no.5
• /
• pp.125-131
• /
• 2018

Some propellants in a liquid rocket engine are burned in the pre-burner of a staged combustion cycle engine, resulting hot gas drives the turbine. The burned gas passing through the turbine is supplied to the combustor at high temperature and pressure. The form of the gas can be fuel rich or oxidizer rich dependent upon the mixture ratio or the engine scheme. When the cycle works at oxidizer-rich condition, the metal pipes composing the engine can be ignited or even exploded by an impact of very a small particle. In this study, we developed the powder combination and processes for an anti-oxidation coating through the analysis of various coating materials.

• Explosives and Blasting
• /
• v.24 no.2
• /
• pp.41-50
• /
• 2006

Excavation by explosives blasting necessarily involves noise and vibration, which is highly prone to face claims on the environmental and structural aspects from the neighbors. When the blasting carried out in the vicinity of a structure, the effect of blasting vibration on the stability of the structure should be carefully evaluated. In the conventional method of evaluation, an equation for blast vibration is obtained from test blasting which is later used to determine the amount of charge. This method, however, has limitations in use since it does not consider topography and change in ground conditions. In order to overcome the limitations, dynamic numerical analysis is recently used in continuum or discontinuous models, where the topography and the ground conditions can be exactly implemented. In the numerical analysis for tunnels and rock slopes, it is very uncommon to simulate multi-hole blasting. A single-hole blasting pressure is estimated and the equivalent overall pressure at the excavation face is used. This approach based on an ideal case usually does not consider the ground conditions. And this consequently results in errors in calculation. In this presentation of a case study, a new approach of using blast waves obtained in the test blast is proposed. The approach was carried out in order to improve the accuracy in calculating blasting pressure. The stability of a structure in the vicinity of a slope blasting was examined using the newly proposed method.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.19 no.6
• /
• pp.959-972
• /
• 2017

In evaluation of blast-induced vibration, peak particle velocity (PPV) is generally calculated by using attenuation relation curve. Calculated velocity is compared with the value in legal requirements or the standards to determine the stability. Attenuation relation curve varies depending on frequency of test blasting, geological structure of the site and blasting condition, so it is difficult to predict accurately using such an equation. Since PPV is response value from the ground, direct evaluation of the structure is impractical. Because of such a limit, engineers tend to use the commercial numerical analysis program in evaluating the stability of the structure more accurately. However, when simulate the explosion process using existing numerical analysis program, it's never easy to accurately simulate the complex conditions (fracture, crushing, cracks and plastic deformation) around blasting hole. For simulating such a process, the range for modelling will be limited due to the maximum node count and it requires extended calculation time as well. Thus, this study is intended to simulate the elastic energy after fractured zone only, instead of simulating the complex conditions of the rock that results from the blast, and the analysis of response characteristics of the velocity depending on shape and size of the fractured zone was conducted. As a result, difference in velocity and attenuation character were calculated depending on fractured zone around the blast source appeared. Propagation of vibration tended to spread spherically as it is distanced farther from the blast source.

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

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.764-765
• /
• 2011

전력시스템을 더 효율적으로 운용하고, 더 지능화하려는 노력은 2000년대 초 다양한 각도로 진행되어 왔다. 그리하여 중장기 국책과제인 전력IT 과제를 필두로 여러 지능화 기기들이 국 내외 유관업체를 통하여 지속적으로 성장을 하였고 현재에 이르러서는 과제의 틀이 아닌 비즈니스 모델 창출을 위하여 여러 시범 사업들이 구상되고 있는 중이다. 이는 전력IT 의 핵심 아이템이라 할 수 있는 IEC-61850 국제 표준 프로토콜 기반의 IED (Intelligent Electronic Devices) 개발과 어울려 변전소의 직접 현장 적용을 통한 엔지니어링 기술 개발에 역점을 두고 있는 상태이다. 변전소 자동화 (S/A: Substation Automation)의 영역이 점점 현실화 되어가고, 전 세계 적용 Site의 폭발적인 증가로 힘입어 이젠 선택이 아닌 필수가 되고 있고, 적용에서 끝이 아닌 다양한 엔지니어링 Tool 의 개발, 진단 시스템의 융합 등과 더불어 계속 발전해나가고 있다. 본 논문에서는 이러한 시대적 흐름을 바탕으로 당사에서 참여중인 한국전력 154kV S/A 시범사업 및 스마트그리드 실증사업을 통하여 현장 적용된 154kV Main Transformer 용 IED 솔루션의 적용 사례를 소개하고자 한다. S/A 시범사업의 경우, 한국전력 충주본부 풍동S/S에서 올해 초 설계되어 현재 현장 엔지니어링을 1차 마무리한 상태이며, 스마트 그리드 실증사업은 제주 성산S/S에서 진행 중이며 이도 마무리를 하는 단계에 이르러, 그동안 현장적용의 문제점을 논의하고, 이에 대한 대응책을 서로 공유하며 정리하고 있다. 참고로 본 논문에서는 IEC-61850 프로토콜 구현에 대한 것은 다루지 않으며, 다만 현장제어에 필요하고 또한 구현되어 있는 기능에 대한 전반적인 내용을 다루게 된다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets has been used in protocol verification and concurrent system verification since it is suitable for describing concurrency and provides several well-established verification techniques. And it has been used as a base formalism for such high-level Petri nets as colored Petri nets, object-oriented Petri nets and etc. However, when analyzing complex models using P/T nets and P/T nets-based high-level Petri nets, there may be state explosion in reachability analysis due to improper handling of concurrency. In this paper, we define a structural concurrency in P/T nets, propose a partitioning algorithm based on the detected structural concurrency, and provide analysis techniques for such properties as boundedness of places and liveness of transitions, which are performed on compositional reachability graphs. The analysis techniques based on Petri net slices can be used in efficiently analyzing P/T nets-based high-level Petri net models as well as P/T net models.

• Journal of KIISE:Information Networking
• /
• v.37 no.3
• /
• pp.249-253
• /
• 2010

Resource of wireless frequency bandwidth is gradually going to be deficient due to explosive increase of traffic and saturated non-licensed frequency band such as ISM. In the contrary, many licensed frequency bands are revealed to be low in utilization by several measurement based researches. To alleviate this inefficiency, a concept of cognitive radio is suggested. Cognitive radio lets non-licensed user exploit the licensed frequency band as long as non-licensed user does not interfere licensed user and as a result, it is possible to harness wireless frequency more efficiently. IEEE 802.22 is the first standard network with cognitive radio technology and it employs Two-Stage channel sensing mechanism to accomplish both enough licensed user protection and efficient channel utilization. In this paper, we analyze the overhead of Two-Stage channel sensing mechanism and identify the influence of channel sensing time to the overhead.

• Journal of Internet Computing and Services
• /
• v.2 no.1
• /
• pp.1-11
• /
• 2001

Though it is proposed to use Petri net or dynamic FSM methods for the generation of test sequences on some specific protocols, those methods ere unavailable on the cases where the protocol allows faults processing or includes paths in looping which cause errors or endless looping by the explosion of states. The determination of test coverage on the protocol software that has been designed and implemented is difficult by the reason of development periods, technical solutions to support and also economical limitations. It is suggested to generate timely protocol software test sequences on the basis of regular expressions covering the functions of protocol. With this regular expression method, the 38 test sequences of Q.2971 protocol has been generated and also minimized the endless looping problem when dynamic test suites are used by simplifying the test path expressions that denotes loops, According to the works, the suggested method is confirmed as simple and easy compare to the other dynamic test sequence generation techniques. Moreover. the method to search an optional test path whether it Is included or not in the regular path expression is reviewed.