• Journal of Korean Society for Quality Management
• /
• v.20 no.1
• /
• pp.118-125
• /
• 1992

Studies upto date for estimating the reliability by means of one accarate value contain risks of many erroneous options. The objective of this paper is to presents a fault tree analueis model on the basis of the membership functions of trape Zoidal fuzzy number after imposing an interval of Confidence on the residual possibility theory. The results from the model Show that the value of Stability was reliable.

• Journal of Korean Society for Quality Management
• /
• v.26 no.4
• /
• pp.124-142
• /
• 1998

It is essential to have a correct measurement system assessment to help improve process or quality. In this paper, we emphasize that a confidence interval a, pp.oach for the parameters of measurement error study and GR&R is crucial and a simple a, pp.oach for constructing them is presented. We also discuss on the issue of linearity of the gauge. Next, we try to reveal the relationship between measurement error and the process capability index. Finally some aspects of conducting the measuring experiment concerning the number of parts, number of measurements per part, and recommendations on how the experiment is to be performed will be considered.

• Journal of the Korean Data and Information Science Society
• /
• v.7 no.2
• /
• pp.273-281
• /
• 1996

It is derived that conditions of counting process ($\{N(t){\mid}t\;{\geq}\;0\}$) in which the number of events in time interval [0, t] has a (n, n+1)-generalized Poisson distribution with parameters (${\theta}t,\;{\lambda}$) and a generalized inflated Poisson distribution with parameters (${\{\lambda}t,\;{\omega}\}$.

• Honam Mathematical Journal
• /
• v.30 no.4
• /
• pp.733-741
• /
• 2008

Let T be Gauss transformation on the unit interval defined by T (x) = ${\frac{1}{x}}$ where {x} is the fractional part of x. Gauss transformation is closely related to the continued fraction expansions of real numbers. We show that almost every x is mod M normal number of Gauss transformation with respect to intervals whose endpoints are rational or quadratic irrational. Its connection to Central Limit Theorem is also shown.

• Asia pacific journal of information systems
• /
• v.2 no.2
• /
• pp.71-84
• /
• 1992

Analysis for the file with distributed free space such as a VSAM has been done. Birth and death process has been adopted to describe the status changes of control intervals in a VSAM file. File utilization is calculated as a function of the number of control intervals which contain different number of records in them. Effect of the control interval sizes and the loading factors are analyzed over the time horizon.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2008.04a
• /
• pp.26-28
• /
• 2008

This paper is to investigate the existence theorem for the semilinear fuzzy integrodifferential equation in ${E_N}$ by using the concept of fuzzy number whose values are normal, convex, upper semicontinuous and compactly supported interval in ${E_N}$. Main tool is successive iteration method.

• Kyungpook Mathematical Journal
• /
• v.53 no.1
• /
• pp.87-98
• /
• 2013

In this paper, we devoted to study the existence and uniqueness of nonlinear fuzzy neutral integrodifferential equations. Moreover we study the fuzzy solution for the normal, convex, upper semicontinuous, and compactly supported interval fuzzy number. The results are obtained by using the Banach fixed-point theorem. An example is provided to illustrate the theory.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.18 no.4
• /
• pp.543-548
• /
• 2008

This paper is to investigate the existence theorem for the semilinear fuzzy integrodifferential equation in $E_N$ by using the concept of fuzzy number whose values are normal, convex, upper semicontinuous and compactly supported interval in $E_N$. Main tool is successive iteration method.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1435-1445
• /
• 2019

We consider a checkpointing model for silent errors, where a checkpoint is taken every fixed number of verifications. Assuming generally distributed i.i.d. inter-occurrence times of errors, we derive the reliability of the model as a function of the number of verifications between two checkpoints and the duration of work interval between two verifications.

• Clinical and Experimental Reproductive Medicine
• /
• v.21 no.2
• /
• pp.165-176
• /
• 1994

This study was carried out to investigate the effect of the timing and dose of human chorionic gonadotropin(hCG) on oocyte recovery, in vitro fertilization, and preimplantation development in superovulation of mouse. F1 hybrid($C57BL{\times}CBA$) mice were obtained and superovulation was induced in female mice by sequential intraperitoneal injection of PMSG and hCG. In the first series of experiments, mice received 5 IU of PMSG given intraperitoneally, and 48 hours later were injected 1 IU, 5 IU, or 10 IU of hCG respectively. In the second series of experiments, mice received 5 IU of PMSG given intraperitoneally and were injected 5IU of hCG 36, 48, or 60 hours later respectively. 1. When the mice received 5 IU of PMSG given intraperitoneally and 48 hours later were injected 1 ItT, 5 IU, or 10 IU of hCG respectively, there were no differences in the total number of the oocytes obtained from the three experimental groups. When the cultures were examined 48 hrs after the termination of insemination the proportion of unfragmented oocytes which had developed over two-cell stage was observer to be lowest in 10 IU hCG group. When the cultrues were examined 120 hour after termination of insemination the proportion of embryos which had developed to the blastocyst stage was observed to be significantly higher in 10IU hCG group than 5IU hCG group(p<0.05), but there was no difference between 10 IU hCG group and 1IU hCG group. 2. When the mice received 5 IU of PMSG and were injected 5 IU of hCG 36, 48, or 60 hours later respectively, there were no differences in the total number of oocytes obtained from the three experimental groups. When cultures were examined 48 hour after the termination of insemination the proportion of unfragmented oocytes which had developed over two-cell stage was observed to be significantly lower in 36 hour interval group than 48 hour interval and 60 hour interval group(p<0.05). When the cultures were examined 120 hour after termination of insemination the proportion of embryos which had developed to the blastocyst stage was found to be higher in 60 hour interval group than 36 interval or 48 hour interval group (P<0.05), and the proportion of hatching blastocyst was found to be higher in 60 hour interval group as well. In this study, it was concluded that the administration of adequate dose of hCG, and long (60 hour) PMSG-hCG interval were necessary in superovulation of mice($C57BL{\times}CBA$) in order to get a large number of oocytes which had an early oocytes which had an early embryonic developmental capability when fertilized in vitro, and especially it had better have been avoided to administer a large dose of hCG.