可是，另外还有一个可能取代广义相对论的理论称为张量-矢量-标量引力(TeVeS)了，它与我们的新发现有冲突。

However, another alternative theory, called tensor-vector-scalar gravity (TeVeS), does conflict with the new findings.

youdao

最小冲突集合的产生是模型诊断中最关键的计算步骤，而广义约束传播技术是最有效产生最小冲突集合的方法之一。

In model based diagnosis, the generation of minimal conflict sets is a key step, and the generalized constraint propagation technique is the most effective method.

youdao