• Journal of Astronomy and Space Sciences
• /
• v.26 no.2
• /
• pp.211-220
• /
• 2009

As one of the GNSS error simulation case studies, we computed tropospheric signal delays based on three well-known models (Hopfield, Modified Hopfield and Saastamoinen) and a simple model. In the computation, default meteorological values were used. The result was compared with the GIPSY result, which we assumed as truth. The RMS of a simple model with Marini mapping function was the largest, 31.0 cm. For the other models, the average RMS is 5.2 cm. In addition, to quantify the influence of the accuracy of meteorological information on the signal delay, we did sensitivity analysis of pressure and temperature. As a result, all models used this study were not very sensitive to pressure variations. Also all models, except for the modified Hopfield model, were not sensitive to temperature variations.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.34 no.2
• /
• pp.289-299
• /
• 2024

Blockchains are not efficient for real-time processing because the growing number of transactions and users delays many computations and network communications. This study proposes a cloud proxy server, so that legitimate users can use blockchain as well as reduce network latency. To proceed with a blockchain transaction, the blockchain copy server verifies all transaction-related data, but the cloud proxy server verifies legitimate users with a simple zero-knowledge proof algorithm, enabling efficient blockchain real-time processing. The cloud proxy server can support blockchain anonymity, security, and scalability that can verify legitimate users with the proposed zero-knowledge proof by receiving the registered key pair of the blockchain user. In the proposed research analysis, blockchain-based cloud proxy server reduces network latency compared to previous studies and key processing on cloud proxy servers reduces the cost of key computation compared to previous studies.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.11
• /
• pp.88-95
• /
• 2018

Maintainability indicates how easily a system can be restored to the normal state when a system failure occurs. Systems developed to have high maintainability can be competitive due to reduced maintenance time, workforce and resources. Quantification of the maintainability is possible in many ways, but only after prototype production or with historical data. As such, the graph theory and 3D model data have been used, but there are limitations in management efficiency and early use. To solve this problem, we studied the maintainability index of weapon systems using SysML-based modeling and simulation technique. A SysML structure diagram was generated to simultaneously model the system design and maintainability of system components by reflecting the maintainability attributes acquired from the system engineering tool. Then, a SysML parametric diagram was created to quantify the maintainability through simulation linked with MATLAB. As a result, an integrated model to account for system design and maintainability simultaneously has been presented. The model can be used from early design stages to identify components with low maintainability index. The design of such components can be changed to improve maintainability and thus to reduce the risks of cost overruns and time delays due to belated design changes.