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

검색결과 689건 처리시간 0.027초

Riemann 해법을 이용한 1차원 개수로 수리해석Ⅰ: 모형 개발 (One-dimensional Hydraulic Modeling of Open Channel Flow Using the Riemann Approximate Solver I : Model Development)

  • 김지성;한건연
    • 한국수자원학회논문집
    • /
    • 제41권8호
    • /
    • pp.761-772
    • /
    • 2008
  • 본 연구의 목적은 수공학 분야에서 수치해석이 난해한 문제를 해결하기 위한 모형을 개발하고, 해석해가 존재하는 다양한 수치실험, 즉 하상과 하폭이 함께 변하는 점변부정류 조건에서의 검증, 하상경사가 변화하는 세가지 정상상태 조건의 문제, 그리고 해석해가 있는 마찰하상에 적용함으로써 개발된 모형의 적용성을 검증하기 위한 것이다. 모형의 지배방정식은 보존 법칙을 만족하는 Saint-Venant 적분형 방정식이며, Riemann 해법에 의한 유한체적법이 사용되었다. 질량 및 운동량의 흐름율 계산에 HLL Riemann 근사해법이 사용되었고, 시간-공간에서 2차정확도를 위하여 MUSCL-Hancock 기법이 사용되었다. 본 연구에서는 비선형의 흐름율과 생성항과의 균형을 위하여, 중력과 흐름방향 하폭의 변화로 인한 정수압력에 의한 생성항을 차분하는 새롭고 간편한 기법을 소개하였다. 수치실험 모의결과는 개발된 모형이 생성항을 포함한 다양한 흐름조건에서 정확하고, 견고하며, 매우 안정적임을 보여주고, 또한 수공학 분야에서 일차원 적용에 적합한 모형임을 보여준다.

통합 기능계통도와 계층적 컨셉모듈을 활용한 기능분석단계와 창조단계의 연계성에 관한 고찰 (A Study on the Collaboration of the Function Analysis and Idea Creation Phase with Function Integration FAST(FI FAST) and Hierarchical Value Engineering Concept Modules(HVECM))

  • 인치성;남궁인일;현창택;구교진
    • 한국건설관리학회:학술대회논문집
    • /
    • 한국건설관리학회 2006년도 정기학술발표대회 논문집
    • /
    • pp.355-360
    • /
    • 2006
  • 기능분석과 아이디어 창조과정수행은 동일한 VE job Plan을 적용하여 제조분야에서 단위 부위 및 요소별로 실시하고 있으며 건설 분야에서는 프로젝트의 프로세스, 규모, 공간, 위치, 단위요소, 요구성능 등 복합적이며 종합적인 기능을 가진 구조물에 적용하고 있다. 이에 따라 기능분석단계와 후속단계인 창조단계와의 비연속성 등의 문제가 있으나 이를 대체할 방법론이 아직 명확히 개발되어 있지 않아 건설에서 적용할 수 있는 고유의 모델 개발이 필요하다. VE워크샵 실무과정에서의 기능분석의 부적절한 적용 및 수행 VE적용의 부적합성을 해결하기 위해서 통합 기능계동도(FI FAST)와 계층적 컨셉모듈(HVECM)을 순차적으로 사용하여 선정된 1, 2차의 기능정의 Champion을 바탕으로 아이디어 창출이 연속적으로 원활하게 진행되도록 하는 모델을 개발하는데 목표를 두고 있다. 이를 위하여 기 수행되었던 사례에 대하여 본 모델에 의한 방법을 적용 ${\cdot}$ 검증함으로써 건설 분야에서 기능분석과 창조과정에서의 통합적이며 특정적인VE적용 가능성에 대하여 제안하고자 한다. 따라서 본 논문은 그 동안 국내에 적용된 VE수행 자료를 동해 기능분석과 아이디어 창조과정에서의 연계성을 검증하고, 기능분석단계에서의 복합기능분석과 HVECM의 활용모델에 대한 적합성 및 신뢰성을 검증, 성공적인 건설VE적용의 수행을 위한 발판이 되고자 한다.

  • PDF

객체기반 시소러스 시스템의 설계 및 구현: 반자동화 방식의 구축, 추상화 방식의 개념 브라우징 및 질의기반 참조 (Design and Implementation of an Object-Based Thesaurus System: Semi-automated Construction, Abstracted Concept Browsing and Query-Based Reference)

  • 최재훈;김기헌;양재동
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제27권1호
    • /
    • pp.64-78
    • /
    • 2000
  • 본 논문에서는 객체지향 패러다임을 적용함으로써 도메인 종속적인 시소러스를 효율적으로 구축하고 관리할 수 있는 객체기반 시소러스 시스템을 설계하고 구현하였다. 이때, 객체지향 패러다임은 시소러스의 구축, 개념 브라우징 그리고 질의기반 참조 기능에 적용된다. 이 시스템에서 객체지향 패러다임의 상속 메커니즘은 시소러스에 표현된 개념들간의 관계를 구조적으로 파악할 수 있게 하여 전문가가 시소러스를 반자동 방식으로 구축할 수 있도록 지원한다. 특히, 방대한 시소러스를 여러 전문가들이 서로 다른 호스트에서 구축할 경우, 이 메커니즘에 의해 파악된 정보는 시소러스의 의미적 일관성을 유지시킬 수 있도록 도와주며, 전문가가 직접 개념들간의 관련 정도를 모두 명시해야하는 부담을 최소화할 수 있다. 객체기반 시소러스 시스템은 또한 질의기반 참조 기능과 추상화 방식의 개념 브라우징 기능을 제공한다. 이 기능들은 검색 질의에 이용될 시소러스 개념들을 사용자가 사전에 탐색해 봄으로써 쉽게 검증할 수 있게 한다. 특히, 이 질의 검증 과정은 높은 정확률을 요구하는 도메인에 적절히 이용될 수 있다.

  • PDF

프로그램의 오염 정보 추적을 위한 동적 오염 분석의 이론 및 구현 (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으로 신뢰로운 검사지로 나타났다. 이 연구가 더 낳은 성과를 얻기 위해서는 다양한 학교 급에 적용되도록 검사 도구를 표준화할 필요가 있으며 나아가 시스템 사고 수준에 따른 다양한 학습 프로그램의 개발 및 보급, 그리고 이 학생들에 대한 추후 연구가 이루어질 필요가 있다.