满足

It is proved that the choice function must satisfy the axiom of consistency if the choice function meets the axiom of substitutability together with quotafilling condition; then, it is driven that the choice function is a path independence choice when it satisfies the substitutability and consistency condition.

首先证明了在替代性原理的前提下，选择函数定额充分是满足一致性原理的充分条件；得出了当选择函数满足替代性和定额充分条件时，必定满足路径无关性选择的结论。

A secure system consists of many sub——systems, even though every one of those sub-systems satisfies a certain security property, the composed system may not be secure, i.e. the composition maybe not satisfy the security property. It does mean that the security property should be composable.

安全系统是由许多子系统组成，每一子系统都必须满足一定的安全性质，但这不能保证由这些子系统组合而成的系统也是安全的，即组合的系统不一定也满足给定的安全性质，所以要求系统的安全性质满足可结合性。

Then the FPK equation governing the joint probability density of amplitude and phase, the backward Kolmogorov equation governing the conditional reliability function, and the Pontryagin equation governing the mean first passage time are established, respectively.

随机微分方程。在此基础上，建立联合概率密度满足的Fokker-Planck-Kolmogorov方程、条件可靠性函数满足的后向Kolmogorov方程以及平均首次穿越时间满足的Pontryagin方程，分别求解这些方程得到联合概率密度、条件可靠性函数以及平均首次穿越时间。

His every depraved whim was satisfied -- his hunger sated by snacking on live gorgs, his lasciviousness by the performance of his favored dancing girls.

他堕落的欲望透过这些来满足：生吃gorg当做点心，满足他的饥饿，至於他的色欲，则透过他宠爱的舞女表演舞蹈来满足。

Einstein was content to lead a simple life, but he was never content with his presentachievements.

说明］content是形容词，"满足的，满意的"；两个词组的意思是"满足于……"，"做……很满足"。

The satisfiability of conjunction normal form is a typical NP-complete problem. To study the complexity of SAT problem, a new concept of saturated clause muster has been introduced with using the characteristic of saturated clause muster. The sufficient condition of SAT problem was approved to be a polynomial and has opened out essential distinction of 2SAT and 3SAT problems.

合取范式可满足性问题是典型的NP完全问题，本文引入了一个饱和子句集的新概念，利用饱和子句集的特性，研究了SAT问题的复杂性，证明了SAT问题复杂性为多项式的一个充分条件，并揭示了二元可满足性问题与三元可满足性问题的本质差别。

In this paper,in residue class ring Z_m,the concept of the strict avalanche criterion of order k of m-valued logical functions is presented.

给出了剩余类环Zm上逻辑函数的k阶严格雪崩准则的概念，用概率方法证明了m值逻辑函数满足高阶严格雪崩准则时一定满足低阶严格雪崩准则，并借助Chrestenson谱给出了m值逻辑函数满足k阶严格雪崩准则的一个充分必要条件。

A minimal unsatisfiable subformula can provide a succinct explanation of infeasibility of formulae in satisfiability modulo theories, and could be used in automatic tools to rapidly locate the errors.

极小不可满足子式能够为可满足性模理论公式的不可满足的原因提供精确的解释，帮助自动化工具迅速定位错误。

In this process control system, an on-line electronic viscosimeter has been developed to determine the reaction end of adhesive using the technology of photoelectricity and microcomputer, at the same time to meas ure the temperature of adhesive in the electronic viscosimeter .

第三，胶液pH值的检测和控制也是脲醛树脂胶生产的关键要素，为了满足本系统计算机对胶液pH值的实时检测和控制，现有国产pH计尚不能满足这一要求，因此根据pH值的测量的原理重新设计pH计，采用微电脑技术和软件技术，实现pH计的工业标准电信号输出接口(或RS232接口)，以满足控制系统的要求。

Derive the requirement to strain and displacement of Patch Test. Give the relationship between weak form of continuity equation and the Patch Test, through which the hybrid element method and quasi-conform element method are analyzed. Refined direct stiffness method and generalized conforming elements are also analyzed about why they can pass patch test. At last, as an example of using the requirement of patch test for displacement, improved the BCIZ Element.

得出分片试验对位移函数和应变函数的要求，这些要求便是一个好的有限元法所应保证的；分析了几何方程弱形式与分片试验的关系，借此分析了杂交元、拟协调元如何满足这些要求，以及在满足这些要求的同时产生的对其他条件的影响；分析了精化直接刚度法、广义协调元和双参数法如何保证分片试验的满足；最后作为位移条件的应用例子，改进了BCIZ元。

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

屈膝跪下。。。下跪祈祷