• Journal of Positioning, Navigation, and Timing
• /
• v.10 no.4
• /
• pp.363-369
• /
• 2021

Since the Global Navigation Satellite System (GNSS) signal received from the low Earth orbit (LEO) satellite is only affected by the upper ionosphere, the magnitude of the ionospheric delay of Global Positioning System (GPS) signal received from ground user is different. Therefore, the ground-based two-dimensional ionospheric model cannot be applied to LEO satellites. The NeQuick model used in Galileo provides the ionospheric delay according to the user's altitude, so it can be used in the ionospheric model of the LEO satellites. However, the NeQuick model is not suitable for space receivers because of the high computational cost. A simplified NeQuick model with reduced computing time was recently presented. In this study, the computing time of the NeQuick model and the simplified NeQuick model was analyzed based on the GPS Klobuchar model. The NeQuick and simplified NeQuick model were applied to the GNSS data from GRACE-B, Swarm-C, and GOCE satellites to analyze the performance of the ionospheric correction and positioning. The difference in computing time between the NeQuick and simplified NeQuick model was up to 90%, but the difference in ionospheric accuracy was not as large as within 4.5%.

• Journal of Positioning, Navigation, and Timing
• /
• v.13 no.1
• /
• pp.63-73
• /
• 2024

NeQuick G is the ionosphere model utilized by Galileo single-frequency users to estimate the ionospheric delay on each user-satellite link. The model is characterized by the effective ionization level (Az) index, determined by a modified dip latitude (MODIP) and broadcast coefficients derived from daily global space weather observations. However, globally fitted Az coefficients may not accurately represent ionosphere within local area. This study introduces a method for regional ionospheric modeling that searches for locally optimized Az coefficients. This approach involves fitting TEC output from NeQuick G to TEC data collected from GNSS stations around Korea under various ionospheric conditions including different seasons and both low and high solar activity phases. The optimized Az coefficients enable calculation of the Az index at any position within a region of interest, accounting for the spatial variability of the Az index in a polynomial function of MODIP. The results reveal reduced TEC estimation errors, particularly during high solar activity, with a maximum reduction in the RMS error by 85.95%. This indicates that the proposed method for NeQuick G can effectively model various ionospheric conditions in local areas, offering potential applications in GNSS performance analyses for local areas by generating various ionospheric scenarios.

• Journal of Navigation and Port Research
• /
• v.37 no.3
• /
• pp.263-267
• /
• 2013

This paper describes the progress and the plan of 'Wide Area Differential GPS (WA-DGPS) Development' project supported by Korean Ministry of Oceans and Fisheries. The project develops the main algorithms of the WA-DGPS which guarantees the improved accuracy, availability, and integrity all over the Korean peninsula. After the establishment of WA-DGPS ground infrastructure system, a real-time demonstration using pseudolite installed on the ground will be conducted in the final year. Also, the development of Korean Satellite-based Augmentation System (SBAS) is expected to be started from 2014, and the algorithms and the results in the WA-DGPS project will be used in the SBAS development.

• Journal of Educational Research in Mathematics
• /
• v.9 no.1
• /
• pp.217-228
• /
• 1999

The fundamental theorem of calculus is the most 'fundamental' content in teaching calculus. Since the aim of teaching the theorem goes beyond simple application of it, it is difficult to teach it meaningfully. Hence, for the meaningful teaching of the fundamental theorem of calculus, this article seeks to find the educational implication of the fundamental theorem of calculus through reviewing the genetic history of it. A genetic history of the fundamental theorem of calculus can be divided into the following five phases: 1. The deductive discovery of the fundamental theorem of calculus 2. Galileo's Law of falling body and the idea of the fundamental theorem of calculus 3. The discovery of the fundamental theorem of calculus and Barrow's proof 4. Newton's mensuration 5. the development of calculus in 19th century and the fundamental theorem of calculus The developmental phases of the fundamental theorem of calculus discussed above provides the three educational implications. first, we can rediscover this theorem through deductive methods and get the ideas of it in relation to kinetic problems. Second, the developmental phases of the fundamental theorem of calculus shows that the value of this theorem lies in the harmony of its theoretical beauty and practicality. Third, Newton's dynamic image of this theorem can be a typical way of understanding the theorem. We have different aims of teaching the fundamental theorem of calculus, according to which the teaching methods can be adopted. But it is self-evident that the simple application of the theorem is just a part of teaching the fundamental theorem of calculus. Hence we must try to put the educational implications reviewed above into practice.

• Smart Structures and Systems
• /
• v.25 no.1
• /
• pp.111-122
• /
• 2020

Researchers up to date have introduced several Structural Health Monitoring (SHM) techniques with varying advantages and drawbacks for each. Satellite positioning systems (GPS, GLONASS and GALILEO) based techniques proved to be promising, especially for high natural period structures. Particularly, the GPS has proved sufficient performance and reasonable accuracy in tracking real time dynamic displacements of flexible structures independent of atmospheric conditions, temperature variations and visibility of the monitored object. Tall structures are particularly sensitive to oscillations produced by different sources of dynamic actions; such as typhoons. Wind forces induce in the structure both longitudinal and perpendicular displacements with respect to the wind direction, resulting in torsional effects, which are usually more complex to be detected. To efficiently track the horizontal rotations of the in-plane sections of such flexible structures, two main issues have to be considered: a suitable sensor topology (i.e., location, installation, and combination of sensors), and the methodology used to process the data recorded by sensors. This paper reports the contributions of the measurements recorded from dual frequency GPS receivers and uni-axial accelerometers in a full-scale experimental campaign. The Canton tower in Guangzhou-China is the case study of this research, which is instrumented with a long-term structural health monitoring system deploying both accelerometers and GPS receivers. The elaboration of combining the obtained rather long records provided by these two types of sensors in detecting the torsional behavior of the tower under ambient vibration condition and during strong wind events is discussed in this paper. Results confirmed the reliability of GPS receivers in obtaining the dynamic characteristics of the system, and its ability to capture the torsional response of the tower when used alone or when they are combined with accelerometers integrated data.

• Publications of The Korean Astronomical Society
• /
• v.30 no.2
• /
• pp.61-64
• /
• 2015

The brightness of Io's magnetic footprint, an indicator of electromagnetic interaction at the satellite, appears to be strongly connected to the satellite's distance from the plasma equator. As a result, the brightest footprints were detected when Io is near the interception location between the satellite's orbital plane and the plasma equator. However, volcanic activities on Io show strong correlation with the equatorward shift of Jupiter's main auroral oval, consequently causing the disappearance of Io's footprint. The same conclusion was suggested via the observation of Jupiter's hectometric radio emission, called HOM, which closely corresponds to Jupiter's auroral activity. The plasma environment near the Jovian satellites was found to vary significantly at different observational epochs. The electron density increased by approximately a factor of three from the Voyager epoch (1979) to the Galileo epoch (1995), while the electron density was found to be significantly higher (~ 5 times) in the Cassini epoch (2001). In this current study, the magnetic footprints were clearly brighter ten years ago (from peak brightness in 1998-2001) than the footprints detected in 2007. For volcanic activities on Io in 2007, there are two clear activities in February and late May. The magnetic footprint appeared to be dimmer in March 2007, expected to be the result of volcano activities in Feb 2007. However, the magnetic footprint brightness in June appeared to be slightly brighter than the footprints observed in May. The reason could be the time delay between the brightening of the sodium nebula on approximately May 31st and, a while later, the enhancement of flux tube content peaking on approximately June 5th. On the other hand, Io's magnetic footprints were observed during June 1st - 10th when they may not yet have been affected by the increase in mass outflow due to the increase of plasma density.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.2
• /
• pp.15-22
• /
• 2006

This paper presents a novel signal tracking algorithm for GNSS receivers using a MLE technique. In order to perform a robust signal tracking in severe signal environments, e.g., high dynamics for navigation vehicles or weak signals for indoor positioning, the MLE based signal tracking approach is adopted in the paper. With assuming white Gaussian additive noise, the cost function of MLE is expanded to the cost function of NLSE. Efficient and practical approach for Doppler frequency tracking by the MLE is derived based on the assumption of code-free signals, i.e., the cost function of the MLE for carrier Doppler tracking is used to derive a discriminator function to create error signals from incoming and reference signals. The use of the MLE method for carrier tracking makes it possible to generalize the MLE equation for arbitrary codes and modulation schemes. This is ideally suited for various GNSS signals with same structure of tracking module. This paper proposes two different types of MLE based tracking method, i.e., an iterative batch processing method and a non-iterative feed-forward processing method. The first method is derived without any limitation on time consumption, while the second method is proposed for a time limited case by using a 1st derivative of cost function, which is proportional to error signal from discriminators of conventional tracking methods. The second method can be implemented by a block diagram approach for tracking carrier phase, Doppler frequency and code phase with assuming no correlation of signal parameters. Finally, a state space form of FLL/PLL/DLL is adopted to the designed MLE based tracking algorithm for reducing noise on the estimated signal parameters.

• Journal of the Institute of Convergence Signal Processing
• /
• v.12 no.2
• /
• pp.107-112
• /
• 2011

Several developed countries have been developing their own satellite navigation systems, such as Europe's Galileo, China's BEIDOU, and Japan's QZSS, to cope with clock errors and signal vulnerabilities of GPS. In addition, modernization of Loran, eLoran, for GPS backup has been conducted. In Korea, a dependent navigation system has been required and for GPS backup, the need for utilization of time synchronization infrastructure through the modernization of Loran has been raised. Loran signal uses 100Khz groundwave. A significant factor limiting the ranging accuracy of the Loran signal is the ASF arising from the fact that the groundwave signal is likely to propagate over paths of varying conductivity and topography. Thus, an ASF compensation method is very important for Loran and eLoran navigation. This paper introduces the propagation delay model and then compares and analyzes the estimations from the propagation delay model and measured ASFs.

• Journal of Korean Philosophical Society
• /
• v.148
• /
• pp.157-181
• /
• 2018

The aim of this essay is to identify elements of methodologies to investigate the development of Newtonian dynamics. This methodology involves the transformation and synthesis of preceding theories. My essay attempts to confirm my assertion by analyzing historical case of Newton's discovery of his dynamics. While discovering his mechanistic theory, Newton reconstructed theoretical concepts and structures of intellectual predecessors, such as Aristotle, Descartes, Galileo, and Kepler. Newton's synthesis was possible only after carefully reconstructing the appropriate and useful ideas of previous natural philosophers' ideas. As a result, Newtonian dynamics are completed with these modified and integrated concepts incorporated into Newton's law of motion and space-time concepts. This study consists of two parts. First, Lakatos' research program has been applied in order to analyze the structure of Newtonian dynamics. Second, the aforementioned methodologies of discovery are distilled from the case study.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2016.05a
• /
• pp.80-80
• /
• 2016

GPS로 대표되는 위성항법시스템(GNSS : Global Navigation Satellite System)은 지구 주위를 돌면서 연속적으로 항법신호를 보내고 있다. 그 중 지구표면으로부터 반사되는 항법신호를 수신하고 해석함으로써 지구표면에 관한 정보를 취득할 수가 있다. GPS로 대표되는 항법신호는 L밴드를 사용하기 때문에 토양수분의 변화 등에 대한 반사강도의 감도가 비교적 높다고 알려져 있으며, 토양수분 측정 등에 사용할 수 있다. 뿐만 아니라 경량화, 소형화하기 쉬운 점, 능동적 마이크로웨이브 리모트센싱시스템(Active Microwave Remote Sensing System)과 달리 스스로 신호를 발사하지 않기 때문에 관측의 스텔스성(Stealth)dl 뛰어난 점 등의 장점을 가지고 있다. 또한 향후 10년 이내에 준천정위성(QZSS), Galileo, COMPAS, IRNSS 등 많은 위성항법시스템이 본격 운용되어 GPS와 함께 120기 정도의 항법위성이 항법신호를 송신할 예정이므로 이용 가능성은 크게 늘어날 것으로 기대된다.한편, 항법위성을 이용한 바이스테이틱 리모트센싱은 반사파의 강도가 상당히 미약하기 때문에 정량적 계측모델의 구축은 미미한 상태이다. 즉, 지상 타워에서의 관측, 항공기에서의 관측, 소형 위성에서의 관측 등이 수행되고 있으나, 타워관측과 같이 지상의 거의 동일한 장소를 계속적으로 관측하는 경우를 제외한 기존의 연구에서는 토지의 피복상황이나 토양수분 등의 상관관계를 제시하는 수준으로써 정량적인 계측방법은 아직 확립되어 있지 않다. 이러한 관점에서 본 연구에서는 GPS위성으로부터의 항법신호를 이용하여 지구표면에 관한 정보를 얻는 바이스테이틱 리모트센싱(Bi-static Remote Sensing) 기술을 바탕으로 육지면과 해면의 판별에 신호특성이 어떻게 유효한가를 실험적으로 밝혔다. 이러한 기술은 토양수분 측정 등 수자 원인자를 추출하는데 유용할 뿐만 아니라 수면의 고도 측정, 해상풍 산출 등에도 응용 가능하다.