查询词典 prove effective

We should use a lot of external practice to prove, abiding by the policy, the fundamentally to realize the alteration of the clerisy's world view and to unify to the workers and the peasants, the hurt of contravening this policy, through the analysis the policy Four Transformations of the leaders brought or ward by Comrade Deng Xiaoping after the 3rd Plenary Session, the 11th Committee of the CPC, and the investigation of the grand historical contribution in practice, all these prove that the policy as a correct one which fits for the need of the modern construction of the socialism.

并用大量客观实践充分证明，遵循这一方针，实现知识分子世界观的改造，逐步同工人和农民打成一片的重要性和违背这一方针的危害性；通过对党的十一届三中全会后，邓小平同志提出的干部"四化"方针具体内涵的分析及其在实践中的重大历史贡献的研究，说明这一方针是为适应我国社会主义现代化建设需要提出的正确方针。

This paper has comparatively analyzed four aspects of confession corroboration rule of the USA and Japan,they are the proof object、the evidence qualification、the proof degree of corroborative evidence and the confession of codefendant. Corroborative evidence should not only be able to corroborate confession and prove the truth of cases,but also prove the truth to a considerable degree.

本文对美国和日本自白补强规则中的补强证据证明对象、证据能力和证明程度以及共犯自白等方面进行了比较，认为补强证据应当具有证据能力，它不仅可以补强自白，还应当能够证明案件事实，并且应达到相当的证明程度。

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

Hence,in section §2.2,weconsider 〓 with p|n for the cyclotomic local field 〓 where 〓 is a primitive p-throot of unity and prove that 〓,which means that the conjecture alsofails in this case.In section §2.3,we focus our attention on 〓 and prove that if 〓(the number of roots of unity in F)=20,then 〓.

另一方面，我们的结果还使得经由Moore，Caroll和Tate的工作，最终由Merkurjev完成的关于局部域的〓群的著名定理进一步明确化，这从另一个角度为Browkin猜想的研究注入了新的意义。

Unfortunately, that may well prove temporary: first, your stimulus programme, with its reliance on massive credit expansion, may prove unsustainable; second, the decline in China's trade surplus is largely the result of the crisis-induced collapse in world trade; and, third and most important, China has embarked on currency deprecation by locking the renminbi to the falling dollar.

不幸的是，这种缩减很可能只是暂时的：首先，贵国的刺激方案依赖于大规模信贷扩张，可能难以维续；其次，中国贸易顺差的减少，主要是金融危机导致的世界贸易萎缩的结果；最后一点，也是最重要的一点，由于钉住了不断贬值的美元，人民币也在贬值。

We should set the criminal prove standard with "remove rational doubt" in model select of criminal prove standard in our country, and frontal demonstrat in the point of view of recogniyetion, at the sametime, this papeer disproof the rational and feasible "remove rational doubt" from "objective true" in the practice of judicature.

本文在对"客观真实"和"法律真实"的非合理性作了论述之后，提出了作者的观点：在刑事证明标准的模式选择上，应以"排除合理怀疑"为我国的刑事证明标准，并从认识论的角度作了正面的论证，同时，也从"客观真实"在司法实践中的困惑这一角度反证了"排除合理怀疑"的合理性和可行性。

The theory and simulation prove that these two transmission systems are equivalent. From the point of view of hardware implementation, these two transmission system are discussed. The simulations prove that linearity of the devices in COFDM system should be better than that in VSB system, and it will lead to a bigger area chip in the COFDM receiver.

并从硬件实现的角度对这两种系统进行了分析和模拟，其结果说明COFDM系统对器件的线性度有着更高的要求，这将导致COFDM接收机的芯片面积大于VSB接收机的芯片面积。

The contents are the following:In chapter two, the existence and multiplicity results for the following equation of p-Laplacian type are obtained.For the elliptic quasilinear hemivariational inequality involving the p-Laplacian operator,in order to use the mountain pass theorem proving the existence result, the authors usually need to use the uniform convexity of the Sobolev space to prove the energy function satisfies the PS condition. But for the p-Laplacian type equation mentioned above, this method is no use. To overcome this difficulty, the potential function is assumed to be convex, then I prove the existence result and by using the extension of the Ricceri theorem, the multiplicity result for the problem is obtained.

在第二章我们首先考虑关于以下p-Laplacian型(p-Laplacian type)方程非平凡解及多解的存在性对于带有p-Laplacian算子的椭圆拟线性半边分不等式问题，为应用非光滑的山路引理证明解的存在性，在证明方程所对应的能量泛函满足非光滑的PS条件时，需利用Sobolev空间的一致凸性，但是对于具有更一般形式的算子的p-Laplacian型方程，不具备上述性质，在文中为克服这一困难，本人对位势泛函做了一致凸的假设，从而证明了解的存在性，并应用推广的Ricceri定理，证明了方程三个解的存在性。

This is enough to prove the falseness of such a conception.误: This is enough to prove the falseness of a such conception.

在不引起误会的情况下，两个并列名词中的后一个名词前的不定冠词可以省略

In this paper we prove that it is sufficient to prove for Fermat's last theorem using the complex hyperbolic functions in the hypercomplex variable theory.

摘要∶本文利用 P 阶复双曲函数，证明了只要证明就全部证明了费马大定理。

They experience feelings deeply and intensely, and their emotions are often mercurial.

他们的感情深刻而强烈，情绪善变。

Surrounded with or as if with a rampart.

用城墙围绕的用城墙围绕的或类似于为城墙围绕的