可满足的

It holds that the repetition in restatement helps the rhetor reach the optimum level of arousal and the different words in it give him the pleasure of change .

对于修辞者而言，对关键意义的多次反复可以帮助他释放激情，达到体内平衡和最适宜兴奋度，且这种修辞对不同词语的运用又可满足他对心理变化的追求。

Translation is a speech act, in which the actors involved are supposed to abide by the criticizable validity claims - truthfulness, sincerity and rightfulness. Only in this way can a dialogue or communication proceed rationally.

翻译是一种言语行为，行为的参与者应满足三种可批判的有效性要求，即真实性，真诚性和正当性，才能使对话和交流朝着合理的方向发展。

You rotatable use service and approaches to cooperation: The widespread service and the approaches to cooperation may help the company by most to be able to satisfy its goal and implement the project.

您可转用的服务和合作方式：广泛的服务和合作方式可以帮助公司以最能满足其目标的方式来实施和维护项目。

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

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

The house built by sandwich panel can meet many different usage requirements from construction site hut, sentry box, toll station to cold-storage, villa, large public stadium, industrial buildings , and so on.

用金属隔热夹芯板建造的房屋可满足各种不同的要求，从施工工地临时用房，交通岗亭，收费站到屋面加层，冷库，商业用房隔墙，别墅，大跨度体育场馆，工业厂房等等，具有极为广泛的用途。

Subadditivity is a basic property for a risk measure, because it ensures the diversificationprinciple of portfolio theory and it is a basic condition for the problem of portfolio decision-making.

而次可加性是任何一个风险度量必须满足的重要性质，它刻画了现代投资组合理论中的风险分散化原则，是资产组合决策问题的一个基本条件。

A kind of description logic tableaux based satisfiability reasoning algorithm for FALNUI is presented,and the correctness of the satisfiability reasoning algorithm is proved.

FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础。

In this paper we describe a robust and efficient algorithm for ATPG——the algorithm for test pattern generation using satisfiability.

描述一种新的健全高效的测试向量自动生成方法——测试向量生成的可满足性算法。

Then, temporal logic formula is used to express the property requirements the data flow must meet before the verification, an algorithm transforming the UML Statecharts model into reachable state transition graph is presented.

然后，采用时序逻辑公式表示数据流所需满足的性质，同时给出了将UML Statechart图模型转化为可达状态迁移图的算法，最后通过模型检测算法验证数据流的正确性。

Satisfiability is the problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE.

满足的问题是确定的变量，如果某一布尔公式可分配的方式，使公式评价为

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失