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

검색결과 736건 처리시간 0.02초

축산 환경개선제로 생산.유통되는 생균제의 문제점 및 검증방안 (Problems and Verification System of Probiotics as Livestock-environment Improving Agent Produced and Circulated)

  • 이은영
    • 한국미생물·생명공학회지
    • /
    • 제36권2호
    • /
    • pp.87-95
    • /
    • 2008
  • 생균제는 충분하고도 적절하게 사용되었을 때 숙주의 건강에 도움이 될 수 있는 살아있는 미생물이다. Lactobacilli나 Bacillus와 같은 직접투여하는 미생물 (DFM)은 생장을 촉진하기 위하여 사료에 첨가되는 항생제 혹은 식품첨가물보다 장내의 정상균총의 정착에 매우 긍정적인 효과를 보여줄 수 있다. 또한, 생균제가 투여됨으로 해서 면역체계가 강화되고, 감염에 대한 예방효과가 있는데 이는 동물 체내에 병원균이 정착하는 것을 방해함으로서 이러한 효과를 기대할 수 있다. 생균제 투여를 통해 얻을 수 있는 효과는 배설물의 분해를 촉진하여 악취를 저감시켜줌으로서 가축의 사육환경을 개선할 수 있다는 점이다. 최근 들어, 환경보호와 안전한 먹거리에 대한 새로운 패러다임이 정착됨에 따라, 환경을 개선하고 우수한 품질의 축산품을 생산하기 위해 가축농가에서는 기존의 항생제를 대체할 수 있는 대안으로서의 생균제에 대한 요구가 높아지고 거의 모든 농가에서 생균제를 사용하고 있다고 해도 무리가 없다. 국내에서 유통되는 생균제는 크게 세부류이다. 첫째는 국립수의과학독성원(NVRQS)에 의해 검증되고 약사법에 의해 관리를 받는 동물의약품으로서의 생균제, 둘째는 시군에서 등록이되는 보조사료로서의 생균제와 마지막으로 미등록된 환경개선제들이다. 그러나, 많은 검증받지 않은 제품이 유통되고 생산됨으로 인해 이를 검증할 방안마련이 시급한 실정이다. 본 연구에서는 환경개선제로서의 생균제를 검증하기 위한 방안으로, 생균수의 검증, 항생제 내성 검증, 그리고 악취제거능에 대한 검증의 3단계 방법을 제안한다.

일반국도의 지점 및 구간검지기 자료의 융합을 통한 통행시간 추정 알고리즘 개발 (A Link Travel Time Estimation Algorithm Based on Point and Interval Detection Data over the National Highway Section)

  • 김성현;임강원;이영인
    • 대한교통학회지
    • /
    • 제23권5호
    • /
    • pp.135-146
    • /
    • 2005
  • 현재까지 다양한 검지기로부터 추정되는 통행시간의 융합에 관한 연구는 주로 GPS, Probe 자료 등 간헐적인 자료에 기반하여 이루어져 왔다. 이러한 간헐적 자료의 분산비에 기초한 융합모형은 번호판 인식 AVI와 같이 다량의 자료 구득이 용이한 시스템에는 적합하지 않다. 따라서, 본 연구는 지점검지기와 번호판 인식 AVI를 기반으로 각각 산출한 통행시간의 융합모형을 개발하고자 수행되었다. 본 연구에서는 지점검지기와 번호판인식 AVI 통행시간의 융합을 위해 최적화 융합모형과 비례화 융합모형을 각각 개발하였다. 검증 결과, 최적화 융합모형이 가장 우수한 추정력을 보여주었다. 최적화 융합모형은 실시간 이력자료를 기반으로 융합 가중치를 산정하여 현재 시간대에 적용하는 실시간 차원의 동적 융합비 예측 모형이다. 본 연구결과는 향후 국도교통관리 및 정보제공시스템에 유용하게 적용될 것으로 기대된다. 그러나, 향후 AVI의 적정설치간격과 설치차로에 따른 매칭율을 고려한 보다 심도있는 연구를 필요로 한다.

MPSoC 인터커넥션을 위한 AXI 하이브리드 온-칩 버스구조 설계 (A Design of AXI hybrid on-chip Bus Architecture for the Interconnection of MPSoC)

  • 이경호;공진흥
    • 대한전자공학회논문지SD
    • /
    • 제48권8호
    • /
    • pp.33-44
    • /
    • 2011
  • 본 연구에서는 AMBA 3.0 AXI 프로토콜을 사용하여 고성능 및 저전력이 요구되는 MPSoC에 적합한 하이브리드 온-칩 버스구조를 설계하였다. AXI의 채널 중에서 트래픽이 많은 쓰기데이터 채널 및 읽기데이터 채널은 Crossbar 버스구조로 설계하여 고속 처리를 가능하게 하였다. 또한 MPSoC에서의 컴포넌트 추가에 따른 오버헤드(회로크기, 연결회선, 전력소모 등)를 줄이기 위해 트래픽이 적은 주소 채널과 쓰기 응답 채널은 Shared 버스구조로 공유하도록 설계하였다. 본 연구에서는 Hybrid 버스구조의 검증을 위해 Shared 버스구조 및 Crossbar 버스구조와 함께 시간, 공간, 파워 영역에서 각각 비교 실험하였다. $16{\times}16$ 버스 실험에서 Hybrid 버스구조는 Crossbar 버스구조와 비교해서 마스터의 대기시간은 약 9%, 전체 실행시간은 약 4%의 차이에 그쳐 비슷한 성능을 보여준다. 반면 오버헤드에서는 Crossbar 버스구조와 비교하여 회로 크기는 47%, 연결 회선 수는 52%, 동적 전력 소모는 66%의 감소 효과를 보인다. 따라서 본 연구에서 설계한 하이브리드 온-칩 버스구조는 Crossbar 버스 구조와 비교하여 고성능 및 저전력이 요구되는 MPSoC 인터커넥션에 매우 효과적임을 보이고 있다.

사이버나이프에서 폐종양 추적 시스템의 정확도 분석 (Verification of X-sight Lung Tracking System in the CyberKnife)

  • 허현도;최상현;김우철;김헌정;김성훈;조삼주;민철기;조광환;이상훈;최진호;임상욱;신동오
    • 한국의학물리학회지:의학물리
    • /
    • 제20권3호
    • /
    • pp.174-179
    • /
    • 2009
  • 사이버나이프 로봇 방사선 수술 시스템은 환자를 치료하는 동안 환자의 내부 기준 마커를 이용하여 종양의 위치를 실시간으로 추적 할 수 있는 시스템이다. 최근 폐종양 치료의 경우 기준 마커의 삽입 없이 폐종양의 밀도 차이를 이용하여 실시간 종양 추적을 할 수 있는 폐종양추적시스템이 개발되어 치료에 적용되고 있다. 최근 개발되어 국내 최초 도입된 폐종양 추적치료시스템의 위치 추적 정확도의 분석은 동적흉부 팬톰과 GafChromic film을 이용하였다. 폐종양추적시스템을 이용하여 종양의 위치 추적 정확도는 평균 오차 $0.85{\pm}0.22$ mm로 분석되었다. 기준마커 삽입 없이 폐종양추적시스템을 이용하여 폐종양 치료에 매우 유용한 것으로 판단되었다.

  • PDF

Structure & Installation Engineering for Offshore Jack-up Rigs

  • 박주신;하영수;장기복
    • 대한조선학회지
    • /
    • 제54권4호
    • /
    • pp.39-46
    • /
    • 2017
  • 잭업 드릴링 리그는 해양 원유 및 가스개발 분야에 폭넓게 사용되어지고 있다. 초기 모델은 수심 60미터 이하의 천수영역에서 운용되었고, 최근에는 대수심 150미터와 가혹한 환경조건에 대응하도록 개발이 되어 왔다. 본 기고에서는 북해 유전에 사용되는 잭업리그의 전선해석을 수치해석방법을 통하여 검토하였다. 첫번째로, 북해의 환경조건을 분석하고, 해저지질조사 보고서를 통하여 지질특성을 확인하였다. 조사자료를 근거로 기본도를 작성할 수 있는 설계사양을 수립하였다. 북해에 설치된 잭업리그의 동적특성을 규명하기 위해서, 전선해석 시 레그와 선체를 고려한 전도모멘트를 계산하고, 잭업리그 leg & 선체구조의 건전성 확인을 위하여, 국제코드를 활용한 구조강도 평가 수행으로 안전성을 검토하였다. 잭업하는 도중 발생할 수 있는 불확실성 요소들은 해저면의 특성에 크게 관련되어 있으며, 일반적으로 pre-loading하는 과정 중에 자주 발생한다. 이 기고에서는 잭업리그의 운용하는 사이클 내에서 발생 가능한 구조적 안전성을 검증하기 위하여 상세구조 및 설치엔지니어링 문제에 대해서 분석하였다. 이러한 목적에 부합하기 위하여 아래의 사항들을 검토하였다. - 해저지질 조건을 고려한 구조붕괴거동 - Pre-loading 절차서 및 매개변수에 의한 붕괴모드 - 계측자료의 검증 및 구조엔지니어링 결과.

  • PDF

운동방정식에 기초한 공진주 실험의 자료분석 및 해석 (Data Reduction and Analysis of the Resonant Column Testing Based on the Equation of Motion)

  • 조성호;강태호
    • 한국지반공학회논문집
    • /
    • 제19권4호
    • /
    • pp.133-144
    • /
    • 2003
  • 공진주 실험은 흙의 전단탄성계수, 재료감쇠비 등을 결정하는 실험으로, 최근 내진해석의 중요성과 더불어 그 사용빈도와 중요성이 증가하고 있다. 공진주 실험은 1960년 이후 널리 활용되어 왔으나, 현재까지의 공진주 실험은 측정장비의 제한성 때문에, 주로 선형스펙트럼 (linear spectrum)의 진폭성분만을 측정하여 왔다. 이는 공진주 실험 시스템의 동적거동을 규명하는 이론에 있어서도 시료의 점성이 고려되지 않았던 것과 동적거동에 대한 이해가 부족했기 때문이기도하다. 최근 조성호 등은 이러한 한계성을 극복할 수 있는 이론적 근거를 제시하였다. 즉, 공진주 실험 시스템의 동적거동에 대한 운동방정식과 그 일반해를 제시함으로써, 이론에 부합하는 공진주 실험의 자료분석 및 해석기법의 기초를 정립하였다. 본 연구에서는 발전된 계측장비와 공진주 실험 시스템의 동적거동에 대한 이론적 모델링을 이용하여 신뢰도가 향상된 공진주 실험의 자료분석 및 해석기법을 제안하였다. 그리고, 유한요소해석에 의한 공진주 실험의 수치실험을 통하여 본 연구에서 제안한 해석기법의 신뢰성과 타당성을 확인하였다. 또한, 주문진 표준사에 대한 공진주 실험을 통하여, 본 연구에서 제안한 자료분석 및 해석방법의 적용성을 확인하였으며, 기존 해석방법과의 비교를 통하여 기존 방법의 한계성과 문제점을 살펴보았다.

MATLAB GUI 기반 GPS RINEX 관측 파일 생성 소프트웨어의 개발 (Development of MATLAB GUI Based Software for Generating GPS RINEX Observation File)

  • 김동욱;윤호;한덕화;장주영;기창돈;소형민;이기훈;장재규
    • 한국항행학회논문지
    • /
    • 제19권4호
    • /
    • pp.299-304
    • /
    • 2015
  • 본 논문에서는 MATLAB GUI 기반으로 개발된 GPS RINEX 관측 파일 생성 소프트웨어에 대해서 소개한다. 개발된 소프트웨어는 두 가지 데이터 생성 모드를 기반으로 기준국 혹은 동적 사용자의 실제 GPS 측정치와 유사한 L1/L2 의사거리, L1/L2 반송파 위상, 도플러 측정치를 정확하고 효율적으로 생성한다. 생성된 측정치 결과는 최종적으로 RINEX version 3.0 관측 파일로 출력된다. 본 논문에서는 소프트웨어 검증을 위해 기준국의 실측 데이터를 기반으로 측정치 바이어스, 변화율, 잡음 수준을 분석해보았다. 그 결과 개발된 소프트웨어가 실제 GPS 측정치와 RMS 약 0.7 m 수준의 바이어스 오차를 갖는 GPS 측정치를 생성함을 확인하였다.

심층신경망을 활용한 풍속 예측 개선 모델 개발 (Development for Estimation Improvement Model of Wind Velocity using Deep Neural Network)

  • 구성관;홍석민;김기영;권재일
    • 한국항행학회논문지
    • /
    • 제23권6호
    • /
    • pp.597-604
    • /
    • 2019
  • 인공신경망은 뇌의 뉴런들에서 상호 작용과 경험을 통해 학습해 나가는 것을 모사해 만든 알고리즘으로, 데이터의 특성이 반영된 학습을 통하여 정확한 결과를 산출하는데 사용할 수 있는 방법이다. 본 연구에서 기상 역학 모델에서 예측된 풍속 값의 개선을 위하여 심층신경망을 이용한 모델을 제시하였다. 연구에서 제시한 심층신경망을 이용한 풍속 예측 개선 모델은 기상 역학 모델의 예측 값을 재 보정하는 모델을 구축하고 이에 대한 검증과 시험 과정 후 별도의 데이터를 통한 예측의 정확도를 높일 수 있는 것을 확인하였다. 풍속 예측의 개선을 위하여 예측 시간, 온도, 기압, 습도, 대기상태변수, 풍속 등과 같은 일반적 기상 현상 자료의 예측 값을 활용한 심층신경망을 구축하였고, 전체 데이터 중 일부 데이터는 모델의 적정성 확인용 데이터로 구분하여, 모델 구축 및 학습에 사용하지 않고 별도의 정확도를 확인하여 연구에서 제시한 방법의 적합성을 확인하였다.

초고압 공간지를 이용한 포터블 인플레터블 카약 제작 (Manufacture of Portable Inflatable Kayak Using Ultra High Pressure Drop Stitch)

  • 박찬홍;박병호;박종대;성현경;임이영
    • 한국항해항만학회지
    • /
    • 제37권5호
    • /
    • pp.551-557
    • /
    • 2013
  • 본 논문에서는 초고압 특수 공간지를 활용한 다기능 포터블 카약을 제작하였다. 초고압 특수 공간지를 활용한 설계로 기존의 인플레터블 카약의 성능을 개선하여 하드쉘 카약의 성능에 근접하도록 제작하였다. 하드쉘 카약의 성능과 인플레터블 카약의 기능성 및 휴대성의 장점을 모두 가진 카약을 제작하였으며, 시제품 성능평가를 통해 기존 하드쉘 카약과의 성능을 비교하였다. 저항성능 검증결과는 목표속도 6knot에 대해 Hobie KONA kayak에 비해 Developed kayak이 12.33% 저항성능이 우수하였다. 경사시험결과는 동일배수량일 경우 Hobie KONA kayak 보다 Developed kayak의 무게중심이 선저를 기준으로 22.7% 낮게 분포하고 있으며, 이는 Hobie KONA kayak 보다 Developed kayak의 무게중심이 낮음으로 복원팔(GZ)에 대한 차이가 일정부분 감소된다. 선체 복원력에서는 Hobie KONA kayak이 약간 우수한 성능을 보여주었으나, 선회력과 저항계수면에서 Developed kayak이 더 우수한 결과를 보였다.

임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술 (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 사(社)의 제어 프로그램을 대상으로 하여 논리식 형태의 중간어로 변환하는 프로그램의 시제품을 개발하였다.