条件不等式

Some nonexistence results for p-degenerate sub-elliptic first order evolution inequalities associated with the generalized Baouendi-Grushin vector fields are given. The method is an improvement of the admissible function method in Euclidean space. The proof hardly depends on the properties of the generalized Baouendi-Grushin vector fields.

通过改进欧氏的容许函数法，应用广义Baouendi-Grushin向量场的一些性质，选取特殊的容许函数，利用Hlder不等式和Young不等式，证明了由广义Baouendi-Grushin向量场构成的p-退化次椭圆一阶发展不等方程，在适当条件下非平凡弱解的不存在性。

Based on the existence of the solution to a LMI, a sufficient condition is obtained under which the composite systems can be quadratically stabilized with a H〓 norm bound constant on disturbance attenuation for all admissible uncertainties and a necessary and sufficient condition is obtained using BMI.

采用线性矩阵不等式方法，给出了系统可鲁棒H〓分散镇定的充分条件；采用双线性矩阵不等式方法，给出了系统可鲁棒H〓动态输出反馈分散镇定的充要条件，并给出了算法。

In this paper we generalize Bernstein inequality of t he sequence of independent random variables to the martingale difference s, then we give an application of this inequality.

本文将独立随机变量序列的Bernstein型不等式推广到鞅差序列情形，给出该不等式的一个应用，并在一定条件下证明了非参数回归中函数估计的强相合性。

Subsequently,Bihari\'s inequality is generalized to the equation with fractional integral kernel.With the help of the new inequality,we further weaken the condition on equations with special integral kernels,and obtain the corresponding results.

然后，将Bihari不等式推广至具有分式积分核的情形，利用新的不等式对具有特殊积分核的方程条件做了进一步减弱，建立了相应的存在唯一性和正则性结论。

First design a reasonable XML Schema structure and under the restriction of XML Schema use XML to describe the UML class diagram and the related specification, and then extract the test specification of method from XML test script. Test specification refers to predicate sequences in the form of conjunctive normal form, extracted from basic constraint conditions of variables included in test scripts and expected outputs. Each conjunctive normal form can be transformed to an inequation set, and adopt 1×1 domain test strategy to every inequation set to produce the domain test matrix, which in turn produce the test case.

首先设计合理的XML Schema结构，并在该XML Schema的有效性约束下，用XML对UML类图及相关性约束进行脚本描述；其次对XML测试脚本进行分析，提取方法的测试规约说明，所谓测试规约说明就是从测试脚本中包含的变量的基本约束条件以及期望输出中抽取得到的以合取范式形式存在的谓词序列；每一合取范式对应一个不等式组，对每一个不等式组采用1×1域测试策略，生成域测试矩阵，最终得到测试用例。

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的切线锥的表达式。

Motivated by the newψfunctional stability,we can establish some new kinds of stabilities which are different from the exponential stability.With the help of semimartingale convergence theorem,stochastic calculous,moment inequality,Burkholder-Davis-Gundy inequality,Gronwall inequality etc.,we find that the product ofψfunction and the solutions of neutral equations will approach a nonempty set if some specific conditions are satisfied.

我们应用半鞅收敛定理、随机微积分的相关知识以及矩不等式、Burkholder-Davis-Gundy不等式和Gronwall不等式等技巧，得到中立型随机泛函微分方程的解与特定的"ψ函数"的乘积在一定的条件下将趋向某非空集合这一结论，并建立了该中立型方程的随机LaSalle型定理。

A necessary and sufficient condition for the existence of guaranteed cost control is derived. Furthermore, it is shown that this condition is equivalent to the solvability of a system of linear matrix inequalities, and its solution provides a parameterized representation of guaranteed cost controllers. Based on that, the design of the optimal guaranteed cost controller is formulated as a convex optimization problem, which can be solved by the existing convex optimization techniques.

通过采用线性矩阵不等式的方法，导出了存在保性能控制律的一个充要条件，进而，证明了该条件等价於一组线性矩阵不等式的可解性问题，并用这组线性矩阵不等式的可行解给出了保性能控制律的一个参数化表示。

In Chapter 2,we first generalize a waterman inequality by usering Clliffordmatrix represenation of n-dimensional 〓 transformation group 〓.

在第二章中，我们研究了关于离散群的一些不等式。首先，我们利用CHifford矩阵研究了〓上的〓变换群不等式，给以一定的限制条件，通过大量复杂的、技巧性计算，改进了Wateman不等式。

Under weaker conditions(without theirhomogeneous conditions,monotonic inequalities and Lipschitz conditions)than that which Iwaniec and other people imposed on some specialsystems(quasi-regular mappings),using Hodge decomposition theoremto construct testing function,after a series of complicated calculation,weobtain the same regularity results as them to a more general non-linearelliptic systems(2):under certain conditions,the very weak solutionsto non-linear elliptic systems(2)are weak solutions.

对一般的方程组（2），我们减弱了Iwaniec等的齐次性条件、单调不等式以及Lipschitz型条件，利用Hodge分解定理来构造试验函数，并进行了一系列复杂的计算，在没有Lipschitz型条件的情况下，也得到了与itz型条件的情况下，也得到了与，即在一定的条件下，方程组（2）的很弱解是弱解。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。