双参数威布尔分布下可靠性抽样检验

对于失效时间遵从双参数威布尔分布产品，本文分别提出了制订全样本下和定时截尾样本下可靠性抽样检验方案的统计方法．质量统计是不可靠度的矩估计的严格增加函数．选择截尾时间的方法被提出．利用分布分位数的Coruish-Fisher展开，佯本量和接收常数被近似地确定．模拟结果表明。本文给出的方法是可行的．     

Consecutive-(r,f,k) out-of-n:F和Consecutive-(f,g)-out-of-(r,n):F线性系统的可靠性

Consecutive-(r,f,k)-out-of-n:F系统由n个单元顺序连结而成,仅当在连续的r个单元中,至少有f个失效或者至少连续k个失效,整个系统才失效;而Consecutive-(f,g)-out-of-(r,n):F系统由n个单元顺序连结而成,仅当在整个系统中至少有f个失效或者在连续的r个单元中,至少有g个失效,整个系统才失效。本文运用马氏链嵌入方法,在单元之间相互独立以及单元之间马氏相关这两种情况下,给出线性系统的可靠性。     

服务台可修的GI／M（M／PH）／1排队系统

本文首次讨论一个到达间隔为一般分布的可修排队系统。假定服务时间、忙期服务台寿命都服从指疏分布，修复时间是ＰＨ变量。首先证明该系统可转化为一个经典的ＧＩ／￣ＰＨ／１排队模型，然后给出系统在稳态下的各种排队论指标和可靠性指标。     

从事实逻辑到任务逻辑

在经典命题逻辑语言中引入附加算子几，较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”，介绍了“任务逻辑”的语义理论，并从语构上定义形式系统L与之对应，证明该系统的可靠性、完备性及可判定性定理．最后建立系统L中的一系列基本定理。     

恒加试验简单线性估计的改进

在恒加试验中加速方程的二个系数ａ与ｂ的估计最为重要。文中给出了参数ａ与ｂ的二种新的简单线性无偏估计（ＢＧＬＵＥ，ＲＧＬＵＥ），这两种无偏估计均比常用的二步估计有较大的改进。基于上述新的线性估计，文中还构造了二种新的线性不变估计（ＢＧＬＩＥ，ＲＧＬＩＥ）。这两种不变估计均优于文献（１）给出的简单线性不变估计。     

一种工程软件可靠性评估方法

本文在分析多种软件可靠性模型的基础上，提出一种综合“Ｎａｓｌｏｎ模型”与“硬－软件复合系统结构模型”二者优点的软件可靠性评估方法，本方法简单，可行，对其它领域的软件可靠性评估有一定参考价值。     

同步可靠性评估方法

已往的同步可靠性评估方法是基于分组试验极差数据的方法，而本文的同步可靠性评估方法是基于特征参数X标准差的方法。     

神龙I号可靠性探讨

简要描述了神龙I号的可靠性模型，重点对主机的可靠性作了五个方面的定量分析，据此提出了改进可靠性的主要技术途径。特别指出在主机调试阶段应用可靠性增长规律，由低指标逐步向高指标过渡，最终实现高可靠性目的。     

参数的E Bayes估计法及其应用

提出了参数的一种估计方法—— E Bayes估计法 ,对寿命服从指数分布的产品 ,在失效率的先验分布为 Gamma分布时 ,给出了失效率的 E Bayes估计和多层 Bayes估计 ,并在此基础上给出了失效率和可靠度的 E Bayes估计的性质 .结合实际问题进行了计算 ,结果表明提出的 E Bayes估计法可行且便于应用 .     

一种故障树分析的新算法

本论文中，首先引入了ＢＤＤ（ＢｒｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍｓ－ＢＤＤ）的概念，介绍由故障树到ＢＤＤ转化算法一递归法，及ＢＤＤ进行故障树分析的方法。