查询词典 prove through investigation

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有生成子。

Additional, director of delegate of town National People's Congress, public security is OK reach relevant website to mention to promulgator of article of Huang Youjie, net criminal private prosecution is civil perhaps lawsuit, but because they are exercise the service personnel of public authority, belong to " public character ", it is so when adjudgement, lv of take an examination " actual ill will " the world general rule of the principle -- press down director of delegate of National People's Congress, public security to ought to prove net article promulgator and relevant website know perfectly well Huang Youjie namely appeal for help material is fictional fact and be determined to publish, if indemonstrable this, the accused need not assume corresponding responsibility; And to Huang Youjie, pressing down director of delegate of National People's Congress, public security to want to prove him is " intended and concoctive fact " is not wrong accuse, or impeach inconsistent with the facts, also should not be otherwise adjudicate Huang Youjie assumes corresponding responsibility.

另外，镇人大代表、公安局长可以向黄有杰、网文发布者及相关网站提起刑事自诉或者民事诉讼，但由于他们是行使公共权力的公职人员，属于"公众人物"，所以在审判时，应考虑"实际恶意"原则的世界通例——即镇人大代表、公安局长应当证明网文发布者及相关网站明知黄有杰的上访材料是编造事实而执意刊登，如果不能证明这一点，被告就可以不承担相应责任；而对于黄有杰，镇人大代表、公安局长要证明他是"故意捏造事实"而不是错告，或者检举失实，否则也不宜判决黄有杰承担相应的责任。

In Europe, the Christian community, to prove that Christianity is right, it is necessary to prove that Judaism is wrong.

在欧洲基督教社会，要证明基督教是对的，就必须证明犹太教是错的。

Article 28 If the publisher, manufacturer of the software copies can't prove that the publication or manufacturing has been legally authorized, or the releaser or leaser of software copies can't prove that the copies released or leased have legal sources, they shall bear legal responsibilities.

第二十八条软件复制品的出版者、制作者不能证明其出版、制作有合法授权的，或者软件复制品的发行者、出租者不能证明其发行、出租的复制品有合法来源的，应当承担法律责任。

Further, in thispaper, we discuss the operation for the graphs that have an ASD, and prove that the mixed product of circular graph has an ASD; Further more, in this paper we prove that the tensor product for two graphs which both have an ASD has an ASD.

进一步地，我们还探讨了可升分解的图的运算，证明了循环图的混合积可以升分解；更深入地，本论文还证明了两个可升分解的图的张量积可以升分解。

We study the recursive structure of the twisted-cube connected network sufficiently, and prove that the twisted-cube connected network is an n regular graph with connectivity n: point out that the twisted-cube connected network is a cube-free network, which is an essential distinction with the hypercube and other variations of the hypercube; prove that the diameter of n dimensional twisted-cube connected network is [ (n+1)/2] , which is almost the half of hypercube's.

首先对其结构的递归性进行充分地研究，证明它是连通度为n的n正则图；指出扭立方体连接网络无立方体子图，这是扭立方体连接网络与超立方体及其其它变种的本质差别；证明了n维扭立方体连接网络的直径为[（n+1）/2]，它几乎是超立方体直径的一半；最后，给出超立方体及其变种的等价定义，并对它们的结构递归性、网络参数和拓扑性质等作了简单的分析、综合和比较。

Firstly, the eigenvalue problem of a class of second order elliptic equation with critical potential and indefinite weights is considered. Then, using critical point theory, Trudinger-Moser inequality and the properties of the first eigenvalue, we prove the existence of a nontrivial solution for a class of nonlinear elliptic with critical potentialand indefinite weights in R~2. Secondly, we prove the existence of nontrivial solutions for a class of subcritical and critical elliptic systems with indefinite part in R~2 byusing a generalized linking theorem, Trudinger-Moser inequality and concentration-compactness principle.5. The existence of at least three weak solutions for discrete boundary value problem is established by using a three critical point theorem introduced by Ricceri.

首先，讨论了R~2中一类带不定权且含临界位势的二阶椭圆型方程的特征值问题，并借此特征值问题的第一特征值性质，利用山路引理及Trudinger-Moser不等式，证明了R~2中一类带不定权且含临界位势的非线性椭圆型方程非平凡解的存在性；其次，利用广义环绕定理，Trudinger-Moser不等式及集中列紧原理，得到了R~2上一类具有强不定部分的半线性椭圆型方程组在非线性项分别为次临界增长和临界增长情形下非平凡解的存在性。

Terry Norris of the Georgia Sheriffs' Association cites a man who was convicted of statutory rape two decades ago for having consensual sex with his high-school sweetheart, to whom he is now married.

来自佐治亚州治安联盟（the Georgia Sheriffs' Association）的Terry Norris举了个例子，一名男子因20年前与其高中女友发生了性关系而被处以强奸罪。

Orders and for local governments to carry out a land bank on a special insurance policy.

11命令和地方政府进行了土地储备的一个特殊的保险政策。