查询词典 prove up

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

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.

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

There are two types of gold deposits in this area, namely altered rock type and quartz vein type.

本区金矿床包括两种类型：柴胡栏子金矿床为蚀变岩型金矿；莲花山和红花沟金矿床属石英脉型。

You were home and it was two weeks ago.

你回到了家里。当时是两周前。