1)  introduction
代入
1.
In the paper the author has used “figure/ ground” theory in cognitive linguistics to explain object-introduction of transitive verbs and objects afterintransitive ones.
文章运用认知语言学的“图形 /背景”理论来解释及物动词的宾语代入现象和不及物动词带宾语的现象。
2)  substitution method
代入法
1.
Various kinds of dynamical equations of analytical dynamics of nonholonomic systems are deduced by using standard Lagrangian undetermined multiplier method and substitution method of calculus of variations.
应用变分学中规范的拉氏乘子法和代入法，导出了非完整系统的各类真实轨道方程，客观上统一了Ｖａｋｏｎｏｍｉｃ模型和Ａｐｐｅｌ－Ｃｈｅｔａｅｖ模型理论和实例均表明，非完整系统动力学的这种理论框架也适用于完整系统动力学
3)  Complete subsitituion method
全代入法
4)  the rule of substitution
代入规则
1.
The classical proposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。
5)  abduction reasoning
词项代入
6)  algebraic closure
代入闭包
参考词条
补充资料：直接代入法
分子式：
CAS号：

性质：种非线性方程(组)或流程模拟问题迭代求解的方法。根据迭代变量的假定值求出其计算值，将此值直接作该变量下一轮迭代的新值，重复这一过程直至收敛。以一维问题为例，如果方程形式为x=g(x)，则迭代公式为x(k+1)=g[x(k)]，其中k为迭代次数。这种方法需要设置一个初值点。

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