• Journal of the Korean Society for information Management
• /
• v.1 no.1
• /
• pp.112-126
• /
• 1984

Since with the information explosion more and more bibliographic materials are continually being produced, the need for improvement of the design of bibliographic materials is urgent for quicker and easier use. One questionaire survey concerned with user preference on 7 Korean bibliographic materials was carried out and got the result that two of those 7 systems, Annual Index to Korean Periodicals, Theses for the Doctor's & Master's Degree in Korea are used most frequently and there are also lots of user discontent about currency, coverage, subject heading, layout and typography. The other study was an experimental searching on 4 Korean bibliographic materials to find out whose coding system is most efficient in information searching. According to the result all of those 4 bibliographic materials are very low in retrieval ratio and Annual Index to Korean Periodicals shows the lowest retrieval ratio. The conclusion suggests that deeper and wider investigation should be carried out as one of national projects for the most useful and efficient presentation of bibliographic materials.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.21 no.3
• /
• pp.446-450
• /
• 2012

I.G.G is abbreviation for inert gas generator high temperature in cargo tank it desulfurize, exhaust and froze the gas that combined brimstone element and soot, then supply inert gas by blower and mack tank inside incombustible range this is equipment that nip in the bud the explosion. The blower for suppling inactivated gas has big impeller with heavy weight to achieve the high pressure, it causes a delay for first operation time and too much load is delivered to motor, total destruction by fire of motor is happen frequently. On this research, we will reduce the size and weight of impeller and install it with several stage, it makes an effect for reducing the first operation time. We also intend to contribute to efficient I.G.G. blower design by research a flow rate and pressure specialty from the diameter of impeller number of blades and size of casing.

• Journal of the Korea Safety Management & Science
• /
• v.16 no.4
• /
• pp.159-165
• /
• 2014

For the hydrogen economy system being tried starting with the 21st century, the fields that was not dealt with so far, such as the safety measure for large leakage accidents, the safety problem at infrastructures like a hydrogen station, the safety problem in terms of automobiles depending on introduction of hydrogen cars, the safety problem in a supply for homes like fuel cells, etc., are being deeply reviewed. In order to establish a safety control system, an essential prerequisite in using and commercializing hydrogen gas as an efficient energy source, it is necessary to conduct an analysis, such as analysis of hydrogen accident examples, clarification of physical mechanisms, qualitative and quantitative evaluation of safety, development of accident interception technologies, etc. This study prepared scenarios of hydrogen gas leakage that can happen at hydrogen stations, and predicted damage when hydrogen leaks by using PHAST for this.

• The Bulletin of The Korean Astronomical Society
• /
• v.40 no.1
• /
• pp.79.1-79.1
• /
• 2015

We describe our ongoing project, Intensive Monitoring Survey of Nearby Galaxies. This survey is designed to study transients such as Supernovae (SNe) in nearby galaxies. Our targets are UV-bright (MUV < -18.4) and nearby (d < 50 Mpc) 50 galaxies selected from a GALEX catalog, whose star formation rates are larger than normal galaxies. High star formation in these galaxies ensures that core-collapse supernova explosions occur more frequently in them than normal galaxies. By monitoring them with a short cadence of a few hours, we expect to discover 5 SNe/yr events. Most importantly, we hope to construct very early light curves in rising phase for some of them, which enables us to understand better the physical properties of progenitor star and the explosion mechanism. To enable such a high cadence observation, we constructed a world wide telescope network covering northern, southern hemisphere distributed over a wide range of longitudes (Korea, US, Australia, Uzbekistan and Spain). Data reduction pipe line, detection and classification algorithms are being developed for an efficient processing of the data. Using the network of telescopes, we expect to reach observe not only SNe but also other transients like GRBs, Asteroid, variable AGNs and gravitaional wave optical counter part.

• Journal of Digital Contents Society
• /
• v.9 no.4
• /
• pp.653-659
• /
• 2008

With the recent explosion in using of the Internet, the problem of caching web objects has gained considerable importance. Caching on the Internet differs from traditional caching in several ways. Especially, the conventional caching algorithms are not well suited for the Internet caching. The poor performance is mainly due to its unfair treatment of small objects since all the objects are treated the same even though they differ in size. In this paper, I give an overview of caching policies designed for web objects, and provide a new algorithm of my own. I also have performed trace-driven simulations about variable-size replacement algorithms, and derived a new algorithm to improve byte hit-ratio by classifying objects based on their sizes.

• 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 Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2091-2101
• /
• 1998

Interoperability(lOP) is one of the major goal of Information Technology and Telecommunication fields. In this paper, we discuss dcvclOlJing an interoperabiiity testing(IOPT) method. As is easily gueOisecl from conformance testing and formal verification. state space explosion problem is the most serious problem we encounter in deriving interoperability test method and its test suite. A new state space reduction method to support interoperability testing is suggested based on Petri nets. The proposed test method can be applied to 1 to many communication protocols as well as 1 to 1 communication protocols efficiently

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.25 no.4
• /
• pp.285-303
• /
• 2023

Interest in building underground spaces is increasing for the creation of downtown infrastructure and efficient space utilization. A representative method of utilizing underground space is a tunnel, and in addition to road tunnels, the construction of utility tunnels such as power conduits and utility conduits is gradually increasing. The current basic tunnel construction method can be divided into NATM (New Austrian Tunnelling Method) and TBM (Tunnel Boring Machine). The NATM is a reliable method, but it is accompanied by vibration and noise due to blasting. In the case of the TBM excavation method, there are disadvantages in terms of construction period and construction cost, but it is possible to improve economic feasibility by introducing appropriate complementary methods. In this study, a blasting method was develop using the NATM after TBM pre-excavation using the protective shield method. This is a method that compensates for the disadvantages of each tunnel construction method, and is expected to reduce construction costs, blasting vibration, and noise. In order to review the performance of the developed method, an experiment was conducted to evaluate the performance of explosion-proof tube to which a protective shield scale model was applied, and the impact of blasting vibration of the protective shield method was analyzed.

• Fire Science and Engineering
• /
• v.15 no.1
• /
• pp.127-138
• /
• 2001

I. introduction. A government goal at the present is established to make a welfare nation and to keep people's safe living, but it is criticised that when a large-scale disaster happens, the authority concerned could not deal with it, causing many people injured and material damage. Moreover, in these days, cities have many risk factors. extremely large and intelligent building, industrial facilities and underground equipment have many risk themselves along with scientific progress. The cope with disaster effectively, government must have efficient organization, skillful personnel, tool, facilities and so on. To reduce the damages, what's the most effective government organization\ulcorner II. Government organization for managing disaster In a few decades, a large-sized accidents broke out in korea, for example, collapse of Sampoong department store, break of Sungso bridge, explosion of Daegu city gas, gas explosion accident at Ahyon-dong etc. but government has not any adequate disaster response organization. Especially, after collapse of Sampoong department store broke out, Disaster Management Act is enacted to solve the past problem. According to Disaster management Act, disaster is limited in manmaid disaster. Therefore, in this thesis, disaster management is inspected theoretically, organization of disaster management for pattern of disaster, and role, duty of government organization, emergency relief organization system and actual conditions are analyzed. there are some problems. there are trials and errors. the government has changed the disaster management organization by the disaster management law. the organization consists of central and local government. but both of government do not work together harmoniously. in thesis, I would like to introduce the advanced nations disaster management organization, and study our central, local government organization. III. Conclusion Change and development of the government disaster management organization is the goal of this thesis. we have to increase public service in response and manage disaster. protecting civilian's life from the disaster is very important responsibility of government. there would be better way of government disaster management organization.

• Journal of the Society of Naval Architects of Korea
• /
• v.55 no.5
• /
• pp.371-378
• /
• 2018

Internal detonation of a warhead inside a compartment of naval vessel can result in serious blast damages including plastic deformation and rupture of the structural members especially bulkhead due to the huge explosive impact pressure, fragments and high temperature flame. To secure watertight integrity and to prevent the domino-type flooding of neighbouring compartments caused by the rupture of bulkheads, it is necessary to develop the structural design technology of Blast Hardened Bulkheads(BHB) which can resist the blast impact pressure of threatening weapons to increase the survivability of naval vessels. This study dealt with the simplified structural response analysis of BHB under impact pressure of confined explosion and aimed to develop the efficient and rational design method of BHB and joint structures which can be applied at initial design stage. The present 1st report dealt with the phenomena of explosive detonation surveying the preceding experimental/theoretical research and the characteristics of time history of blast pressure including the peak value and duration time were examined. And to predict the large plastic deformation behaviors of BHB by the huge blast pressure reasonably, the plastic hinge method including the membrane effects was formulated. It was applied to the simplified structural design equations. The following report will deal with the application and adjustment process of the structural scantling equations to the actual BHB design and verification of validity of them.