满足

Moreover, when a design is pronounced incorrect by model checking methods, a counterexample is reported.

而模型检测方法是一种有效的完全自动的形式验证方法，它可以完全自动的验证系统模型是否满足某种属性，并且在不满足时，能找出导致错误的输入路径。

Its crushing performance can only meet the crushing requirements for the coal and the softer declaim nation so that the application is restricted and the mine application requirements can not be met .

其破碎性能仅能满足煤及较软剥离物的破碎，使用受到了限制，不能满足矿山使用要求。

Close in battalion, client satisfaction is spent and the many respects such as discharge, CNET does not have decretal person satisfaction.

在营收、客户满足度和流量等多个方面，CNET都无法令人满足。

Using the concept of the of weighted residual method and choosing the fifth B-spline as a trial function to meet the needs of boundary conditions,the mechanical problem of large deflection of a rectangular thin plate is discussed.

采用加权残值法探讨大挠度力学问题时，用5次B样条作为未知函数的试函数，使其直接满足边界条件，这种方法与传统的有限元法相比，具有未知量少，自由度少，连续性强，边界条件容易满足等优点

It is proved by experiments that this CCD deriver completely meets the design requirements. The whole measurement system can work precisely when this driver is integrated into another measurement circuit

实验结果表明：该驱动电路完全满足设计要求，当将其集成到其它测量电路中时，整个测量系统可正常工作，且测量精度满足要求。

The routine design method of the dike dam is, which is borrowed the experience of deviser, followed the relative criteria and requests, and set up the engineering instance after making choices of the dam, to carry on the dam arrangement and figure designation. Then it should carry on the seepage analysis inside the dam and the stable calculation of the dam slope. It also needs to check whether to satisfy the norm request of design, then gets a feasible scheme.

常规的堤坝设计方法是在选定坝址后凭借设计人员的经验，遵循有关规范和运行要求，并参照已建工程实例，进行坝体布置和体形设计，然后进行坝内渗流分析和坝坡的稳定计算，以检查所选的方案是否满足设计规范的要求，如果满足，即得到一个可行方案。

However, she was satisfied to be together with her, was satisfied with Oliver's guidance, and she believed him devoutly.

但她满足于与他的厮守，满足于他对她的指点，虔诚地相信他。

The difference schema of the initial boundary value problem was converted to the step-by-step form,which was similar to the difference schema of the initial value problem.It is concluded that the difference schema satisfying the Von Neumann condition is a stable schema,and that,under the consistency condition,such stable schema is convergent.Moreover,with error estimate expression for the difference approximation to the classical solution,the linearity condition is unnecessary.

引入反投影算子将发展方程初边值问题的差分格式转化为与初值问题差分格式类似的逐步推进的形式，从而得出：满足Von Neumann条件的差分格式是稳定的格式；在相容条件下，差分格式若稳定(或满足VonNeumann条件)则格式收敛，且对古典解的差分逼近有误差估计式，不再需要线性的条件。

In this paper,we consider necessary conditions for optional control of second order ordinary differential equation with coefficient control and two point boundary value,thenobtain the inequality of variation.

在这篇文章中，我们考虑控制出现在最高阶系数上二阶常微分方程系统最优控制满足的必要条件，得到了最优控制满足的变分不等式。

Be contented with what you have but be discontented with what you are.

满足於你的所有，但不满足於你的为人。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷