不满足的

Sort-and-Incremental Algorithm Step 4: At anytime, if the leftmost intersection is against the feasible region provided by p1 or p3, we are sure the leftmost one is to be removed. Naturally, p1 or p3 walks rightwards to its adjacent edge.

January 31， 2010 Zeyuan Zhu 任意时刻，如果最左边任意时刻，任意时刻的交点不满足p1/p3所的交点不满足所在半平面的限制，在半平面的限制，我们相信这个交点需要删除 p1或p3走向它右边的或走向它右边的相邻边 36 4。

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

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

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

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

Live-range splitting can be used to make the graph satisfy the optimal interval coloring condition.

当不满足最优区间着色的条件时，可以通过分割数组的生命周期来使之得到满足。

To obtain quadratical convergence, however, strict complementarity condition at the Danskin point was used. The condition is too strict to be satisfied in many practical problems such as discrete semi-infinite minimax problem. Another kind of Newton method for finite minimax problems was presented by E. Polak and, without strict complementarity at the Danskin point, superlinear convergence (of order 3/2) was proven.

Polak等人提出了一种直接求解极大极小问题的二阶收敛的牛顿法，但是为获得二阶收敛速度要求在Danskin点处满足严格互补条件，这个条件太强，很多实际问题尤其是半无限极大极小问题的离散化不满足该条件；他们又给出另外一种牛顿法，在不假设严格互补条件成立的情况下，证明了它的超线性（3/2阶）收敛性。

In the fist part, considering the game theoretical aspect of generalized Cohen's forcing C in dependence of ideal / on ω, Generalized a result of Sharp in Combinatorics on Ideals and Axiom A(The Journal of Symbolic Logic,1994), we argue that if J is a regular p*-ideal then C do not satisfy Axiom A.

第一部分通过讨论ω上的理想J的广义Cohen's力迫C的博弈论性质，我们推广了Sharp在论文Combinatorics on Ideals and Axiom A(The Journal of Symbolic Logic，1994)中的一个主要结果——如果U是一个超滤，则其对偶理想J=U~*所作成的广义Cohen's力迫C不满足力迫公理A，我们进一步证明了如果J是一个正则的p~*-ideal则C不满足力迫公理A。

If you are lucky enough to find a way of life you love ,you have to find the courge to live it.

不错的贴。人生就是一种欲望，满足了便无聊，不满足便空虚。

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型随机算法。

Above transaction protocol satisfies accountability Above transaction protocol dissatisfies fairness Based on the result, the author puts forward a complete transaction protocol that satisfies accountability and fairness.

通过对模型的仿真分析，证明了：③的支付协议满足可追究性③的支付协议不满足公平性根据结果，作者提出了同时满足可追究性和公平性的完善的支付协议。

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段挡墙墙趾处的承载能力也不满足要求。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。