• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2003.05a
• /
• pp.526-531
• /
• 2003

원자력발전소에서는 심각한 사고로 인한 고온상태에서 원자로내부의 물질이 산화반응하여 대량의 수소가 발생한다. 이 때 수소가 폭발하면, 원자력발전소의 건전성에 중대위험이 발생한다. 실제로 미국원자력발전소인 쓰리마일원전(TMI-2) 사고 이후 지금까지 중대사고시 수소거동에 대하여 여러 연구기관에서 많은 연구가 수행되었으나 아직도 많은 기술적 불확실성이 존재한다.(중략)

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.1027-1030
• /
• 2003

유전체 서열결정이 폭발적으로 증가해 가고 있다. 인간 유전체사업(Human genome project)의 궁극적인 목적은 인간 염색체에 있는 30억개의 뉴클레오티드와 10만개의 유전자를 밝혀내는 것이고 생의학에서 새로운 발견이나 옹용을 위한 정보로 이용하는 것이다. 이 사업은 1980년대 후반에 시작되었고 현재 서열의 결정이 완료된 상태이다. 본 논문에서는 인간 유전체 사업에서 파생된 가장 중요한 문제 중의 하나인 복수 염기서열 정렬 문제와 복수 염기서열 정렬 시스템의 구현에 대하여 논한다.

• The Science & Technology
• /
• no.3 s.406
• /
• pp.26-31
• /
• 2003

컬럼비아호는 처음 만들어졌을 때 순수한 선체무게만 7만 1800kg이었으며 메일 엔진이 장착된 후에는 8만 741kg에 달했다. 전체 길이는 56.1m이며 승무원이 타는 오비터와 외부연료탱크, 고체연료 로켓 부스터 등으로 구성돼 있다. 20여 년간 27차례의 우주비행을 하면서 우주개발과 과학연구에 커다란 업적을 남긴 컬럼비아호는 지난 1월 16일 28번째 우주비행에 나섰다가 지구 착륙을 불과 10분도 남겨놓지 않은 상태에서 공중 산화했다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.61-63
• /
• 2002

복잡한 하드웨어 및 소프트웨어를 설계함에 있어 그 안정성에 대한 보장이 매우 중요하다. 이를 위해 정형 검증이나 테스팅과 같은 많은 기법을 활용하고 있다. 그러나 안정성 검증을 위해 시스템을 모델링하고 데스트 케이스를 만드는 과정에서 상태 폭발에 따른 메모리의 한계에 부딪히게 된다. 본 논문에서는 이러한 문제를 해결하고, 메모리를 효율적으로 이용할 수 있는 탐색방법을 이용한 데스트 케이스 생성 알고리즘을 제안한다.

• 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의 개선안을 제안하였다.

• Explosives and Blasting
• /
• v.34 no.2
• /
• pp.31-38
• /
• 2016

The hydrodynamics code is a numerical tool developed for modeling high velocity impacts where the materials are assumed to behave like fluids. The hydrodynamics code is widely used for solving impact problems, such as rock blasting using explosives. For a realistic simulation of rock blasting, it is necessary to model explosives numerically so that the interaction problem between rock and explosives can be solved in a fully coupled manner. The equation of state of explosives, which describes the state of the material under given physical conditions, should be established. In this paper, we introduced the hydrodynamics code used for explosion process modeling, the equation of state of explosives, and the determination of associated parameters.

• 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

• Spatial Information Research
• /
• v.22 no.4
• /
• pp.77-87
• /
• 2014

Recently there are many disasters caused by volcanic activities such as the eruptions in Tungurahua, Ecuador(2014) and $Eyjafjallaj\ddot{o}kull$, Iceland(2010). Therefore, it is required to prepare countermeasures for the disasters. This study analyzes the Baekdu Mountain area, where is the risky area because it is active volcano, based on the observed data and scientific methods in order to assess a risk, produce a hazard map and analyze a degree of risk caused by the volcano. Firstly, it is reviewed for the research about the Baekdu mountain volcanic eruption in 1215(${\pm}15$ years) done by Liu Ruoxin. And the factors causing volcanic disaster, environmental effects, and vulnerability of Baekdu Mountain are assessed by the dataset, which includes the earthquake monitoring data, the volcanic deformation monitoring data, the volcanic fluid geochemical monitoring data, and the socio-economic statistics data. A hazard, especially caused by a volcano, distribution map for the Baekdu Mountain Area is produced by using the assessment results, and the map is used to establish the disaster risk index system which has the four phases. The first and second phases are very high risky area when the Baekdu Mountain erupts, and the third and fourth phases are less dangerous area. The map shows that the center of mountain has the first phase and the farther area from the center has the lower phase. Also, the western of Baekdu Mountain is more vulnerable to get the risk than the eastern when the factors causing volcanic disasters are equally applied. It seems to be caused by the lower stability of the environment and the higher vulnerability.

• Journal of the Society of Disaster Information
• /
• v.10 no.1
• /
• pp.71-83
• /
• 2014

This study carried out an experiment in order to compare thermal characteristics after collecting dust generated in the process of disposing of waste tire, plywood flour in the process of manufacturing plywood, salicylic acid dust in the process of manufacturing functional soap, and dust in the process of manufacturing wheat powder, which has potential fire and explosion hazard. According to the results of experiment, the analysis showed that all samples subject to the experiment were in the condition where heat flux decreased and temperature decreased as the quantity of added talc was increased. This shows that decomposition rate decreased, and hazard decreased. However, in all of samples subject to the experiment, as heating rate increased, endothermic onset temperature moved to the low-temperature part, and the amount of absorbed heat was largely increased. This showed that the decomposition hazard of sample increased as heating rate increased, according to the analysis. Besides, TGA experiment results showed that thermal stability was secured because total weight loss decreased as the amount of talc was increased for all samples subject to the experiment regarding the ratio of weight loss. It is expected that the continuous research and supplementation of dust explosion mechanism in the future will contribute to the establishment of measures for the effective dust explosion prevention.

• Journal of Power System Engineering
• /
• v.9 no.2
• /
• pp.5-13
• /
• 2005

새로운 엔진을 개발하기 위한 중요한 과정 중에 하나로서 엔진 연소실 가시화를 들 수 있다. 그러나 실제 운전상태에 있는 엔진 연소실을 가시화하기 위해서는 극복해야 할 여러 가지 어려운 점들이 있기 때문에, 지금까지는 간단한 실험적 접근방법 혹은 소수의 이론적 해석 방법만이 보고 된 상태이다. 본 연구에서는 가시화용 수정엔진을 개발하기 위해 필요한 몇 가지 중요한 사항들을 다루었다. 즉, 가시화용 수정엔진의 안전한 운전을 위하여 엔진 실린더 외부에 강제대류 효과를 주었고, 또한 실린더 두께 변화에 따른 온도 및 응력장의 분포를 정량적.정성적으로 고찰하였으며 다음과 같은 결론을 얻을 수 있었다. 첫째, 실린더 라이너 외벽을 강제대류로 냉각했을 경우, 열응력 감소에 매우 큰 효과를 보았다. 둘째, 가시화용 수정엔진 라이너의 최적 두께를 도출하였다. 셋째, 전통적인 주철 소재의 실린더 라이너와 비교 시, 주철 라이너는 연소에 의한 폭발 압력이 실린더 안전성에 큰 영향을 미치지 않는 것으로 보고 되었으나, 수정 라이너의 경우 연소압력 및 연소에 의한 연소열 모두 중요한 설계 인자임을 입증하였다.