查询词典 prove effective

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.

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

The third chapter also analyzes the customs of terming in description of effective date by national peoples congress and its standing committee all the years, giving a picture aboutthe distribution of such effective forms as immediately effective, effective in half year, effective after half year in legal branches.

并分析了我国历届人大及其常委会对法的生效日表述的用词习惯与即时生效、半年内生效、半年后生效在各部门法类中的分布。

First we prove that 0 is an eigenvalue of the operator with geometric multiplicity one,next we prove that all points on the imaginary axis except for zero belong to the resolvent set of the operator,last we prove that 0 is an eigenvalue of the adjoint operator of the operator.

首先证明0是对应于该排队模型的主算子的几何重数为1的特征值，其次证明在虚轴上除了0以外其他所有点都属于该算子的豫解集，然后证明0是该主算子共轭算子的特征值。

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 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

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

In chapter 2, we prove that sn—first countable spaces are preserved by the finite subsequence-covering mappings.By this result, we prove that the finite subsequence-covering, quotient mappings preserve g—metrizable spaces, also prove that the finite subsequence-covering, closed mappings preserve sn—metrizable spaces, g-metrizable spaces, metrizable spaces, point-countable bases.

在第二章中，我们主要证明了有限子序列覆盖映射保持sn-第一可数空间，作为它的应用，又证明了有限子序列覆盖、商映射保持g-第一可数空间，也证明了有限子序列覆盖闭映射保持sn-度量空间，g-度量空间，度量空间，点可数基。

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 this thesis the process of constructing the non-perturbative Hamiltonian theory is de-scribed and is applied to estimate the vacuum condensate. It contains the following contents:At the very beginning, by using the path integral method and eliminating the gluon freedom, aGCM action 〓 of current quarks including lower order current-current coupling was derivedfrom the QCD Lagrangian and the effective Hamiltonian operator that could hardly be doneby the normal methods was derived. After doing this, the broken vacuum is introduced whichincludes quark-antiquark condensate through the generalized Bogoliubov-Valatin transformation,the effective Hamiltonian of constituent quark was derived. The detailed formulas containingthe spatial current-current coupling term for the effective Hamiltonian and gap equations wasworked out by parameterizing the correlation kernel as a quadratic potential. And then, the gapequation was solved and the quark-antiquark condensate of vacuum was studied both in the casesof instantaneous interaction and retarded interaction. In the end, the effective Hamiltionian withtwo-body quark-quark interaction was derived with one-body approximation, and with the helpof the functional integral method the coupling non-linear dynamic equations for systems withnuclear matter was derived. Finally, these equations were solved by selfconsistent method andthe effect of nuclear matter on vacuum condensate was studied. The spatial current-current coupling term is too difficult to handle, hence the correlationkernel is assumed to be not important and usually omitted in the pure vacuum condensate, andthe instantaneous interaction generally is adopted. Retaining the spatial current-current termand partial retardation effect, the quark pairs condensate in pure vacuum was studied, and theeffect of quark mass was also studied. At present, little study is focused in the case with nuclearmatter and spatial current-current term also omitted. Under the approximation with partialspatial current-current term, the effect of nuclear matter on vacuum condensate was studied.

本论文描述了量子色动力学整体色对称模型哈密顿量方法的构建过程，得到了反映正反夸克对凝聚真空结构的关于组分夸克的有效哈密顿量算符，它隐含了胶子作用，并且准确至流-流耦合项；接着，通过参数化哈密顿量中的夸克作用关联核，导出平方禁闭势参数化选择的哈密顿量的具体公式和能隙方程；随后，应用公式，编程求解，考察了瞬时作用下和部分延迟作用下真空的正反夸克对凝聚，在计算中保留了空间流-流耦合作用；之后，导出瞬时势和延迟势下包含二体作用项的哈密顿量公式，并采用单体化近似，通过泛函变分方法得到核物质存在时耦合的非线性动力学方程；在保留部分空间双流耦合作用的近似下，求解核物质的动力学方程，考察核物质密度对真空凝聚的影响，以往考察真空凝聚，对关联核的选用，由于空间流-流耦合项不易处理，也认为作用不大，常忽略该项，并且常采用瞬时作用；本文保留空间双流项和部分延迟作用，考察了真空情形的夸克对凝聚，还考察了夸克质量对纯真空凝聚的影响，以往对核物质存在情形的真空凝聚考察很少，也都忽略空间流-流项，本文在考虑部分空间流-流项近似下，考察了核物质存在对真空凝聚的影响。

This thesis mainly discuss following issues, Theory and simple expressions for array covariance matrixes are derived when angular spread functions are symmetric distribution functions, i. e. the Uniform distribution, the Gauss distribution, the Laplace distribution and the Von Mises distribution, and a non-symmetric distribution function, i. e. the Gamma distribution. And the relation between the effective signal subspace and the array number, or and the nominal angle of the distributed source, the angular spread, the distributed functions, and the Signal-to-Noise Ratio is gained. The dimension of the effective signal subspace increases with increment of the array number. And it is more obvious to the non-symmetric distribution. The dimension of the effective signal subspace decreases with increment of the nominal angle. And the distributed source is equal to a point source as θ=π/2. The dimension of the effective signal subspace increases with increment of the angular spread.

本论文针对阵列信号处理中广泛存在的分布源现象，主要讨论了以下问题：推导了角度分布函数分别为对称的均匀分布、高斯分布、拉普拉斯分布、Von Mises分布和非对称的伽马分布时，分布源阵列接收信号协方差阵的严格模型和简化模型，得到了单个分布源的有效信号子空间随阵元数、分布源中心角、分布角、角度分布函数和信噪比的变化规律：随着阵元数的增加，对所有角度分布函数的有效信号子空间维数也随着增加，且非对称分布函数的有效信号子空间充满整个空间的可能性更大；随着分布源中心角逐步增加，有效信号子空间维数逐步减小，当θ=π/2时，等价于点源情形；随着分布源分布角逐渐加大，有效信号子空间维数也随之增加，直到有效信号子空间充满整个空间；随着信噪比的增加，有效信号子空间维数有一定程度的减少。

RESULTS: The average dose of venlafaxine was (196±s 48) mgd^(-1), the average effective time was (8±3) d, and the effective rate was 68%. The average dose of mirtazapine was (32±11) mgd^(-1), the average effective time was (12±6) d, and the effective rate was 65%. The scores after treatment were significantly decreased in both groups. The scores of HAMA were (33±3)%(wk 1) and (50±3)%(wk 4) in venlafaxine group,(14±3)% and (31.0±2.3)% in mirtazapine group.

结果：文拉法辛组治疗剂量为(196±s 48) mgd^(-1)，显效时间(8±3) d，有效率68%，米氮平组分别为(32±11) mgd^(-1)、(12±6) d、65%。2组疗效量表评定结果均较治疗前有显著下降，特别是文拉法辛组wk 1和wk 4的HAMA减分率为(33±3)%和(50±3)%，米氮平组为(14±3)%和(31.0±2.3)%，前者下降更为明显。

This is the inheritance of the tribe of the children of Issachar according to their families, the cities and their villages.

19：23 这些城并属城的村庄就是以萨迦支派按着宗族所得的地业。

I've have enough of your garbage.

我听了你的废话。