证明

I don'twant to proveand I don't know how to prove.

我不想要去证明也不知道怎样证明。

Proofs the undecidable problem via constructing a instance of PCP problem with three concurrent tasks.

现有的证明[1]通过构造三个并发任务的PCP问题实例，证明过程间并发程序分析是一个不可判定问题。

Proved the proposed scheme to be message confidentiality non-repudiation and unforgeability under the random oracle model.

在随机预言机模型下给出了该方案的安全性证明，证明结果表明该方案满足抗适应性选择密文攻击下的机密性、不可伪造性和不可否认性。

Under the Proof-Of-Possession key registration assumption, the scheme was proved unforgeable against the adaptive chosen message and signing groups attacks.

在&证明拥有私钥&密钥注册假设下，证明了方案对适应性选择消息和签名群组攻击是不可伪造的。

In this paper, a method from the basic matrix of MU(1) formula is used to prove that a tree resolution proof for an unsatisfiable formula F can be transformed into a homomorphism proof from a MU(1) formula for F.

利用基础矩阵的方法证明了：一个不可满足公式 F 的树消解证明，可以在多项式时间内转换成一个来自 MU(1)中公式的同态证明。

If it could, for all that is built into the concept, have turned out that "water" referred to any waterish stuff, or that it could have turned out that "water" had indeterminate reference, then this is enough to show that we should not regard it as a piece of conceptual analysis that water is the actual waterish stuff around here.

如果是这样，对所有进入到概念中的东西，证明&水&指称任何水性材料，或可以证明&水&有不确定指称，那么，这足以指出，在这里我们不应该取为对&水是这里的现实的这些水性材料&的概念分析。

The fear that yoking together such diverse countries would increase tension, rather than reduce it, also appears vindicated: look at the surge of anti-European sentiment inside Germany.

人们担心，让差异如此巨大的国家结合在一起，将会加剧紧张，这种担忧似乎也证明是正确的：德国国内兴起的反欧情绪就是证明。

With ZINK Zero Ink printing technology from Zink Imaging, this sleek and stylish instant mobile printer prints smudge-proof, water-resistant and tear-proof photo in about 60 seconds without a drop of ink.

与zink零油墨印刷技术从zink成像，这圆滑和时尚的即时移动印表机列印防污渍证明，耐水性和催泪证明，照片，在约60秒，没有一个辍学的油墨。

Starting from the right of equality, Rawls animadverts utilitarianism and substitutes it for "two principles as fairness and justice" in which rational people choose under the "original position", and thinks everyone should be equal and people should distribute wealth according to "the principle of justice as fairness", unless you have the enough reasons that can justify everyone should be unequal. He understands the distributive object as a series of public resources and systems of liberty, including the positions and offices, opportunity, natural endowment, honor, safety, freedom of life and action, freedom of thought and conscience. The aims of distributive principle of justice are to realize rational distribution of these public resources in a cooperative and well-ordered society. Starting from inalienable rights of man, Nozick thinks that everyone should be unequal, unless you have sufficient reasons that can justify everyone should be equal and without the consent of the individual, others can not infringe upon his property and rights with any excuses. He advances the justice of "holding" with a theory of qualification and entitlement, and maintains individual economic and free rights and the right of property.

罗尔斯从平等的权利出发，通过&原初状态&下的理性人自主选择&公平正义的两个原则&来取代功利主义，认为除非有充足理由证明应当不平等，否则就应当平等，并根据公平的正义原则分配公共资源和自由体系，包括职务、机会、天赋、荣誉、安全、人生行动自由、思想自由和良心自由等，&分配的正义观&就是要实现这些公共资源在一个合作且秩序良好的自由体系里的合理分配；诺齐克从人的不可剥夺的权利出发，认为除非你有充足理由证明应当平等，否则就应当不平等，没有个体的同意，任何人也不能以任何借口侵犯他的财产和权利，通过&资格&理论确立&持有&的正当性，维护个人的经济自由权利和财产权利。

This in conjunction with the third conclusion entails what we set out to prove.

这与第三个结论相结合就能证明我们所要证明的。

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.

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