• The KIPS Transactions:PartD
• /
• v.10D no.5
• /
• pp.805-812
• /
• 2003

This paper presents a stochastic model for the software failure phenomenon based on a nonhomogeneous Poisson process (NHPP) and performs Bayesian inference using prior information. The failure process is analyzed to develop a suitable mean value function for the NHPP; expressions are given for several performance measure. The parametric inferences of the model using Logarithmic Poisson model, Crow model and Rayleigh model is discussed. Bayesian computation and model selection using the sum of squared errors. The numerical results of this models are applied to real software failure data. Tools of parameter inference was used method of Gibbs sampling and Metropolis algorithm. The numerical example by T1 data (Musa) was illustrated.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.2 no.2
• /
• pp.135-143
• /
• 2004

An experimental study on the sorption of U(VI) onto a Korean granite was performed as a function of the geochemical parameters such as contact time, pH, ionic strength, and carbonate concentration using a batch procedure. The distribution coefficient,$K_d$, was about 1-200 mL/g depending on the experimental conditions. The sorption of U(VI) onto granite particles was greatly dependent upon the contact time, pH, and carbonate concentration, but insignificantly dependent on the ionic strength. It was noticed that the sorption of U(VI) onto granite particles was highly correlated with the uranium speciation in the solution, which was dependent on the pH and carbonate concentrations. It was deduced from the kinetic sorption experiment that a two-step first-order kinetic behavior could dominate the kinetic sorption of U(VI) onto granite particles. In the alkaline range of a pH above 7, U(VI) sorption was greatly decreased and this might be due to the formation of anionic U(VI)-carbonate aqueous complexes as predicted by the speciation calculations.

• Journal of Korean Neurosurgical Society
• /
• v.42 no.3
• /
• pp.195-199
• /
• 2007

Objective : Bilateral laminotomy and unilateral laminotomy for bilateral decompression are becoming the minimally invasive procedures for lumbar spinal stenosis (LSS). With the aim of less invasiveness and better preservation of spinal stability. these techniques have been developed. But there are no large randomized studies to show the surgical results between these two techniques. The objective of this study was to examine the safety and efficacy of these two minimally invasive techniques. Methods : A total of 80 patients were included in this study (Group I : bilateral laminotomy, Group II : Unilateral laminotomy for bilateral decompression). Perioperative parameters and complications were analyzed. Symptoms and scores such as visual analog scale (VAS) scores, Oswestry Disability Index (ODI) scores, and SF-36 scores of prospectively accrued patients were assessed preoperatively and at 1 month and 12 months after surgery. Paired-t test, two-sample student-t tests, and non parametric tests were used to determine cross-sectional differences between two groups. Results : No major complications such as spinal instability or deaths occurred during follow-up periods. VAS, ODI scores and SF-36 body pain and physical function scores showed statistically significant improvements in both groups (p<0.001). The significant widening of the spinal canal diameter was also noted in both groups. But, in Group II. there were minor postoperative complications such as dural tear (2 cases 5.0%), fracture of ipsilateral inferior facet (1 case 2.5%), and 5 cases of transient leg symptoms of contralateral side. Conclusion : Both bilateral laminotomy and unilateral laminotomy for bilateral decompression allow achievement of adequate and long-lasting operative results in patients with LSS. But postoperative complications are more frequent in Group II (unilateral laminotomy and bilateral decompression). These results indicate that bilateral laminotomy is the preferred minimally invasive technique to treat symptomatic LSS.

• The Korean Journal of Applied Statistics
• /
• v.22 no.6
• /
• pp.1249-1263
• /
• 2009

The power function in sample size determination has to be characterized by an appropriate statistical test for the hypothesis of interest. Nonparametric tests are suitable in the analysis of ordinal data or frequency data with ordered categories which appear frequently in the biomedical research literature. In this paper, we study sample size calculation methods for the Wilcoxon-Mann-Whitney test for one- and two-dimensional ordinal outcomes. While the sample size formula for the univariate outcome which is based on the variances of the test statistic under both null and alternative hypothesis perform well, this formula requires additional information on probability estimates that appear in the variance of the test statistic under alternative hypothesis, and the values of these probabilities are generally unknown. We study the advantages and disadvantages of different sample size formulas with simulations. Sample sizes are calculated for the two-dimensional ordinal outcomes of efficacy and safety, for which bivariate Wilcoxon-Mann-Whitney test is appropriate than the multivariate parametric test.

• Journal of Wetlands Research
• /
• v.10 no.3
• /
• pp.125-132
• /
• 2008

Generally, stationary is considered as a basic assumption in frequency analysis. However, rainfall and flood discharge are changing due to the climate change and climate variability. Therefore, there is a new opinion that changing pattern of rainfall and flood discharge must be considered in frequency analysis. This study suggests the flood frequency analysis methodology using SIR algorithm which was developed from bootstrap could be used for considering climate change. Than is, SIR algorithm is selected for resampling method considering changing pattern of flood discharge and it has been used for resampling method with likelihood function. Resampled flood discharge data considering the increase of flood discharge pattern are used for parametric flood frequency analysis and this results are compared with frequency analysis results by Bootstrap and original observations. As the results, SIR algorithm shows the greatest flood discharge than other methods in all frequencies and this may reflect the increasing pattern of flood discharge due to the climate change and climate variability.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.40 no.6
• /
• pp.391-396
• /
• 2016

Wicks play an important role in determining the thermal performance of heat pipes. Foam-type wicks are known to have good potential for enhancing the capillary performance of conventional types of wicks, and this is because of their high porosity and permeability. In this study, we develop an analytic expression for predicting the permeability of a foam-type wick based on extensive numerical work. The proposed correlation is based on the modified Kozeny-Carman's equation, where the Kozeny-Carman coefficient is given as an exponential function of porosity. The proposed correlations are shown to predict the previous experimental results well for an extensive parametric range. The permeability of the foam-type wick is shown to be significantly higher than that of conventional wicks because of their high porosity.

• Journal of Radiation Protection and Research
• /
• v.41 no.2
• /
• pp.149-154
• /
• 2016

Background: Any real application of Bayesian inference must acknowledge that both prior distribution and likelihood function have only been specified as more or less convenient approximations to whatever the analyzer's true belief might be. If the inferences from the Bayesian analysis are to be trusted, it is important to determine that they are robust to such variations of prior and likelihood as might also be consistent with the analyzer's stated beliefs. Materials and Methods: The robust Bayesian inference was applied to atmospheric dispersion assessment using Gaussian plume model. The scopes of contaminations were specified as the uncertainties of distribution type and parametric variability. The probabilistic distribution of model parameters was assumed to be contaminated as the symmetric unimodal and unimodal distributions. The distribution of the sector-averaged relative concentrations was then calculated by applying the contaminated priors to the model parameters. Results and Discussion: The sector-averaged concentrations for stability class were compared by applying the symmetric unimodal and unimodal priors, respectively, as the contaminated one based on the class of ${\varepsilon}$-contamination. Though ${\varepsilon}$ was assumed as 10%, the medians reflecting the symmetric unimodal priors were nearly approximated within 10% compared with ones reflecting the plausible ones. However, the medians reflecting the unimodal priors were approximated within 20% for a few downwind distances compared with ones reflecting the plausible ones. Conclusion: The robustness has been answered by estimating how the results of the Bayesian inferences are robust to reasonable variations of the plausible priors. From these robust inferences, it is reasonable to apply the symmetric unimodal priors for analyzing the robustness of the Bayesian inferences.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2008.11a
• /
• pp.97-100
• /
• 2008

Subjected to seismic action causing large deformation of bridge columns, the plastic hinge region is commonly formed in the column end zone. The deformation capacity of a concrete column can be expressed by using plastic hinge length. The mechanical properties of high-strength reinforcing steel is different from that of normal-strength steel and the mechanical properties of steel will influence the plastic hinge formation. Therefore, in other to accurately predict the deformation of concrete column using high-strength steel, the plastic hinge length can be expressed as a function of the mechanical properties of steel such as the tensile to yield strength ratio and the strain at ultimate state. However, little research has been conducted into the effect of mechanical properties of steel on the plastic hinge length. It was difficult to measure the plastic hinge length from the test results. Therefore, the plastic hinge length of concrete columns was investigated from the curvature profile. A numerical approach was used to study the effect of various parameters on plastic hinge length. Based on the results of the numerical parametric study, a new expression for plastic hinge length was proposed.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.31 no.1 s.256
• /
• pp.121-128
• /
• 2007

Enhanced lower order shear deformation theory is developed in this study. Generally, lower order theories are not adequate to predict accurate deformation and stress distribution through the thickness of laminated plate. For the accurate prediction of detailed stress and deformation distributions through the thickness, higher order zigzag theories have been proposed. However, in most cases, simplified zigzag higher order theory requires $C_1$, shape functions in finite element implementation. In commercial FE softwares, $C_1$, shape functions are not so common in plate and shell analysis. Thus zigzag theories are useful for the highly accurate prediction of thick composite behaviors but they are not practical in the sense that they cannot be used conveniently in the commercial package. In practice, iso-parametric $C_0$ plate model is the standard model for the analysis and design of composite laminated plates and shells. Thus in the present study, an enhanced lower order shear deformation theory is developed. The proposed theory requires only $C_0$ shape function in FE implementation. The least-squared energy error between the lower order theory and higher order theory is minimized. An enhanced lower order shear deformation theory(ELSDT) in this paper is proposed for smart structure under complex loadings. The ELSDT is constructed by the strain energy transformation and fully coupled mechanical, electric loading cases are studied. In order to obtain accurate prediction, zigzag in-plane displacement and transverse normal deformation are considered in the deformation Held. In the electric behavior, open-circuit condition as well as closed-circuit condition is considered. Through the numerous examples, the accuracy and robustness of present theory are demonstrated.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.40 no.5
• /
• pp.303-311
• /
• 2003

Since the MPEG-4 visual standard enables content-based functionalities, it is necessary to extract video object from natural video sequences. Segmentation algorithms can largely be classified into automatic segmentation and user-assisted segmentation. In this paper, we propose a user-assisted VOP generation method based on the geometric active contour. Since the geometric active contour, unlike the parametric active contour, employs the level set method to evolve the curve, we can draw the initial curve independent of the shape of the object. In order to generate the edge function from a smoothed image, we propose a vector-valued diffusion process in the LUV color space. We also present a discrete 3-D diffusion model for easy implementation. By combining the curve shrinkage in the vector field space with the curve expansion in the empty vector space, we can make accurate extraction of visual objects from video sequences.