证明性的

In addition also introduced the differential theorem of mean in the proof equality and the inequality, the certificate equation root existence, asks the limit, to ask the approximate value, as well as aspect and so on research function condition should thus deepen to the differential theorem of mean understanding.

此外还介绍了微分中值定理在证明等式和不等式、证明方程根的存在性、求极限、求近似值，以及研究函数性态等方面的应用，从而加深对微分中值定理的理解。

ABSTRACT In this thesis, using the methods of ODE and calculus of variations, we prove the existence of radial and non-radial solutions of some classes of quasilinear elliptic equations.

本文主要是用ODE方法和极小变分方法证明拟线性椭圆型方程径向解和非径向解的存在性，用先验估计方法证明拟线性抛物型方程整体解的不存在性，得到了一些关于拟线性方程的新结果。

By re-prove the theorem on the relationship between information entropy and roughness of knowledge,this paper finds that it is conditional information entropy which exists one-to-one relationship with roughness of knowledge.Then several related theorems are given and proved.

该文通过重新证明知识粗糙性和信息熵的对应关系定理，找到与知识粗糙性存在一一对应关系的是条件信息熵，并给出相关定理及其证明。

Furthermore, the first-order optimality condition and its equivalent reformulations for generalized semi-infinite max-min programming with a non-compact set are presented using the lower-Hadamard directional derivative and subdifferential.2. Chapter 3 studies the gradient-type methods for unconstrained optimization problems. Section 1 proposes a new class of three-term memory gradient methods. The global convergence property of the method is established. Furthermore, in order to improve the convergence property of the method, a new class of memory gradient projection methods is presented with the property that the whole sequence of iterates converges to a solution to the problem under the conditions such as pseudo-convexity and continuous differentiability of objective function. In section 2, two new classes of methods, called gradient-type method with perturbations and hybrid projection method with perturbations, are proposed. In these methods, non-monotone line search technique is employed, which makes them easily executed in computer.

第3章研究了无约束优化问题的梯度型算法，第1节提出了一类新的三项记忆梯度算法，讨论了算法的全局收敛性，进一步提出了一类新的具有更好收敛性质的记忆梯度投影算法，并证明了该算法在函数伪凸的情况下具有整体收敛性，第2节在非单调步长搜索下提出了带扰动项的梯度型算法及其混合投影算法，这两类算法的一个重要特征就是步长采用线搜索确定而不象许多文献中那样要求步长趋于零，这样更容易在计算机上实现，在较弱的条件下证明了这些算法的全局收敛性，数值算例表明了算法的有效性。

The paper also gives proofs of the correctness,the blindability,the undeniability non-repudiation and distinguishability of the scheme.

论文对方案的正确性、盲性、不可伪造性、不可抵赖性和可区分性进行了证明。

Finally, in the third section, by constructing some functional which similar to the conservation law of evolution equation and the technical estimates, we prove that in the inviscid limit the solution of generalized derivative Ginzburg—Landau equation converges to the solution of derivative nonlinear Schrodinger equation correspondently in one-dimension; The existence of global smooth solution for a class of generalized derivative Ginzburg—Landau equation are proved in two-dimension, in some special case, we prove that the solution of GGL equation converges to the weak solution of derivative nonlinear Schr〓dinger equation; In general case, by using some integral identities of solution for generalized Ginzburg—Landau equations with inhomogeneous boundary condition and the estimates for the L〓 norm on boundary of normal derivative and H〓 norm of solution, we prove the existence of global weak solution of the inhomogeneous boundary value problem for generalized Ginzburg—Landau equations.

第三部分：在一维情形，我们考虑了一类带导数项的Ginzburg—Landau方程，通过构造一些类似于发展方程守恒律的泛函及巧妙的积分估计，证明了当粘性系数趋于零时，Ginzburg—Landau方程的解逼近相应的带导数项的Schr〓dinger方程的解，并给出了最优收敛速度估计；在二维情形，我们证明了一类带导数项的广义Ginzburg—Landau方程整体光滑解的存在性，以及在某种特殊情形下，GL方程的解趋近于相应的带导数项的Schr〓dinger方程的弱解；在一般情形下，我们讨论了一类Ginzburg—Landau方程的非齐次边值问题，通过几个积分恒等式，同时估计解的H〓模及法向导数在边界上的模，证明了整体弱解的存在性。

Since the solutions of this problem are the critical points of the associated energy function. One generally needs some compactness such as PScondition or C-condition to prove the existence of critical points of the energy func-tion, but when we study the elliptic equation in R~N, the compactness condition does not always hold since the imbedding of the Sobolev space H_0~(1,2)into L~(2*) is not compact. In this chapter, based on the nonsmooth critical point theory, and by using the approximation technique with periodic function, the existence of nontrivial solution is obtained.

由于该方程的解就是其所对应的能量泛函的临界点，通常都要在一些紧型条件的基础上来证明其所对应的能量泛函临界点的存在性，但当我们在无界域上考虑该椭圆方程解的存在性时，Sobolev空间H_0~(1，2)到L~(2*)的嵌入非紧，从而导致所对应的能量泛函失去紧性，本章在非光滑临界点理论的基础上，应用周期逼近的方法证明该问题非平凡解的存在性。

We also introduce a control function, prove the global convergence, and prove the local superlinear convergence under some conditions. Then we propose another new algorithm by using an existed approximation functions, which has the same characters as the first algorithms does. Finally, the result of the numerical experiments indicates the efficiency of the first algorithm. The paper contains four parts.

本文还引入了新的控制函数，并证明了算法具有全局收敛性和在一定的条件下具有局部超线性收敛性；然后，在第一个算法的基础上，本文利用已有的光滑逼近函数提出了另外一个新的算法，通过适当参数选取，证明了新的算法具有与第一个算法同样良好的收敛性质；最后，通过数值计算说明了算法的高效性。

Among them strain MZ1 had been confirmed a lysogenic strain by indicator strain ZK1 after producing phage plaques induced by Mitomycin C.Two templates of overnight cultivation and its DNA from strain MZ1 were then amplified in the same time with five pairs of primers designed from the same phage,and the same products were obtained,suggesting that strain MZ1 was also confirmed a lysogenic strain by PCR method.

MZ1菌株的过夜培养液与指示菌ZK1(血清型H25)混匀并在双层琼脂上培养12 h后出现了滴度为2×107 pfu的噬菌斑，从而证明生产菌株MZ1确为溶原菌；又以GIL01同源性较高的其它四个基因设计引物，分别以MZ1的培养物及其溶原性噬菌体基因组为模板进行PCR扩增，结果两者得到几乎一致的带型，进一步证明了生产菌株MZ1为溶原菌，说明利用PCR法检测鉴定苏云金杆菌的溶原性是可行的。

For preparing for the researches of text digital watermarking and advantaging other researchers" development when using the Chinese mathematical expression theory, this paper designs and realizes a development platform of Chinese mathematical expression. It has been proved by experiments that the platform"s function, execution speed and stability can satisfy the requirements of conversion and operation of enormous data.This research found out that the structure information of Chinese have plenty redundant information that can be used by the Chinese mathematical expression for the digital watermarking, the data embedded can possess better robustness. Based on this finding, this paper designs a kind of text digital watermarking method of embedding watermarking by using Chinese structure, and realizes the method by using the Chinese mathematical expression platform.Considering the watermarking embedding algorithms importance to the robustness of the text digital watermarking, this paper makes fully use of the advantage of the Chinese mathematical expression theory to design a kind of layered text method, which has being realized by using the Chinese mathematical expression platform. The layered text method can handle the text as a solid structure, and the embedding data havepreferable robustness.Finally, based on the researches of the text digital watermarking method and the text layered method, this paper integrates the method of making use of the Chinese structure embedding watermarking with the robust algorithm based on text layered, and realizes a brand-new text digital watermarking method. Proved by lots of experiments, this brand-new method has good robustness and better invisibility.

为了为研究工作做准备和方便其他使用汉字数学表达式理论体系的人进行开发，本文基于汉字数学表达式理论设计实现了一个汉字数学表达式平台，实现了Unicode汉字集中的汉字、汉字数学表达式、汉字的Unicode码之间的相互转化、依据汉字数学表达式提取汉字的结构信息、由汉字数学表达式在非中文平台上不依赖字库显示汉字的图像等功能，使用复合文档技术和流压缩技术进行数据的存储，使用对汉字数学表达式进行二叉树拆分来处理汉字数学表达式中包含的信息，使用自定义哈希函数来提高运行速度，实验证明，该平台功能、速度和稳定性完全能满足大量数据的转化和运算要求；通过研究表明汉字的结构信息中存在大量可使用汉字数学表达式理论加以利用的水印加载空间，加载在该空间的数据可以具有较好的鲁棒性，基于此，本文设计了一种利用汉字结构加载水印的文本数字水印方法，并使用汉字数学表达式平台将其实现；由于水印嵌入算法对于文本数字水印的鲁棒性至关重要，本文充分利用汉字数学表达式理论的优点，设计了一种文本分层的方法，并使用汉字数学表达式平台将其实现，使文本成为一个立体的空间，使嵌入在其中的数据具有更好的鲁棒性；最后在基于汉字数学表达式的文本数字水印嵌入方法的研究和基于汉字数学表达式的文本分层方法的研究的基础上，结合利用汉字结构嵌入水印的方法和基于文本分层的抗攻击文本水印嵌入算法实现了一种全新的文本数字水印方法，经实验证明，该方法有良好的鲁棒性和较好的隐蔽性。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。