71、油田套管损坏定量研究与基于集合理论的完全SAT求解器

油田套管损坏定量研究与基于集合理论的完全SAT求解器

1. 油田套管损坏定量研究

1.1 一致性检验

为使判断结果与实际情况相符，需要进行一致性检验。判断矩阵的一致性检验公式为 (CR = \frac{CI}{RI})，其中 (CI) 表示一致性检验指标，(CI=\frac{\lambda_{max}-n}{n - 1})；(n) 表示矩阵的阶数；(RI) 表示平均随机一致性指标，其值如下表所示：
| (n) | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| — | — | — | — | — | — | — | — | — | — | — | — |
| (RI) | 0 | 0 | 0.58 | 0.90 | 1.12 | 1.24 | 1.31 | 1.41 | 1.45 | 1.49 | 1.51 |

当 (CR < 0.001) 时，矩阵一致性可接受；否则，需调整判断矩阵直至通过一致性检验。

1.2 套管损坏参数识别模型

1.2.1 模型结构

综合考虑地质、开发和工程因素，基于套管损坏的原因和形成机制，得到套管损坏的定量识别参数，即套管参数（(para - TS)）。
- 地质因素指标值 (D_{i}F) 乘以其权重 (D_{i}W) 并累加，累加值记为 (D_{F})，称为套管损坏的地质子度：(D_{F}=\sum_{i = 1}^{n}(D_{i}F\times D_{i}W))
- 开发因素指标值 (K_{i}F) 乘以其权重 (K_{i}W) 并累加，累加值记为 (K_{F})，称为套管