有限元模型和数值计算程序在金属成形中的应用