• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2015년도 학술발표회
• /
• pp.285-285
• /
• 2015

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.1233-1236
• /
• 2004

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

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2008년도 학술발표회 논문집
• /
• pp.634-639
• /
• 2008

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

• 한국터널지하공간학회 논문집
• /
• 제3권4호
• /
• pp.35-55
• /
• 2001

최근 터널 구조물이 점차 노후화됨에 따라 터널의 안전성을 평가하기 위한 점검 및 진단이 많이 수행되고 있다. 그러나 터널구조물의 상태 및 안전성 평가에 대한 명확한 기준이 없어 조사자의 주관적인 판단에 의존할 수 밖에 없는 실정으로 이에 대한 체계적인 기준정립이 요구되고 있다. 또한 기존방법은 터널라이닝에 대한 평가에 많은 비중을 주고 있어 지반구조물로서의 터널특성을 제대로 반영하지 못하고 있으며, 상태평가요소과 터널등급산정과정이 체계적이지 못하여 이에 대한 보완이 필요하다 할 수 있다. 따라서 본 연구에서는 터널 상태 및 안전성 평가방법의 문제점을 개선하기 위한 새로운 터널구조물상태평가기준을 제시하였다. 본 기준은 국내외의 터널기준을 분석하여 상태평가요소를 선정하고 이를 점수화하였으며, 대표등급산정방법을 정량화하므로서 터널상태를 객관적으로 평가할 수 있도록 하였다. 본 기준과 방법은 터널구조물에 대한 상태평가에 객관성과 신뢰성을 확보하여 보다 효율적인 안전점검 및 진단업무에 활용될 수 있다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2011년도 제43차 동계학술발표논문집 19권1호
• /
• pp.137-140
• /
• 2011

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

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1995년도 춘계학술대회논문집; 전남대학교, 19 May 1995
• /
• pp.318-321
• /
• 1995

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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2015년도 제46회 하계학술대회
• /
• pp.1551-1552
• /
• 2015

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

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2016년도 학술발표회
• /
• pp.322-322
• /
• 2016

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

• 한국정보과학회논문지:시스템및이론
• /
• 제26권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.

• 한국구조물진단유지관리공학회 논문집
• /
• 제24권4호
• /
• pp.64-71
• /
• 2020

최근 국내외적으로 노후화된 시설물이 증가함에 따라 사회인프라 공용시설물 유지관리에 대한 관심이 급증하고 있다. 사회인프라 공용시설물 중 교량은 인적 및 물적 통행량이 많은 안전성에 대한 중요도가 매우 높은 시설물이다. 교량의 유지관리를 위한 교량의 종합평가는 한국시설안전공단에서 제시된 상태평가와 안전성평가로 분류할 수 있다. 하지만, 3종 교량에 대해서는 현재 종합평가와 관련된 구체적인 기준이 따로 없는 실정이다. 일반적으로 교량의 상태평가 결과가 안전성평가 결과보다 낮게 평가되어, 실제적으로 교량의 종합평가는 상태평가 결과에 지배적이라 할 수 있다. 따라서 본 연구는 교량의 상부부재들간의 상태평가 지수를 비교 분석하고, 상태평가와 안전성 및 내하력 간의 상관관계를 분석하였다. 상태평가 결과와 교량의 안전성, 내하력 등의 성능평가 결과와의 상관관계를 분석함으로써 정량적이고 관련성이 높은 교량의 종합평가, 특히 3종 교량의 종합평가 기준 정립 시 활용할 수 있는 기초자료를 제시하고자 한다.