不满足

Therefore Internet news service can"t meet today"s demands of social development. Though there are some achievements to carry on research at present, the service has not met readers" real demand.The research of news " anthropomorphize at home is at the stage of exploration . Though some units have carried on some research and made some achievements, various kinds of defects exist in these achievements on the whole.

目前的网络新闻服务站点基本上是基于B/S结构的单一的新闻发布系统，而HTML页面技术和HTTP无状态连接协议，没法提供跨媒体的多样化内容的服务，不适于用户按照自己的习惯进行阅读和订购，因而使得Internet新闻服务尚没有摆脱传统的推送服务方式，这已经越来越不满足现在社会发展的需求。

We proved that under some concrete conditions imposed on μ, e and restrictions on the boundary value, the operator of Maxwell's equations becomes a symmetric ...

如果不满足对称性，引入伴谐振腔的概念，所谓伴谐振腔在几何形状上和原来的腔相同，但、和边界条件不一样。

We proved that under some concrete conditions imposed on μ, e and restrictions on the boundary value, the operator of Maxwell's equations becomes a symm...

如果不满足对称性，引入伴谐振腔的概念，所谓伴谐振腔在几何形状上和原来的腔相同，但、和边界条件不一样。

Oh, it's just my daughter with some of her friends, you now; they doesn't meet for a long time… And they have a little chitchat with each other, it's their secret isn't it?

哦，那只是我的女儿和她的一些朋友，现在你；他们不满足很长一段时间，他们有一点…互相聊天，这是他们的秘密，不是吗？

People are not complacent about their jobs so they don't want to dress down.

人们不满足于现有的工作，所以不想穿得随随便便。

That is, formally speaking, a representation or encoding over an alphabet ∑ of a set D is a function f from D to 2^∑* that satisfies the following condition: f(e1) and f(e2) are disjoint nonempty sets 不相交的非空子集 for each pair of distinct elements e1 and e2 in D.

形式地说，对信息对象集合 D 进行基于字母表∑的物化或编码是从 D 到 2^∑*的函数 f，并且函数 f 满足以下条件：对于 D 内任一对不相同的元素 e1 和 e2，f(e1)和 f(e2)是不相交的非空子集。

When electron accelerates, its charge quantity won't change, as a result, its electromagnetic mass is constant, and the electromagnetic mass won't satisfy Lorentz transformation,thus, there is obvious inconsonance if we treat electromagnetic mass as a part of the gravity mass ---- as long as we insist the idea that the charge quantity of any electron is a constant.

当电子加速运动的时候，其电量是不会改变，所以其电磁质量不会发生改变，电磁质量不满足Lorentz transformation，因此把电磁质量作为引力质量的一部分存在着不协调性——只要维持电子电荷值不变的观念，这个问题不管怎么也解释不通。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

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

这种对于不如意的过于在意，恰恰折射出了我们对生活的不满意和不满足。

If there is nothing to do, nothing is done, even if that means never going through the loop body.

如果条件不满足，则不执行循环体，这就可能出现循环体一次都不执行的情况。

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.

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