查询词典 inequality

Secondly, through integrating by parts and using Cauchy inequality, thanks to a lemma of Gronwalls type, an energy inequality is got and a priori estimate is established.

接下来经过分部积分和Cauchy不等式，并利用Gronwall型引理得到一个能量不等式，对解的范数给出先验估计。

Secondly, through integrating by parts and using Cauchy inequality, thanks to a lemma of Gronwall's type, an energy inequality is got and a priori estimate is established.

接下来经过分部积分和Cauchy不等式，并利用Gronwall型引理得到一个能量不等式，对解的范数给出先验估计。

Applying the De Caen"s inequality of sum of the squares of the degree and Cauchy"s inequality, we obtain a strict lower bound and a strict upper bound of the largest Laplace eigenvalues only in terms of vertex number of a unicycle graph. Applying the Laplace matrix theorem of trees, we obtain an upper bound of the second smallest Laplace eigenvalues of a unicycle. Extremal graph whose second smallest Laplace eigenvalues reach the obtained upper bound is determined. We also obtain an upper bound of the second largest Laplace eigenvalues in terms of vertex number of the largest connected branch of unicycle graph, and obtain a theoretical method to calculate the second largest Laplace eigenvalues of unicycle graph. We obtain an upper bound of any Laplace eigenvalues in terms of vertex number of a unicycle graph. We also obtain the distribution of Laplace eigenvalues in the inter [0,n] in terms of the matching number.

本文得到了以下几个方面的结果： 1、利用图度平方和的De Caen不等式和Cauchy不等式给出单圈图的最大Laplace特征值仅依赖于顶点数的严格的上下界；利用树的Laplace理论给出了单圈图次小Laplace特征值的一个上界，并刻画了达到该上界的极图；利用子图的连通分支的顶点个数给出了单圈图次大Laplace特征值的一个上界，并给出了单圈图次大Laplace特征值一个理论上的一个求法；利用单圈图的阶数给出了其一般Laplace特征值的一个上界；利用单圈图的匹配数给出其Laplace矩阵谱在区间[0，n]上的分布情况。

Markov's inequality and Chebyshev's inequality are very important in probabilistic theory.

Markov不等式和Chebyshev不等式是概率论中两个重要的不等式。

Based on this thought, in this thesis, the alternation theorem is first extended to the Chebyshev approximation problems with inequality constraints, and then two algorithms are devised for designing linear phase FIR filters with inequality constraints in Chebyshev sense according to the extended theorem.

L.J.Karam和McClellan在文献[20]中把交错点组定理扩展到复数域，并提出了求解复系数FIR滤波器的复Remez算法，但由于此扩展定理只是一个充分条件，所以此算法不能保证得到最优解。在文献[23]中，他们对复Remez算法进行了完善，使其收敛到最优解。

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

To regard definite integral inequality as numerical value inequality,and use the monotone of function.

我们应当吸取不同时期因脱离群众而导致的曲折和深

By transforming the delayed neural model to the describer model and then employing the Lyapunov-Krasovskii stability theorem, linear matrix inequality LMI technique, S procedure, and some algebraic inequality method, a new sufficient condition is derived, which is determined by the coefficients of the model and includes more tuning parameters for determining the globally asymptotical stability of recurrent neural networks with time-varying delay.

首先将要研究的模型转化为描述系统模型，然后利用Lyapunov-Krasovskii稳定性定理、线性矩阵不等式技术、S过程和代数不等式方法，得到了确保时变时滞递归神经网络渐近稳定性的新的充分条件，并将它应用于常时滞神经网络和时滞细胞神经网络模型，分别得到了相应的全局渐近稳定性条件。

Since any equality constraint is equivalent to two inequality constraints, the algorithm LTR can be used for solving nonsmooth optimization problems with equality and inequality constraints.

同时，由于等式约束等价于两个不等式约束，故算法LTR也适合于求解带一般线性约束的非光滑优化问题。

Firstly, based on the stability criterion for the nominal discrete singular time-delay system, a sufficient condition for the existence of the static output feedback controller in terms of linear matrix inequality with linear matrix equality constraint is established, which ensures that the resulting closed-loop system is regular, causal and robustly asymptotically stable, and the static output feedback controller is designed by the feasible solution of the linear matrix inequality with linear matrix equality constraint.

首先基于标称离散广义时滞系统的稳定条件，以受限线性矩阵不等式形式，得到闭环离散广义时滞系统正则、因果且渐近稳定的充分条件，同时利用受限矩阵不等式的可行解给出静态输出反馈控制器的设计方法；然后采用矩阵的正交补，把求受限线性矩阵不等式的可行解问题转化为求严格线性矩阵不等式的可行解；最后的数值实例说明了所给方法的有效性和正确性。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。