• Communications for Statistical Applications and Methods
• /
• v.27 no.6
• /
• pp.625-639
• /
• 2020

The gamma distribution is a flexible right-skewed distribution widely used in many areas, and it is of great interest to estimate the probability of a random variable exceeding a specified value in survival and reliability analysis. Therefore, the study develops a fixed-accuracy confidence interval for P(X > c) when X follows a gamma distribution, Γ(α, β), and c is a preassigned positive constant through: 1) a purely sequential procedure with known shape parameter α and unknown rate parameter β; and 2) a nonparametric purely sequential procedure with both shape and rate parameters unknown. Both procedures enjoy appealing asymptotic first-order efficiency and asymptotic consistency properties. Extensive simulations validate the theoretical findings. Three real-life data examples from health studies and steel manufacturing study are discussed to illustrate the practical applicability of both procedures.

• Journal of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.261-273
• /
• 2007

In this paper, we introduce some new properties of a topological space which are respectively generalizations of $Fr\'{e}chet$-Urysohn property. We show that countably AP property is a sufficient condition for a space being countable tightness, sequential, weakly first countable and symmetrizable, to be ACP, $Fr\'{e}chet-Urysohn$, first countable and semimetrizable, respectively. We also prove that countable compactness is a sufficient condition for a countably AP space to be countably $Fr\'{e}chet-Urysohn$. We then show that a countably compact space satisfying one of the properties mentioned here is sequentially compact. And we show that a countably compact and countably AP space is maximal countably compact if and only if it is $Fr\'{e}chet-Urysohn$. We finally obtain a sufficient condition for the ACP closure operator $[{\cdot}]_{ACP}$ to be a Kuratowski topological closure operator and related results.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.267-280
• /
• 2023

In this article, we show that the family of all 𝓘^𝒦-open subsets in a topological space forms a topology if 𝒦 is a maximal ideal. We introduce the notion of 𝓘^𝒦-covering map and investigate some basic properties. The notion of quotient map is studied in the context of 𝓘^𝒦-convergence and the relationship between 𝓘^𝒦-continuity and 𝓘^𝒦-quotient map is established. We show that for a maximal ideal 𝒦, the properties of continuity and preserving 𝓘^𝒦-convergence of a function defined on X coincide if and only if X is an 𝓘^𝒦-sequential space.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.383-388
• /
• 2005

Depth recovery in robot vision is an essential problem to infer the three dimensional geometry of scenes from a sequence of the two dimensional images. In the past, many studies have been proposed for the depth estimation such as stereopsis, motion parallax and blurring phenomena. Among cues for depth estimation, depth from lens translation is based on shape from motion by using feature points. This approach is derived from the correspondence of feature points detected in images and performs the depth estimation that uses information on the motion of feature points. The approaches using motion vectors suffer from the occlusion or missing part problem, and the image blur is ignored in the feature point detection. This paper presents a novel approach to the defocus technique based depth from lens translation using sequential SVD factorization. Solving such the problems requires modeling of mutual relationship between the light and optics until reaching the image plane. For this mutuality, we first discuss the optical properties of a camera system, because the image blur varies according to camera parameter settings. The camera system accounts for the camera model integrating a thin lens based camera model to explain the light and optical properties and a perspective projection camera model to explain the depth from lens translation. Then, depth from lens translation is proposed to use the feature points detected in edges of the image blur. The feature points contain the depth information derived from an amount of blur of width. The shape and motion can be estimated from the motion of feature points. This method uses the sequential SVD factorization to represent the orthogonal matrices that are singular value decomposition. Some experiments have been performed with a sequence of real and synthetic images comparing the presented method with the depth from lens translation. Experimental results have demonstrated the validity and shown the applicability of the proposed method to the depth estimation.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.10 no.2
• /
• pp.177-184
• /
• 2008

In this study, in order to reduce appeals regarding vibration and noise from blasts, the optimum delay-time of the electronic detonator, which can minimize blast vibration, is found through blast-waveform composition and blasting simulation, and we have developed the full-face Sequential Blasting Method based on the studies of damping properties of full-face section blasting. The optimum delay-time of the electronic detonator and Full-face Sequential Blasting Method using electronic detonator was applied to the Gyeongbu high-speed railway construction site to test the feasibility of this method.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.35S no.3
• /
• pp.176-184
• /
• 1998

We present a sequential factorization method using singular value decomposition (SVD) for recovering both the three-dimensional shape of an object and the motion of camera from a sequence of images. We employ paraperpective projection [6] for camera model to handle significant translational motion toward the camera or across the image. The proposed mthod not only quickly gives robust and accurate results, but also provides results at each frame becauseit is a sequential method. These properties make our method practically applicable to real time applications. Considerable research has been devoted to the problem of recovering motion and shape of object from image [2] [3] [4] [5] [6] [7] [8] [9]. Among many different approaches, we adopt a factorization method using SVD because of its robustness and computational efficiency. The factorization method based on batch-type computation, originally proposed by Tomasi and Kanade [1] proposed the feature trajectory information using singular value decomposition (SVD). Morita and Kanade [10] have extenened [1] to asequential type solution. However, Both methods used an orthographic projection and they cannot be applied to image sequences containing significant translational motion toward the camera or across the image. Poleman and Kanade [11] have developed a batch-type factorization method using paraperspective camera model is a sueful technique, the method cannot be employed for real-time applications because it is based on batch-type computation. This work presents a sequential factorization methodusing SVD for paraperspective projection. Initial experimental results show that the performance of our method is almost equivalent to that of [11] although it is sequential.

• Korean Journal of Mathematics
• /
• v.5 no.2
• /
• pp.227-232
• /
• 1997

Banach-Steinhaus type results are established for sequentially continuous operators and bounded operators between locally convex spaces without barrelledness.

• Smart Structures and Systems
• /
• v.21 no.5
• /
• pp.601-609
• /
• 2018

The estimated probabilistic model of wind data based on the conventional approach may have high discrepancy compared with the true distribution because of the uncertainty caused by the instrument error and limited monitoring data. A sequential quadratic programming (SQP) algorithm-based finite mixture modeling method has been developed in the companion paper and is conducted to formulate the joint probability density function (PDF) of wind speed and direction using the wind monitoring data of the investigated bridge. The established bivariate model of wind speed and direction only represents the features of available wind monitoring data. To characterize the stochastic properties of the wind parameters with the subsequent wind monitoring data, in this study, Bayesian inference approach considering the uncertainty is proposed to update the wind parameters in the bivariate probabilistic model. The slice sampling algorithm of Markov chain Monte Carlo (MCMC) method is applied to establish the multi-dimensional and complex posterior distribution which is analytically intractable. The numerical simulation examples for univariate and bivariate models are carried out to verify the effectiveness of the proposed method. In addition, the proposed Bayesian inference approach is used to update and optimize the parameters in the bivariate model using the wind monitoring data from the investigated bridge. The results indicate that the proposed Bayesian inference approach is feasible and can be employed to predict the bivariate distribution of wind speed and direction with limited monitoring data.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.28 no.2
• /
• pp.233-237
• /
• 2010

The recent advance of sensor networks and ubiquitous techniques allow collecting and analyzing of the data which overcome the limitation imposed by time and space in real-time for making decisions. Also, analysis and prediction of collected data can support useful and necessary information to users. The collected data in sensor networks environment is the stream data which has continuous, unlimited and sequential properties. Because of the continuous, unlimited and large volume properties of stream data, managing stream data is difficult. And the stream data needs dynamic processing method because of the memory constraint and access limitation. Accordingly, we analyze correlation stream data using principal component analysis. And using result of analysis, it helps users for making decisions.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.33 no.5
• /
• pp.1797-1807
• /
• 2013

Dams always have the possibility of failure due to unexpected natural phenomena. In particular, dam failure can cause huge damage including damage for humans and properties when dam downstream regions are densely populated or have important national facilities. Although many studies have been conducted on the analysis of flood waves about single dam failure thus far, studies on the analysis of flood waves about the sequential failure of dams are lacking. Therefore, the purpose of this study was to calculate the peak discharge of sequential failure of dams through flood wave analysis of sequential failure of dams and this analysis techniques to predict flood wave propagation situation in downstream regions. To this end, failure flood wave analysis were conducted for Lawn Lake Dam which is a case of sequential failure of dams among actual failure cases using DAMBRK to test the suitability of the dam failure flood wave analysis model. Based on the results, flood wave analysis of sequential failure of dams were conducted for A dam in Korea assuming a virtual extreme flood to predict flood wave propagation situations and 2-dimensional flood wave analysis were conducted for major flooding points. Then, the 1, 2-dimensional flood wave analysis were compared and analyzed. The results showed goodness-of-fit values exceeding 90% and thus the accuracy of the 1-dimensional sequential failure of dams simulation could be identified. The results of this study are considered to be able to contribute to the provision of basic data for the establishment of disaster prevention measures for rivers related to sequential failure of dams.