• Title/Summary/Keyword: 실시간 검증

Search Result 3,890, Processing Time 0.031 seconds

Block Correlator for Real-Time GPS L1 Software Receiver (소프트웨어 기반의 실시간 GPS L1 수신기를 위한 블록 상관기)

  • Kim, Tae-Hee;Lee, Sang-Uk
    • Journal of Satellite, Information and Communications
    • /
    • v.6 no.1
    • /
    • pp.80-85
    • /
    • 2011
  • In this paper, a software-based real-time GPS L1 receiver is proposed for the block correlation techniques. Recently various navigation satellite navigation receivers in the environment for the development of more efficient software-based real-time receiver need to be developed. It is composed of components such as signal supplier, signal acquisition, signal tracking, navigation data processing, and navigation solution. They are designed and implemented as component based software for enhancing reusability and modifiability for user to have more flexibility during development of receiver. This paper will describe design, implementation, and verification of the developed realtime software GNSS receiver.

실시간 위성 시계 이상 감지 시스템 구축

  • Heo, Yun-Jeong;Im, Jun-Hu;Jo, Jeong-Ho;Heo, Mun-Beom;Nam, Gi-Uk
    • Bulletin of the Korean Space Science Society
    • /
    • 2011.04a
    • /
    • pp.22.4-22.4
    • /
    • 2011
  • 위성항법시스템에서 위성 신호의 이상 발생 시 신속하게 위성시계의 고장 유무를 판단할 수 있도록 실시간 위성 시계 이상감지 시스템을 구축하였다. 위성 시계는 시스템 성능에 직접적인 영향을 미치는 핵심 요소로서 고장이나 이상 발생 시 측정치에 매우 큰 영향을 미칠 수 있다. 특정 위성 시계에 고장이나 이상이 발생한 경우 사용자들이 해당 위성의 측정치를 사용하지 않도록 가능한 빨리 이를 감지하고 공지할 수 있어야 한다. 현재 GPS의 경우 시스템 자체만으로는 위성 상태 정보가 적절한 시간 내에 제공되지 못하므로, 사용자가 직접 위성 신호의 사용 유무를 판단할 수 있는 위성 상태 감시 기능이 필요하다. 이 논문에서는 위성 시계 이상 발생 시 이를 실시간으로 감지할 수 있도록 한국항공우주연구에서 구축한 실시간 위성 시계 이상 감지 시스템에 대해 소개하고자 한다. 시스템 구현을 위해 적용한 방법은 크게 세 단계로 나뉠 수 있다. 첫 번째, 실시간으로 수신한 GPS 이중 주파수 측정치로부터 반송파 스무딩 필터를 적용하여 위성 시계 바이어스를 추정한다. 두 번째, 위성 위치 및 시계 정보의 실시간 적용을 위해 항법력보다 성능이 뛰어난 IGS Ultra-rapid 예측 정보를 활용한다. 마지막으로 위성시계 바이어스 추정치와 예측치를 비교하여 시계 이상 유무를 판별한다. 실제 위성 시계 이상이 발생한 위성의 측정치를 적용하여 시스템에 대한 검증시험을 수행하였고, 10 나노 초 수준의 위성 시계도약 현상이 발생한 위성의 감지를 통해 시스템의 성능을 확인하였다. 이는 항공항법분야와 같이 고성능의 위치 정보를 요구하는 응용분야에 신뢰성 있는 위성 정보 제공을 위해 활용될 수 있다.

  • PDF

EMS-MOS State Estimator(Network Analysis) Result's Verification in KPX (전력거래소의 EMS-MOS 상태추정(계통해석) 정확도 검증)

  • Hwang, Kyung-Sik;Kang, Hyung-Koo;Kim, Tae-Eon;Lee, Kun-Woong
    • Proceedings of the KIEE Conference
    • /
    • 2007.11b
    • /
    • pp.109-111
    • /
    • 2007
  • 전력거래소(KPX)는 전국에 산재된 발 변전소로부터 2초 혹은 4초 주기로 계통운영에 필요한 아날로그, 디지털 데이터를 실시간으로 취득하고 있다. 이렇게 취득한 데이터는 EMS 전력계통 감시 및 제어를 위한 각종 화면, 자동발전제어/경제급전(AGC/ED), 상태추정(SE), 상정고장해석(CA)등 실시간 계통운영과 조류계산(PF), 고장계산(SCT), STNET(PF, CA), 상정고장해석 등 검토모드로 급전소 휴전업무 검토에 활용되고 있다. 또한 EMS에서 취득한 실시간 데이터를 MOS(시장 운영시스템)로 보내어 상태추정을 추행하고 이 값을 기반으로 발전기별 경제적인 출력 값인 FMD(5분 급전지시)를 EMS로 보내어 EMS의 주요기능인 AGC(자동발전제어)로 경제적이고 안정된 출력 조정을 하고 있다. 이러한 이유로 EMS 및 MOS의 상태추정 견과의 정확도와 실행 안정성은 매우 중요하다고 하겠다. 본고에서는 EMS 계통해석기능 검증 결과와 향후 데이터 정확도 개선은 위한 과정의 일환으로 EMS의 상태추정과 MOS의 상태추정의 상호비교 결과를 소개하고자 한다.

  • PDF

Estimation of real-time data in water distribution systems using LSTM (LSTM을 이용한 상수관망 내 실시간 유량 및 수질 데이터 예측)

  • Eun Young Cho;Seon Hong Choi;Dong Woo Jang
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2023.05a
    • /
    • pp.463-463
    • /
    • 2023
  • 국내 수도관 보급률이 증가하면서 기존 노후화된 수도관들과 추가로 노후화된 수도관들이 증가하고 있다. 경과년수가 오래된 시설이 증가하는 것은 잠재적인 사고발생 위험을 증가시킨다. 실제 노후화된 상수도 시설물로 인해 단수, 누수, 수질오염, 지반함몰 발생이 증가하는 추세이다. 이러한 현상들은 시민들의 생활과 안전, 경제활동에 직접적인 영향을 끼치기 때문에 이에 대한 대책 마련이 시급한 상태이다. 본 연구에서는 AI를 기반으로 상수도관의 노후도 및 위험도를 예측하는 모델을 설계하고자 하였다. 대상지역을 인천광역시 서구로 선정하여 유량과 수질의 실시간 계측데이터를 수집하였다. 딥러닝 기법 중 하나인 LSTM(Long Short-Term Memory)을 이용하여 데이터를 예측하였고, 결정계수(R2)와 RMSE(Root Mean Square Error)로 학습데이터와 검증데이터의 비율을 정하여 예측도를 평가하였다. 유량과 수질 데이터 중 80%는 학습데이터로 20%는 검증 데이터로 분리하였고, LSTM의 셀과레이어 수를 해석에 적합한 범위로 설정한 결과, 실제값과 예측값이 높은 상관성을 보이는 것으로 나타났다. 예측된 유량 및 수질의 결과는 상수도 관리에 중요한 정보를 제공하며, 사고 위험도 평가와 관 노후화에 따른 대응력을 향상시키는 데 도움이 될 것으로 판단된다.

  • PDF

Implementation of an Agent for Real-Time Medication Status Transmission (실시간 복약상태 전송을 위한 에이전트 개발)

  • Pak, Ju-Geon;Im, Seung-Hyun;Park, Kee-Hyun
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2011.04a
    • /
    • pp.179-182
    • /
    • 2011
  • 복약기는 개인의 건강 증진 및 질병 예방을 위한 개인건강기기(Personal Health Device: PHD) 중 하나로 정해진 스케줄에 따라 약을 배출하는 기기이다. 복약기를 통해 수집되는 복약자의 복약상태(복약 여부, 복약 횟수 등)는 의료진 및 보호자에게 복약자를 관리하기 위한 중요한 정보가 될 수 있으므로 모니터링 서버에게 실시간 전송하여 의료진 및 보호자가 분석할 수 있도록 하는 것이 바람직하다. 이에 본 논문에서는 복약기 내에 탑재되어 사용자의 복약상태를 원격 모니터링 서버에게 실시간 전송하는 복약상태 전송 에이전트를 제안한다. 복약상태 전송 에이전트는 단말기 관리에 관한 산업계 표준인 Open Mobile Alliance(OMA) Device Management(DM) 프로토콜에 따라 복약 상태 메시지를 생성 및 전송한다. 복약 상태 메시지를 수신하는 모니터링 서버로는 OMA DM 기반의 상용 서버를 사용하였다. 이는 추후 본 논문의 복약상태 전송 에이전트를 확장하여 복약기 원격 관리 용도로 적용하기 위함이다. 본 논문에서는 제안된 복약상태 전송 에이전트의 구현 결과 및 모니터링 서버와 연동성 검증 결과를 제시한다. 검증 결과 제안된 에이전트는 복약기로부터 복약상태를 수집한 후 OMA DM 프로토콜에 따라 복약상태를 정상적으로 전송함을 알 수 있었다. 즉, 본 논문의 복약상태 전송 에이전트는 복약상태의 원격 전송뿐 만 아니라, OMA DM 을 준수하는 기존의 모바일 단말기 관리 서버들을 복약상태 모니터링 서버로 활용할 수 있다는 장점이 있다.

A Study on Efficient Certificate Status Validation System of Reduction Signature Basis (축약 서명 기반의 효율적인 인증서 상태 검증 시스템에 관한 연구)

  • 김현철;이광형;백주호;오해석
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10a
    • /
    • pp.829-831
    • /
    • 2003
  • 개방형 네트워크인 인터넷에서의 오든 정보 교환은 항상 정보의 노출 및 정보의 위조 및 변조 등의 위협요소를 배후에 내포하고 있다. 이러한 인터넷에서의 중요 정보 보호를 위해서는 모든 정보 교환에 있어서 정보의 탈법노출을 방지하기 위한 기밀성, 정보의 위조 및 변조 여부를 판단하는 무결성. 정보의 송신자와 수신자 사이렌 송수신 사실을 부인하지 못 하도록 하는 부인방지, 전송된 정보의 송신자라 수신자를 확실하게 증명해주는 인증 등의 기능들이 제공되어야한다. PKI 기반의 인증서 상태 검증 시스템은 위와 같은 4가지의 기능을 제공해 준다. 하지만 실시간으로 인증서의 대한 상태 정보를 제공하지 못 한다는 단점과 인증서 상태 검증을 위해 많은 정보를 전송해야 하기 때문에 네트웍 과부하에 문제가 발생한다. 그로 인해 인증서 상태 검증에 소요되는 처리 속도가 느리다는 단점이 있다. 본 논문에서는 기존 방식의 문제점인 인증서 상태 정보의 실시간성 반영 문제 및 인증서 상태 겅증 시간의 향상을 위한 인증서 자체의 Serial과 UserDN만을 이용한 축약 서명 기반의 효율적인 인증서 상태 검증 시스템을 제안하고, 실제 실험을 통하여 기존의 시스템과 제안하는 시스템의 인증서 상태 검증 속도를 비교해 보고자 한다.

  • PDF

Requirements for Code-Based Model Checking for Embedded Software (임베디드 소프트웨어를 위한 코드 기반 모델 체킹 도구의 요구사항)

  • Lee Taehoon;Kwon Gihwon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2004.11a
    • /
    • pp.327-330
    • /
    • 2004
  • 테스팅이 오류의 존재를 증명할 수 있는데 반해서, 정형 검증 기술은 시스템에 오류가 존재하지 않음을 증명할 수 있다. 모델 체킹은 이런 정형 검증 기술 중의 하나이다. 최근에 모델 체킹을 이용하여 코드를 자동으로 검증하려는 연구들이 많다. 하지만 이런 연구는 일반적인 환경에서의 검사만을 할 수 있다. 반면에 임베디드 소프트웨어는 실시간성, 외부 환경, 다중 스레드 등의 다양한 특성이 존재한다. 따라서 임베디드 소프트웨어와 같이 안전한 소프트웨어 시스템을 필요로 하는 환경을 위한 모델 체킹을 수행하기는 힘들다. 본 논문에서는 임베디드 소프트웨어에 대한 모델체킹 도구가 검증할 수 있어야 하는 실시간 시스템의 검증, 외부 환경에 대한 고려, 다중 스레드 시스템의 검증 등을 설명하고, 기존 도구들이 얼마나 만족하고 있는지 조사해본다.

  • PDF

A Study of the Practicalities and Effects of Online Discussion Classes at Universities (대학 온라인 토의수업의 실제와 효과에 대한 연구)

  • Kim, Hyeon-Yeong;Jang, Ok-Sun;Lee, Soo-Jeong
    • The Journal of the Korea Contents Association
    • /
    • v.21 no.8
    • /
    • pp.271-284
    • /
    • 2021
  • The purpose of this study is to explore the current status and effects of online discussion classes in universities. To this end, a survey was conducted on university students attending a total of four universities in Seoul and Gyeonggi Province to diagnose their perceptions of the operation of online discussion classes and their effects. The collected data were analyzed using frequency analysis, descriptive statistical analysis, cross-analysis, F-test, T-test, and Scheffe test by applying SPSS program. As a result of the study, first, it was found that 'non-real-time recorded lessons' and 'real-time interactive video lessons' were mainly conducted at universities after the COVID19 crisis. Second, in the online class method, 'real-time interactive video class' had a positive effect on 'debate class preference' and was found to be more meaningful. Third, college students recognized participation in online discussion classes as a foundation for expanding creative thinking skills, suggesting that strengthening through smooth communication and exchanges based on learners' sufficient cognitive processes on discussion methods and procedures is more helpful.

Joint Space Trajectory Planning on RTOS (실시간 운영체제에서 관절 공간 궤적 생성)

  • Yang, Gil-Jin;Choi, Byoung-Wook
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.24 no.1
    • /
    • pp.52-57
    • /
    • 2014
  • This paper presents an implementation of a smooth path planning method considering physical limits on a real time operating system for a two-wheel mobile robot. A Bezier curve is utilized to make a smooth path considering a robot's position and direction angle through the defined path. A convolution operator is used to generate the center velocity trajectory to travel the distance of the planned path while satisfying the physical limits. The joint space velocity is computed to drive the two-wheel mobile robot from the center velocity. Trajectory planning, velocity command according to the planned trajectory, and monitoring of encoder data are implemented with a multi-tasking system. And the synchronization of tasks is performed with a real-time mechanism of Event Flag. A real time system with multi-tasks is implemented and the result is compared with a non-real-time system in terms of path tracking to the designed path. The result shows the usefulness of a real-time multi-tasking system to the control system which requires real-time features.

The Establishment and Application of Very Short Range Forecast of Precipitation System (초단시간 강수예보시스템 구축 및 활용)

  • Choi, Ji-Hye;Nam, Kyung-Yeub;Suk, Mi-Kyung;Choi, Byoung-Cheol
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2006.05a
    • /
    • pp.1515-1519
    • /
    • 2006
  • 본 연구에서는 초단시간 강수예보(VSRF, Very Short-Range Forecast of precipitation) 시스템 구축 현황을 소개하고자 한다. VSRF 모델은 레이더 반사도 자료와 지상 AWS 자료를 이용하여 레이더-AWS 강우강도를 산출하는 강수분석과정과 분석된 강수량 자료와 중규모 수치예보장을 사용하여 외삽법에 의한 초단시간 강수예보를 수행하는 예보과정, 실시간으로 산출된 강수예보 자료를 검증하고 홈페이지에 제공하는 자료지원과정으로 구성된다. 본 연구에서는 모델의 예보능력을 향상시키기 위해 크게 두 가지 측면에서 모델을 개선하였다. 첫째는 모델의 입력자료인 레이더-AWS 강우강도 자료를 기상연구소 원격탐사연구실에서 운영하던 WPMM (Window Probability Matching Method)과 기상청 기상레이더과에서 운영하던 RQPE(Radar Quantitative Precipitation Estimation)의 알고리즘을 통합하여 정확한 강우강도 자료인 레이더-AWS 강우강도(RAR, Radar-AWS Rain rate) 시스템을 구축하여 개선하였으며, 둘째는 외삽과정을 통한 예보가 3시간이 지나면 예측능력이 감소하는 문제점을 보완하기 위해 현업 중규모 모델(RDAPS, Regional Data Assimilation and Prediction System)의 예측강수와 병합하여 모델을 개선하였다. 또한 이를 시계열 검증 및 공간 검증하는 실시간 검증 시스템을 구축하여 실시간으로 모델의 정확성을 평가하고 있다. 그 결과 입력자료 개선을 통한 모델의 정확도는 크게 향상된 결과는 볼 수 없었지만 미약하게 향상된 것을 확인할 수 있었으며, 모델의 병합을 통한 모델의 개선은 예측 3시간 이후부터는 50% 정도 향상되었다.의 대안을 제시하고자 한다.X>${\mu}_{max,A}$는 최대암모니아 섭취률을 이용하여 구한 결과 $0.65d^{-1}$로 나타났다.EX>$60%{\sim}87%$가 수심 10m 이내에 분포하였고, 녹조강과 남조강이 우점하는 하절기에는 5m 이내에 주로 분포하였다. 취수탑 지점의 수심이 연중 $25{\sim}35m$를 유지하는 H호의 경우 간헐식 폭기장치를 가동하는 기간은 물론 그 외 기간에도 취수구의 심도를 표층 10m 이하로 유지 할 경우 전체 조류 유입량을 60% 이상 저감할 수 있을 것으로 조사되었다.심볼 및 색채 디자인 등의 작업이 수반되어야 하며, 이들을 고려한 인터넷용 GIS기본도를 신규 제작한다. 상습침수지구와 관련된 각종 GIS데이타와 각 기관이 보유하고 있는 공공정보 가운데 공간정보와 연계되어야 하는 자료를 인터넷 GIS를 이용하여 효율적으로 관리하기 위해서는 단계별 구축전략이 필요하다. 따라서 본 논문에서는 인터넷 GIS를 이용하여 상습침수구역관련 정보를 검색, 처리 및 분석할 수 있는 상습침수 구역 종합정보화 시스템을 구축토록 하였다.N, 항목에서 보 상류가 높게 나타났으나, 철거되지 않은 검전보나 안양대교보에 비해 그 차이가 크지 않은 것으로 나타났다.의 기상변화가 자발성 기흉 발생에 영향을 미친다고 추론할 수 있었다. 향후 본 연구에서 추론된 기상변화와 기흉 발생과의 인과관계를 확인하고 좀 더 구체화하기 위한 연구가 필요할 것이다.게 이루어질 수 있을 것으로 기대된다.는 초과수익률이 상승하지만, 이후로는 감소하므로, 반전거래전략을 활용하는 경우 주식투자기간은 24개월이하의 중단기가 적합함을 발견하였다. 이상의 행태적 측면과 투자성과측면의 실증결과를 통하여 한국주식시장에

  • PDF