不满足

We should be satisfied with the quantity of life, but never satisfied with quality of life.

我们应该满足生活的数量，但永远不满足生命的质量。

After all, what is contentment, and what is discontent?

什么是满足，什么是不满足呢？

What is contentment, and what is discontent?

什么是满足，什么是不满足？

Moreover, when a design is pronounced incorrect by model checking methods, a counterexample is reported.

而模型检测方法是一种有效的完全自动的形式验证方法，它可以完全自动的验证系统模型是否满足某种属性，并且在不满足时，能找出导致错误的输入路径。

Be contented with what you have but be discontented with what you are.

满足於你的所有，但不满足於你的为人。

I bade, because the wick and oil are spent And frozen are the channels of the blood, My discontented heart to draw content From beauty that is cast out of a mould In bronze, or that in dazzling marble appears, Appears, but when we have gone is gone again, Being more indifferent to our solitude Than 'twere an apparition.

我请求--因为灯芯和油都已耗尽而且血液的通路都已冻结--我这颗不满足的心且满足于那用青铜模子铸造出来的，或者显形于眩眼的大理石中的美，显形，但当我们消逝后又再度消逝，比一个幽灵，更加不关心我们的孤寂。

In this thesis, we present an idea that is to count unsatisfiable solutions by the message of unsatisfiable assignments in searching, and design two efficient Monte Carlo randomized algorithms.

本文提出了一个利用搜索过程中不满足赋值的信息进行不满足解数统计的思想，得到了两个有效的Monte Carlo型随机算法。

When we are zeroed in on what's wrong, it implies that we are dissatisfied, discontent.

当我们把注重力集中在事物出了什么毛病之时，它意味着我们不满足，不满足。

This paper uses LIZHENG to check the stability of the retaining wall. Both of them aren't meet the requirements. And the bearing capacity at the toe of the retaining wall which belongs to AB slope isn't meet the requirement.

利用理正软件对边坡的挡墙进行稳定性验算：两段边坡下挡墙的抗滑移稳定性均不满足要求，且AB段挡墙墙趾处的承载能力也不满足要求。

It is impossible to satisfy everyone's interests and demands, however, even the education cannot be designed to satisfy everyone's interests and demands, the education which generally teach people the conmen sense has its own effectiveness.

1， 开头：满足每个人的兴趣和需要是不可能的，即使不满足每个人，教育还是有其有效性。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。