• 제목/요약/키워드: run-time safety

검색결과 79건 처리시간 0.029초

이진 코드의 정적 제어 흐름 분석 (Static Control Flow Analysis of Binary Codes)

  • 김기태;김제민;유원희
    • 한국콘텐츠학회논문지
    • /
    • 제10권5호
    • /
    • pp.70-79
    • /
    • 2010
  • 바이너리 코드 수준에서 정적인 프로그램 분석을 수행한다. 소스 코드가 아닌 바이너리 코드 수준에서 분석을 수행하는 이유는 일반적으로 로컬 컴퓨터에 설치하는 실행 파일은 소스 코드 없이 단지 바이너리로 된 실행 파일만 주어지는 경우가 대부분이기 때문이다. 또한 정적으로 분석을 수행하려는 이유는 정적인 제어 흐름 분석을 통해 프로그램이 수행 시 어떤 동작을 수행하게 될지를 수행 전에 파악하기 위해서이다. 본 논문에서는 바이너리 실행 파일로부터 함수간의 실행 순서 및 제어 흐름 등의 정보를 표현할 수 있는 실행 흐름 그래프를 작성하여 사용자가 바이너리 파일의 실행 흐름과 위험한 함수의 호출 여부를 동시에 파악할 수 있도록 하며, 그래프를 통해 바이너리 파일의 분석을 용이하게 한다. 또한 실행 흐름에 대한 자동 탐색 방법을 제공하여 수행될 프로그램의 안전성을 보장하고, 수행 전에 외부에서 다운받아 설치할 프로그램이 안전한지를 판단할 수 있도록 한다.

Impacts of wind shielding effects of bridge tower on railway vehicle running performance

  • Wu, Mengxue;Li, Yongle;Zhang, Wei
    • Wind and Structures
    • /
    • 제25권1호
    • /
    • pp.63-77
    • /
    • 2017
  • When railway vehicles run by towers of long span bridges, the railway vehicles might experience a sudden load-off and load-on phenomenon in crosswind conditions. To ensure the running safety of the railway vehicles and the running comfort of the passengers, some studies were carried out to investigate the impacts of sudden changes of aerodynamic loads on moving railway vehicles. In the present study, the aerodynamic coefficients which were measured in wind tunnel tests using a moving train model are converted into the aerodynamic coefficients in the actual scale. The three-component aerodynamic loads are calculated based on the aerodynamic coefficients with consideration of the vehicle movement. A three-dimensional railway vehicle model is set up using the multibody dynamic theory, and the aerodynamic loads are treated as the inputs of excitation varied with time for kinetic simulations of the railway vehicle. Thus the dynamic responses of the railway vehicle passing by the bridge tower can be obtained from the kinetic simulations in the time domain. The effects of the mean wind speeds and the rail track positions on the running performance of the railway vehicle are discussed. The three-component aerodynamic loads on the railway vehicle are found to experience significant sudden changes when the vehicle passes by the bridge tower. Correspondingly, such sudden changes of aerodynamic loads have a large impact on the dynamic performance of the running railway vehicle. The dynamic responses of the railway vehicle have great fluctuations and significant sudden changes, which is adverse to the running safety and comfort of the railway vehicle passing by the bridge tower in crosswind conditions.

LRF 센서를 이용한 글로벌 맵 기반의 적응형 이동 장애물 회피 알고리즘 개발 (Development of Adaptive Moving Obstacle Avoidance Algorithm Based on Global Map using LRF sensor)

  • 오세권;이유상;이대현;김영성
    • 한국정보전자통신기술학회논문지
    • /
    • 제13권5호
    • /
    • pp.377-388
    • /
    • 2020
  • 본 논문에서는 고정된 장애물이 포함된 글로벌 맵 환경에서 LRF 센서만을 가진 자율이동 로봇이 이동장애물을 회피하기 위한 알고리즘을 제안한다. 우선 이동장애물을 회피하기 위해 LRF 거리 센서 데이터와 글로벌 맵을 이용하여 이동장애물을 추출한다. 추출된 이동장애물과 자율이동 로봇의 상대적인 벡터 성분의 합을 이용해 타원 형태의 안전반경을 생성한다. 생성된 안전반경을 고려하여 자율이동 로봇이 이동장애물을 회피하고 목적지에 도착할 수 있도록 한다. 제안된 알고리즘을 검증하기 위해 정량적인 분석 방법을 사용하여 기존 알고리즘과 비교하고 분석한다. 분석 방법은 이동장애물이 없을 때를 기준으로 제안된 알고리즘과 기존의 알고리즘의 경로의 길이와 주행 시간을 비교한다. 제안된 알고리즘은 이동장애물의 상대적 속도와 방향을 고려하여 회피할 수 있어서 경로와 주행 시간 모두 기존의 알고리즘보다 높은 성능을 보인다.

신개념의 레일.차륜간 접촉력 측정에 관한 연구 (A Study on the Measurement of New Concept for the Contact Force between Rail and Wheel)

  • 홍용기;유원희;이희성
    • 한국철도학회논문집
    • /
    • 제10권6호
    • /
    • pp.806-811
    • /
    • 2007
  • 탈선은 차륜 플렌지가 레일에 접촉할 때 발생하는 횡방향의 힘이 커져 차륜이 레일을 이탈하는 현상이다. 탈선 또는 주행안전도를 평가하는 대표적인 기준은 탈선계수이다. 차륜에 스트레인게이지를 부착하여 탈선계수를 측정하는 기존방법은 대단히 복잡하고 측정의 실패확률도 높으며, 고도의 측정기술과 고가의 비용이 요구되고 있다. 따라서 안전성확인이 필요한 그 시점에 즉시 확인하지 못하고 있어 안전확보에 어려움을 겪고 있다. 본 논문에서는 차륜과 레일간의 접촉력인 윤중과 횡압을 쉽게 측정할 수 있는 방안을 집중적으로 연구하였으며, 가속도과 변위의 거동만으로 탈선 가능성을 예측할 수 있는 새로운 탈선계수 측정방법을 제시하였다.

빅데이터 분석을 활용한 민식이법 제정과정에 대한 연구 (A Big Data Analysis on the Enactment Process of Min-Sik's Law)

  • 강애라;남태우
    • 정보화정책
    • /
    • 제30권4호
    • /
    • pp.89-112
    • /
    • 2023
  • 교통안전정책은 교통안전법을 기반으로 5년마다 수립되어 진행되고 있다. 장기적으로 계획이 수립되어 진행되는 정책 외에도 사회적으로 이슈가 되는 각종 사건, 사고의 재발을 방지하기 위해 수립되는 정책들도 있다. 시민의 행정참여는 최근 들어 관심이 매우 집중되고 있으며, 행정의 민주성을 실현할 수 있는 효율적인 수단이 되고 있다. 본 연구에서는 최근 어린이보호구역에 대한 법령강화라는 사회적 이슈를 몰고 온 '김민식 사건'이 '국민청원'이라는 '온라인 플랫폼'의 등장으로 인해 어떻게 행정의 민주성이 구현되고 있으며, 법제정에 기여하게 되었는지 빅데이터 분석을 기반으로 제시하고자 한다. 이슈의 주기에 따른 정책변동을 시계열적인 구분에 따라 나누고 각 구간에 어떠한 내용으로 구성되고 있는지 텍스트마이닝 분석을 통해 살펴보고자 한다. 본 연구의 결과는 정책문제 해결에 있어 실질적이고 현실적인 대안의 마련이 중요하다는 정책적 함의를 제시함으로써 연구자 및 정책입안자에게 유용한 이론적, 실무적 시사점을 제공할 것으로 기대한다.

소방안전교육에 대한 중·고등학교 교사들의 인식 (Awareness on middle and high school teachers for fire safety education)

  • 홍영호
    • 한국산학기술학회논문지
    • /
    • 제20권8호
    • /
    • pp.586-593
    • /
    • 2019
  • 본 연구는 중고등학교에 재직 중인 교사를 대상으로 학교에서 진행되고 있는 소방안전교육에 대한 인식 조사를 실시하여 그 결과를 학교 안전교육에 필요한 기초자료를 제공할 목적으로 진행되었다. 연구는 중고등학교에 재직하고 교사 317명을 대상으로 설문조사를 실시하여 진행하였다. 설문조사 결과는 SPSS 19.0 win 프로그램을 활용하여 빈도분석(Frequency analysis)을 통해 빈도백분율을 산출하였다. 분석된 설문자료의 검증을 위하여 카이제곱검정을 실시하였다. 설문도구에 대한 Cronbach'alpha는 0.845로 신뢰도가 높은 편이다. 조사 결과에 의하면 현재 학교에서 진행되고 있는 소방안전교육은 안전한 생활습관 형성 및 생명존중 사상을 주된 목적으로 평균 6개월에 1회 정도 진행되고 있으며 교육 시간은 30~45분 정도로 진행되고 있다. 학교에서 진행되는 소방안전교육은 학교에서 수립된 계획에 의해 소방관련 기관의 협조를 얻어 체험 형태로 진행되고 있었다. 교육을 위한 자료는 인터넷과 유관기간에서 발행하는 정기 간행물을 활용하고 있다. 현재의 여건에서 학교에서 소방안전교육을 체험관련 교육프로그램 중심으로 운영하기 위한 체험공간의 충분한 확보와 학생들의 적극적인 참여 의식이 필요하다고 할 수 있다.

Failure of circular tunnel in saturated soil subjected to internal blast loading

  • Han, Yuzhen;Liu, Huabei
    • Geomechanics and Engineering
    • /
    • 제11권3호
    • /
    • pp.421-438
    • /
    • 2016
  • Explosions inside transportation tunnels might result in failure of tunnel structures. This study investigated the failure mechanisms of circular cast-iron tunnels in saturated soil subjected to medium internal blast loading. This issue is crucial to tunnel safety as many transportation tunnels run through saturated soils. At the same time blast loading on saturated soils may induce residual excess pore pressure, which may result in soil liquefaction. A series of numerical simulations were carried out using Finite Element program LS-DYNA. The effect of soil liquefaction was simulated by the Federal Highway soil model. It was found that the failure modes of tunnel lining were differed with different levels of blast loading. The damage and failure of the tunnel lining was progressive in nature and they occurred mainly during lining vibration when the main event of blast loading was over. Soil liquefaction may lead to more severe failure of tunnel lining. Soil deformation and soil liquefaction were determined by the coupling effects of lining damage, lining vibration, and blast loading. The damage of tunnel lining was a result of internal blast loading as well as dynamic interaction between tunnel lining and saturated soil, and stress concentration induced by a ventilation shaft connected to the tunnel might result in more severe lining damage.

차세대고속철도기술개발사업 시스템인터페이스 시험기술 개발 (Development of the technology to verify the systems interface for the High speed Electric Multiple Unit)

  • 강병모;정상국;안효권;최환침;유승위
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2010년도 춘계학술대회 논문집
    • /
    • pp.810-815
    • /
    • 2010
  • Since a long time ago, many railway engineers analyze and discuss the interface between the sub-system of railway, such as a wheel/rail interface, pantograph/catenary interface etc. The verifying of the system interface could help to achive the optimized performance and safety of the railway system considering that the railway system is constructed by various engineerings, such as civil, mechanical, electrical, etc. A rolling stock with distributed drive system, which will be developed by HEMU-400x project, is capable of running on high speed line and conventional line in Korea. To verify the performance of rolling stock, test run will be done with revenue service line. And the test items of the system interface have to be selected to verify a functional compatibility and physical force between rolling stock and infrastructure. In this paper, the authors will indicates the test items to verify system interface. To achive the conclusion, the authors analyze a specification of the development train and the design value of Seoul-Busan high speed line, which will be used for testing of the development train, and also, study the various case of high speed train commissioning.

  • PDF

지하철 본선터널 제연성능 실물 실험 (Full-Scale Test of Smoke-Control Performance of a Subway Tunnel)

  • 박원희;이덕희;정우성
    • 한국화재소방학회논문지
    • /
    • 제25권4호
    • /
    • pp.94-102
    • /
    • 2011
  • 지하철 본선터널에서 고온 연기시험을 수행하였다. 고온의 화재연기를 모사하기 위하여 약 1.0MW의 알콜트레이 및 연기발생장치를 이용하였다. 화재발생후 9분 후에 터널내에 설치된 팬이 순차적으로 작동하여 화재 연기가 제어되는지를 확인하였다. 터널내의 주요 위치에서의 풍속, 풍향, 온도 및 연기농도 등을 측정하여 이를 화재안전 관점에서 분석하였다. 화재 인근의 천장부분의 풍속 측정값으로 연기의 속도를 구하였으며, 위치별 제연기류가 형성되는 시간이 상이한 것을 확인하였다. 본 연구에서 계측된 풍속분포를 이용하여 지하철 본선터널 제연설비 성능 평가를 위한 수치해석의 경계값 및 비교결과로 활용될 것이다.

Assessment of Two Wall Film Condensation Models of RELAP5/MOD3.2 in the Presence of Noncondensable Gas in a Vertical Tube

  • Park, Hyun-Sik;No, Hee-Cheon;Bang, Young-Seok
    • Nuclear Engineering and Technology
    • /
    • 제31권5호
    • /
    • pp.465-475
    • /
    • 1999
  • The objective of the present work is to assess the analysis capability of two wall film condensation models, the default and the alternative models, of RELAP5/MOD3.2 on condensation experiments in the presence of noncondensable gas in a vertical tube of PCCS of CP-1300. In the calculation of a base case the default model of RELAP5/MOD3.2 under-predicts the heat transfer coefficients, and Its alternative model over-predicts them throughout the condensing tube, Also, both models over-predict the void fractions. The nodalization study shows that the variation of the node number does not change both modeling results of RELAP5/MOD3.2 Sensitivity study for varying input parameters shows that the inlet steam-air mixture flow rate, the inlet air mass fraction, and the inlet saturated steam temperature give significant changes of their heat transfer coefficients Run statistics show that the grind time of the default model is always higher than that of the alternative model by about 23%.

  • PDF