马春健 张力远 马长青 谢秀梅 惠富春 李冬娜 夏亚峰

证明论 质量评估 Bayes估计 自然寿命 岭估计 统计方法 温贮备系统 Godel配数法 数学模型 压缩估计 并联备份 并联系统 计算机模拟 串联系统 可靠性 Godel不完备性定理 定量分析 Brown运动 平均寿命 大修限 定数截尾 局部鞅 可靠性理论 代数基本定理 平均工作时间 首达时分布 逆Gaussian分布 常返性质 冗余 Markov过程

甘肃工业大学基础科学系 兰州理工大学理学院 兰州工业高等专科学校基础课部 甘肃兰州 兰州商学院信息工程学院 甘肃工业大学应用数学研究所