• 제목/요약/키워드: 코드 분석

검색결과 3,191건 처리시간 0.03초

국내 무기체계 분야의 소프트웨어 신뢰성 추정 모델 적용 사례 (An Application of Software Reliability Estimation Model on Weapon System)

  • 박다운
    • 한국산학기술학회논문지
    • /
    • 제21권6호
    • /
    • pp.178-186
    • /
    • 2020
  • 국내 무기체계 연구개발과정에서 소프트웨어 신뢰성이 중요한 요소로 여겨지고 있다. 그래서 무기체계 소프트웨어 연구개발 절차에는 소프트웨어 신뢰성 향상을 위한 활동들이 포함되어 있다. 하지만 개발절차에 포함된 활동은 소스 코드 정적 및 동적 분석으로 국제 표준에서 요구하는 활동과 다소 차이가 존재한다. 소프트웨어 신뢰성 관련 국제 표준인 IEEE std 1633-2016에서는 소프트웨어 신뢰성 확보를 위한 프로세스를 정의하고 있으며, 이들 가운데 소프트웨어 신뢰성 추정을 필수 활동이라고 이야기하고 있다. 소프트웨어 신뢰성 추정은 시험단계의 결함을 기반으로 통계 모델을 활용해 현재 시점의 소프트웨어 신뢰성을 추정하는 활동이다. 추정한 모델을 기반으로 소프트웨어 고장률을 추정할 수 있으며, 목표 고장률과의 비교를 통해 시험 종료 여부를 결정할 수 있다. 따라서 본 연구에서는 무기체계 소프트웨어 개발 과정에 소프트웨어 신뢰성 추정 모델을 적용하였다. 그 결과 목표한 소프트웨어 신뢰성을 달성하기 위해 지속적인 시험이 진행되었으며, 정량적인 소프트웨어의 신뢰성을 확인 할 수 있었다. 본 연구를 기반으로 무기체계 소프트웨어의 개발 과정에서 국제 표준에서 제시한 소프트웨어 신뢰성 공학 프로세스를 반영하는 노력이 지속적으로 이루어지기를 기대한다.

80 MPa의 압축강도를 갖는 콘크리트 보의 휨강도 예측 (Prediction of Bending Strength of Concrete Beams with Compressive Strength of 80 MPa)

  • 김경철;양인환;조창빈
    • 콘크리트학회논문집
    • /
    • 제29권4호
    • /
    • pp.335-343
    • /
    • 2017
  • 본 연구에서는 80 MPa 수준의 압축강도를 갖는 고강도 콘크리트 부재의 휨 강도 특성에 대한 연구를 수행하였다. 실험변수는 SD 400 및 SD 600의 철근 공칭항복강도, 0.98~1.97%의 휨 철근비 및 부재의 전단지간-유효깊이 비(a/d)를 고려하였다. 고강도 콘크리트 보의 하중-처짐 관계, 연성, 휨강도 및 현행 설계코드에 의한 휨강도 예측값을 분석하였다. 고강도 철근의 사용은 부재의 휨강도는 증가시키는 반면에 연성을 감소시킨다. 전단지간-유효깊이 비가 증가함에 따라 연성도는 감소한다. 현행 콘크리트구조기준, Erocode 2 및 도로교설계기준에 의한 휨강도 예측값과 휨강도 측정값을 비교하였다. 고강도 콘크리트 보의 휨강도 예측값은 측정값을 과소평가하고 있으며, 보수적인 설계결과를 나타낸다. 또한, 강도감소계수를 사용하는 콘크리트구조기준에 의한 고강도 콘크리트 보의 휨강도 예측값과 재료계수를 사용하는 Erocode 2 및 도로교설계기준에 의한 휨강도 예측값은 서로 유사하게 나타난다.

쓰레기 소각재 사용 콘크리트의 품질특성에 대한 실험적 연구 (An Experimental Study on the Quality of Concrete with Municipal Solid Waste Incineration Ash)

  • 김재우;최재진;문대중
    • 한국건설순환자원학회논문집
    • /
    • 제2권4호
    • /
    • pp.335-344
    • /
    • 2014
  • 쓰레기 소각재(소각재)를 콘크리트용 재료로 재활용하기 위하여 소각재의 품질특성에 대하여 분석하였으며, 소각재를 사용한 콘크리트의 유동특성 및 강도특성에 대하여 검토하였다. 소각재의 화학성분은 CaO 성분이 50%이상을 차지하고 있었으며, 소각재의 누적입도분포 50%의 평균입경은 $25{\mu}m$ 정도를 나타내었다. 소각재 IA1의 입자형상은 미세입자가 뭉쳐져 구형상을 나타내고 있으며, 소각재 IA2의 입자형상은 미세입자가 판상 형상으로 겹쳐져 있는 구조로 제조공정에 따라 다르게 나타났다. 소각재를 사용하므로써 콘크리트의 품질특성에도 크게 영향을 미쳤으며, 소각재 IA2를 사용한 경우 슬럼프가 증가하고 고성능감 수제 사용량이 감소하였으나, 압축강도 발현은 저하하였다. 소각재 IA2와 규조분말을 병용하여 혼합하므로써 목표슬럼프를 얻기 위한 고성능감수제의 사용량은 증가하였으나, 재령 28일 압축강도는 향상되는 효과가 있었다. 또한, 압축강도와 인장강도와의 비는 CEB-FIP 코드의 85%~105% 범위내에 있었다.

OLAFOAM에 기초한 원형유공케이슨 방파제의 반사율 및 작용파압에 관한 3차원시뮬레이션 (Three-dimensional Simulation of Wave Reflection and Pressure Acting on Circular Perforated Caisson Breakwater by OLAFOAM)

  • 이광호;배주현;김상기;김도삼
    • 한국해안·해양공학회논문집
    • /
    • 제29권6호
    • /
    • pp.286-304
    • /
    • 2017
  • 본 연구에서는 어항 등과 같은 소규모 항에서 적용 가능한 격자블록결속에 의한 신형식의 원형유공케이슨을 제안하고, 이러한 방파제의 수리특성을 수치적으로 검토하였다. 본 연구에서 적용한 수치해석 코드는 최근들어 다양한 분야에서 공학적 문제해결을 위해 그 사용예가 급증하고 있는 공중사용허가서(오픈소스 기반) 라이선스 기반의 OpenFOAM(Open Field Operation and Manipulation)에 조파모듈, 투과층 해석모듈, 및 반사파 제어기능 등을 추가한 OLAFOAM을 적용하였다. 본 연구는 먼저, 1) 규칙파 하 3차원슬리트케이슨 방파제에서 파의 파압변동에 대해 기존의 실험 결과와 비교 검토하고, 2) 불규칙파를 조파하여 목표한 파의 재현과 주파수스펙트럼을 비교 검토하여 OLAFOAM의 타당성을 검증하였다. 이로부터 슬리트케이슨과 유사한 원형유공케이슨이 설치된 일정수심의 3차원수치파동수조에 불규칙파를 조파하여 유수실 폭과 유의파고 및 유의주기의 변화에 따른 원형유공케이슨 방파제에서 월파량, 반사율, 파압분포 및 그들의 상호연관성을 면밀히 검토 분석하였다. 이로부터 파압분포는 불투과연직벽체에 대한 Goda 식의 결과보다 매우 작은 결과를 나타내었으며, 반사율은 기존의 슬리트케이슨에서 반사율의 변동범위 내에 존재하는 것을 알 수 있었다.

휴대용 단말 기반 의료용 무선 방사선 모니터링 시스템 개발 (Development of a Portable Device Based Wireless Medical Radiation Monitoring System)

  • 박혜민;홍현승;김정호;주관식
    • Journal of Radiation Protection and Research
    • /
    • 제39권3호
    • /
    • pp.150-158
    • /
    • 2014
  • 각 의료기관 내 방사선 관련 종사자나 방사선 치료환자들은 진단 및 치료 시 필연적으로 의료상 피폭을 수반하게 된다. 국제방사선방호위원회(ICRP) 권고나 국제원자력기구(IAEA)의 기준에 따라 기준선량 제약치를 적용 및 권고 받고 있지만 1차 피폭대상자인 종사자나 환자들의 피폭최적관리를 위해서는 잠재적인 피폭대상자들에게 기존의 피폭관리 시스템보다 직접적이고 가용성이 높은 측정 및 분석 방법이 필요하다. 따라서 본 연구에서는 기존에 구비된 휴대용 단말과 연동하여 원거리에서 실시간으로 방사선 모니터링이 가능한 시스템을 개발하였다. 모니터링 시스템은 검출부, 영상부, 통신부 세 부분으로 구성되었다. 검출부는 시스템의 소형화를 위해 실리콘 광증배소자(silicon photomultiplier) 기반 섬광검출기를 설계하였으며, 영상부는 무선 CCD (charge-coupled device)카메라 모듈을 사용하여 검출부와 함께 Bluetooth 통신모듈을 통해 휴대용 단말로 측정된 방사선 정보와 영상이 전송된다. 제작된 시스템은 성능 평가를 위해 진단용 X-ray 발생장치와 $^{137}Cs$, $^{22}Na$, $^{60}Co$, $^{204}Tl$, $^{90}Sr$ 선원을 사용하였다. 측정결과를 통해 개발된 시스템은 gamma, beta, X-ray에 대해서 검출 반응성을 확인하였고, 방사선 세기에 따른 응답 선형성과 MCNPX 전산코드를 이용한 측정 거리에 따른 시스템의 검출 정확도 평가 시 3% 내외의 오차범위를 확인하였다. 본 연구의 결과는 방사선 검출 시스템 구성의 비용절감 효과와 개인피폭정도관리에 기여할 것으로 기대한다.

한계상태 정의에 따른 FRP Rebar 보강 콘크리트 슬래브의 구조거동 예측 (Prediction of Structural Behavior of FRP Rebar Reinforced Concrete Slab based on the Definition of Limit State)

  • 오홍섭;김영환;장낙섭
    • 대한토목학회논문집
    • /
    • 제40권4호
    • /
    • pp.371-381
    • /
    • 2020
  • FRP로 보강된 콘크리트 부재의 파괴형태는 콘크리트 압괴와 섬유 파단으로 정의되며, 설계방법에 따라 한계상태를 조금씩 다르게 정의하고 있다. FRP 보강재는 섬유에 따라 성능이 상이하기 때문에 사용상태와 극한상태의 성능을 예측하는 것이 상대적으로 까다롭다. 특히 많이 사용되고 있는 ACI 440의 기준은 주로 저탄성계수를 갖는 GFRP를 중심으로 개발되었기 때문에 다른 섬유에 대한 적용성이 충분히 검증되지 않은 상태이다. 또한 ACI440의 휨한계상태는 보강비에 따라 압괴와 파단이 동시에 발생하는 천이영역이 상대적으로 크기 때문에 균형보강비에서의 거동예측이 상대적으로 어렵고, 사용성 예측 방법이 하중조건에 따라 민감하기 때문에 상대적으로 복잡한 단점이 있다. 따라서 본 연구에서는 0.8~1.2 𝜌b의 보강비를 갖는 슬래브의 실험결과와 문헌고찰을 통하여 설계방법별 거동예측의 신뢰성과 편이성을 고찰하였다. 해석결과 Model Code의 모멘트 곡률식(LIM-MC) 간략식의 경우 FRP 보강구조물에도 충분히 적용할 수 있는 것으로 분석되었으며, EC2에 기반한 한계상태 설계법이 상대적로 극한강도설계법보다 신뢰성 있는 결과를 나타내었다.

축소모형실험과 입자결합모델 해석을 통한 철근 콘크리트 구조물의 발파해체 거동에 관한 비교 분석 (A Study on the Behavior of Blasting Demolition for a Reinforced Concrete Structure Using Sealed Model Test and Particle Flow Analysis)

  • 채희문;전석원
    • 화약ㆍ발파
    • /
    • 제22권1호
    • /
    • pp.33-43
    • /
    • 2004
  • 본 연구에서는 철근콘크리트(reinforced connote) 구조물에 대해 발파해체 축소모형실험을 수행하고 이를 전산실험결과와 비교하였다. 적용된 발파해체 공법은 파괴거동을 비교적 쉽게 확인할 수 있는 점진붕괴공법이며, 차원해석(Hobbs(1969))을 실시하여 축소모형실험에 적용될 강도특성을 계산하였다. 이에 따라 석고, 모래, 물의 혼합하여 콘크리트를 대용할 재료로 사용하였으며, 연성을 지니며 축소강도가 철근과 유사한 땜용 납선을 철근 대용 재료로 사용하였다. 이 때 모래와 석고의 중량 비를 다양하게 변화시키면서 이에 따른 강도의 변화를 측정하고 최적의 강도 값을 갖는 배합 비를 결정하여 사용하였다. 모형의 제작은 실내에서 미리 양생된 부재들을 현장으로 옮겨 연결부만을 타설하여 일체화시키는 방법으로 구조물을 축조하였다. 축소모형실험을 전산실험결과와 비교하기 위하여 요소의 파괴거동을 육안으로 확인할 수 있는 개별요소법에 의해 수행되는 상용코드인 PFC2D(Particle Flow Code 2-Dimension)를 사용하여 전산해석을 수행하였다. 먼저 3차원 무근 콘크리트 라멘 구조의 모형을 설계하고 그 축소모형을 발파해체하여 거동을 촬영하였다. 이를 전산실험결과와 비교하여 2차원 해석의 한계는 존재하나 대체로 유사한 형태의 거동을 보임을 알 수 있었다. 그리고, 무근 콘크리트 라멘 구조 해석의 경험과 철근콘크리트 보의 실내 굴곡실험결과를 근거로 하여 철근콘크리트 구조모형의 발파해체 사전해석을 실시하였다. 그 결과, 2차원 해석이라는 한계에도 불구하고 900ms 까지는 거의 유사한 거동을 보이며 붕괴됨을 확인하였다.

Differential Code Bias를 고려한 한반도 전리층 총전자수 지도 생성 (Generation of Korean Ionospheric Total Electron Content Map Considering Differential Code Bias)

  • 이창문;김지혜;박관동
    • 한국측량학회지
    • /
    • 제29권3호
    • /
    • pp.293-301
    • /
    • 2011
  • 전리층에 의한 신호지연 오차는 2000년 5월 SA해제 후 GPS 측위의 가장 큰 오차 요인이다. 이 연구에서는 전리층 오차를 산출하기 위한 방법으로 국토지리정보원 44개소의 상시관측소로부터 제공된 위상평활코드 의사거리 관측값을 이용하여 전리층 총전자수를 추정하였다. 총전자수를 정확하게 추정하기 위해 위성과 수신기의 하드웨어 바이어스인 DCB(Differential Code Bias)를 산출하여 적용하였으며, 적용 효과를 확인하기 위해 GlM을 기준으로 DCB 적용 전 후의 전리층 총전자수를 비교하였다. 그 결과, DCB를 적용했을 때 약 3~4 TECU, 적용하지 않았을 때 약 35~45 TECU의 RMS 오차를 나타냈다. DCB를 적용하여 $1^{\circ}{\times}1^{\circ}$ 공간해상도의격자형 전리층 총전자수 지도를 생성하였으며, 이때 총전자수 추정에 이용되는 상시관측소의 개소 수 증가에 따른 효과를 분석하기 위해 상시관측소의 개소 수를 10개소, 20개소, 30개소, 44개소 순으로 증가시키며 총전자수를 추정하였다. 각 총전자수 지도를 GIM과 비교하여 RMS 오차를 산출한 결과, 10개소의 상시관측소를 이용한 경우 5.3 TECU에서 44개소의 상시관측소를 이용한 경우 3.9 TECU로 감소하는 것을 확인하였다.

SET에 의한 folded cascode comparator 분석 (An Analysis of folded cascode comarator by Single Event Transient(SET))

  • 장재석;정재필;박정철
    • 한국정보전자통신기술학회논문지
    • /
    • 제13권2호
    • /
    • pp.169-175
    • /
    • 2020
  • 본 논문은 SET에 노출된 전자기기는 불규칙한 작동 및 출력 오류를 나타낼 수 있으므로 집적회로에서 SET 상황에 대해서 연구하였다. 폴디드 캐스코드 비교기에서 지수정류파(iexp)을 이용하여 SET 환경을 설정하였다. 비교기가 SET에 의해 어떤 영향이 있는지에 대해 실험하였다. SET현상을 발생시키지 않은 폴디드 비교기에서는 전파 지연은 0.26㎲, 이득은 0.649으로 측정되었다. SET현상을 발생시킨 폴디드 비교기에서 출력단과 가까운 MOSFET는 민감하게 측정되었으며 전파 지연은 0.36~0.37㎲,이득은 0.649로 계산되었다. 중간에 위치한 MOSFET는 0.28~0.30㎲, 이득은 0.649로 계산되었다. 폴디드 비교기에서 출력단과 가장 멀리 떨어져 있는 MOSFET는 전파지연이 0.25~0.26㎲, 이득은 0.649로 계산되었다. SET 환경에서, 폴디드 비교기에서 출력부분에 가까이 있는 MOSFET는 민감하였다. 그리고 출력부분과 멀리 떨어져 있는 MOSFET에서는 SET를 입력하지 않은 정상적인 폴디드 비교기와 같은 결과를 얻었다.

Multitier 웹 어플리케이션 환경에서 악의적인 SQL Query 탐지를 위한 HTTP Request - SQL Query 매핑 기법 (HTTP Request - SQL Query Mapping Scheme for Malicious SQL Query Detection in Multitier Web Applications)

  • 서영웅;박승영
    • 정보과학회 논문지
    • /
    • 제44권1호
    • /
    • pp.1-12
    • /
    • 2017
  • 지속적으로 증가하는 인터넷 서비스 요구사항을 만족하기 위하여 인터넷 서비스를 제공하는 시스템은 웹 서버와 DB(database) 서버로 구성된 multitier 구조로 변화되어왔다. 이러한 multitier 웹 어플리케이션 환경에서 기존의 IDS(intrusion detection system)는 웹 서버와 DB 서버에서 misused traffic pattern들이나 signature들을 매칭하여 이미 알려진 공격을 검출하고 해당 접속을 차단하는 방식으로 동작한다. 하지만 이러한 방식의 IDS는 정상적인 HTTP(hypertext transfer protocol) request를 이용하여 악의적으로 DB 서버의 내용의 변조를 시도하는 attacker의 공격을 DB 서버단에서 제대로 검출하지 못한다. 그 이유는 DB 서버는 웹 서버로부터 받은 SQL(structured query language) query가 어떤 사용자의 HTTP request에 의해 발생한 것인지 알지 못하는 상태에서 처리하며, 웹 서버는 SQL query 처리 결과 중 어떤 것이 악의적으로 DB 서버 변조를 시도한 SQL query에 의한 결과인지 알 수 없기 때문이다. 이런 공격을 검출하기 위해서는 HTTP request와 SQL query 사이의 상호작용관계를 명확히 파악하고, 이를 이용하여 악의적인 SQL query를 발생시킨 사용자를 추적해야 한다. 이를 위해서는 해당 시스템의 소스코드를 분석하거나 application logic을 완벽하게 파악해야 하므로 현실적으로 불가능하다. 본 논문에서는 웹 서버와 DB 서버에서 제공하는 로그만을 이용하여 모든 HTTP request와 SQL query간의 mapping 관계를 찾아내고, 이를 이용하여 특정 SQL query를 발생시킨 HTTP request를 추정하는 기법을 제안한다. 모의실험을 통하여 94%의 정확도로 HTTP request를 추정할 수 있음을 확인하였다.