查询词典 strict inequality

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型引理得到一个能量不等式，对解的范数给出先验估计。

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.

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

Then we derive first-order necessary optimality conditions for optimization problems with affine variational inequality, which joint upper-level feasible region Z includes a linear inequality constraint and a linear equality constraint.

其次，我们研究Luo的带仿射变分不等式约束优化问题，其中上水平约束Z不仅含有线性不等式约束，而且含有等式约束情形时的一阶最优性条件，同时还给出了Z的切线锥的表达式。

Under some moderate conditions, the prior estimate of the solutions of the system is obtained. Making use of constructing Picard iterative sequence, Doob martingale inequality, Gronwall inequality, Borel-Cantelli lemma and some fundamental inequalities, together with the uniform Lipschitz conditions, the existence and uniqueness of the solution for stochastic functional differential equations with infinite delay is derived on the interval t0,∞.

在适当的条件下，得到了随机泛函微分方程的解的先验估计；再结合一致Lipschitz条件，通过构造Picard迭代序列，利用Doob较不等式、Gronwall不等式、Borel-Cantelli引理及一些基本不等式，得到该方程的解在区间[t0，∞]上是存在且唯一的。

Article 144 The Government of the Hong Kong Special Administrative Region shall maintain the policy previously practised in Hong Kong in respect of subventions for non-governmental organizations in fields such as education, medicine and health, culture, art, recreation, sports, social welfare and social

第一百四十四条香港特别行政区政府保持原在香港实行的对教育、医疗卫生、文化、艺术、康乐、体育、社会福利、社会工作等方面的民间团体机构的资助政策。原在香港各资助机构任职的人员均可根据原有制度继续受聘。

Small wonder, then, that the Chinese spend more in the shop than any other group of foreign visitors do .

这样的小惊喜，使中国顾客比任何国家的人消费得更多。