In the paper the author has used “figure/ ground” theory in cognitive linguistics to explain object-introduction of transitive verbs and objects afterintransitive ones.
文章运用认知语言学的“图形 /背景”理论来解释及物动词的宾语代入现象和不及物动词带宾语的现象。
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.
应用变分学中规范的拉氏乘子法和代入法，导出了非完整系统的各类真实轨道方程，客观上统一了Ｖａｋｏｎｏｍｉｃ模型和Ａｐｐｅｌ－Ｃｈｅｔａｅｖ模型理论和实例均表明，非完整系统动力学的这种理论框架也适用于完整系统动力学
The classical proposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。