• Journal of the Korean Institute of Gas
• /
• v.10 no.4 s.33
• /
• pp.47-51
• /
• 2006

Safety issues for LNG(Liquified Natural Gas) terminal or LNG tank involve various concerns such as production/transportation at cryogenic temperature of $-160^{\circ}C$, large volume of handling, flammability and explosion risk. Hence, in designing an LNG terminal rigid safety criteria and mandatory requirements are unavoidable. Since known cases of LNG related accident are very few, careful study and root cause analysis of them are very important and provide precious information to increase safety level of the LNG terminal. In this paper most key accident cases were gathered and analysed to understand fundamental safety issues of LNG terminal to prevent further accident.

• Journal of KIISE:Software and Applications
• /
• v.37 no.9
• /
• pp.669-675
• /
• 2010

For detecting requirement errors in early system development phase, the behaviors of a system should be described in formal methods and be analyzed with analysis techniques such as reachability analysis and cycle detection. However, since they are usually based on explicit exploration of system state space, state explosion problem may be occurred when a system becomes complex. That is, the memory and execution time for exploration exponentially increase due to a huge state space. In this paper, we analyze the fundamental causes of this problem in concurrent systems and explore the state space without composing concurrent state spaces for reducing the memory requirement for exploration. Also our new technique keeps a visited history minimally for reducing execution time. Finally we represent experimental results which show the efficiency of our technique.

• The Bulletin of The Korean Astronomical Society
• /
• v.42 no.1
• /
• pp.54.3-55
• /
• 2017

The nature and physical environments of SNRs are diverse, and for this reason, the understanding of the properties of nearby SNRs is useful in interpreting the emission from SNRs in remote galaxies where we cannot resolve them. In this regard, the LMC is a unique place to study SNRs due to its proximity, location, and composition compared with our galaxy. We carried out a multi-wavelength study of SNR N63A in the LMC, a young remnant of the SN explosion of one of the most massive (> 40 Msun) stars in a cluster. It is currently expanding within a large H II region formed by OB stars in the cluster and engulfing a molecular cloud (MC). As such, N63A is a prototypical SNR showing the impact of SN explosion on the cluster and its environment. Its morphology varies strongly across the wave bands, e.g. the size in X-ray is three times larger than in optical. However, the bright optical nebula would correspond to a MC swept up by the SNR, and consequently the interaction SNR-MC is limited to the central portion of the SNR. We aimed to study the overall structure of N63A, using near-IR imaging and spectroscopic observations to obtain the physical parameters of the atomic shocks, and also to understand how the SNR- MC interaction works and reveal the structure of the shocked cloud as well as the consequences of the impact of the SNR shock on the MC, comparing information obtained in different wavelengths.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.6
• /
• pp.599-607
• /
• 2000

This paper suggests an efficient reachability analysis method of bounded petri nets. Reachability analysis is a fundamental basis for studying the dynamic properties of any discrete event systems. However, it takes at least exponential execution time and memory space to verify in general petri nets. That is, state space explosion problem may occur. In this paper, we attack problems of previous approaches - state space explosion and restrictions to applicable petri net classes - by formulating the reachability problem as set operation over structural relations among places on an unfolding.

• Fire Science and Engineering
• /
• v.16 no.4
• /
• pp.49-58
• /
• 2002

A large number of accidents at an underground place have been happening, including the gas explosion under construction of subway; the fires of underground utility and underground shopping malls, and other explosion, at home and abroad recently. These accidents make the function of a city ineffective due to the paralyses of electricity and communications net as well as the loss of property and cause people to feel unsecured with accompaniment of a heavy of toll of lives. This research will show evaluation methods of a numerical value of expected average loss space of combustion with the use of probability in order to present potential risk of combustion growth that underground space might cause, and how designer decides a system that enables us to compare and evaluate relatively the effectiveness of measures for preventing burning by calculating the expansion route and the damage size of burning in case of fire.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.2 no.4 s.7
• /
• pp.117-122
• /
• 2002

A large number of accidents at an underground place have been happening, including the gas explosion under construction of subway, the fires of underground utility and underground shopping malls, and other explosion, at home and abroad recently. These accidents make the function of a city ineffective due to the paralyses of electricity and communications net as well as the loss of property, and cause people to feel unsecured with accompaniment of a heavy of toll of lives. This study suggests safety assessment items and fire protection assessment technique for underground shopping malls by extracting dangerous elements in the management stage through examination of related accidents, documents and present conditions.

• Journal of Satellite, Information and Communications
• /
• v.6 no.2
• /
• pp.102-106
• /
• 2011

Space Environment including Solar activities such as Solar explosion, Corona Mass Ejection(CMS) is always not friendly for human. Especially it may be fatal to artificial satellites. The lifetime of geostationary communication satellites are reducing due to plasma such as electrons, protons etc. emitting from Sun. This is because the active components constituting communication satellite are easily affected by plasma. Even though the radiation shielding on the components can be a way to prevent, the cost will be high. So the appropriate shielding is necessary and the study on space environment is also. In this study spacecraft anomalies will be investigated from low earth orbit to deep space spacecraft and the correlation between spacecraft anomalies and space environment events including space explosion, geomagnetic storms etc is analyzed.

• Journal of Korean Library and Information Science Society
• /
• v.9
• /
• pp.85-113
• /
• 1982

The information material in the library or in the information service center is at once its own property and the national resources, so that every citizen in the country has the right to the equal use of it for the development of the country. Library co-operation enables every citizen to use easily and equally the materials in the library. In the informational society of today, owing to the information explosion, the increase in the various user's demand of the information, and the rise of the cost of information material, even the richest and highly advanced country cannot be self-sufficient. Under these circumstances, the international co-operation among libraries seems to be the best way to solve the difficulties of selfsufficiency. Therefore, this paper aims to study the background of IFLA founded in 1927 in order to promote the international library co-operation and its development up to 1970's since its establishment, and, by introducing IFLA's programs of UBC, ISBD, and UAP, to consider the significance of IFLA's contribution to the development of library and librarianship.

• Journal of Korean Library and Information Science Society
• /
• v.8
• /
• pp.155-184
• /
• 1981

The publication of the result of scholarly research is an integral part of the process by which learning is advanced. The university presses, as one of the major scholarly publishers are now confronted with many critical problems, such as the declining unit sales, the explosion of manuscripts, the challenge of new publishing technologies, etc., in performing the role of the scholarly communication system. The purpose of this study is to identify the problems imposed on the university presses and alternative strategies for them. For the study, the related literature to the subject were read, analyzed and synthesized, from which the overall prospect of the problems and alternative strategies are derived. The conclusion of the study can be summarized as follows: (1) The faith of the university should lie in its role to advance scholarly learning through production and dissemination of high-quality knowledge, and the university press should materialize such a faith. (2) The scholarly books, though not the best media of scholarly communication taking a side view of its timeliness and brevity, can perform the function of the best media for the specific subject and readers. (3) The scholarly books as national resource must be published for the scholars demanding them even though the publication can't help depending on the subsidiary fund. (4) For the survival and activation of the university presses, the following strategies should be examined, and put in force if necessary. (a) The role of the foundation su n.0, pporting the university presses should be expanded (b) The Co-operative system among the operations of the presses should be established. (c) It is desirable that the university without the press should participate in the university with the press for both the financial su n.0, pporting and the publicizing its faculty's manuscripts. (d) The positive efforts should be made for the increase of sales copies by implementing the dual-system of publication. (e) It is desirable that 'recording system' should be incorporated in the traditional publication system both for the lightening of financial problems and the explosion of publications. (f) It is necessary that the effective methods of the bibliographical control should be developed for the improvement of the scholarly communication. (g) Any kind of the permanent organization composed of the representatives from all the infrastructures of information industry should be established to study the character and direction of technological changes and to discern the better choice of specific, technologies in the scholarly communication system.

• Journal of the Society of Disaster Information
• /
• v.17 no.3
• /
• pp.500-511
• /
• 2021

Purpose: This study seeks to draw out implications that must be considered in the process of establishing measures to evacuate residents in preparation for domestic nuclear disasters by conducting an investigation about the disaster situation at the time of the Fukushima nuclear power plant explosion, emergency warning situation for residents protection, evacuation situation and In addition to investigating problems and measures raised in the resident protection system at that time. Method: A literature survey was conducted focusing on reports published by Japan's national, parliament, local governments and related agencies from right after the Great East Japan Earthquake to the present. Result: Found out what needs to be considered in the process of establishing domestic radiation disaster measures through the results of the survey on the problems and countermeasures derived from the process of evacuation of residents at the time of the Fukushima nuclear power plant explosion. Conclusion: The reviews were classified into four categories and detailed reviews were presented.