• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.430-432
• /
• 2002

상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.23 no.3
• /
• pp.395-404
• /
• 2013

A pattern matching algorithm plays an important role in traffic identification and classification based on predefined patterns for intrusion detection and prevention. As attacks become prevalent and complex, current patterns are written using regular expressions, called regexes, which are expressed into the deterministic finite automata(DFA) due to the guaranteed worst-case performance in pattern matching process. Currently, because of the increased complexity of regex patterns and their large number, memory-efficient DFA from states reduction have become the mainstay of pattern matching process. However, most of the previous works have focused on reducing only the number of states on a single automaton, and thus there still exists a state blowup problem under the large number of patterns. To solve the above problem, we propose a new state compression algorithm that merges states on multiple automata. We show that by merging states with the same input character on multiple automata, the proposed algorithm can lead to a significant reduction of the number of states in the original DFA by as much as 40.0% on average.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2000.06a
• /
• pp.108-114
• /
• 2000

정전기 방전 현상에 의해 발생하는 가연성 가스의 화재 및 폭발 재해는 공업화 사회에 있어서 방치될 수 없는 중요한 안전 문제로 대두되고 있다. 충전 시설은 첨단 산업화로 인해 상당 부분 개선이 이루어져있는 상태이나 관리적인 면에서는 안전 의식 부족과 정전기 관련 기준 미흡 등으로 인해 잠재적인 위험성이 항시 우려되고 있다. (중략)

• Korean Chemical Engineering Research
• /
• v.57 no.6
• /
• pp.790-803
• /
• 2019

The dioctyl terephthalic acid (DOTP) process produces plastic plasticizers by esterification of terephthalic acid with powder in the form of octanol. In this study, the dust explosion characteristics of terephthalic acid directly injected into the manhole in the form of powder in the presence of flammable solvent or vapor in the reactor of this process were investigated. Dust particle size and particle size distribution dust characteristics were investigated, and pyrolysis characteristics of dust were investigated to estimate fire and explosion characteristics and ignition temperature. Also, the minimum ignition energy experiment was performed to evaluate the explosion sensitivity. As a result, the average particle size of terephthalic acid powder was $143.433{\mu}m$. From the thermal analysis carried out under these particle size and particle size distribution conditions, the ignition temperature of the dust was about $253^{\circ}C$. The lower explosive limit (LEL) of the terephthalic acid was determined to be $50g/m^3$. The minimum ignition energy (MIE) for explosion sensitivity is (10 < MIE < 300) mJ, and the estimated minimum ignition energy (Es) based on the ignition probability is 210 mJ. The maximum explosion pressure ($P_{max}$) and the maximum explosion pressure rise rate $({\frac{dP}{dt}})_{max}$ of terephthalic acid dust were 7.1 bar and 511 bar/s, respectively. The dust explosion index (Kst) was 139 mbar/s, corresponding to the dust explosion grade St 1.

• Proceedings of the KIEE Conference
• /
• 2007.04c
• /
• pp.124-125
• /
• 2007

본 연구에서는 Free-piston 엔진용 원통형 선형 발전기의 전동기 운전을 이용한 기동에 관한 연구를 수행하였다. Free-piston 엔진의 피스톤이 흡기, 압축, 폭발, 배기 과정에 따라 정상 상태로 왕복운동을 하기 위해서는 기동 시 정지상태인 피스톤을 외부의 힘으로 움직여 연소실에 있던 공기를 밀어내고, 연료를 연소실안에 흡입한 뒤 다시 압축시켜 플러그를 통해 폭발시켜 주어야 한다. 이 과정에서 별도의 전동기를 사용하는 대신 Free-piston 엔진에서 사용하는 원통형 선형 발전기를 전동기로 사용하여 엔진의 기동을 위해 요구되는 속도와 토크를 만족시키는지 동특성 해석을 하였고, free-piston 엔진을 기동시키기에 충분한 속도와 토크를 낼 수 있다는 결론을 얻었다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.5
• /
• pp.1029-1036
• /
• 2007

State explosion is a well-known problem that impedes analysis md testing of discrete event systems, thus making the verification of large systems intrinsically difficult job. This paper suggests a hierarchical verification methodology of untimed DEVS model which can alleviate the state explosion problem. The method is a repetitive procedure of designing and verifying between the upper level and the lower level models abstracting away the unnecessary information with respect to a given verification task. A small example was employed to show our suggested method in detail.

• Journal of the Korean Institute of Gas
• /
• v.20 no.5
• /
• pp.89-95
• /
• 2016

Keeping the gas pipelines in the common utility tunnel is useful because it has a lower risk of corrosion than conventional burial, and can prevent from excavating construction. But, explosions in common utility tunnels can cause greater damage from the blast overpressure compared to outdoor explosions, due to nature of the confined environment. Despite this fact, however, research on common utility tunnels has been limited to fire hazard and little has been studied on the dangers of explosions. This study developed scenarios of methane gas explosion caused by gas leak from gas piping within the common utility tunnel followed by unknown ignition; the study then calculated the extent of the impact of the explosion on the facilities above, and suggested the needs for designing additional safety measures. Two scenarios were selected per operating condition of safety devices and the consequence analysis was carried out with FLACS, one of the CFD tools for explosion simulation. The overpressures for all scenarios are substantial enough to completely destroy most of the buildings. In addition, we have provided additional measures to secure safety especially reducing incident frequency.

• Journal of the Korea Concrete Institute
• /
• v.25 no.1
• /
• pp.107-114
• /
• 2013

In this study we experimentally evaluated an impact resistant performance of fiber reinforced concrete in the moment of explosion by high-velocity projectile with emulsion explosive. To assess the impact resistance, we conducted the impact test of high-velocity projectile which reaches an impact speed of 350 m/s and the experiment of contact exploding emulsion explosive. As a result, bending and tensile performance depending on type of PVA, PE fiber (polyvinyl alcohol fiber, polyethylene fiber) and steel fiber affects destruction of rear side in the form of spalling. Destroying the backside of the concrete compressive strength compared to suppress the bending and tensile performance is affected. In addition, the experiment shows that the destruction patterns of concrete specimen producted by high velocity impact and contact explosion are significantly similar. Therefore, it is possible to predict the destruction patterns of specimens in the situation of contact explosion by high-velocity projectile.

• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.103-116
• /
• 2003

States explosion due to composition of spaces of data, temporal, and locational values is one of the well-known critical problems which cause difficulty in understanding and analysing real-time systems specified with state-based formal methods. In order to overcome this problem, this paper presents an abstraction method for state minimization based on an abstraction in system specification and an abstraction in system execution. The first is named the syntactic in system specification and an abstraction in system execution. The first is named the syntactic abstraction, through which the patterns of the unconditionally internalized computation and the repetition and selection structures are abstracted. The latter is named the semantic abstraction, through which the patterns of the execution space represented with data. Through the abstractions, the components of a system in specification and execution model is hierarchically organized. The system can be analyzed briefly in the upper level in an skeleton manner with low complexity. The system, however, can be abstraction method for the state minimization and the decrease in analysis complexity through the abstraction with examples.

• Journal of Scientific & Technological Knowledge Infrastructure
• /
• s.8
• /
• pp.22-25
• /
• 2002

현재 우리나라에서도 생명과학 분야의 연구와 산업이 활성화됨에 따라 많은 정보들이 폭발적으로 생산되고 있으나 조직적으로 관리되지 못하고 있는 상태이다. 이렇게 양산되는 데이터의 공유는 작게는 한 기업 내에서, 크게는 한 국가가, 더 나아가서는 세계적으로 풀어야할 중요한 과제이다.