• 제목/요약/키워드: 실시간 검증

검색결과 3,875건 처리시간 0.038초

다변량 통계기법을 활용한 실시간 수질이상 유무 판단 시스템 개발 (Development of Real-Time Water Quality Abnormality Warning System for Using Multivariate Statistical Method)

  • 허태영;전항배;박상민;이영주
    • 대한환경공학회지
    • /
    • 제37권3호
    • /
    • pp.137-144
    • /
    • 2015
  • 본 연구는 다변량 통계기법 중 하나인 주성분분석을 활용하여 실시간으로 수질이상 유무를 판단할 수 있는 경보시스템 개발을 목적으로 하였다. 본 연구에서는 다변량 분석 방법 중 수질항목 간의 상관성을 고려한 주성분 분석 방법을 실시간으로 수질이상 유무를 판단하는 알고리즘에 적용시켰다. K-water에서 제공하는 실제 자료를 이용하여 수질 이상에 대한 실시간 감시 알고리즘의 활용성을 검증하였으며, 집중호우 등과 같은 기후변화에 따른 수질이상에 대해서는 기상청 자료와의 비교를 통해 검증하였다.

실시간 CAN 통신 디바이스 드라이버를 위한 미들웨어에 관한 연구 (A Study on Middleware for Real-Time CAN Communication Device Drivers)

  • 김석;이철훈
    • 한국콘텐츠학회:학술대회논문집
    • /
    • 한국콘텐츠학회 2016년도 춘계 종합학술대회 논문집
    • /
    • pp.305-306
    • /
    • 2016
  • 윈도우즈 시스템 상에서 실행되는 CAN 통신 소프트웨어는 CAN 통신 데이터의 정확한 측정 및 성능 검증을 위해 실시간성을 요구한다. 본 연구에서는 윈도우즈 시스템에 실시간성을 제공하는 RTiK-MP(Real-Time implant Kernel-Multi Processor)을 이용하여, CAN 통신 디바이스 드라이버의 실시간성 지원을 위한 미들웨어를 구현하였다. 미들웨어 사용의 확장성, 편의성을 위해 API(Application Program Interface) 형태로 제공하고, 이를 활용한 프로그램을 통해 미들웨어를 검증한 결과 10ms 주기에서 오차범위 내에서 정상 동작함을 확인하였다.

  • PDF

iRTOS 실시간 운용체제를 이용한 레이타 빔스케쥴러 설계 및 구현 (Design and Implementation of a Radar Beam Scheduler using iRTOS Real-time Operating System)

  • 황용철;이철훈
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
    • /
    • pp.62-64
    • /
    • 2000
  • 레이다 빔 스케쥴러는 레이타의 전체적인 운용과 제어를 담당하는 레이다 통제기의 핵심기능으로서 레이다의 운용시간 및 송신 전력 등 한정된 가용 자원을 효율적으로 관리하기 위한 최적화 기법이 매우 중요하다. 본 논문은 충남대에서 개발한 실시간 운용체제인 iRTOS를 기반으로 하여 방위각 방향은 기계적 회전을 하고 고각 방향은 위상을 가변하여 다수의 위협 표적을 실시간으로 탐지하고 추적하는 회전형 3차원 위상배열 레이다에 적용 가능한 레이다 빔 스케쥴러의 구현 알고리즘에 관한 내용이다. 제안된 레이다 빔 스케쥴러는 우선 순위를 갖는 핵심적인 스케쥴링 태스크와 이를 보조하기 위한 다수의 기능 태스크를 정의하고 생성하였으며 태스크간 데이터 교환을 위하여 인터럽트 처리, 시간 관리, 세마포어 및 메시지 큐 등을 적용하였다. 레이다 빔 스케쥴러의 성능을 검증하기 위하여 다수의 모의 표적을 발생시켜 빔 스케쥴러의 상태와 성능을 확인하였으며, 자체 개발한 실시간 운용체제인 iRTOS를 이용하여 3차원 레이다 빔 스케쥴러를 구현할 수 있음을 확인하였다.

  • PDF

Statechart with Timed Shared Resource의 명세 및 검증 (Specification and Verification using Statechart with Timed Shared Resource)

  • 김진현;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
    • /
    • pp.565-567
    • /
    • 2001
  • 원자력 발전 및 항공 시스템과 같은 실시간 시스템의 설계는 자원 및 시간적인 분석은 상당히 중요한 부분을 차지하고 있다. 이러한 설계는 그 설계단계로부터 철저한 명세 및 집중이 이루어져야 한다. Statechart는 Reactive 시스템을 모델링 하는 도식언어이다. 하지만 기존 Statechart 언어는 자원에 대한 시간적 명세가 분명치 않아 상태로 모든 것을 표현하기에는 복잡하고 용이하지 않다. 또만 이러한 명세 도구는 시스템의 검증은 물론 시간적 행위의 검증은 수월치 한다. 본 논문은 Statechart에 시간을 소모하는 자원을 명세하는 문법을 소개하고 이를 검증하는 기법을 제시하고자 한다.

  • PDF

윈도우즈 상에서 실시간 디바이스 드라이버를 위한 통합 미들웨어 (Integrated Middleware for Real-Time Device Drivers on Windows)

  • 조아라;송창인;이철훈
    • 한국콘텐츠학회논문지
    • /
    • 제13권3호
    • /
    • pp.22-31
    • /
    • 2013
  • 최근 무기체계 산업에서 성능검증을 위해 사용되는 점검장비는 수락시험 시 데이터의 정밀성과 실시간성을 요구한다. 이러한 점검장비는 개발의 편의성을 위해 범용 운영체제인 윈도우즈를 사용하는데 윈도우즈의 경우 실시간성을 제공하지 못하는 문제가 있다. 따라서 본 논문에서는 군용 점검장비의 실시간 통신을 위해 윈도우즈 시스템에 실시간성을 제공하는 RTiK-MP(Real-Time implant Kernel-Multi Processor)을 이용한 통합 미들웨어를 설계 및 구현하였다. 또한 DLL(Dynamic Linking Library)을 사용하여 통합 미들웨어의 API(Application Program Interface)를 사용자에게 제공함으로써 기존의 복잡한 RTiK-MP의 내부 구현을 몰라도 개발이 용이하도록 개발의 편의성을 제공하였다. 본 논문은 군용 점검장비의 통신에 실시간성을 제공할 수 있는 통합 미들웨어를 설계 및 구현한 것으로써 많이 사용되는 TCP/IP LAN과 RS-232를 사용하였다. 마지막으로 성능검증을 위해 CPU 클럭 틱의 수를 반환하는 RDTSC 명령어를 사용하였고, 구현한 통합 미들웨어의 성능을 검증한 결과 TCP/IP 및 RS-232의 경우 각각 1ms 및 4ms 주기에서 오차범위 내에서 정상 동작함을 확인하였다.

Optima Rainfall Intensity 기법을 이용한 실시간 강우센서 강우 산정기법 개발 (Development of Real-time Rainfall Sensor Rainfall Estimation Technique using Optima Rainfall Intensity Technique)

  • 이병현;황성진;김병식
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2019년도 학술발표회
    • /
    • pp.429-429
    • /
    • 2019
  • 최근 들어 이상기후 등 다양한 환경적 요인으로 인해 국지적이고 집중적인 호우가 빈발하고 있으며 도로상의 교통체증과 도로재해가 사회적으로 큰 문제가 되고 있다. 이러한 문제를 해결하기 위해서는 실시간, 단기간 이동성 강우정보 기술과 도로 기상정보를 활용할 수 있는 방법에 대한 연구가 필요하다. 본 연구는 차량의 AW(AutoWiping) 기능을 위해 장착된 강우센서를 이용하여 강우정보를 생산하는 기술을 개발하고자 하였다. 강우센서는 총 4개의 채널로 이루어져있고, 초당 250개의 광신호 데이터를 수집하며, 1시간이면 약 360만 개의 데이터가 생산되게 된다. 5단계의 인공강우를 재현하여 실내 인공강우실험을 실시하고 이를 통해 강우센서 데이터와 강우량과의 상관성을 W-S-R관계식으로 정의하였다. 실내실험데이터와 비교하여 외부환경 및 데이터 생성조건이 다른 실외 데이터의 누적값을 계산하기 위해 Threshold Map 방식을 개발하였다. 강우센서에서 생산되는 대량의 데이터를 이용하여 실시간으로 정확한 강우정보를 생산하기 위해 빅 데이터 처리기법을 사용하여 계산된 실내 데이터의 Threshold를 강우강도 및 채널에 따라 평균값을 계산하고 $4{\times}5$ Threshold Map(4 = 채널, 5 = 강우정보 사상)을 생성하였고 강우센서 기반의 강우정보 생산에 적합한 빅데이터 처리기법을 선정하기 위하여 빅데이터 처리기법 중 Gradient Descent와 Optima Rainfall Intensity을 적용하여 분석하고 결과를 지상 관측강우와 비교검증을 하였다. 이 결과 Optima Rainfall Intensity의 적합도를 검증하였고 실시간으로 관측한 8개 강우사상을 대상으로 강우센서 강우를 생산하였다.

  • PDF