• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.285-285
• /
• 2015

댐 및 저수지 시설물은 노후화나 안전성 미확보로 인한 파손 또는 붕괴 발생 시 하류부에 막대한 인명과 재산피해 등 치명적인 결과를 초래하게 된다. 이러한 대형 안전사고를 예방하고자 시설물의 안전관리에 관한 특별법에서는 댐 시설물을 규모별로 1, 2종 시설물로 구분하고, 이에 대해 주기적으로 안전점검 및 정밀안전진단을 실시하도록 제도화하는 한편 진단 결과에 따라 보수 보강 등의 안전조치를 의무화하고 있다. 구조물 결함에 따른 보수 보강은 보수재료와 공법 선정시 공법의 적용성, 구조적 안전성, 경제성 등을 종합적으로 검토하여 결정하여야 한다. 손상 부위에 대한 보수 보강은 제한된 예산과 인력을 효율적으로 투자하기 위해 보수재료 및 공법의 선정 뿐만 아니라 보수 보강이 이루어져야 하는 부재에 대한 우선순위를 산정하는 것이 최우선적으로 선행되어야 한다. 안전점검 및 정밀안전진단 세부지침에서는 보수 보강 대책 마련 시안전점검 및 정밀안전진단 결과를 기초로 하여 적정 재료 및 공법을 선정하고, 보수 보강의 수준 및 우선순위를 결정하도록 명시되어 있다. 하지만 우선순위 결정에 대한 가이드라인이 부재하여 불필요한 시공과 비효율적인 예산 투입으로 인해 국가예산의 낭비되고 시설물의 안전까지 위협받게 되는 경우가 발생하고 있다. 따라서 본 연구에서는 시설물의 상태에 따른 적절한 보수 보강 필요성을 판단하고 보수 보강 수준 및 우선순위를 결정하기 위한 방법론을 개발하였다. 댐 시설물에 대한 안전점검 및 정밀안전진단의 종합평가는 평가대상 개별시설에 대하여 상태 평가 및 안전성 평가를 실시한 후 그 결과에 의해 산출된 상태평가지수와 안전성평가지수를 비교하여 평가단계별로 그 결과를 취합하여 종합평가를 실시하고 있다. 따라서 상태평가에 의해 산정된 종합평가 결과를 이용하여 개별 부재의 상태평가값 산정을 위해 하부 단계의 가중치 및 평가 지수 역산하고, 재산정된 가중치 및 평가지수를 이용하여 각 부재에 대한 보수 보강 우선순위를 산정하고자 하였다. 개발된 방법론은 점검 진단 책임기술자 및 시설물 관리주체 담당자가 댐 시설물의 개별부재에 대한 보수 보강 실시 여부를 판정할 수 있는 기준으로, 보수 보강에 대한 정책 결정시 경제성을 고려한 신뢰도 있는 기준으로 활용될 수 있을 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1233-1236
• /
• 2004

보안 시스템에서 접근 통제 모델을 사용하는 가장 중요한 목적은 시스템 및 사용자에 대한 안정성을 보장하기 위해서이다. 본 논문에서 다루고 있는, SPR은 보안 시스템의 행위를 유한 상태 기계(FSM) 기반의 보안모델로 표현한 후, 보안 모델에 대한 초기 상태의 안전성을 검사하고 초기 상태에서 다음 상태로 전이가 존재할 경우에 그 상태들에 대응하는 모든 상태들에 대해서 보안기준을 만족하는지 검증하는 도구이다. 본 논문에서는 SPR를 사용하여 현재 많은 사람들이 이용하는 Windows 운영 체제의 NTFS에 기반을 둔 보안모델의 안전성을 검증하는 방법을 소개한다

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.634-639
• /
• 2008

일부 콘크리트댐들의 경우 이상홍수 발생시 상 하류부 수위차가 크지 않은 상태로 월류가 발생하는 특징이 있으며, 치수능력 증대사업을 수행하여 안전성을 확보하기에는 지리적, 경제적인 문제로 어려움이 많아 현실적인 대책 수립이 어려우므로 월류가 발생한 상태에서도 안전성이 확보될 수 있는가에 대한 검토가 필요하다. 한국시설안전공단(2007)에서는 기존 댐의 수문학적 안전성 평가를 필댐과 콘크리트댐으로 구분 적용할 필요성과, 콘크리트댐의 경우 상태에 따라 일부 월류를 허용할 수 있는 방안에 대한 연구를 수행하였으며, 본 연구는 콘크리트 댐의 구조적 안전성 검토의 평가방법으로 수행하게 되었다.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.3 no.4
• /
• pp.35-55
• /
• 2001

Recently, as tunnel structures are getting older and decrepit, many tunnel inspections are carried out for evaluating the tunnel state and safety. But, because there is no exact standard for tunnel state and safety, depending on subjective decision, the new standard to assess the tunnel state is required. The existing standard including mainly the assessment of the state of tunnel lining is not considered the characteristics of tunnel as underground structures. Also, the item of assessment and process of grading and classifying the state of tunnel is not objective and systemetic. In this study, new standard for assessment of tunnel state is presented for improving the problems in evaluating the tunnel state and safety. In the new standard, the new items of assessment including geotechnical condition were selected and graded, the process in classifying the tunnel state is quantitative for objective assessment for tunnel state. This new standard and method is practically used in effective safety inspection and diagnosis and tunnel maintenance.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2011.01a
• /
• pp.137-140
• /
• 2011

시설의 안전성 평가에 대한 연구는 안전성에 영향을 주는 데이터를 정량화하여 획일적인 자동 수행하는 안전관리가 주를 이루고 있다. 이와 달리 자율수행은 수집 된 상황 정보나 상태 데이터를 이용하여 안전성을 예측하고 사고 위험성을 경보하여 사고를 예방 할 수 있다. 본 연구에서는 다양한 시설물 중에서 가스배관의 부식에 대한 판단을 위해서 신경망의 대표적 비지도학습인 자기조직화지도를 적용한다. SOM의 적용에서는 주변효과를 보완하기 위해서 관계적관점지도로 맵을 구성한다. 학습 할 데이터는 가스배관의 방식전위이다. 배관의 부식상태를 확인하기 위하여 수집 된 데이터인 방식전위에는 부식에 대한 위험요인이 내재되어 있다. 학습 후 새로운 데이터가 입력되면 각 상태 군집의 중심뉴런과 맵핑된 뉴런의 유사도를 측정하여 배관의 부식상태를 결정한다. 제안 된 방법으로 판단 된 결과를 기존에 사람이 판단한 결과와 비교하여 검증한다. 이를 통해 배관의 부식상태를 자율적이고 신속하게 판단하여 지능화 된 가스배관 관리로 활용한다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1995.04a
• /
• pp.318-321
• /
• 1995

원자력 발전소의 안전성 보장 및 신뢰성 향상을 위하여 시운전 단계에서 원자력 발전소내 안전등급에 해당하는 배관계통의 상태 확인을 위하여 각종시험을 하도록 되어있다. 특히 새로운 설계기념, 크기 또는 용량을 갖는 원자로 모델에 대해서는 필수적으로 건전성 평가를 하게 되었다. 이를 위해 발전소 건설기간에 시행하는 고온 기능시험 중에 원자로 주변 주요 시스템인 원자로 냉각재 루프 계통에 대한 건전성 확인을 위해 압전형 고온 가속도 센서를 이용하여 정상운전상태의 진동을 측정하여 시스템 진동거동을 규명하였다. 배관시스템의 일상운전상태는 유체의 흐름과 기기운전이 일정한 정상상태와 펌프의 기동 또는 정지 및 밸브의 급격한 개폐등으로 발생하는 과도상태로 나눌 수 있다. 따라서 두 가지 상태의 진동을 측정해야 한다. 배관계통은 정상운전 상태로 설계수명을 유지할 수 있어야 하므로 정상진도잉 최소화 되어야 한다. 진동 평가기준은 배관재질의 응력(S/N 커브) 곡선을 참조하여 설계수명내에 손상이 일어나지 않도록 재료의 허용응력을 산정하고 이를 진동변위로 환산하여 정한 것이며 이 값에 측정 데이타를 비교하여 1차계통 배관의 건전성을 확인하였다.

• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.1551-1552
• /
• 2015

현재 태양광인버터의 안전성확보에 대한 기술기준이 IEC로부터 채택하게 됨과 동시에 독일, 일본, 미국 등 선진 각국에서는 안전성 확보용 기술기준을 적용하고 있으며, 강제(Mandatary) 규격으로 적용하고 있는 상태이다. 그러나 국내 태양광인버터분야는 인버터의 성능만 수행하고 있는 상태이며, 안전성분야는 전무한 상태이다. 따라서 본 논문에서는 성능위주의 특성에서 벗어나 사용자의 보호 및 안전성을 중심으로 CE, UL 등의 해외인증에서 요구하는 기준으로 자리를 잡아가고 있는 IEC 62109 표준화에 대한 정확한 기술기준 및 시험방법에 대해 살펴본다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2016.05a
• /
• pp.322-322
• /
• 2016

국내 1, 2종 댐 시설물은 "시설물의 안전관리에 관한 특별법(이하 시특법)" 제7조에 의해 주기적으로 정밀안전진단을 실시하여 상태평가 및 안전성평가에 의한 종합평가 등급을 부여하고 있다. 정밀안전진단 중 안전성 평가의 수문학적 안전성 평가는 댐의 구조형식과 현장진단 결과에 의한 댐의 상태평가에 따라 1차적으로 수행된다. 여유고 부족 또는 월류 발생 등의 1차적인 조건을 만족시키지 못할 경우 그에 따른 댐체의 구조적 안전을 검토(콘크리트댐)하고, 최종적으로 댐 붕괴 발생 시 하류에 미치는 인적, 경제적 위험요인 등을 기준으로 평가하는 3단계 평가가 수행된다. 본 논문에서는 위 단계적 평가가 수행된 기존댐의 수문학적 안전성 평가 및 상태평가 결과를 사용하여, 1종 기존댐에 대한 수문학적 안전성 취약 순위를 선정하고자 한다. 취약 순위를 선정하기 위하여 다기준의사결정기법(Multi-Criteria Decision Making: 이하 MCDM)을 적용하였고, MC DM의 Payoff Matrix 설정을 위하여 수문학적 안전성 평가 지표를 기준으로 설정하였으며, 이 외의 기준으로는 대상 댐의 연최대 강수량 값을 사용하였다. 연최대강수량값을 산정하기 위하여 기상관측소별 연최대 강수량 30년치의 평균값을 kriging 기법에 적용하여 대상댐에 대한 연최대강수량 값을 도출하여 수문학적 안전성 평가 지표 및 기존댐의 기상 관측값에 따른 댐별 수문학적 안전성 취약 순위 선정에 관한 연구를 수행하였다. 위 결과를 활용하여 수문학적 안전성 평가등급에 대한 검토 및 기후변화 적응 댐 수문학적 안전성 평가 프레임워크 개발을 위한 기초 자료로 활용될 것으로 기대된다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.24 no.4
• /
• pp.64-71
• /
• 2020

In recent years, many infrastructure have been rapidly aging around the world, which grows interest in the maintenance of the infrastructure. Among the social infrastructure, bridge is a very important structure to transport lots of human and various products. The performance evaluation of bridge can be divided into the condition evaluation and safety evaluation, proposed by Korea Infrastructure Safety and Technology Corporation. However, there are no separate criteria for the performance evaluation of three-class bridges. In general, the performance of bridge is dominated by the results of the condition evaluation, which is lower than that of the safety evaluation. Therefore, this study assessed the correlation between the condition evaluation of superstructure and bridge and also between the condition evaluation and the safety and load-carrying capacity of bridge. The results of the study would provide a basic data for the more quantitative and higher relevant performance evaluation of the existing bridges, particularly for three-class bridges.