...M，s）｝妒，则 称妒是在M中有效的（Wlid），记为M｝妒，如果存在s∈S使得（M，8）｝妒，则 称妒是在M中可满足的（Satisfiable），记为M｝妒．如果妒在所有的结构中是有 效的，则称妒是有效的，记为｝妒．如果妒在某些结构中是有效的，则称妒是可满 足的．显然...
基于245个网页-相关网页
Requested Range not satisfiable 所请求的范围无法满足 ; 范围不符合要求 ; 请求范围不符合
Satisfiable Formulas 可满足公式
satisfiable formula [数] 可满足公式
satisfiable problem 满足问题
maximal satisfiable subformula 极大可满足子式
Request Range Not Satisfiable 请求的范围无效或无法满足
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.
结果表明：大涡模拟技术可以得到发动机内湍流流场中详细拟序结构，时均湍流模拟对于火箭发动机内流场时均量的模拟仍有较好的工程精度。
应用推荐