排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
4.
本文对某断面收缩率高达82%的TC4轴类件楔横轧高精度成形工艺进行了研究。首先进行板式楔横轧模具设计,并采用有限元软件Deform-3D进行热力耦合仿真模拟对设计方案进行优化,分析了轧件成形过程中的温度变化、应力-应变分布、损伤演变等结果。基于有限元模拟结果统计分析了不同温度下的轧件尺寸。结果表明,在750~900℃,随着轧制温度升高,变形区直径随之增大。最后对IM500板式楔横轧机进行了轧制实验,实验结果与模拟结果较为吻合。因此大断面收缩率TC4的楔横轧高精度成形工艺是可行的,轧制温度应不低于850℃。 相似文献
5.
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用. 相似文献
1