针对产品定时截尾试验中零故障时无法进行平均故障间隔时间(Mean Time Between Failures,MTBF)估计的问题,分析了不同情况下点估计方法选用的注意事项,并通过公式推导得出了零故障时置信下限的计算公式。对置信下限计算公式进一步推导,...针对产品定时截尾试验中零故障时无法进行平均故障间隔时间(Mean Time Between Failures,MTBF)估计的问题,分析了不同情况下点估计方法选用的注意事项,并通过公式推导得出了零故障时置信下限的计算公式。对置信下限计算公式进一步推导,得到了便于实际应用的简化计算公式。通过在多个可靠性试验中应用该方法进行MTBF估计,结果表明该方法可行有效。展开更多
Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review t...Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review the work on PTL in four aspects:(1) decidability,complexity and expressiveness of propositional PTL(PPTL);(2) modeling,simulation and verification language(MSVL);(3) formal verification approaches with MSVL and PPTL;and(4) supporting toolkit MSV.展开更多
文摘针对产品定时截尾试验中零故障时无法进行平均故障间隔时间(Mean Time Between Failures,MTBF)估计的问题,分析了不同情况下点估计方法选用的注意事项,并通过公式推导得出了零故障时置信下限的计算公式。对置信下限计算公式进一步推导,得到了便于实际应用的简化计算公式。通过在多个可靠性试验中应用该方法进行MTBF估计,结果表明该方法可行有效。
基金supported by the National Natural Science Foundation of China(Grant Nos.61133001,61272117,61202038,61322202,61420106004 and 91418201)
文摘Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review the work on PTL in four aspects:(1) decidability,complexity and expressiveness of propositional PTL(PPTL);(2) modeling,simulation and verification language(MSVL);(3) formal verification approaches with MSVL and PPTL;and(4) supporting toolkit MSV.