• Journal of the Korean Institute of Gas
• /
• v.24 no.4
• /
• pp.84-92
• /
• 2020

Most facilities in chemical plants operate in environments that are outside the range of temperature and pressure that can be encountered on a daily basis, and are vulnerable to aging due to these stresses and environmental conditions. The facilities exposed to these conditions are not only likely to fail due to cumulative damage, but also lead to accidents if maintenance and replacement are not performed.Recommendation guidelines called risk-based inspection are widely used around the world-wide. However, limits exist for facilities that have already elapsed for a certain. As a result of the survey on the aging of Ulsan industrial complex in Korea, which carries out proper inspection, many of the facilities have been used for 20 years. Also, most of the facilities where the accident occurred have been in operation for more than 20 years. Therefore, this study suggested criteria for classifying devices that have exceeded a certain period of use as obsolete facilities. In addition, quantitative risk assessment was conducted. The safety investment method using the cost-benefit analysis method was proposed in order to calculate the loss cost and reduce the risk by expressing the risks of the corresponding aged facility as an Economic index. By utilizing the method of cost-benefit analysis of old facilities using the quantitative risk assessment presented in this study, it can be expected to improve the performance and life of old facilities, improve production efficiency and reliability of the system of facilities, change the recognition of safety management costs, increase employee stability, and reduce loss costs.

• Journal of Wellness
• /
• v.14 no.2
• /
• pp.207-223
• /
• 2019

The purpose This study aimed at proposing class module elements for creativity and convergence and class models for creativity and convergence by integrating content elements by physical activity field(health, challenge, competition, ) for physical education and STEAM. For this, literature review, focus group interview(FGI) and discussions with experts were conducted, and the following study results have been drawn up: First, concerning the class module elements for creativity and convergence, total 11 class module elements in the health field were suggested including detecting risks by posture analysis and analyzing and designing amount of physical activity. Second, total 7 module elements in the challenge field were deduced such as anticipation of obstacles to target achievement and modeling of effective exercise. There were 17 convergence elements in the competition field including game record analysis and creation of game data storage application. Third, total 9 creativity and convergence module elements in the field include modeling of technology improvement for motion and symbolization for motion records. In addition, class modules related to convergence with engineering in the health field, convergence with technology in the challenge field, convergence with art in the competition field and convergence with art and mathematical symbols were proposed.

• Computational Structural Engineering
• /
• v.3 no.4
• /
• pp.113-122
• /
• 1990

An analytical simulation of the flexural behavior of SFRC beam has been illustrated. Curvature distributions and crack opening in critical region were taken into account. Compressive and tensile constitutive models which express post-peak behavior of SFRC with stress-crack opening relationships were incorporated in simulating nonlinear flexural behavior of the beam. The model was able to predict test results with reasonable accuracy. Behavior of the critical section and effects of different factors m the flexural behavior of SFRC beam were investigated. Simple observation and statistical approach have been made in selecting most influential parameters in flexural behavior of SFRC.

• Nuclear industry
• /
• v.36 no.5
• /
• pp.20-24
• /
• 2016

반핵 활동가였던 마이클 쉘린버거는 청정 에너지로서 원자력을 선택하여 사용할 것을 앞장서 주장하는 원전 옹호론자가 되었다. 마이클 쉘린버거는 환경운동가이다. 그러나 동시에 수많은 자연보호운동가들에게 비판의 대상이 되는 에너지원인 원자력 발전의 옹호론자이기도 하다. 그렇지만 이 사람이 원래 이랬던 것은 아니다. 쉘린버거는 오히려 과격한 반핵 활동가였는데 본인의 표현에 의하면 모하비 사막의 동쪽에 위치한 Ward Valley 방사성폐기물 처리장 같은 핵 관련 시설의 사용을 금지시키거나 아예 없애버리자고 앞장서 난리치던 사람이었다. 그러나 지구 온난화와 이에 따르는 심각한 결과를 알게 되면서 두 아이의 아버지인 이 44세의 활동가는 James Hansen같은 기후학자가 속해 있는 자연 보호 활동 그룹에 합류하여 기후 변화에 대처할 가장 청정한 에너지원이 되는 원자력 발전에 대한 재검토를 요구하게 되었다. 이처럼 원자력 발전을 오히려 늘려야 한다고 주장하는 것은 2011년 일본의 후쿠시마 원전 사고와 30년 전 터진 체르노빌 원전 사고의 결과로 원전은 태생적으로 위험한 것이라는 생각을 가지게 된 사람들에게는 환경운동의 이단 행위로 보일 수밖에 없을 것이다. 쉘린버거는 자기가 거주하고 있는 캘리포니아 주의 버클리와 가까운 샌프란시스코에서 지난 4월에 열린 미국원자력학회(American Nuclear Society) 연례회의에 연사로 참석하였으며 그곳에서 < Union-Tribune >과 인터뷰를 하였다. 인터뷰 내용 중 일부를 발췌하여 소개한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.114-118
• /
• 2008

시스템 운영 중에 오류가 발생하면 치명적인 인적, 물적 피해를 초래하는 안전필수 시스템은 안전성과 신뢰성을 확보하기 위한 요구명세의 정형적인 명세와 검증이 요구된다. 철도 차량의 진로와 속도를 제어하는 철도제어 시스템은 안전필수 시스템임에도 불구하고 요구사항이 자연어로 표현되어 있다. 자연어로 명세 된 요구사항은 자연어의 모호한 특성으로 인하여 오류의 위험으로부터 안전하지 못하다. 본 논문에서는 자연어로 명세 되어있는 철도제어 시스템의 요구사항을 도식적인 설계언어인 상태차트(Statechart)를 이용하여 정형적으로 명세함으로써 철도제어 시스템의 안전성과 신뢰성을 향상하고자 한다.

• Journal of the Korean Society of Safety
• /
• v.10 no.4
• /
• pp.60-67
• /
• 1995

Ocassionally, many chemical plants experienced unexpected shutdown and suffered serious economic loss caused by boiler accidents due to mis-operations during the start-up or shutdown. A strategy to prevent such accidents is proposed here by using the form of frame for the recognition of all needed conditions, i.e., the states of the boiler, hazardous or dangerous conditions, each level conditions, transition network and heuristic knowledge of human operators. The expert system based on this strategy is considered to be an available method to predict all of the hazardous conditions in boiler plants.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.571-574
• /
• 2006

Dependent type은 유리수, 리스트 함수, 행렬 곱 등 여러 가지 타입들의 제약 사항들을 충실히 표현하는 데에 필수적이기 때문에 이를 지원하는 타입 시스템을 탑재한 언어를 새로 개발하거나 기존 언어의 다른 특성들을 활용하여 이를 모의(simulate)하려는 시도가 다각도로 진행되고있으며, Haskell 타입 레벨 프로그래밍도 이런 모의 기법 중 하나다. 기존 타입 레벨 프로그래밍은 변별력의 손실이 없는 대신 이로 인해 관련 함수들의 타입이 복잡해지거나 확정하기 어려워지는 경우가 많아서 잘못된 프로그램을 작성할 위험 부담이 커진다. 실제로 dependent type이 필요한 경우들 중에는 매우 간단한 변별력만을 요구하는 경우가 많으므로, 귀납적 자료형을 이진 추상화하여 일부 변별력을 포기하는 대신 상대적으로 간단하게 dependent type과 관련 함수들의 타입을 확정하는 간소화된 타입 레벨 프로그래밍 기법을 제안한다.

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

최근 소프트웨어 산업에서는 개발 기간의 지연, 비용 증대와 같은 위험관리를 하기 위한 방법으로, SPI 전략이 활발히 진행되고 있다. 사실표준인 CMM이나 국제표준인 SPICE 등이 SPI의 참조적인 모델로 사용된다. 그러나 이들 모델은 특정환경을 가진 소프트웨어 개발 조직에 대한 품질 개선을 위해서 필요한 구체적인 개선 절차와 방법을 기술하고있지 않다. 특히 SPI를 위해서 SPA가 선행되는 경우가 많은데, 효율적인 SPA를 위해서는 심사절차에 대한 정형화가 필요하며 이를 통하여 심사의 일관성을 유지할 수가 있다. 본 논문에서는 심사의 정형화를 위해 SPA의 각 단계들을 UML을 사용하여 표현하고, 모델의 신뢰성을 ISO/IEC 9126의 6가지 품질 특성의 테두리 안에서 검증하고자 한다. 또한 결함들(Defect)간에 연관성을 분석하여, SPA의 등급평가 절차에서 사용되도록 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.347-350
• /
• 2011

감시카메라 환경에서의 비정상 집단행동 탐지란 감시카메라로부터 유입되는 영상에서 다중 객체가 위험에 처한 상황을 신속하고 정확하게 탐지 및 인식하는 분야를 말한다. 본 논문에서는 CCTV 등과 같은 감시카메라 환경에서 움직임 벡터와 SVDD를 이용하여 집단내의 비정상 상황을 탐지하는 프로토타입 시스템을 제안한다. 제안된 시스템은 움직임 벡터를 이용하여 영상내의 움직임 정보를 추출 표현하였으며, 비정상 집단행동의 판별 문제를 실용적 차원의 단일 클래스 분류 문제로 재해석하여 단일 클래스 SVM의 대표적 모델인 SVDD를 탐지자로 설계하였다. 공개적으로 사용 가능한 벤치마크 데이터 셋인 PETS 2009와 UMN을 이용하여 본 논문에서 제안한 비정상 집단행동 탐지 시스템의 성능을 실험적으로 검증한다.

• Proceedings of the Korean System Dynamics Society
• /
• 2000.02a
• /
• pp.39-60
• /
• 2000

시스템 다이내믹스 모델링은 시스템의 인과 구조를 파악하기 위한 인과지도 분석과 인과 구조를 시뮬레이션하기 위한 저량/유량 모텔링으로 이분화 된다고 할 수 있다. 일반적으로 시스템 다이내믹스 모델링에서 인과지도는 저량/유량 모델링의 기반이 되어 왔다. 그러나 인과지도가 지나치게 추상화되어 있는 경우, 인과지도로부터 저량/유량 모델을 구축하는 것은 상당히 어려운 작업이었다. 특히 정책결정자의 주관을 표현한 인지지도를 저량/유량 모델로 전환하는 데에는 연구자의 주관이 첨가됨으로써 인지지도의 특성을 상실시킬 위험이 있었다. 본 논문에서는 인지지도 또는 추상적인 인과지도를 저량/유량 모델로 전환시키는 방법으로써 NUMBER(Normalized Unit Modelling By Elementary Relationships)에 관하여 논의하고자 한다. 본 논문에서 제안된 NUMBER 방법을 활용하여 김대중 대통령의 금융위기 극복 정책에 관한 인지지도를 저량/유량 모델로 전환하여 시뮬레이션 하여 봄으로써, 연구자의 주관을 최소화하면서 정책결정자의 인지지도나 추상적인 인과지도를 간편하게 저량/유량 모델로 전환시켜 그 동태적 행태를 분석할 수 있다는 점을 제안하고자 한다.