• 제목/요약/키워드: Implementation verification

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

프로그램의 오염 정보 추적을 위한 동적 오염 분석의 이론 및 구현 (Theory and Implementation of Dynamic Taint Analysis for Tracing Tainted Data of Programs)

  • 임현일
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제2권7호
    • /
    • pp.303-310
    • /
    • 2013
  • 컴퓨팅 환경에서 소프트웨어가 차지하는 역할이 커지면서 소프트웨어 보안은 더욱 중요한 문제가 되고 있다. 동적 오염 분석은 프로그램 실행 중에 신뢰할 수 없는 소스로부터 유래된 오염된 데이터의 이동을 추적하고 관리하는 분석 방법이다. 이 분석 방법은 소프트웨어의 보안 검증 뿐만 아니라 소프트웨어의 동작을 이해하고, 예상하지 못한 오류에 대한 테스팅 및 디버깅 등에서 활용할 수 있다. 기존에 이와 관련한 연구에서는 동적 오염 분석을 이용한 분석 사례를 보여주고 있지만, 동적 오염 분석에서 오염된 정보 전파 과정 및 동작 과정에 대해서 체계적이고 논리적으로 기술하지 못하고 있다. 본 논문에서는 이런 분석 과정을 이론적으로 기술함으로써 오염된 정보의 전파 과정을 어떻게 추적할 수 있는지 논리적으로 보여주고, 이를 응용할 수 있는 이론적 모델을 제시하고 있다. 본 논문에서 기술한 이론적 모델에 대해서 분석기를 구현하고 프로그램에 대한 분석 결과를 통해서 모델의 정확성을 검증한다. 그리고, 프로그램에 나타나는 오염 정보들의 전파 과정을 보이고 결과를 검증한다. 본 이론적 모델은 동적 오염 분석에서 자료 흐름의 분석 과정을 이해하고 이를 활용하는 분석 방법을 설계하거나 구현하는 기반 지식으로 활용될 수 있을 것이다.

효율적인 데이터 전송과 하드웨어 최적화를 위한 AMBA AXI4 BUS Interface 구현 (Implementation of the AMBA AXI4 Bus interface for effective data transaction and optimized hardware design)

  • 김현욱;김근준;조기쁨;강봉순
    • 융합신호처리학회논문지
    • /
    • 제15권2호
    • /
    • pp.70-75
    • /
    • 2014
  • 최근 디지털 기기의 다기능화, 휴대화 및 서비스 정보의 대용량화 등으로 인하여 고집적, 저전력, 고성능 SoC(System on Chip) 설계에 대한 요구가 점차 증가하고 있다. 시스템이 빠르게 발전함에 따라 요구되는 하드웨어 성능이 다양해지고 있으며 빠른 설계 확인을 위하여 FPGA(Field Programmabel Gate Array)를 채택하는 시스템이 증가되고 있는 추세이며 FPGA를 채택한 시스템에서는 FPGA와 제어하는 CPU인 ARM코어를 사용한 SoC 시스템이 늘어났다. 이러한 시스템에서 사용되는 AXI(Advanced eXtensible Interface) Bus는 여러 방법으로 이용되지만, 기존의 연구에서는 AXI Slave 구조로 설계가 되어 있다. Slave 구조에서는 CPU가 계속 데이터 전송에 관여하게 되어 자원을 다른 곳에 사용하지 못하는 문제와 AXI Bus가 사용되지 않는 시간이 길어서 전송효율이 떨어지는 문제가 있다. 본 논문에서는 이와 같은 문제를 해결하고자 AXI Master구조를 제안하고, Slave구조와 Master구조의 소모클럭과 합성결과를 비교한 결과, Master구조가 Slave구조에 비해 소모클럭은 51.99% 감소한 것을 확인하였으며, Slice는 31% 정도 감소하였다. 또한, 최대 동작주파수는 107.84MHz로써 약 140% 증가 되는 것을 확인하였다.

모바일 AR 기반 낱말카드 교육 콘텐츠 설계 및 구현 (Design and Implementation of the Word Card Learning Content based on Mobile AR)

  • 정지은;전지윤;최유주
    • 한국콘텐츠학회논문지
    • /
    • 제15권6호
    • /
    • pp.616-631
    • /
    • 2015
  • 본 연구는 3세~5세를 대상으로 하는 모바일 AR(Augmented Reality, 증강현실) 기반의 "낱말카드" 교구를 설계 제안하고 있다. 본 연구에서는 동기유발과 몰입도 향상을 목적으로 학습구조를 도출하고, 도출된 학습구조를 적용한 사용자 인터페이스를 설계해 이를 구현한다. 그리고 콘텐츠 제작을 지원하는 콘텐츠 관리도구를 설계하여, 교수자가 여러 학습자의 콘텐츠를 관리하기 용이하도록 제안하고 있다. 이를 위해 관련 연구 분석, 학습자용 AR 유아 언어교육 콘텐츠 설계, 교수자용 AR 유아 언어교육 콘텐츠 관리도구 설계, AR기반 언어학습도구의 효과검증의 4단계로 연구를 진행하였다. 본 연구에서 제안하고 있는 AR 유아 언어 교육 콘텐츠는 몰입도 향상과 동기유발을 위한 학습구조로 설계되었고, AR 교육 콘텐츠 갱신의 어려움을 극복하기 위하여 일반 교수자가 손쉽게 AR 타겟과 교육 내용을 등록 관리할 수 있는 교수자용 AR 콘텐츠 관리 도구를 포함하고 있다. 제안 콘텐츠를 통한 학습 몰입도 향상 검증 및 콘텐츠 설계 확장을 위한 사전 실험으로 3~4세 유아 6명을 대상으로 한 실험 수업을 진행하였다. 실험결과 몰입도 향상 효과를 검증할 수 있었고, 교수자의 설문의견을 통하여 유아를 위한 차별화된 인터랙션의 설계의 필요성을 도출하였다.

비보호 좌회전 지체도 추정모형의 개선 (Improvement of the HCM Delay Estimation Model for Exclusive Permitted Left Turns)

  • 김진태
    • 대한교통학회지
    • /
    • 제21권2호
    • /
    • pp.107-118
    • /
    • 2003
  • 미국 도로용량편람(HCM)은 도심부 신호 교차로 운영상태 평가를 돕기 위하여 지체도 추정 수리모형을 제시하고 있다. 2000년도 개정판 HCM모형은 전문가들의 최근(up-to-date) 연구결과가 반영된 것이며 많은 교통공학자들에 의해 실무 및 연구에 활용되고 있다. HCM은 비보호 좌회전 움직임의 경우, 별도의 부가절차를 통해 포화교통류율을 보정할 것을 제시하고 있다. 그러나 HCM 지체도 산정 모형식은 보호현시 직진 움직임을 기준으로 설계된 모형이기 때문에 비보호 좌회전 움직임의 지체도를 과소 추정하는 문제점을 내제한다. 본 논문에서는 (1)HCM지체도 모형의 설계과정을 검토하고 (2)이를 토대로 HCM 지체도모형을 통한 비보호 좌회전 지체도 추정에 문제가 있음을 지적하고 (3)새로운 비보호 좌회전 지체도 추정 수리모형을 제안한다. 다양한 교통상황. 제어상황을 현장실험에서 통제함에 어려움이 있어 모의실험을 통한 제안모형의 검증을 수행하였다. 검증을 위해 마련된 120가지 경우의 다양한 비보호 좌회전 교통상황에서 (1)CORSIM 모의실험 지체도, (2)HCM 모형추정 지체도, (3)제안된 모형추정 지체도를 비교하였으며, 비교분석 결과 모의실험 지체도를 기준으로 HCM지체도 추정모형은 설명력이 0.47로, 제안된 모형의 설명력은 0.77로 분석되었다.

관측위치오차와 시간지연오차를 보정하는 소나방위정확도 측정 장비 구현 (Implementation of Sonar Bearing Accuracy Measurement Equipment with Parallax Error and Time Delay Error Correction)

  • 김성덕;김도영;박규태;신기철
    • 융합신호처리학회논문지
    • /
    • 제20권4호
    • /
    • pp.245-251
    • /
    • 2019
  • 소나방위정확도는 소나에서 예측한 표적방위와 실 표적방위와의 일치성을 나타내며 측정을 통해 구해진다. 하지만 소나방위정확도 측정 시에는 복잡하고 다양한 환경 요인이 작용하는 해상에서 이루어지는 관계로 여러 오차가 결과에 포함된다. 특히 GPS 수신장치와 소나센서 위치 차이로 발생하는 관측위치오차와 수중 음파 속도와 공기 중 전자파 속도 사이에서 발생되는 시간지연오차는 정확도에 큰 영향을 미치는 요소이다. 이런 관측위치오차와 시간지연오차를 자동화도구 없이 보정하는 것은 많은 노력이 들어가는 작업이다. 이에 본 연구에서는 관측위치오차와 시간지연오차를 보정하는 소나방위정확도 측정 장비를 제안하였다. 실험은 모의데이터와 실 해상데이터를 통해 이루어졌으며, 실험 결과 관측위치오차와 시간지연오차가 시스템적으로 보정되어 모의데이터인 경우 51.7%, 실 해상데이터인 경우 18.5% 이상 보정됨을 확인하였다. 제안한 방법을 통해 향후 소나시스템 탐지성능 검증의 효율성 및 정확성 향상을 기대한다.

산업기술 보안 지원정책에 대한 중소기업의 인식차이 분석 (The Analysis of the Differences in the SME's Perception about Industrial Technology Security Support Policy)

  • 정유한;장항배
    • 한국전자거래학회지
    • /
    • 제25권4호
    • /
    • pp.15-32
    • /
    • 2020
  • 기술혁신 환경의 불확실성 증가와 기술경쟁 확대는 산업기술 보안 측면에서도 새로운 도전 과제를 제시하고 있다. 이에 본 연구에서는 산업기술 혁신 활동을 수행하고 있는 중소기업들을 대상으로 정부의 산업기술 보안 지원정책에 대한 중요도와 실행도에 대한 인식도(IPA)를 살펴봄으로써 향후 관련 정책 개선에 필요한 정책 변화 방향성을 확인을 목적으로 진행되었다. 분석결과, 첫째, 정부의 산업기술 보안 지원정책에 대해 응답한 중소기업들은 해당 프로그램의 중요도에 비해 수행도가 낮다고 인식하고 있었다. 이러한 결과는 해당 프로그램의 질적 수준 개선 노력과 더불어 관련 정책 프로그램들에 대한 선별적인 예산 확대가 필요할 수 있음을 의미한다고 할 수 있다. 둘째, 신기술 인증 기업과 산업기술 확인(인증)기업간의 집단별 인식 차이를 분석한 결과 해당 프로그램에 대한 집단간 유의미한 차이가 존재하는 것으로 나타났다. 이러한 결과는 관련 정책의 보다 효과적인 운영을 위해서는 기업의 양적 특성 못지않게 기업별 산업기술 보안 수준 및 의지 등을 고려한 정책 집행이 필요할 수 있음을 시사하는 결과라 판단된다. 본 연구는 국내 중소기업들이 정부 산업기술 보안정책에 대해 인식하고 있는 실증연구 결과를 제시함으로써, 보다 구체적이고 실효성 있는 산업기술 보안정책의 설계와 집행이 이루어 질 수 있도록 필요한 정책 방향 설정 기초 자료를 제공하는데 그 의의가 있다.

고등학생들의 시스템 사고 측정을 위한 측정 도구 개발과 타당화 (An Instrument Development and Validation for Measuring High School Students' Systems Thinking)

  • 이효녕;권혁수;박경숙;이현동
    • 한국과학교육학회지
    • /
    • 제33권5호
    • /
    • pp.995-1006
    • /
    • 2013
  • 이 연구의 목적은 고등학생들의 시스템 사고 능력을 구성하는 하위 요인을 탐색하고, 시스템 사고 능력을 측정하기 위한 정량적인 검사도구의 개발과 타당화에 있다. 선행연구와 이론적 탐색을 통해 시스템 사고의 하위 요인을 시스템 사고, 정신모델, 공유비전, 개인숙련, 팀 학습으로 구성하였으며, 각 요인 당 6문항을 개발하여 전체 30문항의 5점 척도 예비문항을 작성하였고, 예비검사를 통해 20문항을 선정 본 검사를 구성하였다. 일반계 고등학생 260명을 대상으로 본 검사를 실시하였다. 예비검사 분석의 결과 제시된 5개 하위요인이 본 검사에서도 동일한 요인으로 분류되었다. 그리고 확인적 요인분석에서 5개 요인구조의 적합도를 분석해본 결과 수용할만한 모형으로 판단되었으며 적합도 수치도 모두 양호한 값을 보여주었다. 본 검사에서 사용한 20개 문항으로 구성된 고등학생들의 시스템 사고 측정 도구의 전체문항 신뢰도는 .840이었으며 각 하위 요인별 신뢰도는 .604~.723으로 신뢰로운 검사지로 나타났다. 이 연구가 더 낳은 성과를 얻기 위해서는 다양한 학교 급에 적용되도록 검사 도구를 표준화할 필요가 있으며 나아가 시스템 사고 수준에 따른 다양한 학습 프로그램의 개발 및 보급, 그리고 이 학생들에 대한 추후 연구가 이루어질 필요가 있다.

콘크리트 혼합타설시 품질확보 방안 (Quality Control Method for the Concrete from Multiple Suppliers)

  • 김경훈;이상학
    • 한국건축시공학회지
    • /
    • 제18권3호
    • /
    • pp.227-234
    • /
    • 2018
  • 콘크리트의 특징은 그 품질을 확보함에 있어서 시멘트, 모래, 자갈, 물, 혼화재료 등 구성재료 개개의 품질 및 그 배합비 그리고 생산관리 및 시공관리, 양생 등에 의해 영향을 받는다는 점이다. 콘크리트 배합설계에 따라 시공연도와 강도가 변화하게 된다. 대부분의 건설현장은 동일구간에 여러 레미콘 회사의 제품을 동시에 타설하는 것이 일반적이나 표준시방서에는 혼합타설을 원칙적으로 금지하고 있으며 필요시 책임기술자의 확인을 받도록 규정되어 있다. 이 연구는 불가피한 혼합타설시 콘크리트 품질확보를 하기 위한 방안을 제시하고자 하였으며, 연구방법은 문헌검토, 설문조사를 통하여 혼합타설의 문제점을 파악하고 불가피함을 확인하였으며, 사례현장의 콘크리트 타설계획과 군산지역의 레미콘 회사의 현황을 통하여 혼합타설의 문제점을 파악하고 불가피함을 확인하였다. 혼합타설을 하지 않는 방법으로 5가지 안을 제시하여 그 중에서 지역별 표준배합설계를 작성하여 동일한 배합비로 11개 레미콘 회사로 하여금 생산하도록 하여 혼합타설의 위험성을 배제하였으며 그 과정의 문제점을 제시하였다. 향후 연구과제로는 본 연구를 통하여 검증되지 않은 방안인 레미콘 회사의 규모확장 및 통폐합, 혼합타설된 콘크리트의 품질 추적조사, 혼화제의 상응성테스트 그리고 콘크리트 강도의 조기판정기법의 개발 및 골재등의 재료 통일방안등을 연구하여 혼합타설시 피해를 최소화할 수있도록 해야 할 것이다.

국외 중등 공학 교육 연구 동향 분석 : 기술 교육 관련 학술지를 중심으로 (International Research Trends of Engineering Education in Secondary School Level : Focus on the Technology Education Related Journals)

  • 이은상;최유현
    • 대한공업교육학회지
    • /
    • 제41권1호
    • /
    • pp.147-169
    • /
    • 2016
  • 이 연구에서는 2004년에서 2014년까지 기술 교육 관련 국외 학술지 4종에 게재된 논문을 대상으로 중등 공학 교육 연구 동향을 분석하였으며, 연구의 결과는 다음과 같다. 첫째, 연도별로 보면, 2004년부터 관련 연구가 시작되었으며, 2007~2011년 사이에 가장 활발한 연구가 이루어지다가(32편) 이후 관련 연구의 수가 감소하고 있었다. 둘째, 연구 주제별 보면 '의견/현황 조사'(16편), '개념 정립/이론 논의'(11편), '교수방법/모형 효과 검증'(10편), '교수방법/모형 관찰'(7편), '개념/교수방법/모형 구안'(4편) 등의 순으로 연구가 수행되었다. 셋째, 연구 대상별로 보면 '고등학생'(17편), '문헌'(16편), '교사'(12편), '전문가'(5편) 등의 순으로 연구가 수행되었다. 넷째, 연구 방법별로 보면 '조사연구'(13편), '문헌연구'(12편), '질적연구'(12편), '실험연구'(6편), '혼합연구'(5편) 등의 순으로 연구가 수행되었다. 이에 대한 제언으로 중등학교 수준의 공학 개념이나 내용 요소에 대해 이론적으로 고찰한 연구, 기술 교육에서 공학이 다루어지는 것에 대해 기술 교사의 인식을 조사하는 연구, 중등학생의 공학 문제 해결 과정을 분석하는 질적 연구 등이 수행될 필요가 있다.

Modbus를 이용한 선박용 감성조명 LED 제어기의 설계 및 구현 (Design and Implementation of Sensibilities Lighting LED Controller using Modbus for a Ship)

  • 정정수;이상배
    • 한국항해항만학회지
    • /
    • 제39권4호
    • /
    • pp.299-305
    • /
    • 2015
  • Modbus는 각종 자동화 장비 감시 및 제어에 전 세계적으로 널리 사용되고 있는 자발적 산업표준 통신 프로토콜이다. 그러므로 선박, 빌딩, 기차, 비행기 등 Modbus를 이용하는 모든 장비들과 연결이 가능하여 환경변수의 측정 및 원격제어가 가능하게 된다. 본 논문에서는 퍼지제어 시스템을 이용하여 외부환경요인을 각각 조합한 불확실한 내용을 정량적인 값으로 변환하여 LED 조명으로 표현하기 위해 알고리즘을 설계하고, 설계한 알고리즘에 Modbus 통신 프로토콜을 추가하여 선박의 통합관리 시스템에서 외부환경요인 확인 및 원격제어가 가능한 감성조명용 LED 제어기 회로를 설계 및 구현 하였다. 외부환경요소인 온도, 습도, 조도 값을 센서를 통해 제어기로 받아들이고 이 값들을 퍼지제어 알고리즘을 통해 LED로 표현된다. Modbus는 Serial 통신으로 RS485를 이용하여 다른 기기와 연결 되어 온도, 습도, 조도 상태 및 LED 출력 값 확인이 가능하고 또한 사용자가 원격으로 RGB 값을 변경 할 수 있기 때문에 원하는 색으로 변경이 가능하게 된다. 제작한 제어기로 온도, 습도, 조도에 따라 LED 조명색상이 변화 되는 것을 확인 하였다.