查询词典 condition

Finally we can write out the verification condition of a path according to some rule, depending on assertion of the path's start point, assertion of the path's end point, condition expression and assignment statement of the path.

最后，有了路径起始断点的断言，路径的条件表达式、赋值语句，路径的终止断点的断言，按照一定的规则就写出了这条路经所对应的验证公式。

This technique is used for the axisymmetric magneticstatic problems and the result is good. In the second example of the forth chapter, the error of the third–order Asymptotic Boundary Condition is lower than that of the second-order Asympototic Boundary Condition.

第五章针对这一问题，进一步对渐近边界条件进行了推导，分析了一些特殊电荷和电流分布情况下，电位、标量磁位和矢量磁位的多极矩展开式中各极矩项的性质。

Furthermore, the existing condition of stable controlling for another form of the system is studied and the sufficient condition of making a closed loop system asymptotically stable in local bound is also discussed.

然后，研究了另一形式的滞后离散广义双线性系统稳定控制存在的条件，并给出了使闭环系统局部渐近稳定的充分条件。

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〓动态输出反馈分散镇定的充要条件，并给出了算法。

Nevertheless,or exactly for that reason,it is the place that is still full of extreme neglect and even hostility toward the noise's aesthetic and political possibilities ,only the lives of every samll and minor activity that has its own aural qualities could not be accumulated and sustained here;the condition for listening to the sound of the collectives of the 'small poeple' and the 'tiny machines',under or maybe beyond the threshold of audibility ,dosesn't seem to be secured sufficiently.surely,this kind of problem is not confined in the particular locality like seoul,or south korea.anyway,this tension and the sense of the absence of condition,together,have been the main source of the two koren resident noise-making.

然而，或许更是因为，这是一个对噪音美学与政治的可能性充满轻蔑与敌视的地方，在这里，那些有自身听感氛围与质量的小众活动不能够集聚起来并很好的持续下去；对於那些倾心于此类音乐并集合在一起的"弱小个体"们和那些"微型机器"，必然是早就远离或超越了肤浅的旋律性和可听性的门槛，看起来并不能稳定地被安置，当然，此类问题不只被局限在一个小的局部，首尔，韩国，无论在哪，这一切产生的张力连同其状况本身，反复地显现在我们眼前，交织在一起，构成了两个韩国人创作原生噪音的来源。

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.

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

Not only is the method applied in this paper better to solve the iteration between unsteady convection and conduction and the boundary condition problem, but also is a developmental application on forward and backward difference of windward scheme under unsteady condition.

不仅较好地解决了对流换热和导热的迭代求解和边界条件的处理问题，还将迎风格式的向前和向后差分发展性地应用于非稳态求解过程。

Dr. Bannock's patients complained primarily of osteoarthritis symptoms, an inflammatory condition, as well as rheumatoid arthritis, and even more inflammatory condition, and included other healthy challenges such as high cholesterol levels. In the study, Dr. Bannock gave his patients a dietary supplement containing serrapeptase and other protein-digesting enzymes.

班诺克博士的病人主要有骨关节炎及风湿性关节炎症状和其他一些更严重的发炎情况，也有其他健康问题，例如胆固醇高等。

Finishing calculation of mean value, standard deviation, skewness, kurtosis of Beta distribution.(2) Fitting parameters of many kinds of typical distribution and using residual deviation to evaluate fitting precision.(3) Using Beta distribution as an agreed indication distribution applied to many kinds of practical photoelectric measurement distributions.(4) Deriving theory formula of Bayes point estimation about Beta distribution parameters and mean value and standard deviation on the condition of mean square error loss function and supposed the prior distribution is uniform distribution.(5) Generating MCMC sample from post distribution by the method of Gibbs sample algorithm. Calculating bayes point estimation from sample on the condition of mean square error loss function. Calculating confidence interval by an approximate method to complete interval estimation.

本文的主要工作有：(1)解决了Beta分布参数a和b的精确计算以及均值、标准差、偏度、峰度的计算问题；(2)拟合出10余种典型分布的Beta分布的两个参数，并且采用剩余标准差评价该Beta分布的拟合精度；(3)对多种典型的光学与光电测量系统的测量分布进行了Beta分布统示表示；(4)在假设先验分布为均匀分布前提下，得到参数a和b以及均值μ和标准差σ在均方误差损失函数下的贝叶斯点估计理论计算公式；(5)利用直接抽样的Gibbs抽样算法，从后验分布中产生MCMC样本，从样本直接计算均方误差损失函数下的贝叶斯点估计，并使用一种近似方法计算其置信区间，完成区间估计。

Influence of the reaction condition for the yield of benzyl propionate was investigated. The traditional process was improved,and the reaction condition was optimized.

讨论了各种反应条件对合成丙酸苄酯的产率的影响，并对传统合成方法进行了改进。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。