查询词典 cauchy inequality

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，∞]上是存在且唯一的。

Based on the fundamental theory of impulsive differential systems, employing Green formula, Gauss divergence theorem, Jensen inequality and Gronwall-Bellman inequality with impulse, we discuss the oscillation of impulsive partial differential systems by adopting reduction to absurdity and the stability in via of comparison theorem, respectively. Especially, we take an in-depth study on the oscillation of neutral impulsive parabolic systems and the stability of a class of nonlinear impulsive partial differential equations and obtain some useful conclusions.

本学位论文以脉冲微分系统基本理论为基础，利用反证法的分析方法和比较定理，结合Green公式、Gauss散度定理、Jensen不等式、含脉冲的Gronwall-Bellman不等式以及相关数学工具研究了脉冲偏微分系统的振动理论和稳定性理论，特别对中立型脉冲时滞抛物系统的振动性和一类非线性脉冲偏微分系统的稳定性作了较为深入的研究，给出了一些有用的结论。

Recent studies on the geometric inequality for the n-dimensional simplex produce many important geometric inequalities;however,the study on the problem of the geometric inequality for the pedal simplex has been very few.

关于n维单形的几何不等式研究，近期建立了许多重要几何不等式，然而，关于垂足单形几何不等式研究还是比较少。

So Bell inequality and Entropy inequalitycorrespond to distance-related inequality;while partial energy transpositiontransformation and partial time-reversal transformation correspond to thechanges of certain geometrical parameter in vector expression of density matrix;and directly perceivable language description is available in entanglement region.

部分转置变换和部分时间反演变换对应于密度矩阵的向量表示中某些几何参数的改变，而纠缠区域更是可以有直观的语言描述。

Every individual is different, and one must take the factors of one's personal life into consideration.

每个人的情况都不相同，所以一个人应该把自己生活的方方面面都考虑到。

Li Mou say in QQ, the friend of an other place encountered dot trouble, want to borrow 4000 yuan of urgent need, and oneself do not go again, want to ask bell lady to help.

李某在QQ里说，一个外地的朋友碰到了点麻烦，想借4000元急用，而自己又走不开，想请钟女士帮忙。