可靠性定理

本文提出了一个完整的基于多核并行程序的验证框架MCAP，该验证框架包括了抽象机器定义、目标代码的形式规范、逻辑推理系统、可靠性定理及证明。

This paper presents a proof framework about the verification of parallel programs , including the definition of our abstract machine , the formal specification for object code , logic inference rules and the proof of soundness theory .

提出并研究了与赋值相关的证明概念，证明了系统的可靠性定理、弱演绎定理；

The concepts of proof under valuation and its properties were given . The soundness and weak deduction theorems were proved .

以此为基础，对泛逻辑基本形式系统UL中的H-赋值进行了拓广，引入了广义H-赋值概念，证明了UL在广义H-赋值之下可靠性定理成立。

Based on these , the notion of generalized H-valuation in logic system UL is introduced , and the reliability the - orem of UL on generalized H-valuation is proved .

在对于向量值命题逻辑形式语言建立可靠性定理与完备性定理的讨论基础上，这里进一步建立了向量值一阶逻辑形式系统，证明了它的可靠性定理。

A first order system of vector logic is given . The soundness theorem for the first order system of vector logic is discussed .

这个公式主要依赖于可靠性因子定理。

The formula is based on the factoring theorem .

可靠性估计定理给出的下限值可作为工程实践中很有价值的参考点。

The reliability estimation theorem gives the lower limit for the unreliability of an arbitrary system which is referable to engineering practice .

证明了在故障源作用下无可靠输入数组的函数元系统的可靠性估计定理，建立了一种新的故障源模型，即具有可靠输入数组的常可靠故障源。

The theorem about the reliability estimation of the systems consisting of functional elements which have not reliable input set effected by failure sources is presented . Models of constant reliable failure source are built .

通过对含有不可靠（失效）节点的K－终端网络可靠性的研究，推导出在该条件下网络可靠性的分解定理，从而得到计算网络可靠度的一种有效方法。

By analyzing the reliability of a K - terminal network with imperfect vertices , the author set up the factor theorems of network , and then present of efficient method for calculating system reliability .