查询词典 proves

From the healing point of view, if amaroli proves to be less dangerous than the therapeutic use of drugs, synthetic hormones and various other assorted chemical substances, if it proves less corrosive and nutritionally harmful than Coca Cola and 7-Up, if it is less dependence-producing and intoxicating than alcohol, less distasteful than eating gelatin, manufactured from the hoofves and tendons of animals, then I am sure it will be a boon to humanity.

从康复角度看，如果 amaroli 证明比应用药物，合成激素，和各种其他各种各样化学物质治疗更少危险，如果它证明比可口可乐和7-Up 更少腐蚀和营养危害，如果它比乙醇更少产生依赖和致毒，比吃明胶（它是从动物的蹄和筋腱制造的）更少讨厌，那么我肯定，它对人类必将是一个福音。

At the beginning of this thesis, the author gives the definition and the equivalent definition of convex function, and then proves the equivalent relationship between them. Secondly the author proposes the decision theorem of convex function which provides a judgment basis of whether a function is a convex function. Thirdly the author summarizes and proves the convex function's operational, basic, differential and integral property. Finally the author proves several famous convex function inequalities, such as Jensen inequality, Holder inequality, Cauchy inequality. The author also provides the application of these inequalities and illustrates the importance of convex function's basic inequality and integral property in the proving process.

本文开始给出了凸函数的定义及等价定义，并证明了它们之间的等价关系；接着提出了凸函数的判定定理，对一个函数是否是凸函数提供判断依据；然后对凸函数的运算性质、基本性质、微分性质、积分性质四个方面的性质进行了总结，并给予了证明；最后证明了凸函数的几个著名不等式詹森不等式、赫尔德不等式、柯西不等式，给出了这几个不等式的一些应用实例，并举例说明凸函数的基本性质和积分性质在不等式证明过程中的重要作用。

At the beginning of this thesis, the author gives the definition and the equivalent definition of convex function, and then proves the equivalent relationship between them. Secondly the author proposes the decision theorem of convex function which provides a judgment basis of whether a function is a convex function. Thirdly the author summarizes and proves the convex function's operational ,basic , differential and integral property. Finally the author proves several famous convex function inequalities, such as Jensen inequality, Holder inequality, Cauchy inequality and Minkowski inequality. The author also provides the application of these inequalities and illustrates the importance of convex function's basic inequality and integral property in the proving process.

本文开始给出了凸函数的定义及等价定义，并证明了它们之间的等价关系；接着提出了凸函数的判定定理，对一个函数是否是凸函数提供判断依据；然后对凸函数的运算性质、基本性质、微分性质、积分性质四个方面的性质进行了总结，并给予了证明；最后证明了凸函数的几个著名不等式詹森不等式、赫尔德不等式、柯西不等式和闵可夫斯基不等式以及这几个不等式的应用，并举例说明凸函数的基本性质和积分性质在不等式证明过程中的重要作用。

For the Riemann boundary value problems for the first order elliptic systems , we translates them to equivalent singular integral equations and proves the existence of the solution to the discussed problems under some assumptions by means of generalized analytic function theory , singular integral equation theory , contract principle or generaliezed contract principle ; For the Riemann-Hilbert boundary value problems for the first order elliptic systems , we proves the problems solvable under some assumptions by means of generalized analytic function theory , Cauchy integral formula , function theoretic approaches and fixed point theorem ; the boundary element method for the Riemann-Hilbert boundary value problems for the generalized analytic function , we obtains the boundary integral equations by means of the generalized Cauchy integral formula of the generalized analytic function , introducing Cauchy principal value integration , dispersing the boundary of the area , and we obtains the solution to the problems using the boundary conditions .

对于一阶椭圆型方程组的Riemann边值问题，是通过把它们转化为与原问题等价的奇异积分方程，利用广义解析函数理论、奇异积分方程理论、压缩原理或广义压缩原理，证明在某些假设条件下所讨论问题的解的存在性；对于一阶椭圆型方程组的Riemann-Hilbert边值问题，利用广义解析函数理论、Cauchy积分公式、函数论方法和不动点原理，证明在某些假设条件下所讨论问题的可解性；广义解析函数的Riemann-Hilbert边值问题的边界元方法是利用广义解析函数的广义Cauchy积分公式，引入Cauchy主值积分，通过对区域边界的离散化，得到边界积分方程，再利用边界条件得到问题的解。

It proves that others are sb that you take some things out, it proves that oneself is not sb to come too

你拿出点东西来证明别人是sb，同样来证明自己不是sb。

In 3D scalar Helmholtz equation computation, for the first time, this dissertation proves that there is an analytical solution of infinite series convegence for the problems satisfying the MT expansion condition, derives the MT general solution formula and the using laws, proves or explains the using rules that are used in the GMT and but they can't be proven or explained by The GMT.

首次从理论上证明，在三维静电场分析中，存在一种无穷级数收敛，且有一定普遍性的解析解；推导出三维静电场分析的多极理论通解及其使用规则，证明或解释广义多极技术不能证明或解释的若干使用规则，用多极理论求解工程实际中的三维静电场边值问题。

In 2D eddy current field computation, for the first time, this dissertation proves that there is an analytical solution of infinite series convegence for the problems satisfying the MT expansion condition, derives the MT general solution formula and the using laws, proves or explains the using rules that are used in the GMT and but they can't be proven or explained by the GMT, and solves several real engineering examples of 2D eddy current field boundary-value problems by the MT.

本文从电磁理论和有关数学定理出发，通过引入内极、外极、内交角的概念，建立一种新的电磁场计算体系——电磁场分析中的多极理论；从理论上证明，在电磁场分析中存在一种无穷级数收敛，且有一定普遍性的解析解。

The following is Ti-He which value is -6480.3 876eV. Ti-He(o2) had the more stable structure of four systems of Ti-He. The variety of volume before and after Geometry optimization proves this result. The population analysis also proves the interaction between helium atom and Ti was electrovalent bond.

利用Dmol3对钒、钛八面体和四面体团簇计算的结果表明，氦原子在金属钒四面体间隙的嵌入能比八面体间隙低，嵌入能为5eV；氦原子在金属钛八面体间隙的嵌入能比四面体间隙低，嵌入能为0.2eV。

Taking the evidence both scriptural and traditional as it actually stands, one may fairly maintain that it proves papal infallibility in a simpler, more direct, and more cogent way than it proves the general doctrine independently; and there can be no doubt but that this is so if we accept as the alternative to papal infallibility the vague and unworkable theory of ecumenical infallibility which most High-Church Anglicans would substitute for Catholic teaching.

以证据都圣经和传统，因为它其实是主张，有人可能会保持相当，这证明教皇infallibility在一个更简单，更直接，更有力的方式证明它比一般学说独立；有可以，但毫无疑问，这是因此，如果我们接受作为替代教皇infallibility含糊不清的和不可行的理论合一infallibility ，其中最高教会圣公会将取代天主教教学。

VI.Where the transfer of any patent or patent application right or the license of patent right is involved in the import of technology or equipments by any foreign trade business operator, the transferrer or the licenser shall be required to show the certification documents that proves the validity of the patent or the certification materials that proves the existence of the right to apply for patents.

六、对外贸易经营者引进技术设备涉及专利权转让、专利申请权转让或专利实施许可的，应当要求转让方或许可方出示该专利有效的证明文件或存在专利申请权的证明材料。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。