• International Journal of Concrete Structures and Materials
• /
• v.1 no.1
• /
• pp.29-36
• /
• 2007

The purpose of this paper is the assessment of the capacity of the reinforced concrete (RC) elements of an arch bridge when they are subjected to contact and near-contact explosive charges of various amounts, and the estimation of the critical charges for these components. The bridge considered is the Tenza Viaduct, a decommissioned structure south of Naples, Italy. Its primary elements, deck, piers and arches were analyzed. The evaluation was accomplished via numerical analyses that made possible to obtain the elements dynamic response when they are exposed to blast loading conditions. To evaluate the member's capacities, failure criteria for deck, piers and arches were proposed based on concrete damage parameters. Additionally, curves relating the explosive charge to the residual capacity and to damage level of the elements were also developed. The results of this work were taken into account to investigate the progressive collapse of the global structure.

• Journal of Welding and Joining
• /
• v.32 no.5
• /
• pp.72-79
• /
• 2014

Shaped charge(SC) ammunition is a weapon that penetrates directly the target by made jet from metal liner on impacting at a target. In SC, the liner occupies significantly important role causing an explosion and penetration of the target. The Al-Ni composite coating was deposited on copper liner in a solid state via kinetic spraying to improve the explosive force. The mechanical properties, reactivity and microstructure were investigated to confirm the possibility of kinetic sprayed Al/Ni composite coating as a reactive liner material. Reactive liner using Al/Ni composite exhibited much enhanced reactivity than pure copper liner due to Self-propagating High-temperature Synthesis (SHS) reaction with significantly improved adhesive bond strength. Especially, among the Al/Ni composite coatings, AN11 (the Al versus Ni atomic percent ratio is 1:1) showed the greatest reactivity due to its widest reaction area between deposited Al and Ni.

• Journal of KIISE:Software and Applications
• /
• v.28 no.10
• /
• pp.706-719
• /
• 2001

In this paper, we present a new approach to deterministic execution for testing concurrent programs. The proposed approach makes use of the notion of event independence which has been used in the partial-order method in order to resolve the state-explosion problem and constructs and automation which accepts all the sequences semantically equivalent to a given sequence. Consequently, we can allow a program to be executed according to event sequences other then the (possibly infeasible) given sequence if they have the same effects on the program's behavior. One advantage of this method is that it can be applied to situations where a program is not exactly implemented as described in the specification.

• The KIPS Transactions:PartD
• /
• v.15D no.6
• /
• pp.777-784
• /
• 2008

Recently in the field of model checking, to overcome the state explosion problem, the method of using a SAT-solver is mainly researched. To use a SAT-solver, the system to be verified is translated into CNF and the Boolean cardinality constraint is widely used in translating the system into CNF. In BCC it is dealt with set of boolean variables, but there is no translating method of the sequence among Boolean variables. In this paper, we propose methods for translating the problem, which is extracting a subsequence with length k from a sequence of Boolean variables, into CNF formulas. Through experimental results, we show that our method is more efficient than using only BCC.

• The Bulletin of The Korean Astronomical Society
• /
• v.36 no.1
• /
• pp.54.1-54.1
• /
• 2011

Formation of self-gravitating gas clouds and hence stars in galaxies is a consequence of both thermal and dynamical evolution of a gaseous medium. Using hydrodynamics simulations including cooling and heating explicitly, we follow simultaneously thermal and dynamical evolution of galactic gas disks to study dynamics and structures of galactic spiral shocks with thermal instability and regulation of the star formation rates (SFRs). We first perform one-dimensional simulations in direction perpendicular to spiral arms. The multiphase gas flows across the arm soon achieve a quasi-steady state characterized by transitions from warm to cold phases at the shock and from cold to warm phases in the postshock expansion zone, producing a substantial fraction of intermediate-temperature gas. Next, we allow a vertical degree of freedom to model vertically stratified disks. The shock front experiences unsteady flapping motions, driving a significant amount of random gas motions, and self-gravity promotes formation of bound clouds inside spiral arms. Finally, we include the star formation feedback in both mechanical (due to supernova explosion) and radiative (due to FUV heating by young stars) forms in the absence of spiral arms. At saturation, gravitationally bound clouds form via thermal and gravitational instabilities, which are compensated by disruption via supernova explosions. We find that the FUV heating regulates the SFRs when gas surface density is low, confirming the prediction of the thermal and dynamical equilibrium model of Ostriker et al. (2010) for star formation regulation.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.2
• /
• pp.202-210
• /
• 2016

The development of new concepts of liner is of great importance to effectively neutralize the enemy's attack power concealed in the protective structure or armored vehicles. A double layer liner has a combination of two different materials, one for penetration of target and the other for explosion after penetration. Therefore, it is of great importance to understand the temperature distribution before impact which should be lower than the explosive temperature of pure explosive material of the liner used. In this study, two different liner materials were obtained using cold spray coating and these material properties were characterized by DSC experiments. Numerical computations were done and the effect of temperature distribution and changes over time at each point of the explosive material depending on the layer types of the liner were discussed and analysed in the jet state.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.2
• /
• pp.275-281
• /
• 2014

Although self-propelled artilleries are mobile equipment, they need their own covered-positions for survival against preemptive strikes. The most important military requirement is enough protective capacity against blast pressure caused by explosion. This paper aims to assess the protective capacity of the newly-placed concrete box-type artillery positions using accurate structural geometric models as well as soil-structure interaction analysis. The commercial program is used to model the structural geometry of the positions. In order to describe the correct wave propagation in the backfill along with soil-structure interaction, used parameters in shock equation of state are selected based on the related studies as well as theories and then their final results are verified with the ones calculated with empirical equations in the US Unified Facility Criteria. In sum, it could be concluded that the protective capacity of the newly-built positions satisfies the protective structural requirement.

• Journal of the Korean Society of Industry Convergence
• /
• v.21 no.6
• /
• pp.429-437
• /
• 2018

The process gas piping of the offshore plant can cause a massive explosion if the gas leakage occurs during operation. For the purpose of precaution of gas leakage accident, an air pressure test is performed on the process equipment tests using a test pump as much as the power to the piping inner side, mix 99% nitrogen gas and 1% helium gas. The purpose of the air pressure test is to check the work conformity process by handling and regulation for initial piping process, assembly, installation of module, welding, center alignment of the pipes assembling flange gasket in an unrestrained free state. In this paper, the regulation of the problematic air pressure test was analyzed and the solution criteria were established. And leakage tests of existing equipment were performed applying these solution methods. As a result, it was confirmed that there was no problem.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.67 no.12
• /
• pp.1619-1625
• /
• 2018

Portable electronic devices secondary batteries can cause fire and explosion due to micro-current change in addition to the situation of short-circuit inrush current, safety can not be secured with a general operation limited current fuse. Therefore, in secondary battery, it is necessary for the protector to satisfy both the limit current type operation in the open-short-circuit inrush current and the current detection operation characteristic in the micro current change situation and for this operation, a fuse for the current detection type secondary battery protection circuit can be applied. The purpose of this study is to design a protection device that operates stably in the hazardous situation of small capacity secondary battery for portable electronic devices through the design of low melting fuse elements alloy of sensing type fuse and secures stability in abnormal current state. As a result of the experiment, I-T and V-T operation characteristics are satisfied in a the design of the alloy of the current sensing type self-contained low melting point fuse and the resistance of the heating resistor. It is confirmed that it can prevent accidents of short circuit over-current and micro current change of secondary battery.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.32 no.3
• /
• pp.256-261
• /
• 2019

The use of military lithium batteries in this field accelerates the generation of internal pressure because the active materials, lithium and the electrolyte, react to form sulfur dioxide gas. This also reduces the amount of electrolyte. In this condition, batteries can 'vent' or 'explode' especially when completely discharged. Such venting and explosion can be regarded as a safety accident, as toxic gases and shrapnel are ejected from the batteries which can harm the user. A DTaQ was carried out in 2017 as a quality problem solution project to solve this safety issue. A protection circuit was thereby developed, which included a micro controller unit (MCU) which can stop battery usage when in an over-discharging state by sensing its low-voltage condition. In 2018, this concept was expanded to lithium batteries for the remote controlled ammunition system. This paper reports results of the improved performance.