摘要：该文利用VC++,旨在使用计算机实现各种特殊类代数系统的建立,特别是针对半群类的一些理论进行编程并搜索验证。文中重点研究了计算机实现的技术要点,并开发了两套应用软件,通过上机对定理的证明,结果说明了此设计方案的应用十分实用且有效。从而开辟了计算机在代数纯理论研究中的一条重要应用途径。

摘要：为改善履带喷雾车的软地转向效率,利用RecurDyn/Track模块建立了动力学仿真模型,研究了路面类型、转向速度大小和转动惯量对转向性能的影响。结果认为:单边制动转向时,转向稳定性随着土壤变形指数的增大和内聚力的减小而变差;低速时喷雾车易于稳态转向,高速时转向稳定性变差;喷雾车侧倾与横摆转动惯量的耦合作用对转向半径影响更大,也更易使转向稳定性变差。研究结果对优化喷雾车行驶结构参数和提高转向稳定性具有一定的参考价值。