查询词典 prove

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上一类具有强不定部分的半线性椭圆型方程组在非线性项分别为次临界增长和临界增长情形下非平凡解的存在性。

To prove to be maiden before him marriage, her Yao Linbiao does statement; on conference of the Political Bureau to prove oneself are early it is Party member of the Communist Party of China, she found herself in former days the lover does perjured; the lose power and influence to rescue Lin Biao, she nots hesitate bristly fruit helps supportive son counter-revolutionary fleet.

为了证明自己婚前是处女，她要林彪在政治局会议上做声明；为了证明自己早就是中共党员，她找到了自己昔日的恋人做伪证；为了挽救林彪的失势，她不惜支持儿子林立果拉起反革命舰队。

We prove that the solution of a nonlinear complementarity problem is exactly the equilibrium point of differential equation system, and prove the asymptotical stability and global convergence.

在一定的条件下我们证明了非线性互补问题的解是该微分方程系统的平衡点，并且证明了该微分方程系统的稳定性和全局收敛性。

Together with some basic knowledge of Linear Algebra, we prove that there exists a polynomial time algorithm for finding the shortest contractible cycle in an locally LEW-embedded graph. 3. By some results of Minor Theorem, we prove the crossing numbers of some circular graphs C(10,4), C(9,3), C(8,3) on the projective plane.

利用C.Thomassen在大边宽嵌入方面的工作，得到了局部大边宽嵌入图的一些性质，再利用线性代数的知识，证明了在局部大边宽条件下存在多项式时间算法可以找到一个图的最短可收缩圈。

If it can prove that you are a rapist, then it also can prove that you are a lover.

如果他能证明你是强奸犯，同样它也能证明你是恋人。

Revenue stamp required to prove unit labor department official seal or stamp of the original, is the living proof of your real estate certificates, contracts and purchase formal lease contract or housekeeping department, police station area, the neighborhood, the property issued by the company To prove.

收入证明需要加盖单位公章或者是劳资部门印章的原件，居住证明是指您的房产证，购房合同和正规租赁合同或者是房管部门、辖区派出所、居委会、物业公司出具的证明。

Next time I see you,I shall give you a black eye.

下次我看见你，我会打你一顿。

In this paper,design scheme of classification system of wood surface color is established.

提出了木质板材颜色分类的系统设计方案。