不等式

In this thesis, we study the boundary control problems for the thin shell with a middle surface of any shape by applying Riemannian geometry method.

本文应用Riemann几何方法研究中面为任意形状的薄壳的边界控制问题，在可验证的几何条件下得到边界反馈镇定与能观测性不等式，共分七章。

This paper studies CPC algorithm for semidefinite monotone variational inequalitiesab.

研究关于单调半正定变分不等式的CPC算法。

Secondly, by using the Sobolev inequality on the C-C spaces we prove a Fefferman-Phong type lemma. Based on which we provide nonexistence theorems to three kinds of nonlinear subelliptic parabolic equations through a relatively unified method.

其次，利用Carnot-Caratheodory空间上的Sobolev不等式证明了一个Fefferman-Phong型引理，并用比较统一的方法证明了三类非线性次椭圆抛物方程解的不存在性判定定理。

In this paper,by the matrix method,a necessary and sufficient condition for two n-dimensional synclastic simplexes to be able embedded in the n-dimensional Euclidean space is obtained,as well as for two group finite point sets.

该文利用矩阵的方法，获得了两个同向的n维单形同时等距嵌入E~n维欧氏空间的一个充分必要条件是：对于预给(n+1)~2个距离，满足一组具有行列式形式的不等式组det，由此可以得到两组等数量的有限点集合到E~n维欧氏空间中等长嵌入的一个充分必要条件。

In 1964, John Bell gave out an inequality-Bell inequality, which proves that LHV is uncompatible with QM during a certain kind of experiment measurement.

关于这个问题，Gisin在1991年指出：任何两比特系统纠缠纯态必定违反某一Bell不等式。

It is argued that this problem can be solved using linear matrix inequality although it has been proved that the simultaneous stabilizability of three linear systems is rationally undecidable.

虽然三对象同时镇定问题被证明不是有理可解，然而本文认为基于线性矩阵不等式可解此问题，并给出了直接传输部分相等时同时镇定问题的解。

Newton inequality and Aissen-Schoenberg-Whitney theorem provide the basic link between the property of unimodality and polynomials having only real zeros.

Newton不等式和Aissen-Schoenberg-Whitney定理建立了实零点多项式与单峰型性质之间的联系。

We derive now a useful vari of that inequality.

我们 现在推导这个不等式的另一种有用形式。

Various efficient, convergent and robust algorithms have been developed for such a SCOP. However, a more general constrained optimization problem with not only logic AND but also OR relationships exists in many practical applications.

但是，在实际应用中有很多更一般的约束优化问题，其等式或不等式约束之间不仅包含逻辑&与&关系，而且还包含逻辑&或&关系，现有的针对标准约束优化问题的各种算法不再适用。

We also construct a new algorithm for approximating the solution of this system.

我们也建立了一类新的算法来逼近这一不等式组的解，本文的结果使得近期相关结果成为本文的特殊情况。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。