• 한국방재학회 논문집
• /
• 제10권6호
• /
• pp.17-25
• /
• 2010

본 연구는 U-채널 세그멘탈 콘크리트 교량의 차량 충돌 안전성에 대한 연구를 수행하였다. U-채널 세그멘탈 콘크리트 교량은 추가 고정하중을 감소시키고, 측보가 방호벽 역할을 동시에 수행하는 교량이라는 장점을 가지고 있다. 그러나 측보의 파괴는 전체 교량의 붕괴로 이어질 수 있는 위험 요소를 가지고 있다. 따라서, U-채널 세그멘탈 콘크리트 교량 측보의 차량 충돌에 따른 거동분석 및 특성파악이 필요하다고 판단된다. 본 논문에서는 AASHTO LRFD 설계기준 (2007)의 정적 및 동적 차량 충돌해석 기준을 적용하여 U-채널 세그멘탈 콘크리트 교량의 충돌해석을 수행하였다. 정적차량충돌해석의 경우에는 AASHTO LRFD 설계기준 (2007)에서 제시하고 있는 등가정적하중 재하하여 해석을 수행하고, 동적차량충돌의 경우에는 AASHTO LRFD 설계기준 (2007)의 방호벽 충돌실험기준에 근거한 실제 차량을 모델링하여 충돌해석을 통한 안전성 검토를 수행하였다. 검토결과, AASHTO LRFD 설계기준 (2007)을 만족하는 정적 및 동적 충돌하중에 대해 U-채널 교량시스템은 안전성을 확보하고 있는 것으로 판단된다.

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

다양한 실행경로가 존재하는 실시간 시스템을 이해하기 위해 정적 정보와 함께 동적 정보의 이해가 필요하다. 본 논문은 매개언어 SRL을 사용하여 정적 정보와 동적 정보를 모두 표현할 수 있는 방법을 제안했다. SRL을 통해 표현된 정적 정보와 동적 정보는 많은 시스템 이해 도구에 사용될 수 있다. 또한 동적 정보를 얻기 위한 방법으로 실제 시스템이 아닌 가상기계를 통한 가상실행을 수행함으로써 안전성이 중요한 시스템을 검증이전에 위험부담 없이 검사할 수 있다.

• 한국전자통신학회논문지
• /
• 제10권4호
• /
• pp.513-519
• /
• 2015

정적분석방식은 소프트웨어 코드분석방식중의 하나이다. 국제철도신호시스템 소프트웨어 관련규격 IEC 62279에서는 소프트웨어 안전성 레벨에 따라 총 9가지 분석방법을 조합하여 사용할 것을 권고하고 있다. 본 논문에서는 도시철도 차 지상간 열차운행 정보 통신장치 연구개발에서 소프트웨어 품질을 향상하기 위하여 세 가지 정적분석방식에 대하여 연구하고, LDRA 툴을 이용하여 사례 연구를 진행하였다. 따라서 철도신호시스템 소프트웨어개발주기에 필요한 시간을 단축하여 안전성 관련 소프트웨어의 효율적인 개발에 도움을 주고자 한다.

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2008년도 학술논문요약집
• /
• pp.239-240
• /
• 2008

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1994년도 춘계학술대회논문집; 영남대학교, 20 May 1994
• /
• pp.154-157
• /
• 1994

보는 토목, 건축, 기계, 선박, 항공 등 구조공학 분야에서 가장 기본이 되는 구조단위이므로 그에 대한 동적해석 특히 자유진동에 관한 많은 연구들이 발표되고 있다. 이제까지 이러한 연구들은 사항중으로 인한 정적 초기처짐의 영향을 고려하지 않은 논문들이다. 최근 재료과학의 발달로 고강도의 재료가 출현하고 따라서 세장비가 매우 큰 구조물의 시공이 가능하게 되어 정적 처짐이 다소 큰 구조물에서도 정적 안전성을 확보할 수 있게 되었다. 그러나 이러한 경우에 정적 초기처짐은 구조물의 동적거동에 영향을 줄 것으로 생각된다. 본 연구는 문헌[7]에서 유도된 편미분방정식을 이용하여 사하중에 의한 정적 초기처짐을 갖는 보의 자유진동을 지배하는 상미분방정식을 유도하고 이를 수치해석하여 고유진동수와 진동형을 산출하는데 연구목적이 있다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제22권3호
• /
• pp.97-102
• /
• 2018

기존 PSC I형 거더는 콘크리트의 자중, 정착구 및 긴장방식 등의 영향으로 장경간화의 적용성이 불리하였다. 이를 극복하기 위하여 PSC 거더의 복부에 중공을 도입하고 다단계 긴장을 도입함으로써 50~70m 경간에 적용 가능한 중공 웨브 PSC I형 거더를 개발하고 실교량으로 시공하였다. 본 연구는 중공 웨브 PSC I형 거더교 현장에서 정적재하시험을 통하여 계측을 한 결과와 대상 구조물의 유한요소해석 결과를 바탕으로 비교, 분석하여 중공 웨브 장경간 PSC 거더교의 공용내하력과 안전성을 평가하였다. 본 교량의 정적재하시험과 수치해석 결과가 유사하게 나타났으며 중공 웨브 PSC I형 거더의 거동을 잘 모사하는 것으로 나타났다. 교량의 모든 거더는 설계 활하중 하에서 충분한 내하력을 확보하는 것으로 평가되었고 안전성을 확보하여 시공 결과의 적절성을 확인하였다.

• 한국항공우주학회지
• /
• 제49권6호
• /
• pp.473-480
• /
• 2021

소형 무인비행체 드론의 비행제어기(Flight Controller) 소프트웨어로 널리 사용되고 있는 오픈소스(Open Source)에 대한 정적분석(Static Analysis)을 통해 소프트웨어 품질의 문제점을 분석하고 개선 방안을 제시한다. 소프트웨어 품질 기준으로는 국제적으로 널리 적용되고 있는 MISRA 코딩 규칙을 선정하였으며, 정적분석 도구는 국제 도구인증(Tool Certification)을 받아 항공분야 뿐만 아니라 안전성(Safety)이 요구되는 자동차, 철도, 원자력, 의료 등 모든 산업에서 활용되고 있는 LDRA Tool을 사용하였다. 오픈소스 모듈의 구조, 사용 데이터 분석, 코딩 규칙 준수, 품질 지표(복잡도 및 시험성) 등 소프트웨어의 품질 전반에서 안전성을 위협하는 문제점들을 발견하였으며, 이에 대한 개선 방안을 제시하였다.

• 콘크리트학회논문집
• /
• 제19권1호
• /
• pp.11-18
• /
• 2007

댐 안전성 평가를 위한 내진성능평가는 지속적으로 실시하였으나, 댐에서 취약부로 알려진 여수로 피어부에 대한 거동 분석에 대한 연구는 거의 이루어지지 않았다. 실제 지진발생시 여수로 피어가 국부 손상을 받기에 취약한 부분으로 추정되어 본 연구에서 댐의 내진성능 평가를 위한 기초 실험으로서 정적 시험을 수행하였다. 본 연구에서는 댐의 여수로 피어부에 대한 축소된 철근콘크리트 모형을 통한 강도모델을 구성하여 정적 모형 시험을 실시하고, 시험 결과의 분석, 구조해석을 통한 실제 구조물의 거동 및 균열하중, 극한하중에 대한 분석을 실시하였다. 대상 시험체에 대한 모형 시험 결과와 수치해석 결과는 서로 다른 파괴 거동을 나타내어 파괴하중이 서로 다르게 추정되었으나, 모형 시험체의 파괴 거동을 고려하는 경우에는 정적 시험과 해석을 통하여 실제 구조물의 균열 발생 하중과 극한하중을 추정할 수 있는 것으로 사료된다.

• 조명전기설비학회논문지
• /
• 제18권3호
• /
• pp.149-155
• /
• 2004

본 논문에서는 상정사고 해석을 통해 결정된 가장 심각한 단일 선로고장에 대하여 부하차단이나 재급전을 하지 않고, 유연송전기기의 운전만으로 안전도를 향상시켜 이를 극복할 수 있는 방법을 제시하였다. 즉, 직렬, 병렬, 직병렬보상기기 등 유연송전기기의 각 종류별로 정적 안전도 여유를 최대화하고 안전도 지수를 최소화하는 방법을 개발하였고, 이를 통하여 각 유연송전기기의 최적 운전점을 결정하는 방법을 개발하였다. 여기서, 정적 안전도 지수는 선로 조류 및 모선 전압에 관한 안전도를 정량화하여 식으로 나타낸 것이다. 안전도 지수가 작아지면 안전도 여유는 커지는데, 본 논문에서는 안전도 지수를 반복계산법으로 최소화하였다. 본 논문에서는 제안한 방법은 IEEE 57모션개통에 적용하여 제안된 방법의 정당성을 수치적으로 입증하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
• /
• pp.2493-2502
• /
• 2011

소프트웨어 RAMS를 위한 소프트웨어 코드의 정적 분석을 위해서 경험 있는 테스터들은 안전에 고장을 야기시키는 정적 기법을 선별적으로 사용하여 결함을 검출하기를 선호한다. 코딩 규칙, 소프트웨어 메트릭스, 위험데이터 등의 정적 기법들의 많은 사례들이 보고되고 있다. 그러나 다수의 분석 사례들은 정적 분석의 효과를 이론적으로만 제시할 뿐, 코드 분석에 사용된 코드 결함들을 테스터가 어떻게 판단하여 분류하고 이를 높은 품질을 보증하기 위해 올바르게 제거 수정하였는가에 대한 구체적인 설명이 부족하다. 간혹, 일부 사례를 통해서 그 효과를 제시하는 자료들도 있으나 그 적용과정이 구체적이지 않아 신뢰를 얻기가 어려운 경우가 많다. 본 논문에서는 안전성 화보를 위해 철도분야에서 많이 사용되는 정적 기법들을 소개하고 이들을 실제 개발 과제에 적용하여 각각의 결과를 비교하고 분석하였다. 본 논문의 결과를 일반화하기는 어려울 것이지만 하나의 사례 연구로서 참고하고 활용될 수 있을 것이다.