• Korean Chemical Engineering Research
• /
• v.61 no.1
• /
• pp.62-67
• /
• 2023

Due to the prolonged impact of COVID-19, the demand for Information Technology (IT) products is increasing, and their production facilities are expanded. Consequently, the use of harmful and dangerous chemicals are increased, the risk of fire(s) and explosion(s) is also elevated. In order to mitigate these risks, the government sets standards, such as KS C IEC 60079-10-1, and manages explosion-prone hazardous facilities where flammable substances are manufactured, used, and handled. However, using the standards of KS, it is difficult to predict the actual possibility of an explosion in a facility, because ventilation (an important factor) is not considered when setting up a hazardous work environment. In this study, the SEMI S6, Tracer Gas Test was applied to the chemical vapor deposition (CVD) facility, a major part of the display industry, to evaluate ventilation performance and to confirm the possibility of creating a less explosive environment. Based on the results, it was confirmed that the ventilation performance in the assumed scenarios met the standards stipulated in SEMI S6, along with supporting the possibility of creating a less explosive working condition. Therefore, it is recommended to use the prediction tool using engineering techniques, as well as KS standards, in such hazardous environments to prevent accidents and/or reduce economic burden following accidents.

• Proceedings of the IEEK Conference
• /
• 2001.06a
• /
• pp.321-324
• /
• 2001

The multiple home PC, and home computing environment has undergone a significant evolution. And Internet explosion needs an integrated networking infrastructure within the home. Home networking is a concept that applies to the networking and application technologies to increase the comfort and ensure sharing and management of home resources as well as the provision of new, enhanced services. This paper proposes a Unification Protocol Architecture for home network. This Unification Protocol Architecture expect to a reference model in home network and to a foundation of the IIA (Internet Information Appliance) industry.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.526-528
• /
• 2000

디지털 비디오 정보를 효율적으로 관리 검색하기 위한 내용 기반 검색 시스템을 위해서는 내용정보의 추상화가 필수적이다. 지금까지 비디오의 내용정보의 추상화, 특히 의미적 내용 정보의 추출은 사람에 의한 수동적인 방법에 의존한 것이 대부분이었다. 본 논문에서는 MPEGgudtlr의 영화 데이터를 대상으로 폭발 장면 자동 추출을 위한 저급 수준 비디오 내용정보의 추상화 방법을 제안하고, 실제 구현을 통하여 그 유용성을 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.873-874
• /
• 2009

$L^*$ 기반의 Assume-Guarantee Reasoning[1]은 시스템 검증 시의 상태 폭발(state explosion)을 줄이는 데 크게 기여하였다. 그러나 시스템 검증에 소모되는 시간은 일반적인 모델 체킹 도구를 사용할 때 보다 크게 증가시킨다. 본 논문에서는 시스템의 검증에 소모되는 시간을 줄이기 위하여 $L^*$ 기반의 Assume-Guarantee Reasoning의 개선안을 제안하였다.

• Journal of the Korean Society for Library and Information Science
• /
• v.45 no.2
• /
• pp.5-21
• /
• 2011

There is an explosion of talk about crucial, new literacies for the 21st Century, for example critical thinking, problem-solving, media literacy, technology literacy, digital literacy, visual literacy. The other day, there was even an article about "gaming literacy!" How does one make sense of it all? The common factor in all these literacies is "information" - information seeking, information use, information processing, information presentation, and information evaluation. And, these "information" elements come together in information literacy: the ability to engage in effective and efficient information problem-solving. Information literacy is the overarching and unifying literacy, and all libraries have a unique and essential role to play in delivering meaningful information literacy programs to people of all ages. In this keynote paper and address, Professor and Dean Emeritus Mike Eisenberg will define the concept and structure of library-based information literacy programs and offer strategies for developing and implementing information literacy programs that are comprehensive(reaching all users), predictable (consistent over time), and accountable(measured and reported).

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.115-122
• /
• 2004

Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

• Bulletin of the Korean Chemical Society
• /
• v.32 no.7
• /
• pp.2267-2273
• /
• 2011

A novel energetic material, 1-amino-1-(2,4-dinitrophenylhydrazinyl)-2,2-dinitroethylene (APHDNE), was synthesized by the reaction of 1,1-diamino-2,2-dinitroethylene (FOX-7) and 2,4-dinitrophenylhydrazine in N-methyl pyrrolidone (NMP) at 110 $^{\circ}C$. The theoretical investigation on APHDNE was curried out by B3LYP/6-311+$G^*$ method. The IR frequencies analysis and NMR chemical shifts were performed and compared with the experimental results. The thermal behavior of APHDNE was studied by DSC and TG/DTG methods, and can be divided into two crystal phase transition processes and three exothermic decomposition processes. The enthalpy, apparent activation energy and pre-exponential factor of the first exothermic decomposition reaction were obtained as -525.3 kJ $mol^{-1}$, 276.85 kJ $mol^{-1}$ and $10^{26.22}s^{-1}$, respectively. The critical temperature of thermal explosion of APHDNE is 237.7 $^{\circ}C$. The specific heat capacity of APHDNE was determined with micro-DSC method and theoretical calculation method, and the molar heat capacity is 363.67 J $mol^{-1}K^{-1}$ at 298.15 K. The adiabatic time-to-explosion of APHDNE was also calculated to be a certain value between 253.2-309.4 s. APHDNE has higher thermal stability than FOX-7.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.34 no.12
• /
• pp.1051-1060
• /
• 2010

The effect of materials on fuel coolant interactions (FCIs) was analyzed on the basis of a solidified particle size response for TROI experiments.$^{(1)}$ The solidified particle size response can provide an understanding of the relationship among the initial condition, the mixing, and an explosion. Through a comparison of the size distributions of the solidified particles in the case of explosive and non-explosive FCIs, it is revealed that an explosive FCI results in the production of a large amount of fine particles and a small amount of large particles. The material effect of the size of solidified particles was analyzed using non-explosive FCIs without losing the information on the mixing. This analysis indicates that an explosive melt includes large particles that participate in the steam explosion, whereas a nonexplosive melt includes smaller particles and finer particles.

• Asia pacific journal of information systems
• /
• v.14 no.4
• /
• pp.71-85
• /
• 2004

Due to exponentially growing threats of cyber attacks, many organizations have begun to recognize the importance of information security. There is an explosion in demand for experienced ISMs(Information Security Managers) and ISSDs(Information Security System Developers). To educate ISMs and ISSDs, identifying the specific knowledge and skill for information security professional is critical. This paper identifies 15 items of knowledge and skill for ISMs and ISSDs using a simplified Delphi technique and categories them. The results of this paper could be used in determining what kinds of knowledge and skill should be included in the curriculum of information security programs.

• Asia pacific journal of information systems
• /
• v.7 no.3
• /
• pp.109-124
• /
• 1997

Pricing information services, where congestion can threaten the efficient operation of information systems, has been studied in economics and information systems literature, Recent explosion of the Internet ana proliferation of multimedia content over the Internet have rekindled the research interest in designing pricing schedules for differentiated information services, In order for the information system to effectively serve users having heterogeneous needs, pricing rules for discriminated services should be considered. At the same time, when individual users' interest does not align with that of the organization that individual users belong to, organization-wide pricing policy should be devised to improve the value of the services rendered by the system. This paper, using a priority queuing model, addresses the need for such on incentive-compatible pricing for different information services.