查询词典 expound and prove

The paper makes the change of politics, economy and culture of Qin history as the center to expound and prove forming reasons of ancient city culture, regales SHI JING as material to expound spirit journey and era characteristics of ancient city culture.

中国古代文化的形成和发展是有着具体的历史环境和原因的，古代城市文化是伴随着中国古代历史文化的发展而来。

First of all, I, to some basic theory knowledge of the scenic spot, concept, important document of the composition, function, historical development of the scenic spot are described , among them differentiate and analyse the difference between scenic spot, nature reserve , Forest Park , tourist zone , foreign national park especially, pass the comparison in such several respects as nature , definition , establishment conditions , aim , building policy ,etc, can find out there are very great differences in scenic spot and other areas , it is an independent legal area; Secondly, I analyse to China and foreign legislative overview of scenic spot, list the scenic spot in the national park or protection zone system abroad , has made the special" law of protection zone " and " law of national park ", China"s corresponding legislation is more weak , there is not a special scenic spot to legislate at present in China, only an administrative statute that the State Council issued in 1982 -" provisional administrative regulations of scenic spot"; Moreover, I set up with the existing legislative existing problem of scenic spot in our country is it expound the fact to go onning to of our country planning , management, property right that scenic spot exist, it will must set about making " the law of scenic spot" while saving the scenic spot to strengthen the protection management to the scenic spot at the present stage; Finally, I belong to to legislative aim , legislative principle , right, our country of " scenic spot law such basic frames as the system , management system , legal liability ,etc. is it expound the fact to go on..

首先，笔者对风景名胜区的一些基础理论知识，风景名胜区的概念、构成要件、功能、历史发展等问题进行论述，其中重点辨析了风景名胜区与自然保护区、森林公园、旅游区、外国国家公园的区别，通过性质、定义、设立条件、宗旨、建设方针等几方面的比较，可以看出风景名胜区与其他区域有很大差别，是一个独立的法定区域；其次，笔者对中国和国外风景名胜区立法概况进行分析，国外将风景名胜区列入国家公园或保护区体系，并制定了专门的《保护区法》和《国家公园法》，而中国相应立法则比较薄弱，中国目前没有一部专门的风景名胜区立法，只有一部国务院在1985年颁布的行政法规——《风景名胜区管理暂行条例》：再次，笔者对我国风景名胜区存在的规划、管理、产权设置和我国现有的风景名胜区立法存在问题进行论述，现阶段要加强对风景名胜区的保护管理，挽救风景名胜区，必须着手制定《风景名胜区法》；最后，笔者对我国《风景名胜区法》的立法宗旨、立法原则、权属制度、管理体制、法律责任等基本框架进行论述。

Main points of this paper are as follows:(1) to explain emphatically and to prove the Jukes-Cantor Model, Kimura Model and the relationships of them;(2) to construct and to prove, using EM algorithm, the theorems of estimating best branches of DNA sequences having censored data for Jukes-Cantor Model under the conditions of rooted tree and unrooted tree respectively;(3) to construct and to prove, using EM algorithm, another three theorems of estimating best parameters of DNA sequences having censored data for Kimura Model under the conditions of rooted tree and unrooted tree.

本论文的重点在于解释和证明Jukes-Cantor模型、Kimura模型及两模型之间的关系；运用EM算法构造并证明Jukes-Cantor模型下含缺损数据的DNA序列构建有根树的最佳分枝长度估计定理；运用EM算法构造并证明Kimura模型下含缺损数据的DNA序列构建有根树的最佳参数估计定理。

In chapter three, we prove that there exist solutions to the Ky Fan variation inequality, as the set-valued mappings are defined on spheres in infinite dimensional Banach spaces or odd dimensional Euclidean spaces, following from these theorems, we obtain some fixed point theorems for set-valued mappings defined on a sphere. When G is an approximate compact convex subset of E, or G is a almost quasi-convex set-valued mapping, we prove that there exist solutions to and type generalized Ky Fan variation inequality, following these theorems, we prove several best approximation theorems and coincidence theorems involving two set-valued mappings and two different spaces. In chapter four, we first present a new Simplicial algorithm for computing the Leray - Schauder fixed points, the algorithm can solve the set-valued nonlinear complementarily problem. We give a condition to guarantee the computation proceeding in a bounded region. We present integer-labeling algorithms for computing fixed points of some set-valued mappings, the best approximation points and solutions to a kind of set-valued variation inequalities.

第四章给出了计算定义在非凸集上的非自映射的Leray-Schauder不动点的算法，而现有的不动点算法都是计算凸集的上半连续集值自映射的不动点；给出了保证计算有界的一个充分条件，我们的条件大大弱于Mdrrill条件，我们的算法也可用来计算Eaves不动点；给出了集值非线性互补问题存在解的一个充分条件，此时可利用Leray-Schauder不动点算法来求解；向量标号算法以往是计算集值映射不动点的唯一有效算法，我们给出用整数标号算法计算一类集值映射的Kakutani 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

However,To prove Inequality with elementary method,we often create complex computational process. The second ,we will take full advantage of the knowledge of calculus Inquiry Testimony of inequality,and concluded the higher mathematics to prove Inequality several main method and its application conditions.Constructors in the context of the use of the monotone function,Calculus value theorem,function and the most extreme value,integral, it can be a very effective solution to the inequality problem proof. At last,we summed up several convenient and simple way to prove Inequality.It will be play a great role in our problem Solving.

但是用初等方法证明往往会造成复杂的运算过程，本文接着充分利用微积分的知识探究不等式的证明方法，并指出微分学和积分学在不等式的证明的具体应用，那就是在构造函数的背景下运用函数的单调性、微积分中值定理、函数的极值和最值、定积分，那么就可以十分有效地解决不等式中的证明问题，从而归纳出几种方便而又简捷的方法，这样对我们解题将会起到很大的作用。

Second, dialogic ethic regarded as methodology base of corporate citizenship, to expound and prove that the corporate should agreement on its social responsibilities by dialoging with society 、 government and stake-holder, and to realize harmony between the corporate and society.

二、以对话伦理理论作为企业公民的方法论基础，论证企业应通过与社会、政府及其利益相关者之间的对话与沟通并就其应承担的社会责任达成共识，最终实现企业与社会的和谐互动。

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〓模及法向导数在边界上的模，证明了整体弱解的存在性。

Therefore, in order to offer reference to readers, the paper systematically expound and prove the eigenvalue of special matrix that base on idempotent matrix, antiidempotent matrix, involutory matrix, anntiinvolutory matrix, nilpotent matrix, orthogonal matrix, polynomial matrix, the shape of , matrix, diagonal matrix, invertidle matrix, adjoint matrix, similar matrix, transposed matrix, numerical matrix, companion matrix, and practicality and superiority of the achievement was showed by some examples.

为此本文系统地阐述幂等矩阵，反幂等矩阵，对合矩阵，反对合矩阵，幂零矩阵，正交矩阵，多项式矩阵，形为：，矩阵，对角矩阵，可逆矩阵，伴随矩阵，相似矩阵，转置矩阵，友矩阵一系列特殊矩阵的特征值问题并加以证明，并通过一些具体例子展示所得成果的实用性和优越性。

This article will expound and prove from the basic meaning of fiction and presumption that the two concepts are different ,and there is no intercrossing relation between them.

本文将从考察拟制和推定概念的基本含义出发，来表明这两个概念是严格区分的，并不存在交叉关系。

This paper has introduced the scheme of network auction platform system mainly to expound and prove , the process of realizing of preliminary design as well as detailed design, have discussed overall design ideological, database design and function modular design in detail.

本文主要介绍了网络拍卖平台系统的方案论证、概要设计以及详细设计的实现过程，详细论述了总体设计思想、数据库设计和功能模块设计。

Based on the construction of international financial centre, we have pushed forward the explorations in the integration of cultural industries with financial services.

2010年及整个"十二五"期间，上海文化产业面临更有利的发展时机、更坚实的发展基础和更完善的发展环境。

The koala is an animal with a large bag in its body.

树袋熊用它的身体的一个大的袋子是一只动物。