合式公式,Wff

1)Wff
合式公式
1.
In this paper,we suppose W denote the set of all Wff of the propo sition logic to get a poset,then discuss some methods equivalent to the structural induction of the wff in the proposion logic P.
本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法。



2)well formed formula
合式的公式

3)formula fitting
公式拟合
1.
A Formula Fitting Method for Realtime Correction of Microwave Refraction Errors;
电波折射误差实时修正的公式拟合方法


更多例句>>

4)collective formula
集合公式
1.
The paper presents some viewpoints on the understanding in the deduction process of Gibbs-Duhem equation and the collective formula of partial molar quantity.
对吉布斯—杜亥姆公式和偏摩尔量的集合公式的推导和理解的几个问题提出了作者的观点,认为不管有无恒温恒压的条件,体系的偏摩尔量ZB,m的零次齐次函数性质是吉布斯—杜亥姆公式的本质内容。


更多例句>>

5)Formula of binding
缔合公式

6)Fitting formula
拟合公式
1.
Based on Cole s and Mendelson s empirical formula of bubble rising velocity,fitting formula of nitrogen bubble rising velocity in bottom of circular pipe has been acquired through analyzing nitrogen bubble rising velocity.
在Moissis等和Takatoshi弹状汽泡上升速度经验公式的基础上,通过对弹状汽泡的上升速度的分析,提出了圆管内弹状汽泡的上升速度的拟合公式,分析研究其变化规律,为进一步探求圆管内液氮弹状汽泡的生成机理提供依据。


2.
By comparison with experimental data at low Re number,the applicability and reliability of the fitting formula were verified.
通过与低Re下的实验数据的对比,验证了所拟合公式的适用性和可信性。


3.
On the basis of criterion B3 1 G,it gives a more accurate fitting formula which can provide a more reliable reference to analyze the extreme pressure of corroded pipeline.
利用有限元软件,采用幂硬化随动强化材料模型、缺陷正交面切割法和模型完全六面体单元网格化方法,建立了数值分析模型,在规范B31G的基础上求得准确度更高的内腐蚀管道极限压力拟合公式,并用实际算例对其进行了验证。


更多例句>>


补充资料：缔合式电解质
分子式：
CAS号：

性质：电解质溶液中离子间的强静电作用力使异号离子产生缔合。绝大部分电解质溶液都存在离子缔合现象，但在稀溶液范围内其效应不明显。只有少数电解质，即便在较高浓度仍不必考虑离子缔合，称为非缔合式电解质，如卤化碱金属的水溶液等。相应其他电解质则称为缔合式电解质。


说明：补充资料仅用于学习参考，请勿用于其它任何用途。

合式公式,Wff