• Journal of the Korean Statistical Society
• /
• 제26권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.

• International Journal of Control, Automation, and Systems
• /
• 제2권2호
• /
• pp.165-170
• /
• 2004

RAIM techniques based on TLS have rarely been addressed because TLS requires a great number of computations. In this paper, the particular form of the observation matrix H, is exploited so as to develop a new TLS-based sequential algorithm to identify an errant satellite. The algorithm allows us to enjoy the advantages of TLS with less computational burden. The proposed algorithm is verified through a numerical simulation.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.134-136
• /
• 2007

Sequential Function Chart(SFC) is very easy to grasp the sequential flow of control logic and has the compatability for a maintenance, In process control, when an error is occurred, to execute other routine by force, we control the process by remote control. In this paper, we proposed the method of select sequence control by remote control in process control designed by Sequential Function Chart(SFC).

• 대한수학회보
• /
• 제29권2호
• /
• pp.301-314
• /
• 1992

In this paper, motivated by [1] and [7] we give a sequential definition of conditional Wiener integral and then use this definition to evaluate conditional Wiener integral of several functions on C [0, T]. The sequential definition is defined as the limit of a sequence of finite dimensional Lebesgue integrals. Thus the evaluation of conditional Wiener integrals involves no integrals in function space [cf, 5].

• KDI Journal of Economic Policy
• /
• 제28권1호
• /
• pp.219-231
• /
• 2006

본 논문은 기업의 혁신이 순차(누증)적으로 일어날 때, R&D 인센티브를 제공할 수 있는 현존 기업들과 성공적인 신임 기업가들의 관계를 동태적으로 분석한 것이다. 본고에서는 기본모델이 다양한 시장구조와 규제환경으로 확대(적용)될 수 있다고 주장한다.

• Computers and Concrete
• /
• 제1권1호
• /
• pp.99-113
• /
• 2004

The article reports data on, and numerical modelling of, beams exhibiting points of inflection and subjected to sequential loading. Both tests and analysis point to inadequacies in current codes of practice. An alternative design methodology, which is strongly associated with the notion that contraflexure points should be designed as "internal supports", is shown to produce superior performance even though it requires significantly less secondary reinforcement than that advocated by codes.

• 충청수학회지
• /
• 제14권2호
• /
• pp.47-54
• /
• 2001

Let {Xn, n = 1,2,${\cdots}$} be i.i.d. random variables with the only unknown parameters mean ${\mu}$ and variance a ${\sigma}^2$. We consider a sequential confidence interval C1 for the mean with coverage probability 1-${\alpha}$ and expected length of confidence interval $E_{\theta}$(Length of CI)/${\mid}{\mu}{\mid}{\leq}k$ (k : constant) and give some asymptotic properties of the stopping time in various limiting situations.

• Journal of the Korean Statistical Society
• /
• 제31권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.

• Journal of the Korean Statistical Society
• /
• 제1권1호
• /
• pp.11-17
• /
• 1973

A class of sequential binomial tests and a sequential rank test can be applied for testing two treatments when subjects are paired in many-to-one ratio. The efficiency of each test is examined in terms of the average sample number. The binomial tests are much easier and more convenient to apply than the rank test not as efficient. Within the class of binomial test, the median test appears to be the most efficient is general.

• Animal cells and systems
• /
• 제5권4호
• /
• pp.313-317
• /
• 2001

The sequential assessment model describes a fight between two conspecific as an ongoing statistical sampling process, which makes it possible to predict fight length or repetition number of a behavioral element depending on relative RHP (resource holding potential: e.g. weight or fighting ability). We staged contests between males of common freshwater gobies to test some predictions of this model. Fights proceeded in a consistent sequence of phases. Most contests began with two contestants adopting lateral display, and then escalated to intense physical contacts. The length of contests was negatively correlated with weight difference between the contestants. The duration of complete phases was, however, independent of weight, and the prior information gained during complete phases did not appear to affect subsequent phases of the fight. Our results show that the contests of common freshwater gobies are well predicted by the sequential assessment model.