2) mathematical mechanization method
数学机械化方法
1.
The mathematical mechanization method can be extended to solve other mechanism problems involving nonlinear equations symbolically.
本文使用的数学机械化方法可推广到涉及非线性代数方程组的其他机构学问题的求解。
3) semi-mechanization method
半机械化方法
1.
In this paper,we intend to establish a new semi-mechanization method for solving it.
首先将这个最优化问题转化为多项式不等式方程组的实解的存在性问题;其次通过分析最优图形给出了一些化简不等式方程组和减少系统自由变元的方法;利用符号计算等方法建立了一个半机械化方法求多项式方程组作为约束条件的非线性规划问题准确解。
5) Mechenical strengthening method
机械强化方法
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条