• Journal of Positioning, Navigation, and Timing
• /
• v.6 no.3
• /
• pp.125-133
• /
• 2017

Time comparison is necessary for the verification and synchronization of the clock. Two-way satellite time and frequency (TWSTFT) is a method for time comparison over long distances. This method includes errors such as atmospheric effects, satellite motion, and environmental conditions. Ionospheric delay is one of the significant time comparison error in case of the carrier-phase TWSTFT (TWCP). Global Ionosphere Map (GIM) from Center for Orbit Determination in Europe (CODE) is used to compare with Bernese. Thin shell model of the ionosphere is used for the calculation of the Ionosphere Pierce Point (IPP) between stations and a GEO satellite. Korea Research Institute of Standards and Science (KRISS) and Koganei (KGNI) stations are used, and the analysis is conducted at 29 January 2017. Vertical Total Electron Content (VTEC) which is generated by Bernese at the latitude and longitude of the receiver by processing a Receiver Independent Exchange (RINEX) observation file that is generated from the receiver has demonstrated adequacy by showing similar variation trends with the CODE GIM. Bernese also has showed the capability to produce high resolution IONosphere map EXchange (IONEX) data compared to the CODE GIM. At each station IPP, VTEC difference in two stations showed absolute maximum 3.3 and 2.3 Total Electron Content Unit (TECU) in Bernese and GIM, respectively. The ionospheric delay of the TWCP has showed maximum 5.69 and 2.54 ps from Bernese and CODE GIM, respectively. Bernese could correct up to 6.29 ps in ionospheric delay rather than using CODE GIM. The peak-to-peak value of the ionospheric delay for TWCP in Bernese is about 10 ps, and this has to be eliminated to get high precision TWCP results. The $10^{-16}$ level uncertainty of atomic clock corresponds to 10 ps for 1 day averaging time, so time synchronization performance needs less than 10 ps. Current time synchronization of a satellite and ground station is about 2 ns level, but the smaller required performance, like less than 1 ns, the better. In this perspective, since the ionospheric delay could exceed over 100 ps in a long baseline different from this short baseline case, the elimination of the ionospheric delay is thought to be important for more high precision time synchronization of a satellite and ground station. This paper showed detailed method how to eliminate ionospheric delay for TWCP, and a specific case is applied by using this technique. Anyone could apply this method to establish high precision TWCP capability, and it is possible to use other software such as GIPSYOASIS and GPSTk. This TWCP could be applied in the high precision atomic clocks and used in the ground stations of the future domestic satellite navigation system.

• The Journal of Engineering Geology
• /
• v.24 no.1
• /
• pp.53-67
• /
• 2014

Numerical modeling is commonly used to reproduce the physical phenomena of dam-break and to compile resulting flood hazard maps. The accuracy of a dam-break model depends on the physical structure that describes the volume of storage, breach formation and progress, input variables, and model parameters. Model input and parameters are subjective in that they are prescribed; hence, caution is needed when interpreting the results. This study focuses on three parameters (breach degree ${\theta}$, shape factor P, and collapse rate k) used when the dam-break model is coupled with FLO-2D (a two-dimensional flood simulation model) to estimate flood coverage and depth etc. The results show that the simulation is sensitive to the shape factor P and the collapse rate k but not to the breach degree ${\theta}$. This study will contribute to reducing flood damage from dam-break disasters in the future.

• Korean Journal of Remote Sensing
• /
• v.19 no.1
• /
• pp.71-80
• /
• 2003

In this Paper, we Propose web-based Media GIS architecture using 3D geographical database and GPS-related data resulted from 45-Van. We introduce a novel interoperable geographical data service concept; so-called, Virtual World Mapping (VWM) that can map 3D graphic world with real-world video. Our proposed method can easily retrieve geographical information and attributes to reconstruct 3D virtual space according to certain frame in video sequences. Our proposed system architecture also has an advantage that can provide geographical information service with video stream without any image processing procedures. In addition to, describing the details of our components, we present a Media GIS web service system by using GeoVideoServer, which performs VWM technique.

• Proceedings of the KSR Conference
• /
• 2009.05b
• /
• pp.233-237
• /
• 2009

In this study, we suggest that several approaches to evaluate the collision acceleration value of a car in the article 35 and the guideline 16 of Korean rolling stock safety regulation. There are various methods to evaluate collision acceleration such as; a displacement comparison method by the double integration of filtered acceleration data, a velocity comparison method by the integration of filtered acceleration data, an analysis method of time-velocity curve, or a differential method of time-velocity curve. We compared these methods one another using 1D dynamic simulation model composed of nonlinear dampers, springs and bars, and masses. Also, we applied these methods to a hybrid model, which is made of 3D shell element model and 2D collision dynamics model, in order to evaluate whether 1D force-displacement curve modeling for energy absorbing structures have an effect on the collision acceleration levels or not.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.9
• /
• pp.289-304
• /
• 2022

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.20 no.3
• /
• pp.67-76
• /
• 2012

In this paper, collision analysis of the full rake for the Next Generation High-speed EMU is conducted using a 3D/1D hybrid model, which combines 3-dimensional (3D) front-end structure of finite element model and 1-dimensional (1D) multi-body dynamics model in order to analyze train collision with a standard 3D deformable obstacle. The crush forces, passengers' accelerations and energy absorptions of a full rake train can be easily obtained through a simulation of a 1D dynamics model composed of nonlinear springs, dampers and masses. Also the obtained simulation results are very similar to those of a 3D model if an overriding behavior does not occur during collision. The standard obstacle in TSI regulation has been changed from a rigid body to a deformable body, and therefore 3D collision simulations should be conducted because their simulation results depends on the front-end structure of a train. According to the obstacle collision analysis of this study, the obstacle collides with the driver's upper structure after overriding over the front-end module. The 3D/1D hybrid model is effective to evaluate a main energy-absorbing module that is frequently changed during design process and reduce the need time of the modeling and analysis when compared to a 3D full car body.

• Journal of Korea Society of Industrial Information Systems
• /
• v.29 no.2
• /
• pp.69-80
• /
• 2024

In this paper, we studied a discrete-time queuing system that operates under a mixed situation of D-policy and T-policy, one of the representative server control policies in queuing theory. A single server serves customers arriving by Bernoulli arrival process on a first-in, first-out basis(FIFO). If there are no customers to serve in the system, the server goes on vacation and returns, until the total service time (i.e., total amount of workload) of waiting customers exceeds predetermined workload threshold D. The operation of the system covered in this study can be used to model the efficient resource utilization of mobile devices using secondary batteries. In addition, it is significant in that the steady state waiting time and system sojourn time of the queuing system under a flexible mixed control policy were derived within a unified framework.

• Economic and Environmental Geology
• /
• v.48 no.5
• /
• pp.421-429
• /
• 2015

Base researches in geoscience and mineral resources, such as geological and geo-thematic mapping, geological survey and observation, have long-term, continuity and time-leasing characteristics and they are difficult to present the particular research stages or progressions in the research span. The Technology Readiness Levels (TRLs), developed by the U.S. National Aeronautics and Space Administration (NASA), is effective for presenting research maturity levels and progression in the development of new technologies. This study suggests adjusted definitions for the Technology Readiness Levels to fit Geo-technology (Technology in Geoscience and Mineral Resources). Base geological researches, including mapping, surveys and observation, can be also presented in research levels from TRL 1 (R&D planning, literature survey) to TRL 9 (geological information construction and service in all target areas) in terms of the final product's coverage. Moreover, not only development and construction of commercial products, geological disasters and environmental researches can also be presented in field demonstrations through public pilot applications. The modified commercialization or cemonstration TRLs in Geo-technology are TRL 5 (starting pilot field application), TRL 6 (pilot field operation) and TRL 7 (pilot field operation for a larger scale, greater than ten percent of the actual environment).

• Wind and Structures
• /
• v.32 no.2
• /
• pp.115-126
• /
• 2021

The snow cornice mass on the formation zone had triggered avalanches which led to the loss of human life and property. Snow cornice is formed due to flow separation on the leeward side. Effect of lee slope is more prominent in the formation of snow cornices as compared to the windward slope. The analysis of wind flow pattern has been carried out to evaluate the performance of a jet roof. Computational Fluid Dynamics (CFD) analysis of wind flow over a 2D hill model was carried out using RNG based k-∈ turbulence models available in ANSYS Fluent. Effect of varying leeward hill slope (1:2 to 1:6) on flow separation for the given windward slope was observed and a critical slope of 1:4 was found at which the separation zone ceased to exist. The modification of wind flow over a hill due to the installation of jet roof was simulated. It was observed that jet roof had significantly modified the wind flow pattern around hill ridgeline and ultimately snow cornice formation had mitigated. The results of the wind flow pattern were validated with the wind data collected at the experimental site, Banihal Top (Jammu and Kashmir, India). The wind flow simulation over the hill and mitigation of cornice formation by the jet roof has been explained in the present paper.

• Journal of the Korean Geophysical Society
• /
• v.3 no.1
• /
• pp.25-36
• /
• 2000

3-D Spectrograms for 22 events are drawn to discern about whether those are earthquakes or explosions. Generally, in case of explosions relative to the case of earthquakes, amplitude of P phase is more dominantly shown. According to the results on logarithm of spectral ratio of P (Pn, Pg)/Lg after removing free-surface effects from 3-D (U-D, N-S, E-W) seismogram, $-1.2{\sim}-0.9$ is shown for earthquakes and $-0.7{\sim}-0.1$ if shown for explosions. This result is consistent with previous researches (Kim Park, 1997) that -0.6 of spectral ratio between P and Lg after taking logarithm may be the criterion for the discrimination between earthquakes and explosions in Korea. In addition, Complexity is applied to two events as another discrimination method. The value of Complexity of explosion is much smaller than that of earthquake. This may be due to well-developed P-wave in explosion compared to that in earthquake. This result is in accordance with that of 3-D Spectrogram.