Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
首先,我们构造以目的和背景知识为双条件的条件句系统akc,给出它的一些证明论结果。
Finally the possible failure mode and the corresponding reliability of the dam are obtained by the system reliability formula from the conditional probabilistic theory.
通过建立在条件概率基础上的体系可靠度公式,找出拱坝的最大可能失效模式与相应的可靠度。
The result indicates that the conditional simulation of conductivity verifies the theory of shell permeability structure in three Dimensions.
分析结果表明,条件模拟从三维角度更全面直观地证实了岩体壳状渗透结构的理论。
应用推荐