说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 一阶五点公式
1)  first order and five-point formula
一阶五点公式
1.
The treatment of a group of physical experiment data is down using a first order and five-point formula in the linear sliding method and the result shows that if the pre-treatment is down for the original data obtained from a physical experiment,the accuracy of the experimental data treatment result will be improved and the validation effect of a physical experiment will be enforced.
利用线性滑动方法中的一阶五点公式、处理了一组物理实验数据。
2)  first order formul
一阶公式
3)  five-point formula
五点公式法
1.
The five-point formula and Gauss-Seidel iteration method were applied to calculate α,the opaque coefficient of the pixels in the unsure area.
采用五点公式法和Gauss-Seidel迭代法来计算不确定区域中像素点的不透明系数α,根据α的值判断该像素点属于前景还是后景,不断循环计算逐步缩小不确定区域,达到循环中止条件后可以得到细致的纱线边缘曲线。
4)  Gauss-Legendre five-point formula
Gauss-Legendre五点公式
1.
General calculation formula is presented based upon Gauss-Legendre five-point formula,which can calculate coordinate and position angle of random points and resolve short precision questions to meet requirements in practical design and construction.
对匝道各种曲线元的连接情况进行了数学分析,提出了Gauss-Legendre五点公式下的匝道计算通用公式,可进行任意点位坐标、方位角计算,解决了在小至Casio4800的计算机上编程计算精度不足的问题,从而使计算精度满足设计与施工要求。
5)  point method formula
一点法公式
6)  two order and three points formula
二阶三点公式
补充资料:一阶公式
一阶公式
first order formula

   一阶逻辑的合式公式,在形式化的一阶语言中递归地定义的公式。设!!!Y0692_1是一阶逻辑的一个形式语言,!!!Y0692_2含逻辑符号和非逻辑符号。!!!Y0692_3中的非逻辑符号有:关系符号PQR等;函数符号FG等;常量符号c,d,e等。每个关系符号,函数符号都指定是n元关系或n元函数。!!!Y0692_4中的逻辑符号有  :个体变元符号!!!Y0692_5,…等;逻辑联词!!!Y0692_6、→等;量词!!!Y0692_7;等号≡;括号),(。!!!Y0692_8的项tt可以是单个个体变元,也可以是单个个体常量  :如果t1tm是项,FLm元函数符号,则F(t1tm)是项。!!!Y0692_9的原子公式:如果t1t2!!!Y0692_10的项,则t1t2是 原子公式;如果t1tn是项,RLn元关系符号,则R(t1tn)是原子公式。!!!Y0692_11的公式:!!!Y0692_12的原子公式是公式;设φψL的公式,x!!!Y0692_13的一个个体变元,则(!!!Y0692_14φ),(φψ),(!!!Y0692_15xφ)都是!!!Y0692_16的公式  。这样定义的语言公式乃至公式的集合统称一阶语言!!!Y0692_17。只要指出!!!Y0692_18的非逻辑符号,一阶语言!!!Y0692_19就被确定。!!!Y0692_20中其他的联结符,量词都不是原始符号,^,ˇ,的定义见命题公式,存在量词定义为xφ!!!Y0692_21!!!Y0692_22!!!Y0692_23x!!!Y0692_24φ。一阶公式中的一个个体变元如果出现在量词的辖域中就称为约束变元,不受任何一个量词约束的变元称为自由变元。没有自由变元的公式称为句子。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条