1) two order and three points formula
二阶三点公式
2) third-order two-point semipositive
三阶二点半正
1.
By using the fixed point theory in cones,we obtained the existence of positive solutios for the third-order two-point semipositive boundary value problems in which nonlinearity f(t,u)does not have to be continuous and lower bounded but only have to meet Carathéodory s conditions.
本文利用锥上的不动点定理,不要求非线性项f(t,u)连续且下方有界,在f满足Carathéodory条件下,证明了一类三阶二点半正边值问题正解的存在性。
4) 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.
利用线性滑动方法中的一阶五点公式、处理了一组物理实验数据。
5) Two-dimensional cubic
二维三阶多项式
6) Singular
[英]['sɪŋɡjələ(r)] [美]['sɪŋgjəlɚ]
三阶三点
1.
Existence of Twin Positive Solutions to Third-order Three-point Singular Superlinear Boundary Value Problems;
奇异超线性三阶三点边值问题的两正解存在性
补充资料:一阶公式
一阶公式 first order formula 一阶逻辑的合式公式,在形式化的一阶语言中递归地定义的公式。设是一阶逻辑的一个形式语言,含逻辑符号和非逻辑符号。中的非逻辑符号有:关系符号P,Q,R等;函数符号F,G等;常量符号c,d,e等。每个关系符号,函数符号都指定是n元关系或n元函数。中的逻辑符号有 :个体变元符号,…等;逻辑联词、→等;量词;等号≡;括号),(。的项t:t可以是单个个体变元,也可以是单个个体常量 :如果t1…tm是项,F是L的m元函数符号,则F(t1…tm)是项。的原子公式:如果t1、t2是的项,则t1≡t2是 原子公式;如果t1…tn是项,R是L的n元关系符号,则R(t1…tn)是原子公式。的公式:的原子公式是公式;设φ、ψ是L的公式,x是的一个个体变元,则(φ),(φ→ψ),(xφ)都是的公式 。这样定义的语言公式乃至公式的集合统称一阶语言。只要指出的非逻辑符号,一阶语言就被确定。中其他的联结符,量词都不是原始符号,^,ˇ,的定义见命题公式,存在量词定义为xφxφ。一阶公式中的一个个体变元如果出现在量词的辖域中就称为约束变元,不受任何一个量词约束的变元称为自由变元。没有自由变元的公式称为句子。 |
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条