研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。
Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated.
您传递一个用作谓词的公式，检查它是否是一个有效的元素规则。
You pass a formula used as a predicate to see if it is a valid rule for the element.
这个框架作为一个思考工具来用非常有效，但是它并没有简单的公式。
The framework is helpful as a thinking tool but there’s no magic formula.
因此这个公式是有效的。
过程：基于产生最终产品的过程的有效性的公式。
Process: formula based on the effectiveness of the process used to produce the end product.
如果某事值得，那么我们应该预留时间去完成它。有效地安排时间产生积极的结果。考虑以下公式。
If something is worthwhile then we shouldreserve time to accomplish it. Scheduling that time efficiently producespositive results. Consider the following formula.
理论计算和实验结果的良好吻合，表明文中给出的计算公式对于工程应用是有效的。
The calculated results are in good agreement with the experimental one, and show that these formulas are effective for the engineering design.
但所采用的公式较为复杂，求有效密度的简便方法有待进一步探讨。
But formulas are relatively complex, the simple method of calculation efficient density will be developed further.
计算结果显示该计算公式能够准确地算出环形预应力束的有效预应力分布。
The results show that the formula can accurately give the distribution of effective prestressing force of a loop prestressed cable.
提出了非饱和黄土和饱和黄土的有效应力计算的简化公式。
Simplified formulas for the effective stress calculation of unsaturated loess unsaturated loess are proposed.
给出了PN寻的制导系统的控制弹道实际有效导航比的计算公式及设计准则。
The computation equation and design criterion of real effective navigation ratio of homing control trajectory in PN homing guidance system were given.
首先，根据混凝土的试验结果给出了水泥石有效孔隙率与总孔隙率关系的经验公式。
First, an empirical relationship formula between the effective porosity and total porosity of cement paste is given based on the experimental results of concrete.
提出屈服曲率和极限曲率(并考虑箍筋影响)的计算公式，与试验结果作比较，验证公式的有效性。
The formulas to calculate the yield and ultimate curvature of beam are worked out considering the action of the stirrup, and the accuracy of the formula was proved by experiment.
给出了利用渐近解公式，由模有效折射率的测量值确定波导表面折射率和扩散深度的方法。
A method is given for determining the parameters of a diffused waveguide from the observable values of mode efficient index by using the asymptotic solution equations.
《砌体结构设计规范》GB50003 2001关于梁端有效支承长度采用了简化计算公式。
The simplified calculation formula for effective support length of end beam is determined by the code (GB50003-2001) for design of masonry structure.
提出了一种用于重型液压缸筒有限元计算结果校核的有效方法-拉美公式校核法。
An effective method is advanced which can be used to check the results of finite element analysis of the heaVy - duty cylinder barrel - Lamei Formula Checking.
首先在多孔介质的有效应力原理中引入瓦斯吸附的膨胀应力，推导出了适用于含瓦斯煤岩的有效应力计算公式。
An effective stress calculation formula for coal containing gas is proposed coupling with the swelling stress of gas adsorption in the effective stress principle for porous media.
长期实践与计算结果证明，本文的计算方法和公式是有效的，是符合安全与经济要求的。
Long experience of its use and improvement of its results make the calculation of the formula more reliable in safety and economy.
该算法通过对误差变量的选择，建立了有效的边“折叠价值”计算公式对简化进行局部误差控制。
This algorithm builds an effective borer collapse value expressions to control the partial error based on the selection of error variable.
由建立的模型推出了LTT内部产生的有效光触发电流公式及LTT开通条件。
Based on the model, calculation formula of available light-triggered current and turn-on condition in LTT arc obtained.
考虑到离散角的影响，给出了单轴晶体中有效非线性极化系数的精确计算公式，并给出了计算举例。
Considering the effect of walk-off Angle, the accurate calculation of effective nonlinear optical coefficient of uniaxial crystal is presented, a example of calculation of BBO is given.
将此方法应用于双势阱问题，导出了有效经典势公式。
The expression of effective classical potential of the double well potential is derived.
基于多径干扰、多址干扰和信道噪声的机理分析，推导了计算平均差错概率的有效近似公式。
An efficient approximation for expressions of the average error probability are developed based on considering the effects of multipath interference, multiple access interference and channel noise.
并给出了有效前沿的漂移角度及漂移距离公式。
The angle of fluctuation and the distance formula are obtained.
本文推导了网络函数及其导数的求值公式，应用这些公式可使网络分析及优化算法更有效。
Evaluating formulae of network functions and their derivatives are introduced in this paper. The algorithm of network analysis and optimization will be more efficient by using these formulae.
本文推导了网络函数及其导数的求值公式，应用这些公式可使网络分析及优化算法更有效。
Evaluating formulae of network functions and their derivatives are introduced in this paper. The algorithm of network analysis and optimization will be more efficient by using these formulae.
应用推荐