Let's assume the problem is satisfiable.
让我们假定这个问题是可满足的。
When number of variables is not big, computing result of the satisfiable probability is consistent with the previous facts.
对较小的变量数计算了可满足概率，所得的结论与以往的结果一致。
It was shown that the detail construction of turbulence in rocket can be predicted by LES, and the time-averaged method also can give the result with satisfiable engineering precision.
结果表明：大涡模拟技术可以得到发动机内湍流流场中详细拟序结构，时均湍流模拟对于火箭发动机内流场时均量的模拟仍有较好的工程精度。
It was shown that the detail construction of turbulence in rocket can be predicted by LES, and the time-averaged method also can give the result with satisfiable engineering precision.
结果表明：大涡模拟技术可以得到发动机内湍流流场中详细拟序结构，时均湍流模拟对于火箭发动机内流场时均量的模拟仍有较好的工程精度。
应用推荐