• 제목/요약/키워드: Real-Time Navigation

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

Formal Method for Specification and Verification of Behavioral Equivalences of Real-time Navigation and Transportation Systems Based on Abstraction (추상화에 기반을 둔 실시간 항법 및 배송 시스템의 명세 및 행위적 동일성 검증을 위한 정형 기법)

  • Lee, Moon-Kun;Choi, Jung-Rhan
    • The Journal of the Korea Contents Association
    • /
    • 제6권11호
    • /
    • pp.202-216
    • /
    • 2006
  • A number of process algebras are not well suitable for real-time navigation/delivery systems due to the following reasons: 1) lack of representation of process distributivity over some geographical space and 2) the indistinction of representation of process mobility from process distributivity over the space. To make the process algebra suitable to the systems, it seems to be necessary to separate the space representation from the mobility representation. This paper presents a formal method for this purpose, namely, Calculus of Abstract Real-Time Distribution, Mobility, and Interaction (CARDMI). For analysis and verification of behavioral properties, CARDMI defines a set of the spatial, temporal and the interactive deduction rules and a set of equivalence relations. The rules and equivalences can be abstracted hierarchically due to the spatial abstraction, too. CARDMI can be applied to virtual navigation/delivery system for contents, too.

  • PDF

Real-time LSTM Prediction of RTS Correction for PPP by a Low-cost Positioning Device (저가형 측위장치에 RTS 보정정보의 실시간 LSTM 예측 기능 구현을 통한 PPP)

  • Kim, Beomsoo;Kim, Mingyu;Kim, Jeongrae;Bu, Sungchun;Lee, Chulsoo
    • Journal of Advanced Navigation Technology
    • /
    • 제26권2호
    • /
    • pp.119-124
    • /
    • 2022
  • The international gnss service (IGS) provides real-time service (RTS) orbit and clock correction applicable to the broadcast ephemeris of GNSS satellites. However, since the RTS correction cannot be received if the Internet connection is lost, the RTS correction should be predicted and used when a signal interruption occurs in order to perform stable precise point positioning (PPP). In this paper, PPP was performed by predicting orbit and clock correction using a long short-term memory (LSTM) algorithm in real-time during the signal loss. The prediction performance was analyzed by implementing the LSTM algorithm in RPI (raspberry pi), the processing speed of which is not high. Compared to the polynomial prediction model, LSTM showed excellent performance in long-term prediction.

Relative Positioning of Vehicles Carrying Hazardous Materials Using Real-Time Kinematic GPS

  • Kim, Hee Sung;Choi, Kwang Ho;Lee, Je Young;Lim, Joon Hoo;Chun, Se Bum;Lee, Hyung Keun
    • Journal of Positioning, Navigation, and Timing
    • /
    • 제2권1호
    • /
    • pp.19-31
    • /
    • 2013
  • It is well known that the accident of vehicles carrying hazardous materials incurs huge losses economically and socially. To detect and respond rapidly against the accident of a vehicle carrying hazardous materials, it is essential to estimate the relative navigation information between the forward tractor module and the backward trailer module of the vehicle reliably and accurately. In this paper, a precise relative positioning system based on GPS is designed, implemented, and evaluated as a prerequisite to design an effective relative navigation system for the vehicle carrying hazardous materials. An experiment using field-collected 10 Hz real GPS measurements showed that the designed relative positioning system achieves 22 cm accuracy within 15 epochs by float solutions. Also, it was found that cm-level integer solutions can be generated reliably after the quick convergence of float solutions.

Application Of Open Data Framework For Real-Time Data Processing (실시간 데이터 처리를 위한 개방형 데이터 프레임워크 적용 방안)

  • Park, Sun-ho;Kim, Young-kil
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • 제23권10호
    • /
    • pp.1179-1187
    • /
    • 2019
  • In today's technology environment, most big data-based applications and solutions are based on real-time processing of streaming data. Real-time processing and analysis of big data streams plays an important role in the development of big data-based applications and solutions. In particular, in the maritime data processing environment, the necessity of developing a technology capable of rapidly processing and analyzing a large amount of real-time data due to the explosion of data is accelerating. Therefore, this paper analyzes the characteristics of NiFi, Kafka, and Druid as suitable open source among various open data technologies for processing big data, and provides the latest information on external linkage necessary for maritime service analysis in Korean e-Navigation service. To this end, we will lay the foundation for applying open data framework technology for real-time data processing.

INS/GPS Integrated Smoothing Algorithm for Synthetic Aperture Radar Motion Compensation Using an Extended Kalman Filter with a Position Damping Loop

  • Song, Jin Woo;Park, Chan Gook
    • International Journal of Aeronautical and Space Sciences
    • /
    • 제18권1호
    • /
    • pp.118-128
    • /
    • 2017
  • In this study, we propose a real time inertial navigation system/global positioning system (INS/GPS) integrated smoothing algorithm based on an extended Kalman filter (EKF) and a position damping loop (PDL) for synthetic aperture radar (SAR). Integrated navigation algorithms usually induce discontinuities due to error correction update by the Kalman filter, which are as detrimental to the performance of SAR as the relative position error. The proposed smoothing algorithm suppresses these discontinuities and also reduces the relative position error in real time. An EKF estimates the navigation errors and sensor biases, and all the errors except for the position error are corrected directly and instantly. A PDL activated during SAR operation period imposes damping effects on the position error estimates, where the estimated position error is corrected smoothly and gradually, which contributes to the real time smoothing and small relative position errors. The residual errors are re-estimated by the EKF to maintain the estimation performance and the stability of the overall loop. The performance improvements were confirmed by Monte Carlo simulations. The simulation results showed that the discontinuities were reduced by 99.8% and the relative position error by 48% compared with a conventional EKF without a smoothing loop, thereby satisfying the basic performance requirements for SAR operation. The proposed algorithm may be applicable to low cost SAR systems which use a conventional INS/GPS without changing their hardware configurations.

Embedded Real-Time Software Architecture for Unmanned Autonomous Helicopters

  • Hong, Won-Eui;Lee, Jae-Shin;Rai, Laxmisha;Kang, Soon-Ju
    • JSTS:Journal of Semiconductor Technology and Science
    • /
    • 제5권4호
    • /
    • pp.243-248
    • /
    • 2005
  • The UAV (Unmanned Aerial Vehicle) systems like unmanned autonomous helicopters are used in various missions of flight navigation and used to collect the environmental information of the surroundings. To realize the full functionalities of the UAV, the software part becomes a challenging problem. In this paper embedded real-time software architecture for unmanned autonomous helicopter is proposed that guarantee real-time performance of hard-real time tasks and re-configurability of soft-real time and non-real time tasks. The proposed software architecture has four layers: hardware, execution, service agent and remote user interface layer according to the reactiveness level for external events. In addition, the layered separation of concurrent tasks makes different kinds of mission reconfiguration possible in the system. An Unmanned autonomous helicopter system was implemented (Kyosho RC Helicopter) in our lab to test and evaluate the performance of the proposed system.

A Development of Attitude GPS/INS Integration System (자세 측정용 GPS/INS통합 시스템 개발)

  • Oh, Chun-Gyun;Lee, Jae-Ho;Seo, Hung-Seok;Sung, Tae-Kyung
    • Proceedings of the KIEE Conference
    • /
    • 대한전기학회 2001년도 하계학술대회 논문집 D
    • /
    • pp.1984-1986
    • /
    • 2001
  • In order to provided continuous solutions, latest developing navigation systems tend to integrate GPS receiver with INS or DR. Using the GPS carrier-phase measurements, an attitude GPS receiver with three antennas obtain the 3-dimensional attitude such as roll, pitch, and heading as well as position and velocity. With these angle measurements, in the attitude GPS/INS integrated system, attitude or gyro errors can be directly compensated. In this paper, we develop an integrated navigation system that combines attitude GPS receiver with INS. The performance of real-time integrated navigation system is determined by not only the implements of integration filter but also the synchronization of measurements. To meet these real-time requirements, the navigation software is implemented in multi-tasking structure in this paper. We also employ time-synchronization technique in the multi-sensor fusion. Experimental results show that the performance of the attitude GPS/INS integrated system is consistent even when cycle-slip occurs in carrier-phase measurements.

  • PDF

Study of Small and Medium-Sized VDR Device with Camera and Data Control Method for Efficiency Garantee of Ship Navigation System (선박 네비게이션 시스템의 효율성 보장을 위한 카메라 장착 중소형 VDR장치 및 데이터 제어방법 연구)

  • Min, Byung Guk;Ha, Tae Jin;Kim, Young Soo;Park, Jung Min;Cha, Jun Sub
    • Smart Media Journal
    • /
    • 제2권1호
    • /
    • pp.42-47
    • /
    • 2013
  • The paper presents VDR system for efficiency of ocean navigation device and how to output and to save data using this system as well as compressed digital data and analog video output from the camera are utilized at the same time. The compressed digital data is used to store video for VDR device while analog video is used to display on screen in real-time so that VDR system saves the load on SD memory card without navigation terminal and output it with real-time video. Also, the control method using VDR system are proposed for saving and outputting data.

  • PDF

Analysis of Positioning Accuracy Using LX GNSS Network RTK (LX 위성측위 인프라기반 네트워크 RTK를 이용한 측위성능 분석)

  • Ha, Jihyun;Kim, Hyun-ho;Jung, Wan-seok
    • Journal of Advanced Navigation Technology
    • /
    • 제19권6호
    • /
    • pp.507-514
    • /
    • 2015
  • The Spatial information research institute of the LX Korea land and geospatial informatix corporation manages infrastructure for the LX global navigation satellite system (GNSS), which comprises 30 monitoring stations nationwide. Since 2014, it has conducted network real-time kinematic (RTK) tests using the master-auxiliary concept (MAC). This study introduces the infrastructure of LX GNSS and presents the results of a performance analysis of the LX RTK service. The analysis was based on a total of 25 cadastral topographic control points in Jeonju, Seoul, and Incheon. For each point, performance was measured over one observation, two repeated observations, and five repeated observations. The measurements obtained from LX MAC and the VRS of the National Geographic Information Institute were compared with the announced coordinates derived from cadastral topographic control points. As a result, the two systems were found to have similar performance with average error and standard deviation differing only by 1 to 2 cm.

Fault Detection Method of Laser Inertial Navigation System Based on the Overlapping Model (중첩모델 기반 레이저 관성항법장치 고장검출 기법)

  • Kim, Cheon-Joong;Yoo, Ki-Jeong;Kim, Hyeon-Suk;Lyou, Joon
    • Journal of Institute of Control, Robotics and Systems
    • /
    • 제17권11호
    • /
    • pp.1106-1116
    • /
    • 2011
  • LINS (Laser Inertial Navigation System) consists of RLG (Ring Laser Gyroscopes)/accelerometers and provides real-time navigation information to the target system. Therefore it is very important to make a decision in the real time whether LINS is in the normal operation or not. That is called a fault detection method. In this paper, we propose the fault detection method of LINS based on the overlapping model. We also show that the fault detection probability is increased through overlapping the hardware model and the software model. It is verified through the long-term operation and RAM (Reliability Availability Maintainability) analysis of LINS that the fault detection method proposed in this paper is able to detect about 97% of probable system failures.