• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.967-982
• /
• 2023

The goal of this study is to derive a class of random impulsive non-local fractional stochastic differential equations with finite delay that are of Caputo-type. Through certain constraints, the existence of the mild solution of the aforementioned system are acquired by Kransnoselskii's fixed point theorem. Furthermore through Ito isometry and Gronwall's inequality, the Hyers-Ulam stability of the reckoned system is evaluated using Lipschitz condition.

• Journal of the military operations research society of Korea
• /
• v.7 no.2
• /
• pp.43-62
• /
• 1981

Computational expressions for point availability and average availability of a system of components each of which is subject to random failures and has random restoration times are determined. Each component is assumed to have a fixed number of spares such that where all spares are exhausted no restoration can take place. These expressions are useful in deciding PL and ASL in the military logistic applications. Given a fixed length of mission duration and finite number of spares, a system may not be available at the end of a mission due to lack of spares. The probability distribution of system down time due to lack of spares is determined as a function of number of spares and mission duration.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.1
• /
• pp.61-67
• /
• 2016

Opportunistic incremental relaying (OIR) system effectively overcomes the degradations caused by the fading of the wireless channel, and efficiently utilizes the wireless resources. Most of the OIR studies, however, assume spatially fixed relays. The user terminals which are usually served as relays move continuously, the assumption that the relays are fixed is not realistic. In this paper, the location of the spatially random user terminals are modeled by the Poisson point process, and the performance of an OIR system is derived. We noticed that the performance of the OIR system improves with the spatially random relays as well as with the fixed relays. Also the intensity of the relays and the transmitting directions toward the destination affect the performances. The performances of the maximal ratio combining (MRC) and the selection combining (SC) at the destination are compared.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.32 no.3
• /
• pp.233-244
• /
• 2014

Precise Point Positioning (PPP) is an increasingly recognized precisely the GPS/GNSS positioning technique. In order to improve the accuracy of PPP, the error sources in PPP measurements should be reduced as much as possible and the ambiguities should be correctly resolved. The correct ambiguity resolution requires a careful control of residual errors that are normally categorized into random and systematic errors. To understand effects from two categorized errors on the PPP ambiguity resolution, those two GPS datasets are simulated by generating in locations in South Korea (denoted as SUWN) and Hong Kong (PolyU). Both simulation cases are studied for each dataset; the first case is that all the satellites are affected by systematic and random errors, and the second case is that only a few satellites are affected. In the first case with random errors only, when the magnitude of random errors is increased, L1 ambiguities have a much higher chance to be incorrectly fixed. However, the size of ambiguity error is not exactly proportional to the magnitude of random error. Satellite geometry has more impacts on the L1 ambiguity resolution than the magnitude of random errors. In the first case when all the satellites have both random and systematic errors, the accuracy of fixed ambiguities is considerably affected by the systematic error. A pseudorange systematic error of 5 cm is the much more detrimental to ambiguity resolutions than carrier phase systematic error of 2 mm. In the $2^{nd}$ case when only a portion of satellites have systematic and random errors, the L1 ambiguity resolution in PPP can be still corrected. The number of allowable satellites varies from stations to stations, depending on the geometry of satellites. Through extensive simulation tests under different schemes, this paper sheds light on how the PPP ambiguity resolution (more precisely L1 ambiguity resolution) is affected by the characteristics of the residual errors in PPP observations. The numerical examples recall the PPP data analysts that how accurate the error correction models must achieve in order to get all the ambiguities resolved correctly.

• Proceedings of the Korea Contents Association Conference
• /
• 2009.05a
• /
• pp.83-87
• /
• 2009

The MAC protocol of HiperLAN/2 is based on TDMA/TDD. Mobile terminal acquires a data transmission opportunity as successfulness in channel competition through RCH (Random CHannel) phase. Therefore, AP (Access Point) be able to dynamically assign optimum RCH at next frame according to the number of success and collision. In this paper, we suggest scheme that fluctuate RCH (Random CHannel) number as fixed value considering success and collision for improvement of performance in HiperLAN/2. To prove efficiency of proposed scheme, a lots of simulations are conducted and analyzed in view of throughput and access delay.

• Journal of the Korean Data and Information Science Society
• /
• v.14 no.4
• /
• pp.929-937
• /
• 2003

Kernel type estimations of discontinuity point at an unknown location in regression function or its derivatives have been developed. It is known that the discontinuity point estimator based on $Gasser-M\ddot{u}ller$ regression estimator with a one-sided kernel function which has a zero value at the point 0 makes a poor asymptotic behavior. Further, the asymptotic variance of $Gasser-M\ddot{u}ller$ regression estimator in the random design case is 1.5 times larger that the one in the corresponding fixed design case, while those two are identical for the local polynomial regression estimator. Although $Gasser-M\ddot{u}ller$ regression estimator with a one-sided kernel function which has a non-zero value at the point 0 for the modification is used, computer simulation show that this phenomenon is also appeared in the discontinuity point estimation.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.10 no.1
• /
• pp.37-44
• /
• 1998

In this study a new hybrid method is developed for solving flow-dominated transport problems accurately and effectively. The method takes the forward-tracking particle method for advection. However, differently from the random-walk Lagrangian approach it solves the diffusion process on the fixed Eulerian grids. Therefore, neither any interpolating algorithm nor a large enough number of particles is required. The method was successfully examined for both cases of instantaneous and continuous sources released at a point. Comparison with a surrounding 5-point Hermite polynomial method (Eulerian-Lagrangian method) and the random-walk pure Lagrangian method shows that the present method is superior in result accuracy and time-saving ability.

• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.2
• /
• pp.287-328
• /
• 2016

In the current work, we define and find the general solution of the decic functional equation g(x + 5y) - 10g(x + 4y) + 45g(x + 3y) - 120g(x + 2y) + 210g(x + y) - 252g(x) + 210g(x - y) - 120g(x - 2y) + 45g(x - 3y) - 10g(x - 4y) + g(x - 5y) = 10!g(y) where 10! = 3628800. We also investigate and establish the generalized Ulam-Hyers stability of this functional equation in Banach spaces, generalized 2-normed spaces and random normed spaces by using direct and fixed point methods.

• Journal of KIISE:Computer Systems and Theory
• /
• v.37 no.3
• /
• pp.138-146
• /
• 2010

It is well known that many biological networks are very robust against various types of perturbations, but we still do not know the mechanism of robustness. In this paper, we find that there exist a number of feedback loops in a real biological network compared to randomly generated networks. Moreover, we investigate how the topological property affects network robustness. To this end, we properly define the notion of robustness based on a Boolean network model. Through extensive simulations, we show that the Boolean networks create a nearly constant number of fixed-point attractors, while they create a smaller number of limit-cycle attractors as they contain a larger number of feedback loops. In addition, we elucidate that a considerably large basin of a fixed-point attractor is generated in the networks with a large number of feedback loops. All these results imply that the existence of a large number of feedback loops in biological networks can be a critical factor for their robust behaviors.

• Journal of Biosystems Engineering
• /
• v.36 no.2
• /
• pp.116-121
• /
• 2011

This study was conducted to develop a robust navigator which could be in positioning for precision farming through developing a plural GPS receiver with 4 sets of GPS antenna. In order to improve positioning accuracy by integrating GPS signals received simultaneously, the algorithm for processing plural GPS signal effectively was designed. Performance of the algorithm was tested using a simulation program and a fixed point on WGS 84 coordinates. Results of this study are aummarized as followings. 1. 4 sets of lower grade GPS receiver and signals were integrated by kalman filter algorithm and geometric algorithm to increase positioning accuracy of the data. 2. Prototype was composed of 4 sets of GPS receiver and INS components. All Star which manufactured by CMC, gyro compass made by KVH, ground speed sensor and integration S/W based on RTOS(Real Time Operating System)were used. 3. Integration algorithm was simulated by developed program which could generate random position error less then 10 m and tested with the prototype at a fixed position. 4. When navigation data was integrated by geometrical correction and kalman filter algorithm, estimated positioning erros were less then 0.6 m and 1.0 m respectively in simulation and fixed position tests.