查询词典 satisfiable

Based on the analysis of the key components of disc ditcher, the maximum lift height of the rotary blade shaft and the minimum size of the elevating device as the objective functions were introduced to establish a nonlinear mathematical model satisfiable to multiple constraint conditions of mechanical structure and agronomic demands.

为了解决圆盘开沟机在下地、过梗、爬坡过程中出现的旋耕刀易破损、刀盘支架易变形等问题，通过对其关键部件的分析研究，以刀盘轴最大提升高度和升降装置最小尺寸为目标函数建立数学模型；用Matlab软件对其结构尺寸进行参数优化。

A formula of propositional logic is said to be satisfiable if logical values can be assigned to its variables in a way that makes the formula true.

公式命题逻辑被认为是符合要求，如果逻辑值可分配给它的变量的方式，使真正的公式。

The experiments show that the method can make up the deficiencies of the description logic reasoner and complement the theorem prover for satisfiable formulas.

实验结果表明，这样可以解决描述逻辑工具的不足，并可以弥补定理证明器对可满足的公式推理的不完备性。

In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable.

在这后一种情况下，我们可以说，是不可满足的功能，否则它是满足的。

When number of variables is not big, computing result of the satisfiable probability is consistent with the previous facts.

对较小的变量数计算了可满足概率，所得的结论与以往的结果一致。

But after over ten years development, the whole performance of the listed companies of Chongqing is not satisfiable.

然而十几年过去了，重庆上市公司的整体绩效却令人堪忧。

He needs you to be satisfiable: Make him feel successful in loving you.

耶和华 神说：「那人独居不好，我要为他造一个配偶帮助他。

In this thesis, the concept of l-assignments groups has been proposed, and the relation of l-assignments group and satisfiable formula has been studied.

本文提出了l-赋值组的概念，找出了其与可满足公式之间的关系。

If we can re-identify particulars, then we have satisfiable criteria on the basis of which we can make re-identification.

如果我们能再次识别特定物，那么我们拥有基于其作出再次识别的可满足的标准。

For second algorithm SatTest2, searching and sampling are in the whole space of assignments. Hence it can find the satisfiable solution. Even no satisfiable solutions can be found, it is still to test the satisfiability of SAT problem with high probability. This is an important improvement of the conventional randomized algorithms.

第二个算法SatTest2则是在整个赋值空间中进行搜索和抽样，因此可以搜索到可满足解，即使搜索不到可满足解时，也能以高概率做出正确的判断，这是对传统随机算法的重要改进。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷