数学机械化方法在平面多杆复杂机构位置分析中的应用

摘要

本文基于数学机械化方法和计算机符号处理技术，对平面多杆复杂机构的位置分析进行了符号法求解，该法成功地将一组非线性多项式方程化简为一组等价的三角化方程，导出了单变量的１６次代数方程，得到了位移分析的封闭形式的解析解。符号推导和符号运算借助于计算机代数系统ＲＥＤＵＣＥ完成，并给出一个数字实例说明这种方法。