查询词典 prove up

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 阶复双曲函数，证明了只要证明就全部证明了费马大定理。

We prove that in every induced locally compact 〓fuzzy topological groupthere exist at least one regular fuzzy set-valued Haar measure.We define the fuzzymeasurable group and prove that the fuzzy set-valued Haar measure in a fuzzymeasurable group is essentially unique.We also construct the fuzzy topologicalstructure on a group by the fuzzy set-valued measure such that make it a fuzzytopological group.

证明了诱导局部紧〓模糊拓扑群上存在模糊集值Haar测度，定义了模糊可测群，通过对模糊可测群的研究证明了诱导局部紧〓模糊拓扑群上的模糊集值Haar测度本质上的唯一性，并利用模糊可测群上的模糊集值测度构造了群上的模糊拓扑结构使之成为模糊拓扑群。

When hearsay evidence was cited, not to prove that conversation, but to prove that talks have taken place.

当传闻证供被引述时，不是为了证明谈话内容，而是为了证明谈话曾经发生过。

In the last chapter, on the basis of theories in paper [4, 5], the notions of strong mixing, weak mixing, generator and expansion of the variable-parametric dynamical system are introduced, it turns out that in variable-parametric dynamical system strong mixing implies weak mixing and then implies transitivity; it is proved that if and both are variable-parametric dynamical system, F conjugates with G , the members of F are communicate with each other and the members of G are also communicate with each other, what's more, they are both homeomorphism, then F is strong mixing implies G has the same properties; futhermore, we prove that F is strong mixing implies F Devaney chaos in the sense of modification in variable-parametric dynamical system and that F Devaney chaos in the sense of modification if and only if G Devaney chaos in the sense of modification when semi-conjugate with and they both are communicate and homeomorphism; at last, we illustrate that F has generator if and only if it has weak generator, and we also prove that if F is expansion, then F has generator.

在第三章中，我们在文[4，5]的基础上，提出了变参数动力系统拓扑强混合、拓扑弱混合以及变参数动力系统的生成子、扩张的概念；证明了变参数动力系统拓扑强混合蕴含拓扑弱混合，进而蕴含拓扑传递；证明了：如果，为两个变参数动力系统，F与G拓扑半共轭，且F两两可交换，G两两可交换，它们均为同胚映射，那么F拓扑强混合，则G也有同样的性质；本章还证明了变参数动力系统拓扑强混合蕴含F在修改的意义下Devaney混沌；在此基础上得出了：如果变参数动力系统与变参数动力系统拓扑半共轭，它们都两两可交换，并且它们均为同胚映射，那么F在修改的意义下Devaney混沌当且仅当G在修改的意义下Devaney混沌；得出了F有生成子当且仅当F有弱生成子；如果F是扩张的，则F有生成子。

I had a lovely dog named PiPi, he was one of my best friends.

我曾经有过一只小狗，它的名字叫皮皮，它很善良，它是我最忠实的朋友。

Newly ovulated mouse oocytes were cultured in the CZB medium supplemented with different concentrations of pyruvate before treated for activation or assayed for MPF activity.

我们猜测卵母细胞在不含丙酮酸的条件下老化的更快，并且卵丘细胞可能通过消耗不含葡萄糖的CZB中的丙酮酸从而促进卵母细胞老化。