不等式组

A sufficient condition for the systems to be asymptotically stable, which is dependent on whether LMI is feasible, is presented.

给出了以线性矩阵不等式组的形式表示的该控制器存在的充分条件。

But when refers to linear system of strict inequalities, the linear programming method is not proper, as its result is often the boundary point instead of the solution.

但对严格线性不等式组，线性规划方法一般得到的是的边界点而不是问题的解。

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域测试策略，生成域测试矩阵，最终得到测试用例。

First, we consider an iterative algorithm of Jacobi type and the corresponding domain decomposition algorithm for a approximate quasivariational inequality system of the Hamilton- Jacobi- Bellman equation and the corresponding convergence problem.

本文研究了逼近Hamilton-Jacobi-Bellman方程的拟变分不等式组的离散问题的Jacobi型迭代算法和Jacobi型区域分解法及其收敛性问题。

In this paper,some characterizations of solutions for a system of vector variational inequalities are derived under the a.

该文研究了一类向量变分不等式组，在PPM条件下，对其解进行了一些刻画此外，给出了该向量变分不等式组的一个间隙函数，并在强单调条件下，证明了它是弱尖极小的。

By using the projection method, we prove the existence and uniqueness of solutions for this new system of generalized variational inequalities.

在本文中，我们首先引入了一类新的关于松弛协强制映射的广义变分不等式组，通过用度量投影的方法，我们证明了这类广义变分不等式组解的存在性和唯一性。

In this paper, some characterizations of solutions for a system of vector variational inequalities are derived under the assumption of PPM (where F and-F are both pseudomonotone). Moreover, a gap function for this system of vector variational inequalities is suggested and proved to be weak sharp minima under strong monotonicity.

该文研究了一类向量变分不等式组，在PPM条件下，对其解进行了一些刻画此外，给出了该向量变分不等式组的一个间隙函数，并在强单调条件下，证明了它是弱尖极小的。

Linear Diophantine equations and inequations appear often in modeling and practical application, which play an important role in the transportation.

而线性丢番图方程组及不等式组的求解是实际应用中经常遇到的一类问题，在物流、运输中起着重要的作用，于是对线性丢番图方程组及不等式组的求解就显得尤为必要。

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维欧氏空间中等长嵌入的一个充分必要条件。

Aiming at this problem, firstly, calculation formulae of utilization adhesion coefficient after installment of retarder were detailedly deduced. Then braking force distribution ratio , braking intensity and vehicle full-load parameters were taken as variables and inequalities which are about of retarder braking force , braking force distribution ratio , braking intensity and vehicle full-load parameters were established based on the ECE Law. The range of corresponding to any , as well as the most optimal matching between them, were obtained by solving these inequalities.

为此，论文在推导了安装缓速器后前、后轴利用附着系数、的计算公式基础上，基于ECE法规要求，以制动力分配比、制动强度及车辆满载参数为变量，建立了缓速器制动力关于车辆制动力分配比、制动强度和满载参数之间的多元不等式组，通过求解多元不等式组获得缓速器制动力与制动力分配比之间的取值关系，并从中得到二者之间的最优匹配。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。