片语

Inequation software不等式软件

jensen inequationjensen不等式

variational inequation变分不等方程

schurz inequation舒尔茨不等式的推广

inequation detail不等式方程

testifying inequation证明不等式

lyapunov inequationlyapunov不等式

Chernoff InequationChernoff不等式

matrix inequation矩阵不等式

英汉例句

• in this paper, the wide-diameter of generalized hypercube is proved in two ways whose difference is to use mathematical induction and constructing method to prove the inequation (1) .

  论文用两种方法给出了广义超立方体网络宽直径的具体证明，而两种方法的主要区别在于分别采用数学归纳法和直接构造法证明了不等式（1）。

• we only prove an inequation rather than the standard dataflow equation (8) because we are interested only in the correctness of the solution, not in its optimality.

  我们只证明这个不等式方程，而没有证明标準数据流方程（8），原因是我们所感兴趣的只是解的正确性而不是解的最优性。

• then its optimization result was presented by means of genetic algorithm because of some discrete parameter , complicated target function and inequation constraint.

  考虑到该优化问题的目标函数非常复杂且涉及到不等式约束、离散变量的处理技术等问题，采用了基于遗传算法的优化计算方法。

• screw parameters in vgcn specified by tolerances in tn are expressed as inequation, which is inequation constraint in optimization of tolerance values.

  研究了公差网络中的各公差对相应的旋量参数的约束不等式表示，从而构成了公差大小优化的不等式约束。

• problems of variation-like inequation and generalized variational inclusion are important tools for the study of non-convex optimization problems and non-convex and non-differentiable optimization.

  似变分不等式和广义拟似变分包含问题是研究非凸最优化问题、非凸和不可微最优化问题的重要工具。

• this article structures and extends an analytic geometry model for a inequation based on combining numbers and shapes.

  利用数形结合的思想为不等式构造解析几何模型，并加以推广。

• a new reduced-order robust filtering method for linear system is derived based on linear matrix inequation methods.

  作为大系统鲁棒滤波研究，本文利用线性矩阵不等式得到了一个新的线性系统降阶鲁棒滤波算法。

• with the weighting function matrix as design parameters, the design of a control system can be expressed as a multi-objective optimization problem with inequation constraints.

  若将加权阵当作设计参数，则控制系统的设计可以表示为一个满足一组不等式约束的多目标优化问题。

• use the primal-dual path flowing method to alternate the inequation into equation and introduce impediment parameter to ensure the optimization is always in feasible region, predigest the calculation.

  并用原始-对偶内点法把不等式约束改造成等式约束，引入障碍参数，使寻优始终在可行域内进行，大大简化了计算过程。

• schedulability test inequation of the algorithm is presented in the paper. the validity and the flexibility of the algorithm are proved through the analysis of classical task sets.

  文中给出该算法的可调度判定不等式，并且通过对经典任务集的调度结果，验证了算法的有效性和灵活性。

• without considering the saddle-node bifurcation problem, the solution of atc is mainly decided by those inequation constrains.

  在不考虑鞍节分岔点的情况下，atc问题的解主要受制于不等式约束。