• Journal of the Korea Society of Computer and Information
• /
• v.14 no.12
• /
• pp.33-40
• /
• 2009

We study Interpreted Systems, ATL, and ATEL to capture the notion of time, knowledge, and strategy which are important in the analysis of multi-agent systems and propose strategic constraints based on subgame perfect Nash equilibrium of game theory as one of the solutions for the issues of ATEL which an agent can access the current state of the whole system when making up his strategy even when he should be uncertain about the state, and no explicit representation of actions in ATEL models makes some natural situations harder to model. Also, we present strategic constraints-based Interpreted Systems for model checking of multi-agent systems.

• Aerospace Engineering and Technology
• /
• v.9 no.1
• /
• pp.60-66
• /
• 2010

This paper deals with a post-processing of GPS receiver data in order to acquire a reference flight trajectory of an aircraft test. The flight test using an aircraft that is carried out several times since 2007 is the integrated test to verify the performance of the tracking and communications facilities in Naro Space Center and Jeju Tracking Center. In order to analyze performance of the tracking and navigation equipments, true reference data should be used for performance comparisons. Therefore off-the-shelf commercial GPS receiver, DL-V3 made by NovAtel Inc., is operated on the test to collect the GPS navigation data and the collected data is post-processed by GrafNav which is the off-the-shelf post-processing program made by NovAtel Inc. Through the post-processing of the collected data, a reference trajectory is generated with small error range about several decade centimeter level.

• Journal of Positioning, Navigation, and Timing
• /
• v.7 no.4
• /
• pp.267-275
• /
• 2018

The reference stations in a satellite-based augmentation system (SBAS) collect raw data from global navigation satellite system (GNSS) to generate correction and integrity information. The multipath signals degrade GNSS raw data quality and have adverse effects on the SBAS performance. The currently operating SBASs (WAAS and EGNOS, etc.) survey existing commercial equipment to perform multipath assessment around the antennas. For the multi-path assessment, signal power of GNSS and multipath at the MEDLL receiver of NovAtel were estimated and the results were replicated by a ratio of signal power estimated at NovAtel Multipath Assessment Tool (MAT). However, the same experiment environment used in existing systems cannot be configured in reference stations in Korean augmentation satellite system (KASS) due to the discontinued model of MAT and MEDLL receivers used in the existing systems. This paper proposes a test environment for multipath assessment around the antennas in KASS Multipath Assessment Tool (K-MAT) for multipath assessment. K-MAT estimates a multipath error contained in the code pseudorange using linear combination between the measurements and replicates the results through polar plot and histogram for multipath assessment using the estimated values.

• The Bulletin of The Korean Astronomical Society
• /
• v.39 no.1
• /
• pp.84.2-84.2
• /
• 2014

The intermediate polar V1323 Her = RXS J180340.0+401214 returned from its faint state 19.4-20.5 mag (mean brightness during the run, the instrumental system close to R or clear filter) (vsnet-alert 16958). On March 1, 2014, the brightness was 17.50 (clear filter) and next night 17.8 (R). During previous observations on January 24, the object was 19.6. We reported this findings to vsnet-alert 16958 and to The Astronomer's Telegramm (ATel #5944). The characteristics of the runs obtained before/after a switch between the high and low states will be presented.

• Journal of Biomedical Engineering Research
• /
• v.15 no.3
• /
• pp.341-346
• /
• 1994

To develop an artificial bone substitute that is gradually degraded and replaced by the regenerated natural bone, the authors designed a composite that is consisted of calcium phosphate and collagen. To use as the structural matrix of the composite, collagen was purified from human umbilical cord. The obtained collagen was treated by pepsin to remove telopeptides, and finally, the immune-free atel- ocollagen was produced. The cross linked atelocollagen was highly resistant to the collagenase induced collagenolysis. The cross linked collagen demonstrated an improved tensile strength.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2016.05a
• /
• pp.297-300
• /
• 2016

The typical Differential Global Navigation Satellite System service of South Korea is the Ground Based Differential GNSS service. South Korea building the Satellite-Based Augmentation System for GNSS to expand the Differential GNSS service. The satellite-based differential GNSS serive is called the SBAS(Satellite Based Augmentation System). The SBAS reference station on ground should be installed to operate the SBAS service alike the ground based augmentation system. That SBAS reference station can be installed with ground based DGNSS reference station. To make the SBAS reference station combined with the ground based DGNSS reference station, DGNSS system should be connected to NovAtel's G-III receiver. In this paper, the DGNSS software reference station's software module architecture was changed and G-III interface module was designed to use the G-III receiver.

• Spatial Information Research
• /
• v.11 no.3
• /
• pp.291-299
• /
• 2003

The Mobile Mapping System collects geographic information through mounted sensors such as a pair of CCD camera, CPS, IMU(Inertial Measurement Unit) and Odometer at regular distance or time interval. The advantage of such system is to easy identification of positions and geographic informations of mobile objects in real time. Among many wireless communication ways for real-time positions and geographic information data from the mobile mapping system to the user such as PDA, wireless modem, cellophane, and web, the web is considered to be more stabile, effect and economic than any other methods. In this paper, a study on the web-based real-time mobile mapping platform to identify the user position is presented using the real-time NovAtel BDS.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.6
• /
• pp.267-275
• /
• 2013

EKF has been widely used for GPS/INS integration as standard method but EKF has one well-known drawback. if the errors are not within the bounded region, the filter may be divergent. The particle filter has the advantage of the nonlinear and non-gaussian system. This paper proposes a method for compensating the GPS position errors based on the particle filter and presents loosely-coupled GPS/INS integration using proposed algorithm. We used GPS position pattern with particle filter and added attitude kalman filter for improving attitude accuracy. To verify the performance, the proposed method is compared with high cost GPS as reference. In the experimental result, we verified that the accuracy and robust were well improved by the proposed method filter effectively and robustness than by original loosely-coupled integration when vehicle turns at corner.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.63 no.9
• /
• pp.1259-1265
• /
• 2014

In this paper, the real-time attitude determination based Matlab using low-cost receivers was designed and evaluated. The GNSS attitude determination system was implemented to operation in real-time by TimerCallback in MATLAB. The TTM(Transmission Time Misalignment) of U-blox receiver was confirmed through zero baseline tests and this problem was revised. The computed attitude by the high-cost NovAtel receiver was compared to the computed attitude by the low-cost U-blox receiver. As a result of this, the performance of attitude determination systems by low-cost receiver was confirmed. To determine baseline, LAMBDA and BC-LAMBDA for integer ambiguities search methods were used. To confirm suitable integer ambiguity search method in real-time attitude determination algorithm, determined baselines by two methods were compared, and it was confirmed that BC-LAMBDA is more suitable. As a result of this, the operation of real-time attitude determination system was confirmed using 3 low-cost receivers.

• Structural Engineering and Mechanics
• /
• v.58 no.6
• /
• pp.1077-1085
• /
• 2016

In the last few years, many structural monitoring studies have been performed using different techniques to measure structures of different scales such as buildings, dams or bridges. One of the mostly used tools are GPS instruments, which have been utilized in various combinations with accelerometers and some other conventional sensors. In the current study, observation series were recorded for 8 hours with GPS receivers (NovAtel) and Inclination Measurement Sensors mounted on a television tower in Istanbul, Turkey. Each series of observations collected from two different sensors were transformed into a single coordinate system (Local Topocentric Coordinates System). The positional changes of the tower were calculated from the GPS and the inclination data. These changes were plotted in two dimensions (2D) on the same graphic. Thus, the possibility of comparison and analysis were found using the data from both the GPS and the Inclinometer complement each other, in the real test area. The positional changes of the tower were modeled for further examination. As a result, the movement of the tower within an area of $1{\times}1cm^2$ was observed. Based on the results, it can be concluded that inclinometers can be used for monitoring the structural behavior of the tower.