In this note,the tampered failure rate model is generalized from the step-stress accelerated life testing setting to the progressive stress accelerated life testing for the first time.For the parametric setting where ...In this note,the tampered failure rate model is generalized from the step-stress accelerated life testing setting to the progressive stress accelerated life testing for the first time.For the parametric setting where the scale parameter satisfying the equation of the inverse power law is Weibull,maximum likelihood estimation is investigated.展开更多
In reliability theory and survival analysis, the problem of point estimation based on the censored sample has been discussed in many literatures. However, most of them are focused on MLE, BLUE etc; little work has bee...In reliability theory and survival analysis, the problem of point estimation based on the censored sample has been discussed in many literatures. However, most of them are focused on MLE, BLUE etc; little work has been done on the moment-method estimation in censoring case. To make the method of moment estimation systematic and unifiable, in this paper, the moment-method estimators(abbr. MEs) and modified momentmethod estimators(abbr. MMEs) of the parameters based on type Ⅰ and type Ⅱ censored samples are put forward involving mean residual lifetime. The strong consistency and other properties are proved. To be worth mentioning, in the exponential distribution,the proposed moment-method estimators are exactly MLEs. By a simulation study, in the view point of bias and mean square of error, we show that the MEs and MMEs are better than MLEs and the “pseudo complete sample” technique introduced in Whitten et al.(1988). And the superiority of the MEs is especially conspicuous, when the sample is heavily censored.展开更多
The authors generalize the works in [5] and [6] to prove a Hopf index theorem associated to a smooth section of a real vector bundle with non-isolated zero points.
This paper provides a concrete and simple introduction to two pillars of domain theory : (1) solving recursive domain equations, and (2) universal and saturated domains. Our exposition combines Larsen and Winskel'...This paper provides a concrete and simple introduction to two pillars of domain theory : (1) solving recursive domain equations, and (2) universal and saturated domains. Our exposition combines Larsen and Winskel's idea on solving domain equations using information systems with Girard's idea of stable domain theory in the form of coherence spacest or graphs. Detailed constructions are given for universal and even homogeneous objects in two categories of graphs: one representing binary complete, prime algebraic domains with complete primes covering the bottom; the other representing w-algebraic, prime algebraic lattices. The back- and-forth argument in model theory helps to enlighten the constructions.展开更多
基金This research is by the National Natural Science Foundation of China(69971016, 10271079) the Science and Technology Development Foundation of Shanghai(00JC14507) the Major Branch of Learning Foundation of Shanghai.
文摘In this note,the tampered failure rate model is generalized from the step-stress accelerated life testing setting to the progressive stress accelerated life testing for the first time.For the parametric setting where the scale parameter satisfying the equation of the inverse power law is Weibull,maximum likelihood estimation is investigated.
基金This research is partially supported by National Science Foundation of China (No. 69971016).
文摘In reliability theory and survival analysis, the problem of point estimation based on the censored sample has been discussed in many literatures. However, most of them are focused on MLE, BLUE etc; little work has been done on the moment-method estimation in censoring case. To make the method of moment estimation systematic and unifiable, in this paper, the moment-method estimators(abbr. MEs) and modified momentmethod estimators(abbr. MMEs) of the parameters based on type Ⅰ and type Ⅱ censored samples are put forward involving mean residual lifetime. The strong consistency and other properties are proved. To be worth mentioning, in the exponential distribution,the proposed moment-method estimators are exactly MLEs. By a simulation study, in the view point of bias and mean square of error, we show that the MEs and MMEs are better than MLEs and the “pseudo complete sample” technique introduced in Whitten et al.(1988). And the superiority of the MEs is especially conspicuous, when the sample is heavily censored.
文摘The authors generalize the works in [5] and [6] to prove a Hopf index theorem associated to a smooth section of a real vector bundle with non-isolated zero points.
基金This work is supported by the National Natural Science Foundation of China (No.69873034), the Foundation forUniversity Key Tea
文摘This paper provides a concrete and simple introduction to two pillars of domain theory : (1) solving recursive domain equations, and (2) universal and saturated domains. Our exposition combines Larsen and Winskel's idea on solving domain equations using information systems with Girard's idea of stable domain theory in the form of coherence spacest or graphs. Detailed constructions are given for universal and even homogeneous objects in two categories of graphs: one representing binary complete, prime algebraic domains with complete primes covering the bottom; the other representing w-algebraic, prime algebraic lattices. The back- and-forth argument in model theory helps to enlighten the constructions.
