• Journal of the Korean Statistical Society
• /
• v.31 no.3
• /
• pp.379-389
• /
• 2002

For two normal distribution with unknown means and unknown variances, a sequential procedure for estimating the difference of two normal means which satisfies both the coverage probability condition and the $\beta$-protection is proposed under some smoothness of variable imprecision function, and the asymptotic normality of the proposed stopping time after some centering and scaling is given.

• Communications for Statistical Applications and Methods
• /
• v.12 no.2
• /
• pp.395-411
• /
• 2005

In this paper, we develop the Jeffreys' prior, reference prior and the the probability matching priors for the difference of intraclass correlation coefficients in familial data. e prove the sufficient condition for propriety of posterior distributions. Using marginal posterior distributions under those noninformative priors, we compare posterior quantiles and frequentist coverage probability.

• Journal of the Korean Statistical Society
• /
• v.26 no.3
• /
• pp.309-317
• /
• 1997

A sequential procedure for estimating a linear function of two normal means which satisfies the two requirements, i.e. one is a condition of coverage probability, the other is a condition of $\beta$-protection, is proposed when the variances are unknown and not necessarily equal. We give asymptotic behaviors of the proposed stopping time.

• Journal of the Korean Statistical Society
• /
• v.28 no.3
• /
• pp.297-309
• /
• 1999

A sequential procedure of fixed-width confidence intervals for quantiles satisfying a condition of coverage probability is provided based on recursive density estimators. It is shown that the proposed sequential procedure is asymptotically efficient. In addition, the asymptotic normality for the proposed stopping time is derived.

• Journal of the Chungcheong Mathematical Society
• /
• v.5 no.1
• /
• pp.87-97
• /
• 1992

Sequential procedure with ${\beta}$-protection for the mean vector ${\mu}(\theta)$ of a p(> 1)-variate multivariate distribution $P_{\theta}$, ${\theta}{\in}{\Theta}$, with covariance matrix ${\sum}(\theta)$ is considered when the only nuisance parameters is ${\sum}(\theta)$. We obtain a confidence set for ${\mu}(\theta)$ with coverage probability condition and ${\beta}$-protection at ${\mu}-{\delta}(\mu)$ for some imprecision function ${\delta}:\mathbb{R}^p{\rightarrow}\mathbb{R}^p$.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.11
• /
• pp.2561-2576
• /
• 2013

The ship ad-hoc network (SANET) extends the coverage of the high data-rate terrestrial communications to the ships with the reduced cost in maritime communications. Cognitive radio (CR) has the ability of sensing the radio environment and dynamically reconfiguring the operating parameters, which can make SANET utilize the spectrum efficiently. However, due to the dynamic topology nature and no central entity for data fusion in SANET, the interference brought into the primary network caused by the hidden primary user requires to be carefully managed by a sort of decentralized cooperative spectrum sensing schemes. In this paper, we propose a self-weighted decentralized cooperative spectrum sensing (SWDCSS) scheme to solve such a problem. The analytical and simulation results show that the proposed SWDCSS scheme is reliable to detect the primary user in SANET. As a result, secondary network can efficiently utilize the spectrum band of primary network with little interference to primary network. Referring the complementary receiver operating characteristic (ROC) curves, we observe that with a given false alarm probability, our proposed algorithm reduces the missing probability by 27% than the traditional embedded spectrally agile radio protocol for evacuation (ESCAPE) algorithm in the best condition.

• IE interfaces
• /
• v.25 no.4
• /
• pp.422-430
• /
• 2012

In this article, we introduced the estimation method by 'Safety Integrity Level'(SIL) for the criterion of safety assurance and performed a case study on a flame scanner. SIL requires probabilistic evaluation of each set of equipment used to reduce risk in a safety related system. FMEDA(Failure Modes, Effects and Diagnostic Analysis) method is widely used to evaluate the safety levels and provides information on the failure rates and failure mode distributions necessary to calculate a diagnostic coverage factor for a part or a component. Basically, two parameters resulting from FMEDA are used for SIL classification of the device : SFF(Safe Failure Fraction) and PFD(Probability of Failure on Demand). In this case study, it is concluded that the flame scanner is designed to fulfill the condition of SIL 3 in the aspect of SFF and PFD.

• Korean Journal of Clinical Pharmacy
• /
• v.25 no.1
• /
• pp.9-17
• /
• 2015

Background: Biologic disease-modifying antirheumatic drugs (bDMARDs) extend the treatment choices for rheumatoid arthritis patients with insufficient response or intolerance to conventional DMARDs (cDMARDs). These agents have considerable efficacy compared with conventional DMARDs, but only a few head-to-head comparisons among these agents have been performed. The objective of this systematic review and network meta-analysis (NMA) was to compare the relative efficacy of Certolizumab with conventional DMARD to licensed bDMARD with cDMARD therapy for patients who failed to prior cDMARD treatment under the condition of the reimbursement coverage criteria in Korea. Methods: A systematic review was conducted using MEDLINE and Cochrane library. Key endpoints were the American College of Rheumatology (ACR) responses of 20/50/70 at six months. Bayesian outcomes were calculated as median of treatment effect, probability of the best, Odds Ratio (OR) and probability that OR was greater than one. Results: Compared with other bDMARDs, Certolizumab were associated with higher or comparable ACR response rates; in ACR20, the OR (probability of OR>1) was 2.08 (92.6%) for Adalimumab, 1.86 (85.7%) for Etanercept, 1.89 (79.5%) for Golimumab, 2.36 (92.1%) for Infliximab, 1.79 (87.0%) for Abatacept, 1.74 (80.8%) for Rituximab and 1.82 (86.8%) for Tocilizaumab. In ACR50 and ACR70, the ORs did not present significant differences. Conclusion: Certolizaumab with cDMARD was more effective or comparable than other bDMARDs in patients who failed prior cDMARD treatment.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.51
• /
• pp.199-210
• /
• 1999

The number of car accident is Recently on the increase in Korea because of the explosive increase of cars, the poor road condition, the lack of safety facility, and others. The insurant with a accident has to decide whether receiving a insurance or not. In this paper, we represent a reasonable decision support material by calculating the approximate insurance fee based on the discount rate and premium additive rate, which is changed by the accident type and the accident expenditure. Practically, there is difference in the standard insurance rate and premium additive rate according to the accident type and the accident expenditure in Korea. The premium additive rate is assessed considering the number of accident, the pattern of accident, and the reason of accident for 3 years. In this paper, we represent a decision making method considering not only the first-time car accident but also the future car accident. For considering the repeated accident, we analyzed the real data accumulated until the year of 1996 from S Insurance Company, and estimated the probability density function between the first and the second-time accident, and executed the goodness of fit test using ARENA and STATISTICA software. Using this conditional PDF, we can calculate the insurance fee next 3 years and compare the insurance fee with the equivalent present value of cash flows. The program performing this analysis is represented, and written in VISUAL BASIC Language. We tried to suggest an accurate guideline for the insurant to decide the insurance coverage rationally, and tried to correct a wrong idea of dependence on the car insurance only by the amount of the accident expenditure. And we expect this study can generally be applied to many different accident types under the uncertain circumstances in our daily life.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.40 no.9
• /
• pp.692-701
• /
• 2003

In this paper, a new logic transformation method to consider both low power consumption and high testability is proposed. We search the CFF(Compact Fanout Free) that has low probability of being observable at the primary outputs. Under the condition that the CFF is unobservable at all primary outputs, the switching operations in it can be removed by adding redundant connections into it. The testability of the transformed circuit generally tends to reduce. In our method, however, the inserted redundant connections operate as test points in the test mode and can improve not only the controllability but also the observability of the CFF. The transformed circuit consumes less power in the normal mode and also has higher testability in the test mode. To show the efficiency of the proposed logic transformation method, we perform some experiments on the MCNC benchmark test circuits. The results show that the power consumption of the transformed circuit is reduced by 13% maximally and the fault coverage of the transformed circuit is increased.