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中关于合式公式结构的归纳法等价的几个方法。
A Formula Fitting Method for Realtime Correction of Microwave Refraction Errors;
电波折射误差实时修正的公式拟合方法
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的零次齐次函数性质是吉布斯—杜亥姆公式的本质内容。
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弹状汽泡上升速度经验公式的基础上,通过对弹状汽泡的上升速度的分析,提出了圆管内弹状汽泡的上升速度的拟合公式,分析研究其变化规律,为进一步探求圆管内液氮弹状汽泡的生成机理提供依据。
By comparison with experimental data at low Re number,the applicability and reliability of the fitting formula were verified.
通过与低Re下的实验数据的对比,验证了所拟合公式的适用性和可信性。
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的基础上求得准确度更高的内腐蚀管道极限压力拟合公式,并用实际算例对其进行了验证。
This program is also used for fitting into the experience formula on data.
该程序可用于数据的经验公式拟合。
Strength Analysis and Formular Fitting of a Pressurized Cylinder with a Long Rectangular Tube;
带长矩形接管受压圆筒体强度分析及公式拟合
A formula-drafted Way to Work out the Surface Adsorption Capacity of the Ethanol Aqueous Solution;
公式拟合法计算乙醇水溶液的表面吸附量
Methods of Fitting Formula to Calculate the Surface Adsorption of the Ethanol-aqueous Solution
Origin软件公式拟合法计算乙醇水溶液的表面吸附量及乙醇分子的横截面积
The convolution-type identity of Lagrange inversion formula and it s combiatorial proof;
拉格朗日反演的拟卷积公式及其组合证明
It is an excellent idea to work out a contract with the owner of the stud dog before breeding takes place.
在配种之前和种公犬的主人拟定一份合同是一个很好的方式。
The method of fitting Balmer formula with computer in physics experiment teaching was introduced.
介绍了在近代物理实验教学中用计算机拟合巴尔末公式的方法 .
The research primarily validated the correctness of the formulas of the DPT with scattered-planting in double-season rice.
本研究初步验证了所拟合出的塑盘旱育抛栽基本苗公式的正确性。
A Study of the Fitting Equations for the Efficiency Curves and the Self-Absorption Factors in γ-Ray Spectroscopy;
γ探测效率曲线拟合公式的研究及体源自吸收因子的MCNP计算
Trade Company Imitation:Effective Mode to Realize the Combination of International Trade Vocational Colleges with Enterprises
模拟商务公司:外经贸高职院校实现校企结合的有效模式
Regression analysis of lowest frequency for ring-stiffened cylindrical shell under hydrostatic pressure
静水压力作用下环肋圆柱壳自由振动基频的数值拟合公式
Lagrangian polynomial fit
拉格朗日多项式拟合
quasi-prenex conjunctive kernel normal form function
拟前束合取核范式函数
The Constitutional and Collaboration Modes of the Virtual R&D Center;
虚拟研发中心的组成形式及合作模式
Numerical Simulation of Mixing Characteristics of Passive Micromixer;
被动式微混合器混合特性的数值模拟
Regression software programs graph the sample points and give the (cost-function) formula of the straight line that best fits the points.
回归软件程序将样本点用图表示，并且给出最拟合样本点的直线的价值函数公式。
The prediction of the mean crushing load agrees well with the experimental data.
计算结果表明新的平均压溃载荷计算公式能够更好地拟合实验结果。
Based on this law, a distributing shape formula of the adhesive stress expressed by using a mathematical equation is also obtained.
以此规律为基础,拟合成了用数学方程表达的粘接应力分布形态公式。