• Korean Chemical Engineering Research
• /
• 제61권1호
• /
• pp.62-67
• /
• 2023

반도체, 디스플레이 등 IT(Information Technology) 제품 수요 증가로 관련 산업이 확대되고 있다. 이는 생산설비 증설과 화학물질 사용 증가로 이어지며 화재·폭발의 위험성에도 영향을 미치고 있다. 이러한 위험요인에 대해 정부는 오래전부터 인화성 물질을 제조·사용·취급하는 장소의 사고 예방을 위하여 산업안전보건법 및 KS 기준에 따라 폭발위험 장소로 설정하여 관리토록 하고 있다. 그러나, 폭발위험장소를 설정할 때, 중요한 요소인 환기량을 고려하지 않아 실질적인 폭발분위기 조성 가능성을 예측하기는 쉽지 않다. 이 연구에서는 디스플레이 산업에서 주요 공정인 CVD(Chemical Vapor Deposition) 설비에 SEMI S6 Exhaust Ventilation Test 방법을 적용하여 위험한 설비의 환기 성능을 평가하고, 폭발분위기 조성 가능성을 확인하였다. 그 결과, 가상의 시나리오 내에서 환기 성능이 SEMI S6에서 규정한 기준에 적합하였고, 폭발분위기가 조성될 가능성이 낮음을 확인하였다. 따라서, KS 규격뿐만 아니라 공학적 기법으로 폭발분위기의 형성 여부를 예측한 연구 결과를 통해 합리적이고 경제적인 사고 예방에 도움이 될 것으로 기대된다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 하계종합학술대회 논문집(1)
• /
• 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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
• /
• pp.526-528
• /
• 2000

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.873-874
• /
• 2009

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

• 한국문헌정보학회지
• /
• 제45권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).

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.115-122
• /
• 2004

소프트웨어 시스템 모델링에서는 정형적 기법으로 소프트웨어를 모델링하고 분석하여 소프트웨어 시스템이 가지는 문제점들을 구현에 앞서 미리 찾아 해결하고자 한다. 페트리 네트는 그래픽 정형 명세 언어로 병행적 시스템, 실시간 시스템, 통신 프로토콜 등의 소프트웨어 시스템 모델링 및 분석에 널리 이용되고 있다. 페트리 네트 분석에서, 교착상태(deadlock), 수행가능성(liveness) 등의 일반적인 시스템 특성 분석은 주로 도달성 분석을 통해 이루어지며 시스템 요구사항에 관한 고유 특성 분석은 모델 검사(model checking) 방법을 통해 이루어진다 하지만 도달성 분석과 모델 검사 방법에서는 기본적으로 시스템의 모든 가능한 상태들을 나열하여 분석하므로 모델의 규모가 커짐에 따라 상태가 기하급수적으로 증가하는 상태 폭발(state explosion) 문제가 발생한다. 이 논문에서는 상태 폭발을 회피하면서 시스템의 요구사항을 체계적으로 분석할 수 있는 새로운 방법을 제안하고자 한다. 먼저 분석하고자 하는 요구사항을 속성 네트로 나타낸 후, 시스템 모델과 속성 네트를 합성하여 분석한다. 이러한 합성 분석에서는 분석 대상 속성과 연관되지 않는 모델의 부분들을 축약 규칙에 따라 축약함으로써 분석 도메인을 점진적으로 줄어 나갈 수 있으며 요구사항 만족 여부를 간단히 검사할 수 있는 장점이 있다.

• Bulletin of the Korean Chemical Society
• /
• 제32권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.

• 대한기계학회논문집B
• /
• 제34권12호
• /
• pp.1051-1060
• /
• 2010

고화 입자 크기의 관점에서 TROI 용융물-냉각수 반응 실험의 결과에 대한 물질 효과를 분석하였다. 고화 입자 크기를 분석하면 용융물-냉각수 반응에서 초기 조건, 혼합, 폭발을 기적으로 해석할 수 있다. 증기 폭발이 발생한 경우와 폭발이 발생하지 않는 경우의 고화 입자 크기를 분석한 결과 증기 폭발이 발생한 경우에는 미세 입자가 많고 비교적 큰 입자는 적은 것으로 나타났다. 또한, 혼합 과정에 대한 정보를 보존할 수 있는 증기 폭발이 발생하지 않은 용융물-냉각수 반응을 이용하여 용융물 입자 크기에 대한 물질 효과를 분석하였다. 증기 폭발이 잘 발생하는 용융물은 증기 폭발에 참여할 수 있는 큰 입자를 많이 포함하고 있었고, 증기 폭발이 잘 발생하지 않는 용융물은 증기 폭발보다는 냉각되기 쉬운 작은 입자 혹은 미세 입자를 많이 포함하고 있었다.

• Asia pacific journal of information systems
• /
• 제14권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
• /
• 제7권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.