• 제목/요약/키워드: 정형 검증

검색결과 423건 처리시간 0.025초

임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술 (Intermediate-Representation Translation Techniques to Improve Vulnerability Analysis Efficiency for Binary Files in Embedded Devices)

  • 정병호;김용혁;배성일;임을규
    • 스마트미디어저널
    • /
    • 제7권1호
    • /
    • pp.37-44
    • /
    • 2018
  • 임베디드 기기는 시퀀스 제어 기능과 수치연산 기능을 활용하여 제어 프로그램에 따라 산업현장의 기기 등 다양한 자동화 시스템에 활용된다. 현재 임베디드 기기는 기업의 산업현장, 원전, 대중교통 같은 국가기반시설에서 제어 시스템으로 활용되고 있다. 따라서 임베디드 기기를 대상으로 하는 공격은 큰 경제적 손실과 사회적 손실을 야기할 수 있다. 임베디드 기기를 대상으로 하는 공격은 대부분 데이터, 코드 변조로서 제어 프로그램을 대상으로 이루어진다. 산업 자동화 임베디드 기기의 제어 프로그램은 일반적인 프로그래밍 언어와 달리 회로 구조를 표현하기 위하여 설계되었고, 대부분의 산업 자동화 제어 프로그램은 그래픽 기반 언어인 LAD로 설계되어있어 정적분석이 용이하지 않다. 이러한 특징으로 인하여 산업 자동화 제어 프로그램에 대한 취약점 분석 및 보안 관련 연구는 정형 검증, 실시간 모니터링 수준에 그친다. 또한 사전에 취약점을 탐지하고 공격에 대한 대비가 가능한 산업 자동화 제어 프로그램 정적분석 연구는 매우 저조한 실정이다. 따라서 본 연구에서는 산업 자동화 임베디드 프로그램에 대한 정적분석 효율성 증대를 위하여 회로 구조를 표현하기 위해 설계된 산업 자동화 제어 프로그램을 논리식으로 표현하기 위한 방법을 제시한다. 또한 다양한 제조사의 산업 자동화 제어 프로그램을 통합적으로 분석하기 위하여 LLVM IR을 활용한 중간어 변환 기술을 제안한다. LLVM IR을 활용함으로서 동적 분석에 대한 통합분석이 가능하다. 본 연구에서는 해당 방법에 대한 검증을 위하여 S 사(社)의 제어 프로그램을 대상으로 하여 논리식 형태의 중간어로 변환하는 프로그램의 시제품을 개발하였다.

토목설계 전문가 설문조사를 통한 BIM 활성화 방안 (Strategies to Revitalize BIM(Building Information Modeling) by the Survey Questionnaires from Design Experts in Field of Civil Engineering)

  • 서명배;주기범
    • 한국콘텐츠학회논문지
    • /
    • 제12권11호
    • /
    • pp.446-457
    • /
    • 2012
  • 최근 건설공사에 이슈가 되고 있는 건축정보모델링(BIM)은 건설경기 둔화와 수주물량 감소에 따라 위기위식이 팽배한 건설산업의 새로운 돌파구로 주목받고 있다. 이미 건축분야는 국내외적으로 BIM을 도입하기 위해 관련연구가 활발히 진행되고 있다. 하지만 토목공사의 경우 건축공사와 달리 작업체계가 비반복적, 수평적, 비정형적이며, 프로젝트 수행 범위가 넓어 발생하는 정보의 양도 방대하여 건설사나 설계사에서는 BIM 구축을 위한 초기 투자비용의 부담과 투자대비 효과에 대한 의문과 부담을 갖고 있다. 이에, 국내 토목분야에 BIM을 적용하기 위해 토목설계 전문가들을 대상으로 BIM 기술수준을 파악하고 과거대비 현재 토목분야의 BIM에 대한 인식변화 분석을 통해 토목분야 BIM 활성화 저해요인을 파악하고 이를 해결할 수 있는 방안을 제시하였다. 도출된 활성화 방안은 가이드 개발, 제도 개발, 납품성과 검증, 국제표준 상정 등 4가지 분야로 구성된다. 연구결과는 토목분야 BIM 적용을 위한 표준과 납품 성과품의 검수 및 검증체계 개발 연구과제의 연구방향 설정을 위한 기초자료로 활용될 수 있을 것이다.

Thermoluminescence 측정에 의한 조미분말식품의 방사선 조사유무 확인 (Detection of Irradiation Treatment for Seasoned-Powdered Foods by Thermoluminescence Measurement)

  • 정형욱;권중호
    • 한국식품과학회지
    • /
    • 제30권3호
    • /
    • pp.509-516
    • /
    • 1998
  • 조개추출물분말, 해물조미베이스, 라면분말수프, 정어리추출물분말 등 조미분말식품에 대한 TL 검지방법의 적용가능성을 확인하였다. 이들 시료의 방사선 조사선량과 TL response 간의 $R^2$는0.5966 이상을 보여 주었고, 특히 라면수프는 0.9500 이상의 상관계수를 보이면서 방사선 조사선량이 증가할수록 TL intensity도 증가하였다. 따라서 라면수프 시료를 대상으로 re-irradiation step에 의한 TL response의 검증을 실시하였고, 미지시료의 검지에 필요한 역치(threshold value)를 측정하였다. 이때 비조사 시료의 역치는 최고 1.37 이하였고, 감마선 조사시료(2.5 kGy) 역치는 최저 6.06 이상이였다. 그리고 1.37과 6.06 사이의 역치를 나타내는 미지시료는 재조사하여 방사선 조사유무를 검지하였고, 검지시료의 호기성 전세균의 수를 측정함으로써 검지 결과를 검증하였다. Blind test의 일환으로 실시한 미지시료 검지실험에서는 본 실험에서 설정한 역치의 적용으로 총 167개 시료(감마선 82, 전자선 85)의 방사선 조사유무를 정확하게 확인할 수 있었다. 방사선 조사선량을 예측하기 위하여 3가지 예측모델식을 설정하고 조사선량을 예측하여 본 결과, 2차회귀식이 가장 적합하였으나 실제 조사선량과는 상당한 오차를 보였다.

  • PDF

택시 운전자를 위한 심뇌혈관질환 예방 프로그램 개발 및 효과 (Development and Evaluation of Cardiocerebrovascular Disease Prevention Program for Taxi Drivers)

  • 전미양;송영수;정형태;박정숙;윤혜영;이에리쟈
    • 한국산학기술학회논문지
    • /
    • 제14권9호
    • /
    • pp.4437-4446
    • /
    • 2013
  • 본 연구의 목적은 택시운전자를 위한 심뇌혈관질환 예방 프로그램을 개발하고 생리적 변수(혈압, 혈당, 혈청 지질), 신체적 변수(체지방율, 근지구력, 심폐지구력, 균형)에 미치는 효과를 검증하고자 시도하였다. 본 연구는 프로그램 개발과 효과 평가의 2단계로 진행하였다. 1단계는 택시 운전자를 위한 심뇌혈관질환 예방 프로그램을 개발하기 위해 2011년 3월 2일부터 4월 30일까지 택시 운전자 321명을 대상으로 건강상태 및 생활습관, 건강관리 요구도를 설문조사하였으며 이를 근거로 프로그램을 개발하였다. 2단계는 개발된 프로그램의 효과를 검증하기 위해 2011년 6월 1일부터 10월 5일까지 택시 운전자 51명에게 12주 동안 운동 1주 3회, 질병교육 4회, 영양 상담 2회 실시하였다. 연구결과는 프로그램 전보다 후에 혈압, 혈당, 혈청지질은 통계적으로 유의하게 감소하지 않았으나 체지방율은 유의하게 감소하였으며(t=3.108, p=.003), 근지구력(t=-7.621, p<.001), 심폐지구력(t=-3.388, p=.001), 균형(t=-4.133, p<.001)은 통계적으로 유의하게 증가한 것으로 나타났다. 이와 같은 결과를 근거로 운동, 질환교육, 영양상담으로 구성된 프로그램을 고혈압, 당뇨, 비만 등 심뇌혈관질환 선행질환 유병율이 높은 택시 운전자를 위한 심뇌혈관질환 예방프로그램으로 제안하고자 한다.

사용자 건강 상태알림 서비스의 상황인지를 위한 기계학습 모델의 학습 데이터 생성 방법 (Generating Training Dataset of Machine Learning Model for Context-Awareness in a Health Status Notification Service)

  • 문종혁;최종선;최재영
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제9권1호
    • /
    • pp.25-32
    • /
    • 2020
  • 다양한 분야에서 활용되는 상황인지 시스템은 상황정보를 획득하기 위한 추상화 과정에서 규칙 기반의 인공기능 기술이 기존에 사용되었다. 그러나 서비스에 대한 사용자의 요구사항이 다양해지고 사용되는 데이터의 증대로 규칙이 복잡해지면서 규칙 기반 모델의 유지보수와 비정형 데이터를 처리하는데 어려움이 있다. 이러한 한계점을 극복하기 위해 많은 연구들에서는 상황인지 시스템에 기계학습 기술을 적용하였으며, 이러한 기계학습 기반의 모델을 상황인지 시스템에 사용하기 위해서는 주기적으로 학습 데이터를 제공해야 한다. 이에 기계학습 기반 상황인지 시스템에 대한 선행연구에서는 여러 개의 기계학습 모델을 적용하기 위한 학습 데이터 생성, 제공 등의 과정을 보였으나 제한된 종류의 기계학습 모델만을 적용 가능하여 확장성이 고려되어야 한다. 본 논문은 기계학습 기반의 상황인지 시스템의 확장성을 고려한 기계학습 모델의 학습 데이터 생성 방법을 제안한다. 제안하는 방법은 시스템의 확장성을 고려하여 기계학습 모델의 요구사항을 반영할 수 있는 학습 데이터 생성 모델을 정의하고 학습 데이터 생성 모듈을 바탕으로 각각의 기계학습 모델의 학습 데이터를 생성하는 것이다. 시스템의 확장성의 검증을 위해 실험에서는 노인의 건강상태 알림 서비스를 위한 심박상태 분석 모델을 대상으로 한 학습데이터 생성 스키마를 기반으로 학습데이터 생성 모델을 정의하고 실환경에서 정의된 모델을 S/W에 적용하여 학습데이터를 생성한다. 또한 생성된 학습데이터의 유효성을 검증하기 위해 사용되는 기계학습 모델에 생성한 학습데이터를 학습시켜 정확도를 비교하는 과정을 보인다.

KOMPSAT-5 레이더 위성 스테레오 영상을 이용한 1:25,000 수치지형도제작 가능성 연구 (Feasibility Study on Producing 1:25,000 Digital Map Using KOMPSAT-5 SAR Stereo Images)

  • 이용석;정형섭
    • 대한원격탐사학회지
    • /
    • 제34권6_3호
    • /
    • pp.1329-1350
    • /
    • 2018
  • 위성 영상레이더(SAR; Synthetic Aperture Radar)는 날씨와 지역시간에 관계없이 영상을 취득할 수 있으므로 지구를 관측하기 위하여 매우 다양하게 활용되고 있다. 하지만 위성 영상레이더의 전처리 절차가 복잡하여 수치지도의 제작에는 잘 활용되지 못하였다. 본 연구에서는 위성 영상레이더 스테레오 영상을 이용한 수치지형도 제작 가능성에 대한 연구를 수행했다. 이를 위하여 위성의 상 하향궤도에서 촬영된 스테레오 영상을 두 쌍 획득했다. 또한 제작 가능성을 제시하기 위하여 1) 레이더 기하로부터 RPC(Rational Polynomial Coefficient) 기하로 변환하였고, 2) 수치도화를 수행하였다. 3) 최종적으로 기존에 구축된 수치 지형도로부터 기준점과 검사점을 획득하여 수치지형도 제작 결과를 검증하였다. 두 개의 수치 지도 제작 결과에 대하여 정밀도 검증을 수행하였을 때 각각 XY 방향과 Z 방향으로 1 m 미만의 오차를 나타냈다. 본 결과를 바탕으로 우리는 KOMPSAT-5 위성 영상레이더 스테레오 영상을 활용하여 기준에 부합하는 1:25,000 수치 지형도를 제작할 수 있음을 확인하였다. 이와 같은 연구 결과는 기상 조건이 불안정한 지역과 북한, 극지방 등 접근이 어려운 지역의 수치지형도 제작과 주기적 수치지형도 업데이트에도 활용 가능할 것으로 예상된다.

링전단시험을 이용한 말뚝 기초-사질지반 간 인터페이스 거동 분석 (Nonlinear Analysis of Shear Behavior on Pile-Sand Interface Using Ring Shear Tests)

  • 정상섬;정형서;;김도현
    • 한국지반공학회논문집
    • /
    • 제37권5호
    • /
    • pp.5-17
    • /
    • 2021
  • 본 연구에서는 링전단시험 결과를 이용하여 말뚝-사질지반 사이의 전단거동을 정량화하였다. 링전단시험은 가장 일반적인 말뚝재료 - 콘크리트와 강 - 와 대표적인 사질토인 주문진표준사를 대상으로 수행하였으며, 두 재료 사이의 전단거동을 항복 이전과 잔류전단거동을 중심으로 확인하고 분석하였다. 시험결과를 통하여 다양한 상재압과 상대밀도의 영향 또한 분석하여, 그에 따른 전단거동을 각 재료 별 대표적인 마찰각으로 정량화하였다. 더 나아가, 추가적인 대변형 수치해석을 통하여 시험결과를 검증하였다. 링전단시험 및 수치해석을 수행한 결과, 사질토의 전단 중 발생하는 팽창과 수축특성에 의하여 전단거동을 크게 두 가지로 구분할 수 있었다. 1) 상대밀도가 높은 시료일수록 두 재료 간 전단응력곡선은 첨두전단응력이 관찰된 후 잔류전단응력이 발현되는 개형을 나타내었고, 반면에 2) 상대밀도가 낮은 시료일수록 두 재료 간 전단응력곡선은 첨두전단응력의 발현 없이 바로 잔류전단응력이 발현되는 이중곡선 형태를 보였다. 상재압은 소변형 범위에서는 전단거동 형태와 마찰각에 영향을 주지만, 상대밀도와 마찬가지로 대변형 하에서는 유의미한 영향을 주지 않는 것으로 확인되었다. 본 연구는 리메싱을 통한 대변형 수치해석 기법을 정립하여 링전단시험과 같은 대변형 전단거동을 모사하고 예측할 수 있도록 하였을 뿐 만 아니라, 링전단시험을 통하여 도출되고 대변형 수치해석으로 검증된 말뚝 재료와 사질토 사이의 마찰각은 실제 기초 말뚝의 수치해석과 설계에 적용할 수 있도록 하였다.

자율주행 안전성 검증 시나리오 개발 활용을 위한 교통사고보고서 개선방향에 관한 연구 (Study on the Improvement of Traffic Accident Report for Automated Vehicle Test Scenarios)

  • 오경택;고우리;박지혁;윤일수;소재현
    • 한국ITS학회 논문지
    • /
    • 제21권2호
    • /
    • pp.167-182
    • /
    • 2022
  • 교통사고보고서 상의 교통사고 관련 자료 속성들은 그 원인을 파악하고자 하는 전통적인 교통안전 관련 연구에서 뿐만 아니라 최근 자율주행자동차의 안전성 검증 시나리오 개발을 위한 연구에서도 활용될 수 있다. 다만, 교통사고보고서의 자료 속성들은 교통사고 상황 재현 및 시나리오 개발만을 위해 정의된 항목들이 아니므로, 본 연구에서는 확대된 활용성 측면의 교통사고보고서의 개선방향을 제시하고자 한다. 교통사고보고서의 개선방향은 각각 교통사고 발생 이전 상황(pre-crash), 교통사고 중 상황(on-crash), 교통사고 발생 이후 상황(post-crash)로 구분하여 제시하였으며, 각 구분에 따른 추가 자료 항목 또는 자료 처리 방안에 대하여 제시하였다. 또한, 정형화된 형태의 교통사고자료 외에 비정형화된 서술 형태의 교통사고 경위자료로부터 추출 가능한 정보항목들을 도출하여 제시하였다.

장단기 기억 신경망을 활용한 선박교통 해양사고 패턴 분석 및 예측 (Analysis and Prediction Methods of Marine Accident Patterns related to Vessel Traffic using Long Short-Term Memory Networks)

  • 장다운;김주성
    • 해양환경안전학회지
    • /
    • 제28권5호
    • /
    • pp.780-790
    • /
    • 2022
  • 해양사고 예방을 위해서는 사고의 원인과 결과에 대한 분석 및 진단뿐만 아니라, 사고의 발생 패턴과 변화 추이를 예측함으로써 정량적 위험도를 제시할 필요성이 있다. 선박교통과 관련된 해양사고 예측은 선박의 충돌위험도 분석 및 항해 경로 탐색 등 선박교통의 흐름에 관한 연구가 주로 수행되었으며, 해양사고의 발생 패턴에 대한 분석은 전통적인 통계 분석에 따라 제시되었다. 본 연구에서는 해양사고 통계 자료 중 선박교통관련 사고의 월별, 시간대별 발생 현황 데이터를 활용하여 해양사고 발생 예측 모델을 제시하고자 한다. 국내 해양사고 발생 현황 중 월별, 시간대별 데이터 집계가 가능한 1998년부터 2021년까지의 통계자료 중 선박교통 관련 데이터를 분류하여 정형 시계열 데이터로 변환하였으며, 대표적인 인공지능 모델인 순환 신경망 기반 장단기 기억 신경망을 통하여 예측 모델을 구축하였다. 검증데이터를 통하여 모델의 성능을 검증한 결과 RMSE는 초기 신경망 모델에서 월별 52.5471, 시간대별 126.5893으로 나타났으며, 관측값으로 신경망 모델을 업데이트한 결과 RMSE는 월별 31.3680, 시간대별 36.3967로 개선되었다. 본 연구에서 제안한 신경망 모델을 기반으로 다양한 해양사고의 특징 데이터를 학습하여 해양사고 발생 패턴을 예측할 수 있을 것이다. 향후 해양사고 발생 위험의 정량적 제시와 지역기반의 위험지도 개발 등에 관한 추가 연구가 필요하다.

LC-MS/MS를 이용한 농산물 중 살균제 Spiroxamine의 시험법 개발 및 검증 (Development and Validation of Analytical Method for Determination of Fungicide Spiroxamine Residue in Agricultural Commodities Using LC-MS/MS)

  • 박신민;도정아;임승희;윤지혜;박원민;신혜선;국주희;정형욱
    • 한국식품위생안전성학회지
    • /
    • 제33권4호
    • /
    • pp.296-305
    • /
    • 2018
  • 본 연구는 농산물 중 2017년 기준신설예정농약 spiroxamine에 대한 공정시험법을 개발하고자 수행하였다. Spiroxamine은 모화합물만이 잔류물로 정의되므로 이를 분석하기 위한 시험법을 개발하였고, 확립된 시험법은 실험실 내 및 실험실 간 검증을 통해 공정시험법으로의 유효성을 확인하였다. Spiroxamine의 물리화학적 특성을 고려하여 분석을 위해 LC-MS/MS를 분석기기로 사용하였으며, acetonitrile으로 추출 후 유기용매를 이용하여 액액분배조건 및 florisil cartridge를 이용한 SPE 정제조건을 확립하여 시료의 불순물을 효과적으로 정제하는 시험법을 개발하였다. 개발된 Spiroxamine 시험법의 직선성은 결정계수($r^2$)가 0.99 이상으로 우수하였으며, 검출한계 및 정량한계는 각각 0.0005, 0.001 mg/kg으로 높은 감도를 나타내었다. 대표 농산물 5종(현미, 감자, 대두, 감귤, 고추)에 대한 시험법 검증결과 평균 회수율(5 반복)은 71.9~98.8%였고, 분석오차는 10.0% 이하로 정확성 및 재현성이 우수함을 확인할 수 있었다. 또한 광주지방식약청과의 실험실 간 검증 결과에서 평균 회수율은 70.6~104.6%를 나타내어 모두 Codex 가이드라인 및 식약처 가이드라인의 기준에 부합하는 것으로 확인되었다. 개발된 시험법은 낮은 검출한계 및 정량한계, 우수한 직선성, 회수율 시험을 통한 양호한 정밀성 및 재현성 등이 입증되어 농산물 중 Spiroxamine의 분석을 위한 식품공전 공정시험법으로 활용되기에 적합한 것으로 판단된다.